Accepted hol-light 20230128-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 31 Jan 2023 12:10:03 +0100
Source: hol-light
Architecture: source
Version: 20230128-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Closes: 1002983
Changes:
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.
Checksums-Sha1:
2f78fe0ed6a389fa6e9588922c926ca1445f9c45 1833 hol-light_20230128-1.dsc
e9003be666264dc341f25208847288a8cfe7153c 7460915 hol-light_20230128.orig.tar.gz
7ecb42cd8835a8cd32a4d4fd4c9b57b122952d92 10756 hol-light_20230128-1.debian.tar.xz
Checksums-Sha256:
0cb9358d0d06fcf76811fb72b193f450c77f49bbb889c734b435492c1c01998a 1833 hol-light_20230128-1.dsc
fd392c124679f45560837a7dbbc7d75e691a550bbca7bc90478c0d9876e01d7c 7460915 hol-light_20230128.orig.tar.gz
7d2afacb18ef182c97957ce5a8d5c6d4c502c6f88505d130904c60083e44409c 10756 hol-light_20230128-1.debian.tar.xz
Files:
47958fa709374018ea1ea4d253693bcc 1833 math optional hol-light_20230128-1.dsc
c1530f29b8d5f0b7e8812c7cc623f6ed 7460915 math optional hol-light_20230128.orig.tar.gz
9f9309c94d21a83048e25cfd7c046603 10756 math optional hol-light_20230128-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmPY+IoSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCB/6gIAJtJA2MqhvRURxqxwOU/MssRl/SSBy8t
ZGNdHpGYdtefYoacb+pMz0NAPf/aAuZHtc/qVJ/DIUcPjkN5lQ+aoU8AD47PD8WT
iE2PpWCHryVYxgPYuCHY1CVzsKMgjB4Y9F+JkDyp8h70IFiTkscIVwTkhpBlWXma
MGZirWdQrGrL0ubD2lzX2hWZAf279vPCUxTsH0bPWO0DxqZTevLJDUQYPc7vLx2Z
xq5hITEnqzhTDAW0oy5R4X6sYMlTKFNHOK99V5eP12JMatC97pliSPlL7orAf0Al
+Qg9LT22TwxHMir2maFsOXCfWjg4uUGymJmKiXX/SiiPeOEp8uA6bVw=
=t91r
-----END PGP SIGNATURE-----
Reply to: