coq (8.20.1+dfsg-1) [PTS] [DDPO]

NEW: VCS has unreleased changes: 9.0.0+dfsg-1 > 8.20.1+dfsg-1

Git: https://salsa.debian.org/ocaml-team/coq.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: 4042752
Browser: https://salsa.debian.org/ocaml-team/coq
Last scan: 2025-09-07 02:43:02+00
Next scan: 2025-09-12 13:52:00+00
CI pipeline status: failed

Debian changelog in Git:

coq (9.0.0+dfsg-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Fri, 22 Aug 2025 11:39:19 +0200

This branch is 5 commits ahead of tag debian/8.20.1+dfsg-1

Git log:

commit 9b89a97fa35fe10ccd00c8bde472dec4d05b7977
Author: Julien Puydt <jpuydt@debian.org>
Date:   Fri Aug 22 11:39:29 2025 +0200

    Prepare for upload

commit ccc486b1c0755883f30c665f822fca8333dd63be
Author: Julien Puydt <jpuydt@debian.org>
Date:   Thu Aug 21 17:45:06 2025 +0200

    Huge packaging rework

commit 8d3275254914265a71928a21f99b1965e5673595
Author: Julien Puydt <jpuydt@debian.org>
Date:   Thu Aug 21 17:45:06 2025 +0200

    Huge packaging rework...

commit 8fef2f35967941af51c14ede292c13ead0512820
Merge: 2eac782 abeeb57
Author: Julien Puydt <jpuydt@debian.org>
Date:   Thu Aug 21 09:54:16 2025 +0200

    Update upstream source from tag 'upstream/9.0.0+dfsg'
    
    Update to upstream version '9.0.0+dfsg'
    with Debian dir 973e2570266f8517a6203c0d5f86f81c31b94de1

commit abeeb5755c5c4da951b3b4827c5ded9e5857af22
Author: Julien Puydt <jpuydt@debian.org>
Date:   Thu Aug 21 09:54:10 2025 +0200

    New upstream version 9.0.0+dfsg