-----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.17.0+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.2
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-coq, 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), 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:
 cf6d446dd6187ed356ea6eaec7e2315ae8282863 4773032 coq_8.17.0+dfsg.orig.tar.xz
 d3ce67938c4528b61af4ed48ad8cb47d92293b6c 33152 coq_8.17.0+dfsg-1build1.debian.tar.xz
Checksums-Sha256:
 8dfab9a5db36300a19f31fd70009bb4907d3a2e1e2671dd89a7e64ddd4b77ca3 4773032 coq_8.17.0+dfsg.orig.tar.xz
 d493f6716cc32358890f7829583a54a1a3094cd6ebc11d31830fe55c81aaf01e 33152 coq_8.17.0+dfsg-1build1.debian.tar.xz
Files:
 a4600ad16a18533703e73c88f2a62373 4773032 coq_8.17.0+dfsg.orig.tar.xz
 199f8054929d946c55321a1829a16a8b 33152 coq_8.17.0+dfsg-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmS+r2wACgkQ808JdE6f
XdkwMQ//ZRxJXIY5XFPcgc9TAfrlDRJx7MtgrnpfsYekoVJH3tb2X6BYL+Xli/DO
Puuv3hJ1AblFc15ukLjMuQXh06IgmhY5FJBzGYabZSYVIPpmoZBvnTvPA6w+KVPW
JhGgw9zmNUo4AG250pyo+CRBWPh3P8y9hksQ/J2W5DcY+RG+xfLkChd2+Cv+80tc
kCDR+qzTFHWIGnoOG30Jhr17QQQS1DwvOpXaCcr7Di3Fh3P6Nl88gWQtWdL9XdGC
zy7C+ESqgGGODbCtjyXfFx0leuFuufgjeJVHS7nEYgIUK8JYgQrQkAyag55o5RTd
O5XL3qBl1JP7pshZZwl34UdP7rrLJXtqF0XcWseQQ76MXXG0G+C6Ao5KfpAFaJAi
ZfWUWjVCiSeH+jriYQ2mv96xgF/jdlqEYuPI2lB55DGSTy32JI3GTtcuh3qHUDtq
C4MSmc2rG1wzVeTYMSlRG8PZpTBsU2r9Dcb8W4jI7RvHdZoqI/VyB4NAfHGPbdcJ
fNUAf+UMtgi1Gv6PBkAq+WP/xflP20iX02Dv5ULUPZmpYpLYpsCb09wiuHqgSz24
3IECu5VwTS++eT0ok1jXWcLcoF7ZS43KghLVTqlVPqqBgbrQiOoFgv+40yuHFCQ1
FEETnsW/UIp/HgexdEdjsv+4YiAQ9ftihl11exW3lVipzs7Jzrc=
=gwQ+
-----END PGP SIGNATURE-----