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

Format: 3.0 (quilt)
Source: hol-light
Binary: hol-light
Architecture: any
Version: 20190729-4build3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders:  Hendrik Tews <hendrik@askra.de>
Homepage: http://www.cl.cam.ac.uk/~jrh13/hol-light/
Standards-Version: 4.4.1
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 (= 12), camlp5 (>= 7.11), ocaml-base-nox, libnum-ocaml-dev, dh-ocaml
Package-List:
 hol-light deb math optional arch=any
Checksums-Sha1:
 78a00734637a1cb7312c4c3cf71f7efca559dee1 6959546 hol-light_20190729.orig.tar.gz
 2242176af233f810b2c8da66cb568dec999a69e2 11260 hol-light_20190729-4build3.debian.tar.xz
Checksums-Sha256:
 88cfcdd1430d963b9fc63960829e1a5f7c08df98ed92b3765cff51691dbfe75a 6959546 hol-light_20190729.orig.tar.gz
 b8339ffbd5844b966e56e58e62d50ce69712d4f2a27b73902e0367065d3d0b07 11260 hol-light_20190729-4build3.debian.tar.xz
Files:
 9a8813a63d883e10c5b52c36b93ee9b0 6959546 hol-light_20190729.orig.tar.gz
 8c72c0aff1012a27a7b9ed9bef8f08dc 11260 hol-light_20190729-4build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl9Tp6UACgkQ808JdE6f
Xdl46RAAx96koKE7PQrlPJjJ5YA19AHjGopHQk5IC0zQ6ZXnfB55Dp/DHRzDYfcD
s5wEY22wn8S6MdjCULK+SUBZdY6fJHQR6dLSbYpo6F7OpEeWQHqdvig9GhQxXpP1
kLEkfwA2pX3H43/b6kH0H7o0HpMYyR9T5E476jGJ00iSB4Ztt451zadkxOz6djTe
d/y18OsAm/jpSD13x48ceMu9mxuu8JLZGpXJp/DIx9Tij9UB6CQhxyBGAbT0lxFN
yUpPe9DAEPingITS0tsenxdiJPwa0nCapM83CcmEicunEiQ6ADVL+dS8dWJ6dkgE
exG/Pij0og3nbZk1rkfVwIU4jJVzmfUL2WRyA5E5diPOQ22xQhqoknYbNFQYP9/8
NyB2naLGodX2yTiNcjZouZ2tWhQB2+0fcZJ0M7mX/8EYi5IpQ/oyqBqEDiCt7bcF
TnEdWc2msgc/upFsAwrLXaGojWSYOP1O3xeJiGnGAjJdcY4XwaYtoPtTrNgH9ERh
1RpIC8BiT6sbzJgQa1jtGKIebOQ2E+Qmj0G/bfz+aj1kX7Z6PLcKS6Kwe6xTcMb3
Y7gUs2jXuOSiuSnk7lN7lNmZGXns6faWeNlgdChyF6IdPN83Tju9t9wkyApP8xr+
qUKvebLNPMotpP+IIg8xrc9n3jFysy7HI4HGA3km/nszHqP59rM=
=7nvT
-----END PGP SIGNATURE-----