coq-iris (4.0.0-4)
[PTS] [DDPO]
NEW: VCS has unreleased changes: 4.0.0-5 > 4.0.0-4
- Git: https://salsa.debian.org/ocaml-team/coq-iris.git
-
- Branch: master
- Path: debian/changelog
- Repo size: 1724416
- Browser: https://salsa.debian.org/ocaml-team/coq-iris
- Last scan: 2023-09-25 09:55:42+00
- Next scan: 2023-10-01 17:31:00+00
- Debian changelog in Git:
coq-iris (4.0.0-5) UNRELEASED; urgency=medium
* Fix d/rules clean target (Closes: #1044393).
-- Julien Puydt <jpuydt@debian.org> Fri, 18 Aug 2023 16:04:13 +0200
- This branch is 1 commit ahead of tag debian/4.0.0-4
- Git log:
commit cdb8881ebc0f94219e6cf52ac8a8bf71e6b4f246
Author: Julien Puydt <jpuydt@debian.org>
Date: Fri Aug 18 16:04:35 2023 +0200
Fix d/rules clean target (Closes: #1044393)