coq-interval (4.11.0-1)
[PTS] [DDPO]
NEW: VCS has unreleased changes: 4.11.0-2 > 4.11.0-1
- Git: https://salsa.debian.org/ocaml-team/coq-interval.git
-
- Branch: master
- Path: debian/changelog
- Repo size: 700416
- Browser: https://salsa.debian.org/ocaml-team/coq-interval
- Last scan: 2024-07-14 07:38:07+00
- Next scan: 2024-07-20 04:11:00+00
- Debian changelog in Git:
coq-interval (4.11.0-2) UNRELEASED; urgency=medium
* Fix d/watch
-- Julien Puydt <jpuydt@debian.org> Tue, 11 Jun 2024 08:24:22 +0200
- This branch is 1 commit ahead of tag debian/4.11.0-1
- Git log:
commit 1049a6fba47b53da7c9f66d4d043b8b192ba9fa6
Author: Julien Puydt <jpuydt@debian.org>
Date: Tue Jun 11 08:24:35 2024 +0200
Fix d/watch