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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 20230128-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.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 (>= 7.11), libnum-ocaml-dev, libcamlp-streams-ocaml-dev, ocaml-findlib, dh-ocaml
Package-List:
 hol-light deb math optional arch=any
Checksums-Sha1:
 e9003be666264dc341f25208847288a8cfe7153c 7460915 hol-light_20230128.orig.tar.gz
 880bcba83fa16d103b4a2cb3df723db36fb3228a 32920 hol-light_20230128-2.debian.tar.xz
Checksums-Sha256:
 fd392c124679f45560837a7dbbc7d75e691a550bbca7bc90478c0d9876e01d7c 7460915 hol-light_20230128.orig.tar.gz
 23a4239d868163a313ac22825d974460ef1dcf3a141b8936d9b3a3cb520b16dc 32920 hol-light_20230128-2.debian.tar.xz
Files:
 c1530f29b8d5f0b7e8812c7cc623f6ed 7460915 hol-light_20230128.orig.tar.gz
 513b1db269901ff7325e732a54a8cca8 32920 hol-light_20230128-2.debian.tar.xz
Dgit: f742198c6a7bb0f7e7a0da2ce79e44d815f8680a debian archive/debian/20230128-2 https://git.dgit.debian.org/hol-light

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmT5LgASHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBQnoIAKSLyBta0c4S25RuZVLALfmN0pNBsV+F
Ymp3Be+X5XbzFIWYkbGWfkDGsKQwzCSrOdfikb01GOeMgMSSPmn2IB3VECj9gQDJ
no9ePOcHm6lCHAgpYMpBxCethf+n1/sRAAZuA2cDjGP8bwbBc33Sjh9Z8lqHEnKo
nUHVQw+uv/g4C1Hxau9gURsyj9fv/V+yG5riQf/pc1ebd1E6B697ADaN9bHnvvdp
EvS+NSGLfk44d+dqf9NwqCMkhDyBgbSLfsaHM4qs1mVyWYD17dmaYQ5K7noImOZY
5hxXARD/CG0OpvuPggZT/nPnDdfEyxLsvIwtopEhq0UC5jNuaKG40Gs=
=PdGp
-----END PGP SIGNATURE-----