-----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-1~ppc64
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-native-compilers [amd64 arm64 hurd-amd64 riscv64 s390x], 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
 79d4e8a2cb4b5d0441e9a17429180f8334c68de8 24216 coq_9.1.0+dfsg-1~ppc64.debian.tar.xz
Checksums-Sha256:
 940a840ebc3cc121717c6ea3005aa8f10798b3621294d747261f3b7687c9e304 3834256 coq_9.1.0+dfsg.orig.tar.xz
 f7b35cb5b5621fcc011992ce80204dccdaea1813b05ad06d063a477462ed0e0d 24216 coq_9.1.0+dfsg-1~ppc64.debian.tar.xz
Files:
 e97eb71f058e107af706cb869e55d7c5 3834256 coq_9.1.0+dfsg.orig.tar.xz
 db87ff03127ef0962628c10ca37330ad 24216 coq_9.1.0+dfsg-1~ppc64.debian.tar.xz

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

iQJPBAEBCAA5FiEEYv+KdYTgKVaVRgAGdCY7N/W1+RMFAmjmF+MbFIAAAAAABAAO
bWFudTIsMi41KzEuMTEsMiwyAAoJEHQmOzf1tfkT5roP/iQnvGQA4TrBZEDw+AW1
9DZCvIV85jQqwEw1Lfr6m5EMX2gEF5LyfFunyq6F+1V+97d5/lqwV0DbH5NBqpVC
ZSLeyTNq7O75SDwpgOKzaxYF3PmeirCJgmU5uYz1fQHiSbDwjm1vrN/Lx2g3rPDC
tnQInMMliXDAsUzZOyv9b7+b/CMj+uVsda9mc/gZXkBHZQxTt/R2bYq6eX6QmgLe
SGV3kim/B9X0AUhy0Go3m/KDUUBqU0BjZlqYYLxAbw4p3h6wC2yR/6oswKtPeeJ1
G/mU7iHxboAL9MEs/4WeG1axWDr1QirWISdPepJOxfm/RSH9TU6//eAVV4y0W8oZ
OTez6HarLqo2USnWtAlcM8zBy5OZMWOr5u21WqxA6EIK8ypQuRALku/EI18MJODT
vwrFCUxbvc8Rmk4ZZvor6JRbhokxfrmUJkEhjBtamya0RmZ/WJsf79EBjNZGk1/Y
1eqFDEbDSlYbv7Jl3gCIAtWJNt6qME8ZCndf3qhXfyMG0VZOLsssU5QLBE2I7xpR
PMsk4B0yJ2ZBywhsRI4AkXLUaXNWw8QbYwV0k5JWuda6u3j+3rsJZCTDH8zbj1FV
ArPd8X8kuXZJu5sbOY4Voo1ipfmWqvvJHuUtue+PuzhS5biEaic39KfxSyxZGohP
KxW8G4ZEr0XBXdHxG8uhWpsM
=JFIW
-----END PGP SIGNATURE-----