coq-stdpp (1.10.0-1)
[PTS] [DDPO]
OLD: VCS is behind the version in the archive: 1.9.0-1 < 1.10.0-1.
- Git: https://salsa.debian.org/ocaml-team/coq-stdpp.git
-
- Branch: master
- Path: debian/changelog
- Repo size: 106496
- Browser: https://salsa.debian.org/ocaml-team/coq-stdpp
- Last scan: 2024-04-26 21:32:48+00
- Next scan: 2024-05-02 10:07: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