coq-mtac2 (1.4+8.17-1)
[PTS] [DDPO]
NEW: VCS has unreleased changes: 1.4+8.17-2 > 1.4+8.17-1
- Git: https://salsa.debian.org/ocaml-team/coq-mtac2.git
-
- Branch: master
- Path: debian/changelog
- Repo size: 921600
- Browser: https://salsa.debian.org/ocaml-team/coq-mtac2
- Last scan: 2023-09-28 14:58:16+00
- Next scan: 2023-10-06 09:02:00+00
- Debian changelog in Git:
coq-mtac2 (1.4+8.17-2) UNRELEASED; urgency=medium
* Fix d/rules clean target (Closes: #1044703).
-- Julien Puydt <jpuydt@debian.org> Fri, 18 Aug 2023 14:24:03 +0200
- This branch is 1 commit ahead of tag debian/1.4+8.17-1
- Git log:
commit 832a283651c44fdbe98d24110e50dbdb6f7a84a3
Author: Julien Puydt <jpuydt@debian.org>
Date: Fri Aug 18 14:24:21 2023 +0200
Fix d/rules clean target (Closes: #1044703)