-----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.20.1+dfsg-1build4
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.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-exec, 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
 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:
 a95cfc700019159da05ba7bb6e3afc4e6fdc78a5 5014988 coq_8.20.1+dfsg.orig.tar.xz
 b59711d9331b9d2ff5b8aefbe2da8643da6c945a 30344 coq_8.20.1+dfsg-1build4.debian.tar.xz
Checksums-Sha256:
 333423556aa0b9f1c5ba435b8a6f081fad9613c6396d5b73784bb8028fefa7a5 5014988 coq_8.20.1+dfsg.orig.tar.xz
 206082627c3e05b1a8437d91a8d38a79243f834281dfcb38bc66bf598424367d 30344 coq_8.20.1+dfsg-1build4.debian.tar.xz
Files:
 5ac7712d0d946a8733aa3fea7eae57bb 5014988 coq_8.20.1+dfsg.orig.tar.xz
 420ad7f2540e2ec563a452e66e7a2797 30344 coq_8.20.1+dfsg-1build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmjReAACgkQWWH9vpxh
mAmJLBAAh4v/I8Q0JXyUspmRafXWCh0ei0hiCGm74f6M4rByw276NXiJcQcoyxkw
rkheQ+X8ZQBNATLzKLhJAoiyqSrkMGdfolhcdXzwgRvH6eze1ICWEMiIn3ZLG4ZY
ktwi7FeOeetUM3/hmPx36IKIICOkculIhLoGZHhH48wyRi48HJV0gkCEg3dbdrFi
4UkZCkteZO1ehjaI54BheXPovUB1qmBxHgZxyFxhJeIrHSzxEobU6nEHNego2EKE
e3YWSxo8ujdI3l8VnvfXfoIuRAAOZtrb/1NzoJkcu3FjpVuSB9zQpTcxGHLiZeiR
0jI7Xcx5eMYC1qp+zLQZpIdXPu/mvr2uIFd3oTCaYefGsaR+PEkF0A6h1F4JoJ3K
/oqclU2DeJ8DcTuJzZzpHUB5jP+RcxC7aBtH7c8WFwmy/MHi965Z0tl8HNgqFrau
zOC3WclqG/6D9i7MW/+kTgOgdAT9Y4UEuMMNQJSpQQpvJ/kd79jYof0Duo+wkz1J
vS2oiDM4mUxhUV50sEjmHjkdAH1zcEJHT5lBGS6YHi9iPQ8dhGKA1MmsiRRAySjn
TA+0agTVEIvDdvRtuQdCw5L1imiS9WCARV5yT6Wv9qARlGr6AazYfaw55xFih/LI
Mnhz/9di2RZU19NYNKNh0Ym3yLaAEiSnzW5w2NuHe36KEV8YkC4=
=kH4I
-----END PGP SIGNATURE-----