-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 12 Feb 2020 05:43:48 +0100 Source: hol-light Architecture: source Version: 20190729-4 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 (20190729-4) unstable; urgency=medium . * Team upload * Fix compilation with camlp5 7.11 Checksums-Sha1: 3b082c2212102f776fc5da91ac469cdff14cf0e4 1781 hol-light_20190729-4.dsc 779019be6fd66b0fd466278fd2ba0283e1b65f11 11064 hol-light_20190729-4.debian.tar.xz Checksums-Sha256: 0f97db3ea84d1ee0b97318380e944682692d1717c203162dbd31770eed0a84ea 1781 hol-light_20190729-4.dsc 53d607dc442fecb99d93726a8eb55320b4664642c97250782442718511da87e6 11064 hol-light_20190729-4.debian.tar.xz Files: 9a9ef895c981250471c6c524143c7d54 1781 math optional hol-light_20190729-4.dsc 54f705b5981178d7b552fa0588e0bd2c 11064 math optional hol-light_20190729-4.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAl5D9tQACgkQIbju8bGJ MIGkIgf/Wl7JXfsa+218LuYtH7wruIqcGnw7IDrcAgzu2kspK6L4penIRCN6WPXR 0oS5OevFJkO3O1l2TOtqwjPcYmmfqcvEtC1O/YkWLMJL5bxll3hoC0NFRO2B8sH8 XiyHI6SFbv0KpEU3w9mQXanlQ0qGS27E3huS0/0bo+mlMRtuGMr/l7uFFmMrBROA jhH9VfFmqpT4KnwPfRigGQJIYogHKGS0mntFSylGafFZYjH0+Cs4Ukv/vRiQbYh8 ZEQJTBBiAWFH1II3Lggio9ecsNrrKyAb+merwfsVirjgTeIVUZzBg7leVTDxhKqT W6JYh7DHITjaLmiCBYhAImKslXIM0Q== =OFrR -----END PGP SIGNATURE-----
