Accepted hol-light 20190729-4 (source) into unstable
-----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-----