Back to hol-light PTS page

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