coq-unicoq (1.6-8.17-1)
[PTS] [DDPO]
NEW: VCS has unreleased changes: 1.6-8.17-2 > 1.6-8.17-1
- Git: https://salsa.debian.org/ocaml-team/coq-unicoq.git
-
- Branch: master
- Path: debian/changelog
- Repo size: 1228800
- Browser: https://salsa.debian.org/ocaml-team/coq-unicoq
- Last scan: 2023-09-19 01:24:05+00
- Next scan: 2023-09-24 12:29:00+00
- Debian changelog in Git:
coq-unicoq (1.6-8.17-2) UNRELEASED; urgency=medium
* Fix d/rules clean target (Closes: #1044763).
-- Julien Puydt <jpuydt@debian.org> Thu, 17 Aug 2023 11:41:35 +0200
- This branch is 1 commit ahead of tag debian/1.6-8.17-1
- Git log:
commit 35eb5b3200037e757f11fa6a21f443686596c5fe
Author: Julien Puydt <jpuydt@debian.org>
Date: Thu Aug 17 11:42:13 2023 +0200
Fix d/rules clean target (Closes: #1044763)