coq-reduction-effects (0.1.4-4)
[PTS] [DDPO]
NEW: VCS has unreleased changes: 0.1.5-1 > 0.1.4-4
- Git: https://salsa.debian.org/ocaml-team/coq-reduction-effects.git
-
- Branch: master
- Path: debian/changelog
- Repo size: 643072
- Browser: https://salsa.debian.org/ocaml-team/coq-reduction-effects
- Last scan: 2023-09-28 09:44:30+00
- Next scan: 2023-10-05 11:38:00+00
- Debian changelog in Git:
coq-reduction-effects (0.1.5-1) UNRELEASED; urgency=medium
* Fix d/rules clean target (Closes: #1044395).
* New upstream release.
* Remove obsolete d/copyright entry.
-- Julien Puydt <jpuydt@debian.org> Thu, 28 Sep 2023 11:05:00 +0200
- This branch is 6 commits ahead of tag debian/0.1.4-4
- Git log:
commit 69f2e428b75f376829af833b751d91e039007995
Author: Julien Puydt <jpuydt@debian.org>
Date: Thu Sep 28 11:11:13 2023 +0200
Drop obsolete d/copyright entry
commit a958b86d6fa76edb2d7944ccda180c148ed0aa56
Author: Julien Puydt <jpuydt@debian.org>
Date: Thu Sep 28 11:08:26 2023 +0200
Package new upstream release
commit 512df9566306be36949e3f7abbdd0c130d0e5bc6
Merge: 43c4484 14100de
Author: Julien Puydt <jpuydt@debian.org>
Date: Thu Sep 28 11:04:56 2023 +0200
Update upstream source from tag 'upstream/0.1.5'
Update to upstream version '0.1.5'
with Debian dir 57212d476e97cd60c058dc33acbd254a7ba20753
commit 14100de41d605e86c958dee88919ec58cf0ccf73
Author: Julien Puydt <jpuydt@debian.org>
Date: Thu Sep 28 11:04:56 2023 +0200
New upstream version 0.1.5
commit 43c448408c09fe652a014abdaba3fa7ff08bd83a
Author: Julien Puydt <jpuydt@debian.org>
Date: Wed Sep 27 12:47:37 2023 +0200
Add patch for Coq 8.18 compatibility
commit 01505f29aedf93ee3a8609475f3348ed0e436a86
Author: Julien Puydt <jpuydt@debian.org>
Date: Thu Aug 17 11:29:14 2023 +0200
Fix d/rules clean target (Closes: #1044395)