paramcoq (1.1.3+coq8.18-1)
[PTS] [DDPO]
NEW: VCS has unreleased changes: 1.1.3+coq8.19-1 > 1.1.3+coq8.18-1
- Git: https://salsa.debian.org/ocaml-team/paramcoq.git
-
- Branch: master
- Path: debian/changelog
- Repo size: 106496
- Browser: https://salsa.debian.org/ocaml-team/paramcoq
- Last scan: 2024-04-24 11:14:12+00
- Next scan: 2024-05-02 23:04:00+00
- Debian changelog in Git:
paramcoq (1.1.3+coq8.19-1) unstable; urgency=medium
* New upstream release.
-- Julien Puydt <jpuydt@debian.org> Sat, 24 Feb 2024 09:57:47 +0100
- This branch is 3 commits ahead of tag debian/1.1.3+coq8.18-1
- Git log:
commit 5db2da177037a69feefa373347246b6f758ca0df
Author: Julien Puydt <jpuydt@debian.org>
Date: Sat Feb 24 09:57:54 2024 +0100
Prepare for upload
commit 5dd0b0b4b4e198870a7573a6ea99e9d57f864a47
Author: Julien Puydt <jpuydt@debian.org>
Date: Fri Feb 9 13:15:37 2024 +0100
Package new upstream 1.1.3+coq8.19
commit 9203b0b8e770b333fc20cfb162ad81b74ae9c157
Author: Julien Puydt <jpuydt@debian.org>
Date: Wed Dec 20 10:55:55 2023 +0100
New upstream version 1.1.3+coq8.19