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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 1:3.0.0-2build2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Hendrik Tews <hendrik@askra.de>
Homepage: https://www.cl.cam.ac.uk/~jrh13/hol-light/
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/hol-light
Vcs-Git: https://salsa.debian.org/ocaml-team/hol-light.git
Build-Depends: debhelper-compat (= 13), camlp5 (>= 8.02), libnum-ocaml-dev, libcamlp-streams-ocaml-dev, ocaml-findlib, dh-ocaml, libzarith-ocaml-dev
Package-List:
 hol-light deb math optional arch=any
Checksums-Sha1:
 bac1bc40a8eacb2da5571c9e63674970f31516e9 5364404 hol-light_3.0.0.orig.tar.xz
 0d59b8996596efefafe739ae84f1a7ce0a97058c 10960 hol-light_3.0.0-2build2.debian.tar.xz
Checksums-Sha256:
 918a6ef8caa8b36b6fe260ac35995c9e0ad34daed4ad4240b77b91cf2ee0185f 5364404 hol-light_3.0.0.orig.tar.xz
 b6f0311601a77973a9768787e1ba9033a2159cda08d3b924f5768e4e0737dd3c 10960 hol-light_3.0.0-2build2.debian.tar.xz
Files:
 6214301dd5b613f08425b5de17c30ba8 5364404 hol-light_3.0.0.orig.tar.xz
 8443c0addced8ee6141677839406b544 10960 hol-light_3.0.0-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeR/TkACgkQ808JdE6f
Xdkb/w/+OF71MEPcVMNYaxqbheQidxYidh4xKmGovVeZDUAnqOH4nVKDNYdbuYFM
Nr6QPY08fX17hSHh6x8A8KHi32oHkjtJNu6tF+2GdY4dRnNUK6pqdMvkddt6f4Tw
MZPyiqHV43sfHNaI8y3sLai7epyNgPzb4+3TLMEnzSo5XL9auegp327nHDb+8Yb5
bgU9aQONpvBO9i0MWxzO1TqWyHnDkYWVJYmz8RsPBTrssY8TSfHYGcgEgEk3k3XA
Xjp5MTENRMiua3HcWWln9j1a40JCHxSUTBg9m9N/pKRgwcEGCFP51rMNABfIV1QG
bcn78zJ7N+C7EtWOd+cxj1N4MZd1qxfbJ3gaX8v969IQgbx0YL0vDk5WG/I5hrJG
OECONXgZbqk6rM2OQ0LTjHZR7Hd277eKcBdBets3n3PTyR+R4z4M9bFf+HtFyyj5
RLAa0dVEtlsTl/wbQGfrxf7GDavHDg4v5zjvcxvnASewHm4Eq9RtbZ+2GWrO8416
pEBsKwPMcmvyCtoFZR0bb4K51MZhQdxgNtATitOd8JPiEaKEriZaAFtpHeUIGljV
d63jCsWlFMTS5+dStYoo5/AO60hw4gn4gbUpAzxzSgiQ0/x0WytM+56TrTU3MPg3
FNNgwy3AUZu0Y21xFogutxY/R6LAONyVBbmYJphOzGqkRX/VOt0=
=5Row
-----END PGP SIGNATURE-----