coq-stdpp (1.8.0-4)
[PTS] [DDPO]
NEW: VCS has unreleased changes: 1.9.0-1 > 1.8.0-4
- Git: https://salsa.debian.org/ocaml-team/coq-stdpp.git
-
- Branch: master
- Path: debian/changelog
- Repo size: 1675264
- Browser: https://salsa.debian.org/ocaml-team/coq-stdpp
- Last scan: 2023-11-29 20:40:07+00
- Next scan: 2023-12-08 00:18:00+00
- Debian changelog in Git:
coq-stdpp (1.9.0-1) UNRELEASED; urgency=medium
[ Debian Janitor ]
* Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.
[ Julien Puydt ]
* Fix d/rules clean target (Closes: #1045073).
* New upstream release.
-- Julien Puydt <jpuydt@debian.org> Thu, 12 Oct 2023 07:44:13 +0200
- This branch is 8 commits ahead of tag debian/1.8.0-4
- Git log:
commit fd017ba05458f6de4dbaf42d15a7d8a7a20d4590
Author: Julien Puydt <jpuydt@debian.org>
Date: Thu Oct 12 07:44:51 2023 +0200
Package new upstream 1.9.0
commit bcda8092b4d46f557ec50f6755bcd328ee1be1f3
Merge: 03176a9 1ef96c8
Author: Julien Puydt <jpuydt@debian.org>
Date: Thu Oct 12 07:44:09 2023 +0200
Update upstream source from tag 'upstream/1.9.0'
Update to upstream version '1.9.0'
with Debian dir 4d0d525fed7924c971d4587529302dde650184f8
commit 1ef96c89560d28f57c12d5a866d884ab1b38771e
Author: Julien Puydt <jpuydt@debian.org>
Date: Thu Oct 12 07:44:08 2023 +0200
New upstream version 1.9.0
commit 03176a9f2c210e5a6188d924fc9630870b7e158e
Author: Julien Puydt <jpuydt@debian.org>
Date: Wed Sep 27 18:23:29 2023 +0200
Add patch for Coq 8.18 compatibility
commit a1f2fb75fcbbf92440d0e8587802fc395f065b54
Author: Julien Puydt <jpuydt@debian.org>
Date: Thu Aug 17 11:37:39 2023 +0200
Fix d/rules clean target (Closes: #1045073)
commit f4234078f803594deb4808379c83ff3e66da5750
Merge: 4f3b1f4 de31630
Author: Stephane Glondu <Stéphane Glondu glondu@debian.org>
Date: Tue Aug 15 14:58:30 2023 +0200
Merge branch 'coq-stdpp-lintian-fixes'
commit de3163021ee875f9bebf678bada2f9a815ff9cec
Author: Debian Janitor <janitor@jelmer.uk>
Date: Wed Jan 25 08:19:40 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 d3dbcd00f7f0e362b56bf4bdb604a811e65609bf
Author: Debian Janitor <janitor@jelmer.uk>
Date: Wed Jan 25 08:19:27 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