paramcoq (1.1.3+coq8.17-2)
[PTS] [DDPO]
NEW: VCS has unreleased changes: 1.1.3+coq8.18-1 > 1.1.3+coq8.17-2
- Git: https://salsa.debian.org/ocaml-team/paramcoq.git
-
- Branch: master
- Path: debian/changelog
- Repo size: 1298432
- Browser: https://salsa.debian.org/ocaml-team/paramcoq
- Last scan: 2023-12-02 09:03:25+00
- Next scan: 2023-12-10 14:10:00+00
- Debian changelog in Git:
paramcoq (1.1.3+coq8.18-1) UNRELEASED; urgency=medium
* Fix d/rules clean target (Closes: #1048381).
* New upstream release.
-- Julien Puydt <jpuydt@debian.org> Wed, 27 Sep 2023 08:52:47 +0200
- This branch is 5 commits ahead of tag debian/1.1.3+coq8.17-2
- Git log:
commit 024d974f6d49cb0d6ab64c5e0fccce76b2142a6d
Author: Julien Puydt <jpuydt@debian.org>
Date: Wed Sep 27 08:53:44 2023 +0200
Package new upstream 1.1.3+coq8.18
commit 93e905aa37673c76e9eae082fd9ec84ffdd025bc
Merge: e83d881 c41cf21
Author: Julien Puydt <jpuydt@debian.org>
Date: Wed Sep 27 08:52:40 2023 +0200
Update upstream source from tag 'upstream/1.1.3+coq8.18'
Update to upstream version '1.1.3+coq8.18'
with Debian dir b20fb2b9111716f6ed8d3b08a0dbfcdfe77338f6
commit c41cf211f2d0404d99ae936342b9793f8a7dd99f
Author: Julien Puydt <jpuydt@debian.org>
Date: Wed Sep 27 08:52:39 2023 +0200
New upstream version 1.1.3+coq8.18
commit e83d88161fdb732471132d6defa0840e95c54399
Author: Julien Puydt <jpuydt@debian.org>
Date: Fri Aug 18 09:54:34 2023 +0200
Fix d/rules clean target (Closes: #1048381)