Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 23 Oct 2023 15:10:13 +0200
Source: hol-light
Architecture: source
Version: 20231021-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <
[email protected]> Changed-By: Stéphane Glondu <
[email protected]>
Changes:
hol-light (20231021-1) unstable; urgency=medium
.
* Team upload
* New upstream snapshot
Checksums-Sha1:
77f7fae330bd2912dc0311dc26f4987b5ebf0b9a 1833 hol-light_20231021-1.dsc
d4005d75d8028503f8c06f84fa71762ab092f8f4 5043576 hol-light_20231021.orig.tar.xz
2a0be57d8e169647701e0eba0e6a1df491cfb3b4 10872 hol-light_20231021-1.debian.tar.xz
Checksums-Sha256:
0ed43284c83c6e4961998f3e9fb21dd24bc55c6900f468a910cbe1e7d148fb36 1833 hol-light_20231021-1.dsc
b40b15854ea6e2d58d0f992829d9e6a22a5099eaaf02c5fbf4e642337de9995c 5043576 hol-light_20231021.orig.tar.xz
ea52897bfc168969d78f08f65134444ee8458f6023b614683e31a457864aae13 10872 hol-light_20231021-1.debian.tar.xz
Files:
0fc511c6fa44cfbf9544202d6a92080a 1833 math optional hol-light_20231021-1.dsc
c469439d4b3e430d4142d4baa03cc59a 5043576 math optional hol-light_20231021.orig.tar.xz
f18f63afba79f4fd4b9c8beadb867221 10872 math optional hol-light_20231021-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmU2dYgSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBlKgH/39qcFnbI6blkxvK7Pb+oJhAt4TeeXmk 0B3Eog8TPElyWdmEwDoKfiHNgr3utUMEAtEvs+B4UBkH0HnyMBOlX7IjV18oaw8q tI1cqFCP8+ylNMipWkMzYJcuuA28zzuWdAbkdktTvcBXeck7Vud643Jjr9wpkoYP RM2sJ3JhSRJR4b5dBdO6sGVYBo5b3jJS5AXIcySflUs//rsyvfQh/eHEhe5tvWQ6 +uhMLwYPE+/Y4VqPtsbVdQEBNb8heMlYhT6kk+bRCRm6k3VHnSni3WpnMbnvzi0T H+AJok/mUoCieu11Nc0UzMViqml09nCf54K5P79uXMtudAwMSm1qCfw=
=MJ64
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)