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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 1:3.1.0+git20260619-2build2
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.4
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), ocaml (>= 5.4), camlp5 (>= 8.02), libfindlib-ocaml-dev, 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:
 732c39395f5e4f72f679cbf40847d055785cbcc2 6363232 hol-light_3.1.0+git20260619.orig.tar.xz
 839d32936e8763ec6bcc6ee763ac528b900b2ef7 11128 hol-light_3.1.0+git20260619-2build2.debian.tar.xz
Checksums-Sha256:
 31414bb6b50fdadb6d56fd011d1bdc9b8eeca360e16885c10e44edee7b98de72 6363232 hol-light_3.1.0+git20260619.orig.tar.xz
 579e49ac23a0eee8a2988fc50c29f2405d0d1b52d1b30accf4e5097e5564a46c 11128 hol-light_3.1.0+git20260619-2build2.debian.tar.xz
Files:
 cb7259565817cda6611a3f9202ba0c76 6363232 hol-light_3.1.0+git20260619.orig.tar.xz
 d9095a53a9f2c7ff99c6b64e724a9c87 11128 hol-light_3.1.0+git20260619-2build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpXWwsACgkQ808JdE6f
XdmdfRAA2+RuzTNT8o8LyUZJU9i/73xmso3vvePTnIGj5CmN33VvdpCV7teEP1MX
a7+gdRyD35T2DsO41xt1MH9hIT6DZR1URPHivb/fQ7emMr6igvYxW2MQ5BFXz5qA
D+fknNAbuGhtT2zZuZNC9vIUnylb07Ta86+Kud0q4Ry/PqbM/YSeExUbu/L2blcc
AKIlReecIopMjjg46l38zUrylEMqCa6yfgQLZdzk1I6nFnK+xxzzL9gtftWVUGyO
CDbNlsMYu5EvhfudJXCyLJ+vZKS1rhVM7eymTCVYISTrb57rXK1TEAKp5e1v+a7H
lUmHSmd1KD/gUPmw27j/AIBhnqK8oSem3+keji8/NChpG2KEEWYjfrfX2+Su+YU0
nKHQQdBsiep/9dHemrdIMVF+IhwDdPXtXQ59XTWwXk3k4GC+j3tPSkwJcZXbyB2T
O/DCfWbZmrWdga1OYz9+PnWKwjjqUBPabhXzql2FLALSQ9AySAPZdJk0HVWry5HG
sxWSFXaItLUDqh3Q8lj9AgE3CXpTrSuJdNQvdBwc951/843clmfrH2x8UJy8F5/O
wlZvjHT08mmxLhe5ZekJrhAqLtNVTmRf/cWiBaxY14ouP9pJXTQwlIlb9wRECePO
jMUjDoZKYQ8o4scE2Gb3JXbpFvxsDXzpFn0NSRh7WectwaLNfPg=
=w+Ht
-----END PGP SIGNATURE-----