Back to hol-light PTS page

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