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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 1:3.0.0-2build3
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
 53ffdc7f1803b7c20c6ff779a9aeffd65c96ec3f 10968 hol-light_3.0.0-2build3.debian.tar.xz
Checksums-Sha256:
 918a6ef8caa8b36b6fe260ac35995c9e0ad34daed4ad4240b77b91cf2ee0185f 5364404 hol-light_3.0.0.orig.tar.xz
 56ff5eaf74b3c16f4d13d8cbfe5d0e6cca584e1304e60519d4e6261ad1b795de 10968 hol-light_3.0.0-2build3.debian.tar.xz
Files:
 6214301dd5b613f08425b5de17c30ba8 5364404 hol-light_3.0.0.orig.tar.xz
 9b2942beff06bd4e9e518546c94dd153 10968 hol-light_3.0.0-2build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeV7bsACgkQ808JdE6f
XdktzhAApqLBnMHbx+JNzWvvY09hMFVMY0nXmb8fZcCgLPcJ7+1roeYi3QHfVHKw
TChD1hx3Wk2wOh39vg+NHzVweq94pcm8+1JvsTonhaxjLZSTGlBrbr/CJW4jvqoG
quFnGXJNM5slPo6u6U6KT7qPaq+qhSFsH3nXQp7kP+KcGcohnHG4Pos6lQpr1876
qw4fVh54vDkjevuMb6vUx4ZVHsRsau3u5UZW2C9qjgJtbSRGtdbaWJP7JGr4hABL
GrGFmA5TAvLW6Cip7hcV0gRr3zilUMTD/wWqv5Z7XyYG25yC9HRw89sUVRnIldsg
ezHwqdn952QEp6kQUKK95eFYP5g05Qnv/fZ3qZFRt6401oULpX6Od5mTcaEEVfV+
D9dfKz6j6F41QGYJlBuSo6fKwHxiWgQjXsdEpQFBHiQs6pA6JmGn8rBXobJvthwr
8RMoUhoAqMrkdV8ug2xtEDKX3SLVc9meK1dOMeJr7SHZlvn4n3k2SHmIZkiQ0Fd5
oB9eHjw+9x6WJylVSXQhE2nHSqUHZBiwfPig8Tg6QAoPbhHWb41999EmBI8lJrl9
KAe9daZCjMjVqCJhNTSzvRNq8+3/Yj5djJEG2dazl/oUSLQm6PPDW7kt6nKOGSrv
wcpY2xCZqJKxAU4cQMPkBa750OGjLtgxuz6oo1RmMMwgdc5nFXA=
=abxI
-----END PGP SIGNATURE-----