coq-simple-io (1.8.0-3) [PTS] [DDPO]

NEW: VCS has unreleased changes: 1.8.0-4 > 1.8.0-3

Git: https://salsa.debian.org/ocaml-team/coq-simple-io.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: 835584
Browser: https://salsa.debian.org/ocaml-team/coq-simple-io
Last scan: 2023-11-25 22:38:03+00
Next scan: 2023-12-02 18:27:00+00

Debian changelog in Git:

coq-simple-io (1.8.0-4) UNRELEASED; urgency=medium

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

  [ Julien Puydt ]
  * Fix d/rules clean target (Closes: #1044397).

 -- Julien Puydt <jpuydt@debian.org>  Fri, 18 Aug 2023 15:43:21 +0200

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

Git log:

commit 4def672401b6ada6bd0e6ed2aa7767f2a97e96c8
Author: Julien Puydt <jpuydt@debian.org>
Date:   Fri Aug 18 15:43:50 2023 +0200

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

commit 505665d22b9801d647bf85f9bc8728a13741364f
Merge: 81e59da bff6521
Author: Stephane Glondu <Stéphane Glondu glondu@debian.org>
Date:   Tue Aug 15 15:05:29 2023 +0200

    Merge branch 'coq-simple-io-lintian-fixes'

commit bff65219a6597ecd7f5d514ea386aca23817247d
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Thu Jan 26 13:35:21 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 89264cb1c20a1f164369bd926148be4289b34b87
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Thu Jan 26 13:35:20 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