coqprime (8.17-1)
[PTS] [DDPO]
NEW: VCS has unreleased changes: 8.17-2 > 8.17-1
- Git: https://salsa.debian.org/ocaml-team/coqprime.git
-
- Branch: master
- Path: debian/changelog
- Repo size: 2146304
- Browser: https://salsa.debian.org/ocaml-team/coqprime
- Last scan: 2023-09-21 12:45:18+00
- Next scan: 2023-09-28 15:30:00+00
- Debian changelog in Git:
coqprime (8.17-2) UNRELEASED; urgency=medium
* Fix d/rules clean target (Closes: #1044267).
-- Julien Puydt <jpuydt@debian.org> Fri, 18 Aug 2023 16:02:39 +0200
- This branch is 1 commit ahead of tag debian/8.17-1
- Git log:
commit abf1fc491e35f5034c8d54ffd6ed10c9634dc85f
Author: Julien Puydt <jpuydt@debian.org>
Date: Fri Aug 18 16:02:56 2023 +0200
Fix d/rules clean target (Closes: #1044267)