paramcoq (1.1.3+coq8.17-2) [PTS] [DDPO]

NEW: VCS has unreleased changes: 1.1.3+coq8.18-1 > 1.1.3+coq8.17-2

Git: https://salsa.debian.org/ocaml-team/paramcoq.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: 1298432
Browser: https://salsa.debian.org/ocaml-team/paramcoq
Last scan: 2023-12-02 09:03:25+00
Next scan: 2023-12-10 14:10:00+00

Debian changelog in Git:

paramcoq (1.1.3+coq8.18-1) UNRELEASED; urgency=medium

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

 -- Julien Puydt <jpuydt@debian.org>  Wed, 27 Sep 2023 08:52:47 +0200

This branch is 5 commits ahead of tag debian/1.1.3+coq8.17-2

Git log:

commit 024d974f6d49cb0d6ab64c5e0fccce76b2142a6d
Author: Julien Puydt <jpuydt@debian.org>
Date:   Wed Sep 27 08:53:44 2023 +0200

    Package new upstream 1.1.3+coq8.18

commit 93e905aa37673c76e9eae082fd9ec84ffdd025bc
Merge: e83d881 c41cf21
Author: Julien Puydt <jpuydt@debian.org>
Date:   Wed Sep 27 08:52:40 2023 +0200

    Update upstream source from tag 'upstream/1.1.3+coq8.18'
    
    Update to upstream version '1.1.3+coq8.18'
    with Debian dir b20fb2b9111716f6ed8d3b08a0dbfcdfe77338f6

commit c41cf211f2d0404d99ae936342b9793f8a7dd99f
Author: Julien Puydt <jpuydt@debian.org>
Date:   Wed Sep 27 08:52:39 2023 +0200

    New upstream version 1.1.3+coq8.18

commit e83d88161fdb732471132d6defa0840e95c54399
Author: Julien Puydt <jpuydt@debian.org>
Date:   Fri Aug 18 09:54:34 2023 +0200

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