coq-reglang (1.1.3-4) [PTS] [DDPO]

NEW: VCS has unreleased changes: 1.2.0-1 > 1.1.3-4

Git: https://salsa.debian.org/ocaml-team/coq-reglang.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: 647168
Browser: https://salsa.debian.org/ocaml-team/coq-reglang
Last scan: 2023-11-25 01:21:12+00
Next scan: 2023-12-02 15:56:00+00

Debian changelog in Git:

coq-reglang (1.2.0-1) UNRELEASED; urgency=medium

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

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

This branch is 4 commits ahead of tag debian/1.1.3-4

Git log:

commit d6d5ddebf486eb4bd3274c29b65464ff04fdae88
Author: Julien Puydt <jpuydt@debian.org>
Date:   Wed Sep 27 09:21:39 2023 +0200

    Package new upstream 1.2.0

commit 4b102d5a4969a60e678fabeb701efcc308795444
Merge: 7683450 9713426
Author: Julien Puydt <jpuydt@debian.org>
Date:   Wed Sep 27 09:21:20 2023 +0200

    Update upstream source from tag 'upstream/1.2.0'
    
    Update to upstream version '1.2.0'
    with Debian dir 642cf35e6788f91f7d18fa044c343e0b87d2f8ec

commit 9713426c958b68afe5a9b44e568111cff5c30f37
Author: Julien Puydt <jpuydt@debian.org>
Date:   Wed Sep 27 09:21:20 2023 +0200

    New upstream version 1.2.0

commit 76834501f0926d23c8b6f5c58c3ad7bfd416b648
Author: Julien Puydt <jpuydt@debian.org>
Date:   Fri Aug 18 16:28:49 2023 +0200

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