-----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.19.1+dfsg-3
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:
 674cd32b741c1235653e4a8737ef3f15e3895259 5589471 coq_8.19.1+dfsg.orig.tar.bz2
 cffcdd614339aa61b1d6797404855051dfebf97c 32904 coq_8.19.1+dfsg-3.debian.tar.xz
Checksums-Sha256:
 27e8da966b976fe64c496b81da2c90477dcbecea6f8af4424e9caff06d419350 5589471 coq_8.19.1+dfsg.orig.tar.bz2
 cd92cf943d2ce2e01d08d2fcda3f65b15ae25aca811332e18f7a58fe560ba82e 32904 coq_8.19.1+dfsg-3.debian.tar.xz
Files:
 dea6de51a6e8218824751962ae449098 5589471 coq_8.19.1+dfsg.orig.tar.bz2
 53bd334d7f91adece54fc12e900e72ce 32904 coq_8.19.1+dfsg-3.debian.tar.xz
Dgit: 3c520cb9917208c0260e107263688981c5090c69 debian archive/debian/8.19.1+dfsg-3 https://git.dgit.debian.org/coq

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmat3zwSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBLTQH/1owP5I2zFZ1II7cZdSQwD/qMV2H3Yd7
4/XGBPdTZi8/IhYGXaWMH1zoBolCxZbwfnR65ja7nfLv5eSJkMbnTJaKqdEJoU8D
zons9Fvou62l5V03QJFWY3YBnNKD4lehOMp18pdIwWuJAKQSPi++klOTo5/GQmS3
IdW8WtMOG2E5WHtMvjzg5T9M8RTRTaG3R1OT6WkjmeH81yhHOYHWyWUHcvQg02ei
EiUa+rW9e5Jdzxc2UkPzCszCdzXKkKfwYU4lyva7T7Z8oD4k7FPt3tlSGjWntgim
FsQwQC8KWuyYbObdAo7U50yJpqbKbnpEdDmoPB8p6kRj/vrghKqYb9c=
=mHW7
-----END PGP SIGNATURE-----