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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 20231021-1build8
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.6.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
Package-List:
 hol-light deb math optional arch=any
Checksums-Sha1:
 d4005d75d8028503f8c06f84fa71762ab092f8f4 5043576 hol-light_20231021.orig.tar.xz
 4c1f098ecccac8ead1e020fb1dd005e7670b0fe3 11032 hol-light_20231021-1build8.debian.tar.xz
Checksums-Sha256:
 b40b15854ea6e2d58d0f992829d9e6a22a5099eaaf02c5fbf4e642337de9995c 5043576 hol-light_20231021.orig.tar.xz
 9923768717d191afd4c9b0f7fd006bc036d8588c9d9f2db8b7eeded79d806477 11032 hol-light_20231021-1build8.debian.tar.xz
Files:
 c469439d4b3e430d4142d4baa03cc59a 5043576 hol-light_20231021.orig.tar.xz
 82f0e7e257aa7aea8a7a13775a1466c3 11032 hol-light_20231021-1build8.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZrzNQACgkQ808JdE6f
XdmHvhAAkkWg6ogDnJSIevqZrhDaKVj/4p7v9HRlNRurSzCXyjdCuqF00FtLx7DF
+MpGezEHi4JvIACj0NCNY35MIephO85UxEr0ajzRyiTBqUyPju+eKQFIITaXVvLr
4s358a9mchzNNuFybtgbiB9G0uGd878D3TP+k6a/P3l32tBk6nr0UCUB5MRJe7g+
YNcPQauyt5qGebRr4NpRArexFxL0zMTNJ1t4S28bHr9JsbIRB8K8X2DczrcJLnL2
1Hs+41dXTKWDTFZLcWvbbOft/B2F0Wcq2i0P4KIyjevdxQe+wlsvWD+QHIs13lCb
+HegssmJa/tF27LLNLJ7TumaNFJpwuu5Ge0lxrkOcqXmp05tYlr+9slCRhAG9NU4
/RUQMePRZCgbCUyNGe4jTqj++gDN0pMsalM855F2/Fuzk4kS0WSyA7ic1W9bWWi1
SymrDZfPX6ajEsW7rcuFVr7dzBbLKEEolyC8K2zo5TfHW6AHk1nUUcxtm9QDYkgn
8Ls2MouZ7tUcJeeV2xfoMzMQzIGQgOBhZKmeRiplPOangJ69RTB1CbqEGrm1NlPU
jegG5pbyKtIJ+enYOTyZ3wboZZiGZmLxgLUPCVIMUOrfIDNkw5ucW09Vdj7WZ2Pe
P2Lo+W09FM5lzUoM3u5YxRbOZ3H7IVmVqXPxKF2V7jg/YrI6XNY=
=5OTW
-----END PGP SIGNATURE-----