coq-stdpp (1.9.0-1)
[PTS] [DDPO]
OK: VCS matches the version in the archive
- Git: https://salsa.debian.org/ocaml-team/coq-stdpp.git
-
- Branch: master
- Path: debian/changelog
- Repo size: 94208
- Browser: https://salsa.debian.org/ocaml-team/coq-stdpp
- Last scan: 2024-04-20 12:22:07+00
- Next scan: 2024-04-29 10:22:00+00
- Debian changelog in Git:
coq-stdpp (1.9.0-1) unstable; urgency=medium
[ Debian Janitor ]
* Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.
[ Julien Puydt ]
* Fix d/rules clean target (Closes: #1045073).
* New upstream release.
-- Julien Puydt <jpuydt@debian.org> Thu, 21 Dec 2023 16:32:34 +0100
- This branch is even with tag debian/1.9.0-1