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

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-1build1
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
 54deefcbb3f89613d79c2f104138de41bd3048eb 39736 coq_8.15.1+dfsg-1build1.debian.tar.xz
Checksums-Sha256:
 75f7fe4a6f289db41d2758acb68a28409b084b56af78f8b81269cc56500e9e89 4672764 coq_8.15.1+dfsg.orig.tar.xz
 ac1566af240c65cf87928d0ba0ff55dbbce0957c5d48047335bd08ce205cc38f 39736 coq_8.15.1+dfsg-1build1.debian.tar.xz
Files:
 4da85cebc30b568a89f686b4d55fdf74 4672764 coq_8.15.1+dfsg.orig.tar.xz
 daf109979d0da5ce1ba0358e8f80ad90 39736 coq_8.15.1+dfsg-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmJvmNoACgkQ808JdE6f
XdkPog/9HuikfoAfpJiUHe5A26gZTo7642eby1KueO4az8UwME/w/hFt578y2DzZ
7/ysDCihLm1fLt7zPLTIjqzx6mAIWl4mzWWNYjgeyVqAs30lLobjkEteySwJZ977
V4+JKcIiZw6VAxG2aZiqdiqnfkCpH9LZRx6n1pYDzcq4lMvvjU86L/1umFs8bthB
Jk1QHZ3SJS6+eMEXXaGHScPDJmKxHzB07PDrUINw/X2jbV8hkMi9Y9y05JYlNYVf
zkmBTayMEASEQ8jMFIdivAQTGWm0k0wfSByV21/7OA2CrxyoRF1HZd7VO+7E6HKH
U23ap1+o7W+TmHgZPeO4MaBf1GsCusoPyobq+V0dG7xcuKl2LrO+tgS42FnGeWYu
sgrszFogNgZRdbjwO8pi4NjJ/3m/Xw7odlrtD+81A2z4zltT/0kR73UU27TdVl7Q
ZmB+o4emBEG0uo54jNYp1dKIgS6+K3DUJfHQn8kbzFXXR4xS7b95tQ+woHY7iltx
Yg5EEyZEc4hrQx9ImLDvyM8M6jrRm5Vi/cjXRyP+ykmiwemzlMSORw81UavcEess
hNzOtUkS5YHBRfrSbqRq/vlrBTxpa4Y9tia7I5YLoLOgVNNKdbeGRmV3E+ZNtbwX
s2tJiqQIDzr3NTLPekqqRfd5LZGJnMvBlTXSCNBrjOKZyOQmxdA=
=1W0l
-----END PGP SIGNATURE-----