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

Format: 3.0 (quilt)
Source: coq
Binary: coq, coqide, libcoq-stdlib, libcoq-core-ocaml, libcoq-core-ocaml-dev
Architecture: any
Version: 8.15.1+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.6.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq
Vcs-Git: https://salsa.debian.org/ocaml-team/coq.git
Testsuite: autopkgtest
Build-Depends: bash (>= 5.0), debhelper-compat (= 13), dh-exec, dh-ocaml (>= 0.9.5~), dh-python, ocaml-dune, ocaml-nox (>= 4.05), ocaml-native-compilers, ocaml-findlib (>= 1.8.0), camlp5 (>= 6.14), 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
 coqide deb math optional arch=any
 libcoq-core-ocaml deb ocaml optional arch=any
 libcoq-core-ocaml-dev deb ocaml optional arch=any
 libcoq-stdlib deb math optional arch=any
Checksums-Sha1:
 4a69035238a4684650c30396c71d64b67b5c2fca 4672764 coq_8.15.1+dfsg.orig.tar.xz
 24bdd7bc868c4274fdd9f69418bfa775a48fcde2 39680 coq_8.15.1+dfsg-1.debian.tar.xz
Checksums-Sha256:
 75f7fe4a6f289db41d2758acb68a28409b084b56af78f8b81269cc56500e9e89 4672764 coq_8.15.1+dfsg.orig.tar.xz
 8a0bf1f503a3350ea61434908798105698c6d85d01382a8878785ff3c6cb1dbc 39680 coq_8.15.1+dfsg-1.debian.tar.xz
Files:
 4da85cebc30b568a89f686b4d55fdf74 4672764 coq_8.15.1+dfsg.orig.tar.xz
 09c79114a9d9517d21b0d5dc219039b9 39680 coq_8.15.1+dfsg-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmI6AjUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRsDIP/iejSuoTwO7Ae0WHwrkOUAav1zIV1EKy
oto0lbLb4nAzXqWiv3L25eZUN2XQMhm/H+C47FbdLP+sOa8avu8bvvEweGEDpODZ
1m+I3KOgxPtnzh/jEheovhW6O6ImMFF9ot7SPH0UvkgUhNDwHBZ10M8MkQ9FXeBZ
B0av6HCBAH1obMgAtbq3NTv/FfM2Y7S8HdeyYH1+oyYhi0ciMia/DnwzoBP1yTsb
M4o+RoWC0Va+OFx4W7MQBQwGx9p3E3Kq3clXd0Hye82bUfmmciXBqAufDT8jLvOZ
mTt376xKyhYUNaFuSbe2wwAI3vrVGftT0dFJehwDzZvOABsDa/80eQbMrHgw3wEm
B8CxrCueL5yiVg6jq4ZYYirXKULBNrhK2mYq6D5TMxlTHamfHu0BQSJo1ueJu3nl
2Ao06sTcUXspGyDJ6kt9Mm7cyxWcHpqVm9db+e/bpjXHjPG7c7wSbT0kF25OuenU
48ur42dpFpVwFnE+yIAFUmn6EsPglkm8wPsEzwALQhOKND0q3RnpRlfPQmxV+WW+
yEUyHeOA7yp3wXMAawjKiHOEsn+/xgkLjUwnEXpn7zJ7UoC+giiCJpx8lrI2UT2H
1slf+yBcXDyNqPMmZfD7pnaqNJWy0zlvqQpc+o6JbhB5B/gELq90lattunHrXwdQ
3E1RvZRD6jfI
=eEtu
-----END PGP SIGNATURE-----