-----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 <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> 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-----
