coq-stdpp (1.8.0-4) [PTS] [DDPO]

NEW: VCS has unreleased changes: 1.9.0-1 > 1.8.0-4

Git: https://salsa.debian.org/ocaml-team/coq-stdpp.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: 1675264
Browser: https://salsa.debian.org/ocaml-team/coq-stdpp
Last scan: 2023-11-29 20:40:07+00
Next scan: 2023-12-08 00:18:00+00

Debian changelog in Git:

coq-stdpp (1.9.0-1) UNRELEASED; urgency=medium

  [ Debian Janitor ]
  * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.

  [ Julien Puydt ]
  * Fix d/rules clean target (Closes: #1045073).
  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Thu, 12 Oct 2023 07:44:13 +0200

This branch is 8 commits ahead of tag debian/1.8.0-4

Git log:

commit fd017ba05458f6de4dbaf42d15a7d8a7a20d4590
Author: Julien Puydt <jpuydt@debian.org>
Date:   Thu Oct 12 07:44:51 2023 +0200

    Package new upstream 1.9.0

commit bcda8092b4d46f557ec50f6755bcd328ee1be1f3
Merge: 03176a9 1ef96c8
Author: Julien Puydt <jpuydt@debian.org>
Date:   Thu Oct 12 07:44:09 2023 +0200

    Update upstream source from tag 'upstream/1.9.0'
    
    Update to upstream version '1.9.0'
    with Debian dir 4d0d525fed7924c971d4587529302dde650184f8

commit 1ef96c89560d28f57c12d5a866d884ab1b38771e
Author: Julien Puydt <jpuydt@debian.org>
Date:   Thu Oct 12 07:44:08 2023 +0200

    New upstream version 1.9.0

commit 03176a9f2c210e5a6188d924fc9630870b7e158e
Author: Julien Puydt <jpuydt@debian.org>
Date:   Wed Sep 27 18:23:29 2023 +0200

    Add patch for Coq 8.18 compatibility

commit a1f2fb75fcbbf92440d0e8587802fc395f065b54
Author: Julien Puydt <jpuydt@debian.org>
Date:   Thu Aug 17 11:37:39 2023 +0200

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

commit f4234078f803594deb4808379c83ff3e66da5750
Merge: 4f3b1f4 de31630
Author: Stephane Glondu <Stéphane Glondu glondu@debian.org>
Date:   Tue Aug 15 14:58:30 2023 +0200

    Merge branch 'coq-stdpp-lintian-fixes'

commit de3163021ee875f9bebf678bada2f9a815ff9cec
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Wed Jan 25 08:19:40 2023 +0000

    Update standards version to 4.6.2, no changes needed.
    
    Changes-By: lintian-brush
    Fixes: lintian: out-of-date-standards-version
    See-also: https://lintian.debian.org/tags/out-of-date-standards-version.html

commit d3dbcd00f7f0e362b56bf4bdb604a811e65609bf
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Wed Jan 25 08:19:27 2023 +0000

    Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.
    
    Changes-By: lintian-brush
    Fixes: lintian: upstream-metadata-file-is-missing
    See-also: https://lintian.debian.org/tags/upstream-metadata-file-is-missing.html
    Fixes: lintian: upstream-metadata-missing-bug-tracking
    See-also: https://lintian.debian.org/tags/upstream-metadata-missing-bug-tracking.html