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

Format: 3.0 (quilt)
Source: coq
Binary: coq, rocqide, libcoq-core, libcoq-core-ocaml, libcoq-core-ocaml-dev
Architecture: any
Version: 9.1.0+dfsg-3+sparc64
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.7.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-ocaml, dh-python, ocaml-dune, ocaml, 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
 libcoq-core deb math optional arch=any
 libcoq-core-ocaml deb ocaml optional arch=any
 libcoq-core-ocaml-dev deb ocaml optional arch=any
 rocqide deb math optional arch=any
Checksums-Sha1:
 ea9485b976b1652b14d1e96dae70532a065d6ab3 3834256 coq_9.1.0+dfsg.orig.tar.xz
 c1a9dbec4aa82603cd277dced5dd80de20c84f93 24232 coq_9.1.0+dfsg-3+sparc64.debian.tar.xz
Checksums-Sha256:
 940a840ebc3cc121717c6ea3005aa8f10798b3621294d747261f3b7687c9e304 3834256 coq_9.1.0+dfsg.orig.tar.xz
 cce93156e91643acce137a1df3bc6edee000611c9c5bd12702d28658a6b10e32 24232 coq_9.1.0+dfsg-3+sparc64.debian.tar.xz
Files:
 e97eb71f058e107af706cb869e55d7c5 3834256 coq_9.1.0+dfsg.orig.tar.xz
 db2bfb65f0cb119e8ca25a2c3945ccc3 24232 coq_9.1.0+dfsg-3+sparc64.debian.tar.xz

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

iQJPBAEBCAA5FiEEYv+KdYTgKVaVRgAGdCY7N/W1+RMFAmmQ4PMbFIAAAAAABAAO
bWFudTIsMi41KzEuMTEsMiwyAAoJEHQmOzf1tfkT1/IP+gKXQSYecNY5K6RrUG41
1E0CXJJAKFtaqiZvUovzSPYlUtK4UvqXhjAG4lUT7ZPL/pORVO0rspQ7QK+cStc+
D+17h28/JR0DuPNxJCGlmv39pTqVs7n4YcXbRS81tKXul+IJET5T/AoaX/QMs2Ua
S6YK2eFexOK5nd5qCWyDUPrlO12GyrR4tVvowFjKyV89IRQiAoVLXM3vM5T6kHVk
sYEUzegouneeioY2vtKmL8M4gB4Sa5puU5EaCQhsaigr+YU8jMUusDA1nTz8MHYx
H4A8X1lcU/UD3ZxdRHIDg49NdIqvBkf/03t34vdi8ezZaTr9MNxwJqmDLTVFd47h
HMLI9lz0yZkLVDHWDgWfPAJww3qo2bYtiU9cgLkRfYxOcSZC5O6tyegrkfgSGpDd
tEsno7HkDC8ALBGZyo5gjlFE3dRVZd7dJbbguYtSiwtDkVhaIUxny72jJYd8SrHC
yTmPuNP2EKTLSg0up0rjIQVpAcKhCsrrW08HnM4hh+cSGLhkx3Ysto94rEgWKkG+
CHAxxRG5OSBXT/qKilSYyKXNLMAxYM8CN/T552VmzUyU40FnJttOm6Avrk/pGDUZ
a1lq5RSJRJ+etzyfu2lra/YbfM6lRBrXLYEveJrgjDup2PRsYO9gxE2PbpBQajCK
GBFTqhJH39ITfIrpCNVEs/sl
=XK4v
-----END PGP SIGNATURE-----