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

Format: 3.0 (quilt)
Source: coq
Binary: coq, coqide, coq-theories, libcoq-ocaml, libcoq-ocaml-dev
Architecture: any
Version: 8.14.1+dfsg-2
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
Build-Conflicts: libcoq-ocaml
Package-List:
 coq deb math optional arch=any
 coq-theories deb math optional arch=any
 coqide deb math optional arch=any
 libcoq-ocaml deb ocaml optional arch=any
 libcoq-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 8825cd8eacd75edb237829d4e1d085b106e05069 4614312 coq_8.14.1+dfsg.orig.tar.xz
 f3f58555e944fb558be622da93fa8235e367cc2c 39952 coq_8.14.1+dfsg-2.debian.tar.xz
Checksums-Sha256:
 64c41fe6566465c343bc652691bb6e2bccff1a7dbbd4c97d3fe154e094d342a1 4614312 coq_8.14.1+dfsg.orig.tar.xz
 1751dba3ae373c7fe7912108bed06f0c7e7ba6d03aaf46063a20e2c05df9d1bb 39952 coq_8.14.1+dfsg-2.debian.tar.xz
Files:
 83f6ebf664b30aacfa00af543012734a 4614312 coq_8.14.1+dfsg.orig.tar.xz
 781002bbf404d706d3eae65a04ccfd05 39952 coq_8.14.1+dfsg-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmHlIPASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRRxUP/3N53uH7tDmyeeIXDy17V0reIPoLJM7N
jyHPUYekg/XFJRl1Ev6Iltj1iS9qvFMY/JXrSuqOD73vMMRM33s7bBhu57ZiZu86
dTm2slrlfDHaLwo20Brjjd2QbVoV1MJG6m7tuERzi2z2AQQHDy3oSASYP0tbIgR7
hFcNyFzw2TXUlj/txLtdDlXHZTctXMldUXhuvnHA4El4EpItsaMTEG3f5Ub1zLZc
1BfNsKCbe/GKFnKCaLs2Kfwfj6QJ/TomRyzFnthhM+NZLcXcKDQwo0Bp9w5I9M6A
b0bChq6EOne3Gq3Y7+GFk2UoHdyhzC/nKzEa5VP2niZZoMNtMYNVBaIZ7Yk7GExW
qvTEfXDfAXAVfy1JOrI+EFOp/kSU9XOi3jZLHh8ZLc6gebXAnC0ol6gDwwVCIu/W
CqLogFlyD9Rry0C02xsNq61WF/GbROQe3lHNpIgkaXh3MNSUWGnuZn0V4QnAzyU5
V/9F8Rr484Gje2upEb2P3gfB0i1f7EHRw5L8H6q6YZ4sz413SkHZCz1Kfw+WhA3f
9aihIPG7ff+zla5OV4Uy+XjqpeI1S7Ip3fHlyuUR8anlj07hs6xJEP/0ndlv5QfX
QsHiz3xhSvifokRNPOyYjA3aZrRYVh4M89zDa9rrQpgCqfwMaNRNdiYT8CM2NOBx
n1txYKB+yJSx
=TjJL
-----END PGP SIGNATURE-----