hol-light (20230128-1)
[PTS] [DDPO]
OK: VCS matches the version in the archive
- Git: https://salsa.debian.org/ocaml-team/hol-light.git
-
- Branch: master
- Path: debian/changelog
- Repo size: 17010688
- Browser: https://salsa.debian.org/ocaml-team/hol-light
- Last scan: 2023-03-20 11:00:28+00
- Next scan: 2023-03-29 00:22:00+00
- Debian changelog in Git:
hol-light (20230128-1) unstable; urgency=medium
[ Stéphane Glondu ]
* Team upload
* New upstream snapshot (Closes: #1002983)
[ Debian Janitor ]
* debian/copyright: use spaces rather than tabs to start continuation lines.
* Use secure URI in Homepage field.
* Bump debhelper from old 12 to 13.
+ Drop check for DEB_BUILD_OPTIONS containing "nocheck", since debhelper now
does this.
+ debian/rules: Drop --fail-missing argument to dh_missing, which is now the
default.
* Set upstream metadata fields: Bug-Database, Bug-Submit, Repository,
Repository-Browse.
* Update standards version to 4.6.0, no changes needed.
-- Stéphane Glondu <glondu@debian.org> Tue, 31 Jan 2023 12:10:03 +0100
- This branch is even with tag debian/20230128-1