coq-gappa (1.5.3-1)
[PTS] [DDPO]
NEW: VCS has unreleased changes: 1.5.4-1 > 1.5.3-1
- Git: https://salsa.debian.org/ocaml-team/coq-gappa.git
-
- Branch: master
- Path: debian/changelog
- Repo size: 757760
- Browser: https://salsa.debian.org/ocaml-team/coq-gappa
- Last scan: 2023-09-27 07:43:26+00
- Next scan: 2023-10-05 03:42:00+00
- Debian changelog in Git:
coq-gappa (1.5.4-1) UNRELEASED; urgency=medium
* Fix d/rules clean target (Closes: #1044944).
* New upstream release.
-- Julien Puydt <jpuydt@debian.org> Wed, 27 Sep 2023 09:07:59 +0200
- This branch is 5 commits ahead of tag debian/1.5.3-1
- Git log:
commit cbc9e5f2c10122bc169257147d6f5bcc73037440
Author: Julien Puydt <jpuydt@debian.org>
Date: Wed Sep 27 09:08:12 2023 +0200
Package new upstream 1.5.4
commit 4afaa8a00563ae7c0e7aadfa524290281e2df863
Merge: 5174a9f 172b533
Author: Julien Puydt <jpuydt@debian.org>
Date: Wed Sep 27 09:07:55 2023 +0200
Update upstream source from tag 'upstream/1.5.4'
Update to upstream version '1.5.4'
with Debian dir a153af07f2eacef8624eb2e2f69d81e354c310f1
commit 172b53384ab256ae4ef4a9eeb178c2a6389dcf89
Author: Julien Puydt <jpuydt@debian.org>
Date: Wed Sep 27 09:07:55 2023 +0200
New upstream version 1.5.4
commit 5174a9f4f62cbdcf648517bb5d5c8eac13405124
Author: Julien Puydt <jpuydt@debian.org>
Date: Fri Aug 18 11:59:20 2023 +0200
Fix d/rules clean target (Closes: #1044944)