coq-gappa (1.5.3-1) [PTS] [DDPO]

NEW: VCS has unreleased changes: 1.5.4-1 > 1.5.3-1

Git: https://salsa.debian.org/ocaml-team/coq-gappa.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: 757760
Browser: https://salsa.debian.org/ocaml-team/coq-gappa
Last scan: 2023-09-27 07:43:26+00
Next scan: 2023-10-05 03:42:00+00

Debian changelog in Git:

coq-gappa (1.5.4-1) UNRELEASED; urgency=medium

  * Fix d/rules clean target (Closes: #1044944).
  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Wed, 27 Sep 2023 09:07:59 +0200

This branch is 5 commits ahead of tag debian/1.5.3-1

Git log:

commit cbc9e5f2c10122bc169257147d6f5bcc73037440
Author: Julien Puydt <jpuydt@debian.org>
Date:   Wed Sep 27 09:08:12 2023 +0200

    Package new upstream 1.5.4

commit 4afaa8a00563ae7c0e7aadfa524290281e2df863
Merge: 5174a9f 172b533
Author: Julien Puydt <jpuydt@debian.org>
Date:   Wed Sep 27 09:07:55 2023 +0200

    Update upstream source from tag 'upstream/1.5.4'
    
    Update to upstream version '1.5.4'
    with Debian dir a153af07f2eacef8624eb2e2f69d81e354c310f1

commit 172b53384ab256ae4ef4a9eeb178c2a6389dcf89
Author: Julien Puydt <jpuydt@debian.org>
Date:   Wed Sep 27 09:07:55 2023 +0200

    New upstream version 1.5.4

commit 5174a9f4f62cbdcf648517bb5d5c8eac13405124
Author: Julien Puydt <jpuydt@debian.org>
Date:   Fri Aug 18 11:59:20 2023 +0200

    Fix d/rules clean target (Closes: #1044944)