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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 20231021-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.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
 2a0be57d8e169647701e0eba0e6a1df491cfb3b4 10872 hol-light_20231021-1.debian.tar.xz
Checksums-Sha256:
 b40b15854ea6e2d58d0f992829d9e6a22a5099eaaf02c5fbf4e642337de9995c 5043576 hol-light_20231021.orig.tar.xz
 ea52897bfc168969d78f08f65134444ee8458f6023b614683e31a457864aae13 10872 hol-light_20231021-1.debian.tar.xz
Files:
 c469439d4b3e430d4142d4baa03cc59a 5043576 hol-light_20231021.orig.tar.xz
 f18f63afba79f4fd4b9c8beadb867221 10872 hol-light_20231021-1.debian.tar.xz
Dgit: 8523bc4fca2f9eb7e3e335755e22a0b2fe6b3e16 debian archive/debian/20231021-1 https://git.dgit.debian.org/hol-light

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmU2dYgSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBycQH/2dyCGWTG/RsALysAx7GCcumESCxiZV9
r3TQWiSlwErQ3H0gPU29vKvUYzuBWlk+42R0dZ0rLB1T1Tot/xrvep03T4tOlLR4
amCqRpJMw+VH1UGabXimzXML2DOBvaBjlnFO9QOPnLW63BhAvdEh6yTS1uC9/D2P
c7tklb6gj/+H17RkILaY7E2E66ebk9GPIN7+WyW5VpaSlzCWMIDbAcS0Y/KQKyWo
O+FwSOC4RrwhV/zSkX+wD9+SlfxwbEyVsLcYptfo0mfD73DeIDlz2IOFloPLpHLa
R0bnuxiNff9ZaGEtngQ5KKMJQCgOeDnV/YinkqSHAGVwjoS9WNeP2Sw=
=6Ish
-----END PGP SIGNATURE-----