coq-simple-io (1.8.0-3)
[PTS] [DDPO]
NEW: VCS has unreleased changes: 1.8.0-4 > 1.8.0-3
- Git: https://salsa.debian.org/ocaml-team/coq-simple-io.git
-
- Branch: master
- Path: debian/changelog
- Repo size: 835584
- Browser: https://salsa.debian.org/ocaml-team/coq-simple-io
- Last scan: 2023-11-25 22:38:03+00
- Next scan: 2023-12-02 18:27:00+00
- Debian changelog in Git:
coq-simple-io (1.8.0-4) UNRELEASED; urgency=medium
[ Debian Janitor ]
* Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.
[ Julien Puydt ]
* Fix d/rules clean target (Closes: #1044397).
-- Julien Puydt <jpuydt@debian.org> Fri, 18 Aug 2023 15:43:21 +0200
- This branch is 4 commits ahead of tag debian/1.8.0-3
- Git log:
commit 4def672401b6ada6bd0e6ed2aa7767f2a97e96c8
Author: Julien Puydt <jpuydt@debian.org>
Date: Fri Aug 18 15:43:50 2023 +0200
Fix d/rules clean target (Closes: #1044397)
commit 505665d22b9801d647bf85f9bc8728a13741364f
Merge: 81e59da bff6521
Author: Stephane Glondu <Stéphane Glondu glondu@debian.org>
Date: Tue Aug 15 15:05:29 2023 +0200
Merge branch 'coq-simple-io-lintian-fixes'
commit bff65219a6597ecd7f5d514ea386aca23817247d
Author: Debian Janitor <janitor@jelmer.uk>
Date: Thu Jan 26 13:35:21 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 89264cb1c20a1f164369bd926148be4289b34b87
Author: Debian Janitor <janitor@jelmer.uk>
Date: Thu Jan 26 13:35:20 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