coq-gappa (1.5.5-1)
[PTS] [DDPO]
NEW: VCS has unreleased changes: 1.5.5-2 > 1.5.5-1
- Git: https://salsa.debian.org/ocaml-team/coq-gappa.git
-
- Branch: master
- Path: debian/changelog
- Repo size: 139264
- Browser: https://salsa.debian.org/ocaml-team/coq-gappa
- Last scan: 2024-07-14 16:44:11+00
- Next scan: 2024-07-21 11:12:00+00
- Debian changelog in Git:
coq-gappa (1.5.5-2) UNRELEASED; urgency=medium
* Fix d/watch.
-- Julien Puydt <jpuydt@debian.org> Tue, 11 Jun 2024 08:18:58 +0200
- This branch is 2 commits ahead of tag debian/1.5.5-1
- Git log:
commit bfd79450af5a8fb52ef69fe0d1bf717295952db0
Author: Julien Puydt <jpuydt@debian.org>
Date: Tue Jun 11 08:19:08 2024 +0200
Fix d/watch
commit 31eacbae1fbdb4ff6c782053cb0c59cc000e610a
Author: Julien Puydt <jpuydt@debian.org>
Date: Fri Apr 26 15:53:55 2024 +0200
Prepare for upload