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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 1:3.0.0-2
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
 a45cc3ad7249adf15aaa2a84259fc009fb72c639 10892 hol-light_3.0.0-2.debian.tar.xz
Checksums-Sha256:
 918a6ef8caa8b36b6fe260ac35995c9e0ad34daed4ad4240b77b91cf2ee0185f 5364404 hol-light_3.0.0.orig.tar.xz
 e882632c1fe52554fb8fa33c345373733a5f75105e13eef23bca5a89e48704b9 10892 hol-light_3.0.0-2.debian.tar.xz
Files:
 6214301dd5b613f08425b5de17c30ba8 5364404 hol-light_3.0.0.orig.tar.xz
 07e8f72f27278a25b255dae1f3f2a166 10892 hol-light_3.0.0-2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmdfyn4ACgkQ808JdE6f
XdmDKhAA0cb4zsSFK+zZb6Euk2DeyHq8sh2rccZJGiIjZnSU7IBnoNFwnI6Sq5EH
46OQ+Y6JKDjCFBWiJF/DLUMwfkNTDHrPCq5sT5l9nbvp1hh3xxvMsFzm8tgYNVfF
qF5YakT0kXFVf6lKtvsZgug2VkrNgPMquP2N9GosmTBeHr5m1umqibIXBV8wylnA
WMYcqN/XxEmIjJVWiQlqG+U83rkwD5lFwYaUeQ3Ae1hg9F2np47LSzTBu1ukCSYR
4P5oJW4Ei8R0TNUd497DrjXpQVJr5OsBy1NhbY28VP9dD9+Rv/qU8g8amVTJXrJ6
+Ocw7hwYTT34ELrejmLvG4CSuMjAUF/sHS/Ae8QMW0hzF8DNHWRNARL3R3UDo+hm
25OYhkk87gINEse9UaXoo8yfNEK4C8H0oJqesMfoInr6ifPuc/O4FYXP/xcFNqBG
wYXLcqYZDUB35Xm8UXXXHMb0y+z9eOTsCBYm3ibe4bd2o9TWMKnXQ2mMN0Zy5any
RsnpkEeQkO+8YZiE3Iice0yZjoEwhBwGdB+xGDueQ8DlkVvqukWQhJuB0uBO4CXo
k7HBORrHVoCanNyql6/bGqcDa8Xa3DKAJyq7rAZ6pPwYq/BdtYJ7zB6+fjvhm4ZA
gR365MeV4qSLoqvSnoQhg/ouh4IWX/g/jiKTcgXYbG5oDarwG8I=
=Asrx
-----END PGP SIGNATURE-----