coq-corn (8.18.0-1)
[PTS] [DDPO]
OK: VCS matches the version in the archive
- Git: https://salsa.debian.org/ocaml-team/coq-corn.git
-
- Branch: master
- Path: debian/changelog
- Repo size: 102400
- Browser: https://salsa.debian.org/ocaml-team/coq-corn
- Last scan: 2024-03-27 03:45:11+00
- Next scan: 2024-04-02 14:57:00+00
- Debian changelog in Git:
coq-corn (8.18.0-1) unstable; urgency=medium
[ Debian Janitor ]
* debian/copyright: use spaces rather than tabs to start continuation lines.
* Set upstream metadata fields: Repository-Browse.
[ Julien Puydt ]
* Fix d/rules clean target (Closes: #1044867).
* New upstream release.
-- Julien Puydt <jpuydt@debian.org> Thu, 21 Dec 2023 17:26:24 +0100
- This branch is even with tag debian/8.18.0-1