-----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-----
