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

Format: 3.0 (quilt)
Source: coq
Binary: coq, rocqide, libcoq-core, libcoq-core-ocaml, libcoq-core-ocaml-dev
Architecture: any
Version: 9.1.0+dfsg-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Benjamin Barenblat <bbaren@debian.org>, Julien Puydt <jpuydt@debian.org>, Ralf Treinen <treinen@debian.org>, Stéphane Glondu <glondu@debian.org>
Homepage: http://coq.inria.fr/
Standards-Version: 4.7.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq
Vcs-Git: https://salsa.debian.org/ocaml-team/coq.git
Testsuite: autopkgtest
Build-Depends: debhelper-compat (= 13), dh-coq, dh-ocaml, dh-python, ocaml-dune, ocaml, ocaml-native-compilers, ocaml-findlib (>= 1.8.0), libfindlib-ocaml-dev, liblablgtk3-ocaml-dev, liblablgtksourceview3-ocaml-dev (>= 3.0~beta8), libnum-ocaml-dev, libounit-ocaml-dev, libzarith-ocaml-dev, python3, rsync, tex-common
Package-List:
 coq deb math optional arch=any
 libcoq-core deb math optional arch=any
 libcoq-core-ocaml deb ocaml optional arch=any
 libcoq-core-ocaml-dev deb ocaml optional arch=any
 rocqide deb math optional arch=any
Checksums-Sha1:
 ea9485b976b1652b14d1e96dae70532a065d6ab3 3834256 coq_9.1.0+dfsg.orig.tar.xz
 89a5fab696486d14f7a77100e9f49497c6f23828 24072 coq_9.1.0+dfsg-1.debian.tar.xz
Checksums-Sha256:
 940a840ebc3cc121717c6ea3005aa8f10798b3621294d747261f3b7687c9e304 3834256 coq_9.1.0+dfsg.orig.tar.xz
 8d3534da8f9e0986544fc76b071773e8aba20d4852bd0b89bb0d62b3e0402acf 24072 coq_9.1.0+dfsg-1.debian.tar.xz
Files:
 e97eb71f058e107af706cb869e55d7c5 3834256 coq_9.1.0+dfsg.orig.tar.xz
 3fc393ea944439df56cd211231d2bdb3 24072 coq_9.1.0+dfsg-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmjK2bQZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUeMUD/4uV5YpM/PbRSU2MKl2W+z0
MIBLquslwVYbS/UpaCaMtPZXquMJYPBncL93j9BZvmRWT75PUnE4Vd9kLt60YIXM
zG9mzt0FiWSxzBKTaM4Kx2qbmQclDZ/mx0S8rEGDXCh9BMxpd9fPlz8KSuyMFzaI
sFrRbppQVVD7b9VUMS+bh6yKeMi7ABsSzk3opIgA93E54ijQTHMg+ZDz2/7dj/ey
Ks7Rix0fkJ4ZX2w4LKkCKQowKx9hvk1MZUIsRTSh5//qwoqG/wPVlkWtpt1+SPZ1
kVICtnThgDsO/uw5OJyClhOyYdl44g75ouOfna5wT0g04z58l+zy2+1qblwlQV9a
oqy5HtoxC1MjyhX+vSe+0IsntHmq9qrpHAjlI+KB8lDQDwdJ0JHXzuOxJ5iwaUq4
ri6JClxD/KyZ2NRCLItJAdnAEoARHByktlypSnFi4ARvIS8f35xARHHGGpRpiBYX
tIX90B3iOqKFzeQO3wCWD2QSkro4GLiTG1fNJlVlT/4jfRrAWLqmV2hwtd6as656
qpDQkP63YucJnj3TmjWa+Whe70OEwnoDl2f5x85FBMkXTvItgI4Upysh5OUY6OEU
zKGah6tR/DbsE5HZy1xaq+uLqJ58RBZlrO8lH6dHh+oHa5doyS0PZ/Kc3S6hHUXW
jpkyU23/IuP2XzxMNRgJRg==
=TaPb
-----END PGP SIGNATURE-----