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
-
- 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)