-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 1:3.1.0-1
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.2
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:
 597e1231b802d35a35445e7c03d1c045501218c8 5539628 hol-light_3.1.0.orig.tar.xz
 0d384cbe0520826c4a698eab8a383278787f53b1 10920 hol-light_3.1.0-1.debian.tar.xz
Checksums-Sha256:
 381cfbd720fa06487022996e1c77079867e30292f6411d7162dc2056a2e19aa0 5539628 hol-light_3.1.0.orig.tar.xz
 bf7a129f42404be10e8e7622adda58517d785afe81daa9177f264b3bd47cc5cc 10920 hol-light_3.1.0-1.debian.tar.xz
Files:
 e7fb33160150667d18dd711e991005aa 5539628 hol-light_3.1.0.orig.tar.xz
 4d90116009adce770ff4ccf323094621 10920 hol-light_3.1.0-1.debian.tar.xz
Dgit: 98e63637271d1970c71e8ab0b178b4face917c41 debian archive/debian/1%3.1.0-1 https://git.dgit.debian.org/hol-light

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmlGET0SHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCB3WYH/RkBu+/RwhFKJvmh8AXx7VeHx5UIFL+0
ekNAUCwEd4PjH0MawQtLAmAeFOihIk3SJqkEYsMjypk4q9K2jAesWAWDcBXyqm+s
RKNediAv7OkUKzmfP9XUSdv3ywNaLwtjuD51+LOe49P9X/fr57XNI52kjsJhQMpd
Q/nvFjU9OJMMeiDHu1BjgUVZ8W915K8ZAVAcEomGafAp12SR3RQvI4uNJU1QAz0q
eZh1lQc6O0DxKoF8sy2f+sDEYcm5oAxGcVN35+jdQu8Y+gpxzQtd8HyzXZO2GcLr
Ae8goYCFHWrh6cqBDRp47YuPqd/bXt2izRaRlQHJwjDRzxDG/nLP1Xw=
=2pXA
-----END PGP SIGNATURE-----