coq-iris (4.2.0-2)
[PTS] [DDPO]
NEW: VCS has unreleased changes: 4.2.0-3 > 4.2.0-2
- Git: https://salsa.debian.org/ocaml-team/coq-iris.git
-
- Branch: master
- Path: debian/changelog
- Repo size: 491520
- Browser: https://salsa.debian.org/ocaml-team/coq-iris
- Last scan: 2024-07-12 04:07:17+00
- Next scan: 2024-07-17 23:11:00+00
- Debian changelog in Git:
coq-iris (4.2.0-3) UNRELEASED; urgency=medium
* Fix d/watch
-- Julien Puydt <jpuydt@debian.org> Tue, 11 Jun 2024 08:38:31 +0200
- This branch is 1 commit ahead of tag debian/4.2.0-2
- Git log:
commit bc33f93ea9239a2b6021dba963a619e25d35d897
Author: Julien Puydt <jpuydt@debian.org>
Date: Tue Jun 11 08:38:37 2024 +0200
Fix d/watch