coq (8.19.1+dfsg-3) [PTS] [DDPO]

NEW: VCS has unreleased changes: 8.20.0+dfsg-1 > 8.19.1+dfsg-3

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: 2756608
Browser: https://salsa.debian.org/ocaml-team/coq
Last scan: 2024-10-02 20:22:08+00
Next scan: 2024-10-10 17:02:00+00
CI pipeline status: failed

Debian changelog in Git:

coq (8.20.0+dfsg-1) UNRELEASED; urgency=medium

  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Mon, 16 Sep 2024 07:09:52 +0200

This branch is 6 commits ahead of tag debian/8.19.1+dfsg-3

Git log:

commit 32506f5b91b127ee5cd7f23669bc64c0ac0ba98e
Author: Julien Puydt <jpuydt@debian.org>
Date:   Mon Sep 16 07:10:14 2024 +0200

    Package new upstream 8.20

commit a80f49f837330579c27ef5a544c7a504dd064dbc
Merge: bebb893 a46162b
Author: Julien Puydt <jpuydt@debian.org>
Date:   Mon Sep 16 07:09:21 2024 +0200

    Update upstream source from tag 'upstream/8.20.0+dfsg'
    
    Update to upstream version '8.20.0+dfsg'
    with Debian dir b48998890ef0a97834fe6a03f64c72c0f5d62b1f

commit a46162bfdd31f4db8beaad933867f0d2a4744c2e
Author: Julien Puydt <jpuydt@debian.org>
Date:   Mon Sep 16 07:09:11 2024 +0200

    New upstream version 8.20.0+dfsg

commit bebb893548981c08a6a5998d8ba2f7494e25ca37
Author: Julien Puydt <jpuydt@debian.org>
Date:   Mon Aug 26 15:56:07 2024 +0200

    Package new upstream 8.19.2

commit 1228c4ead29f725173b05d6150655c83c293f4fe
Merge: 6be4e9f d0a850e
Author: Julien Puydt <jpuydt@debian.org>
Date:   Mon Aug 26 15:53:05 2024 +0200

    Update upstream source from tag 'upstream/8.19.2+dfsg'
    
    Update to upstream version '8.19.2+dfsg'
    with Debian dir b5256b7692a0d67c66d942dab07d05cb428bd0bf

commit d0a850eb1440d13011cb4fb6f2d44e1c7c6ee7ae
Author: Julien Puydt <jpuydt@debian.org>
Date:   Mon Aug 26 15:52:58 2024 +0200

    New upstream version 8.19.2+dfsg