coq-stdpp (1.10.0-1)
[PTS] [DDPO]
NEW: VCS has unreleased changes: 1.10.0-2 > 1.10.0-1
- Git: https://salsa.debian.org/ocaml-team/coq-stdpp.git
-
- Branch: master
- Path: debian/changelog
- Repo size: 1118208
- Browser: https://salsa.debian.org/ocaml-team/coq-stdpp
- Last scan: 2024-07-10 17:18:13+00
- Next scan: 2024-07-19 13:36:00+00
- Debian changelog in Git:
coq-stdpp (1.10.0-2) UNRELEASED; urgency=medium
* Fix d/watch
-- Julien Puydt <jpuydt@debian.org> Tue, 11 Jun 2024 08:52:20 +0200
- This branch is 6 commits ahead of tag debian/1.9.0-1
- Git log:
commit 363c67f568999d38e47f0645ab5fa4b5a5c47b74
Author: Julien Puydt <jpuydt@debian.org>
Date: Tue Jun 11 08:52:28 2024 +0200
Fix d/watch
commit 6e741a7c62b9181d5634501c3b592eaa1ee0ceac
Author: Julien Puydt <jpuydt@debian.org>
Date: Fri Apr 12 15:56:14 2024 +0200
Prepare for upload
commit 1c0c2318397db0b44a94a80fc1cef66d9062fc6b
Author: Julien Puydt <jpuydt@debian.org>
Date: Fri Apr 12 15:50:06 2024 +0200
Bump standards-version to 4.7.0
commit 2452394a1d73284fdbaf1cb17d32a939af078fab
Author: Julien Puydt <jpuydt@debian.org>
Date: Fri Apr 12 15:48:49 2024 +0200
Package new upstream 1.10.0
commit 8b1d3b63c60c941ff99c449631fd3f101850e749
Merge: 64013f0 ce07ee3
Author: Julien Puydt <jpuydt@debian.org>
Date: Fri Apr 12 15:48:23 2024 +0200
Update upstream source from tag 'upstream/1.10.0'
Update to upstream version '1.10.0'
with Debian dir 6842aaf9db53a5f40b724a7e0b5d020a9d8b60d6
commit ce07ee30f555b57141859c99bee920b17ba22051
Author: Julien Puydt <jpuydt@debian.org>
Date: Fri Apr 12 15:48:22 2024 +0200
New upstream version 1.10.0