-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 20190729-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Hendrik Tews <hendrik@askra.de>
Homepage: http://www.cl.cam.ac.uk/~jrh13/hol-light/
Standards-Version: 4.4.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/hol-light
Vcs-Git: https://salsa.debian.org/ocaml-team/hol-light.git
Build-Depends: camlp5 (>= 7.01), ocaml-base-nox, dh-ocaml (>= 0.9~), debhelper (>= 10.0.0)
Package-List:
 hol-light deb math optional arch=any
Checksums-Sha1:
 78a00734637a1cb7312c4c3cf71f7efca559dee1 6959546 hol-light_20190729.orig.tar.gz
 1238478b80d4db2838b2e52a6c071f3b10e9af0e 10116 hol-light_20190729-2.debian.tar.xz
Checksums-Sha256:
 88cfcdd1430d963b9fc63960829e1a5f7c08df98ed92b3765cff51691dbfe75a 6959546 hol-light_20190729.orig.tar.gz
 c201236db2f5518b2baf7f7010e2df45def55ba7702c0f8a612898fe9aff9965 10116 hol-light_20190729-2.debian.tar.xz
Files:
 9a8813a63d883e10c5b52c36b93ee9b0 6959546 hol-light_20190729.orig.tar.gz
 2a7e04bd2a37dce9ee6da042f7dcf625 10116 hol-light_20190729-2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl0/Ad8ACgkQ808JdE6f
XdlTQA/+OOhBXe+yASH4EnSjv2qoCJ1pDS2FbvG6G4mfhzhlFkx9hFvxj4NdWMgN
fkhpuB6qmJ4946aMuLOgCM2PCuC7fPbn48f41c7AIBkE9Xlb10Fep1eqqmsc/DZA
e+CsfbGDexWKMAEpROgmTTI1Xh1Wx+AQd+to5GoalYEojTZ24n+0AOdGlatxABVh
N4fl+7pzTzXaMRsqqpxetELIVIPu17eKorHejSicwm8sUTyTtiUmRtpKnmXVN7uh
ShnfissALYefqAovpcKKIms4NbD2rJnazktI6vb89VH7tPgeTnpspyS6jPjySg0Y
nJSBsghf/eEWWMoOT/VbaLxrhZ3tfOO7d9ghZxY1wv6GYAaiMH/8Lyhsl4iqMH3u
X9yGnUP5QTerZUqghoy9EsO8a2GPrOAWedj+5TrWNgqhh8yj/qNk6s9S4o25pNe1
n6NtbbZNQXPVm+qWzKH1OqCdZH+HVAtFnkbkKpKKFhVPO/MCwpn6ZjOX03eUfGv6
eEWoLbcWibWyrgG51RK9/MTA4OSlTNcKAvH6MOPL39IvAKcyFeqr9IgXZuUuPMHm
QbsswhZpBjgErxk6zn01IIlNmn2njq1lPZny5jvPxPYSjOa0S2gVL0kplGS4F0FQ
WTiWsV2HU50ak0tYdL/dfrj1BDCwsd4Lyv0Oj/s5jYeQ7TK/Pos=
=cHzs
-----END PGP SIGNATURE-----