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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 1:3.0.0-2build1
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
 1c62b79d7847efb9dee29cb92e41cbfadbc390ef 10956 hol-light_3.0.0-2build1.debian.tar.xz
Checksums-Sha256:
 918a6ef8caa8b36b6fe260ac35995c9e0ad34daed4ad4240b77b91cf2ee0185f 5364404 hol-light_3.0.0.orig.tar.xz
 388c5353c4716d2a3427f511448215c12f91771113bdd122ce630b4fefc1819d 10956 hol-light_3.0.0-2build1.debian.tar.xz
Files:
 6214301dd5b613f08425b5de17c30ba8 5364404 hol-light_3.0.0.orig.tar.xz
 fb8b70240830688c042e97dbf94693f0 10956 hol-light_3.0.0-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmd2xzIACgkQ808JdE6f
Xdm10BAAxutr3ZcGIa4y36qRmoTNjKVV50hcbJTZQfb9iTGvvqAOh1e+0X4sb/WH
wnQpYPKpVl4OR4Gy6N9cYoccBE9ltmWcR/cctth6WbaAt74VzCCE3O6EMToetq4K
uqI+Kd5Md5Sl42HzjdIinzTsFGo5Lv07bk114+J0MnxwflSbq5p382Vtk28hd9Er
UgX/nADG4AxaDTiPAOLjkJEwYJXBN+FkvtBJ3JhAC/MJwLm/zDdUjf8+j/L8LUO2
d1ILyHbyvo5q4RAxrUIiaSCrevmS9Jor50Ud+39qH7dFwmZPORuSFW0u6bIhhhj9
HLXqwp2uhZfQC0BC4ZY68msnMyTVogxONNmgiE4q/XmVEnGDHueKxS5pU25Gw3XK
V2klZlypuoRjB2jv+lWARZQvJesi8MUSNGLnRt8uesAiEZ5JYa7HpEEt36gIwv71
WTveG2sQU//WtCHGszeRC0P+AIXwzJ3cm2XkBfAioDsMBaPqMpyA2qwedxg/s4Pr
YAc5Q4Ye2A3V6kFnvrDRYxHIVP7mOQAUFqY/mzsSezOYZTlDZO3uBmtZ3t1UnxBY
jW/rz+qx+K9ISFBVWoscXtKd1KDZMPdYnBD8FZZDV4M4uK1j5LUkorKDhP2cb2IS
avJ13fhf+msbgSLTPrDgzhzu4TVhgXotvhf8fa/pPU48q9fQ27Q=
=DMbM
-----END PGP SIGNATURE-----