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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 1:3.0.0-2build5
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
 3f0c0c3cbad35a3ae82910d5e41cb226a67fe496 11064 hol-light_3.0.0-2build5.debian.tar.xz
Checksums-Sha256:
 918a6ef8caa8b36b6fe260ac35995c9e0ad34daed4ad4240b77b91cf2ee0185f 5364404 hol-light_3.0.0.orig.tar.xz
 adfa5b16b7fb7af19030fab0d24854bfc0937f14b88db34872f5dfea0055da9d 11064 hol-light_3.0.0-2build5.debian.tar.xz
Files:
 6214301dd5b613f08425b5de17c30ba8 5364404 hol-light_3.0.0.orig.tar.xz
 3e0413f959686ee8a5754376b3d8869f 11064 hol-light_3.0.0-2build5.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeb7ZEACgkQ808JdE6f
XdmAAQ/9G+W37XwCQ6NH4o/BTbQ4xbSkKyLpjlkUwjFHUcb+wDaDAOGwWcEdDL5q
aALKx6ASTwU04IQ0zvpTA3fBEuyA5oCHs13e7KuNJ7oHcDkEvX5zQDKwPBnH6KYl
r+9J9NpJ51WRu7tVlQR33adxmqY7AwA1FgDL6uazsmi0kgJwNzdfdd0ye/6S7Xfy
+LYWtGuwJoWq/FOP2STAZEd8FAOduDx9ZC3cSUww1ctQam8nlKOEVcs+MlPM++Kc
y8qGs6aYEw3XOUJgEXzHmxm04zl3Wh2B1yBfv7EqOceueEEv9D8z4TaAw+wJHzri
XeO5aMfwsN03f2ZJV15OOcNl3E7MrK/L0x2Lq7us437As0yvqNQPuaAZXrFdplMl
znZRyBnXmeey17S2pZv03shG6DstZodkCknO8mONdz0+I0NlvHdVJc44eeJJga/T
J1yTXxRs9O+zFUFI59yBpkXmaMDO4scyQwWp6JFU49kbZmSa/vT3EpebKBmdoAU1
DRwEIz1Sa2SE4w2s8tk3CeqCvRCSZLOXUtg+2mZ5PNOk4jENK3GB4+zMAgLnUBuW
f/YFNDOPCQhq42cY426U3a4vyEOrHeyTcACMqUxJqqc5jeKUwX552dFXD4qb2emf
ypqfail0OEqA3ts6xzMm7nFu9N45JmY0R4Nqss+VQwY2bPWHcWA=
=yXRF
-----END PGP SIGNATURE-----