coq-menhirlib (20231231+ds-3)
[PTS] [DDPO]
COMMITS: VCS has seen 2 commits since the debian/20231231+ds-2 tag
- Git: https://salsa.debian.org/ocaml-team/coq-menhirlib.git
-
- Branch: master
- Path: debian/changelog
- Repo size: 184320
- Browser: https://salsa.debian.org/ocaml-team/coq-menhirlib
- Last scan: 2024-07-11 20:26:10+00
- Next scan: 2024-07-17 02:51:00+00
- CI pipeline status: failed
- Debian changelog in Git:
coq-menhirlib (20231231+ds-3) unstable; urgency=medium
* Fix target distribution.
* Fix d/watch
-- Julien Puydt <jpuydt@debian.org> Fri, 26 Apr 2024 15:42:54 +0200
- This branch is 2 commits ahead of tag debian/20231231+ds-2
- Git log:
commit 421aeb2255cd7a28be14ac72e27180a2ceb43980
Author: Julien Puydt <jpuydt@debian.org>
Date: Tue Jun 11 08:31:20 2024 +0200
Fix d/watch
commit bb1e0e1dc2abfce5355c3a77c6b9dfb8a425b27b
Author: Julien Puydt <jpuydt@debian.org>
Date: Fri Apr 26 15:43:21 2024 +0200
Fix target distribution