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

Format: 3.0 (quilt)
Source: coq
Binary: coq, coq-theories, libcoq-ocaml, libcoq-ocaml-dev
Architecture: any
Version: 8.9.1-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Benjamin Barenblat <bbaren@debian.org>, Ralf Treinen <treinen@debian.org>, Stéphane Glondu <glondu@debian.org>, Enrico Tassi <gareuselesinge@debian.org>
Homepage: http://coq.inria.fr/
Standards-Version: 4.4.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq
Vcs-Git: https://salsa.debian.org/ocaml-team/coq.git
Build-Depends: debhelper (>= 10), dh-exec, dh-ocaml (>= 0.9.5~), dh-python, ocaml-nox (>= 4.02.3), ocaml-findlib (>= 1.4.1), camlp5 (>= 6.14), liblablgtk2-ocaml-dev (>= 2.14), liblablgtksourceview2-ocaml-dev, libnum-ocaml-dev, libounit-ocaml-dev, python3, rsync, texlive-latex-extra, hevea (>= 1.10-7)
Package-List:
 coq deb math optional arch=any
 coq-theories deb math optional arch=any
 libcoq-ocaml deb ocaml optional arch=any
 libcoq-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 3bc964f89ffcf785dd678dd82d6428e83189fac5 5399586 coq_8.9.1.orig.tar.gz
 4488d02276e8b56904d30ff8e42e8aeb21a001de 29528 coq_8.9.1-1.debian.tar.xz
Checksums-Sha256:
 ea2af8f6445d8ee4cdca130ed4532383ac42b9da1a8d2e422265a142486420f7 5399586 coq_8.9.1.orig.tar.gz
 252b6c755badbff55986ee5d82311bae0e4067f127c30f4960bb16d352ac5f5d 29528 coq_8.9.1-1.debian.tar.xz
Files:
 650755e1b622af8e76df22d11f206503 5399586 coq_8.9.1.orig.tar.gz
 ca032e5d0c994f239d24315a324ffb79 29528 coq_8.9.1-1.debian.tar.xz
Dgit: 3adccc4d7d89ffa34d6ca40a606cbcaadfa54e8e debian archive/debian/8.9.1-1 https://git.dgit.debian.org/coq

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAl1bZb0SHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBSWoIAJYb7wJ+nKHjOzDOnarUBOEBr2q2Qgzk
nc4osddcU2H+X1R9JkCglvKC7B6ddbP0BT0Dxvr+CVZ9t+VCNlDLq5UHAZlLjA5A
8yHC2ZoD1p4yzfxrMOeKr8eoM9xWB8Wk2AK9/mHxJH9m1ZZCMesBMX6PJSt/XcqF
b0lzCMZlRuLveu7uF5pA3Q0U+G3/uZjpQIpik4MxEeaOsVweDXd3VGaIZfmAkLj3
0H7hTPR24+YZHDpHWJQLqQplGxjKF89tHmnnjuNOSUL23onpEATsZg6nwm8tIJiw
K02q1ZrfHKKdGDteMgYspPIj9YGAIgTHYfnhApYzG2EqdGCNY9ln1TY=
=NdTN
-----END PGP SIGNATURE-----