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
JSON
Enter a full Vcs-* header, supported schemes are: Vcs-Bzr, Vcs-Cvs, Vcs-Darcs, Vcs-Git, Vcs-Hg, Vcs-Mtn, Vcs-Svn.
For Vcs-Git append -b branch to select the branch name; append [subdir] if the debian/ directory is not in the repository root.
The next upload will reset the information from the source package headers.
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)