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

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.18-1build1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/thery/coqprime
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coqprime
Vcs-Git: https://salsa.debian.org/ocaml-team/coqprime.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-bignums, libcoq-core-ocaml-dev, libcoq-stdlib, libecm1-dev, libnum-ocaml-dev
Package-List:
 coqprime-tools deb ocaml optional arch=any
 libcoq-coqprime deb ocaml optional arch=any
Checksums-Sha1:
 a6716f56c28860d075782f010d880a5ea480ef73 996567 coqprime_8.18.orig.tar.gz
 c8cccd5cfd416e23c31c3e47a04386aea72f9d5b 3408 coqprime_8.18-1build1.debian.tar.xz
Checksums-Sha256:
 dcd1fa5cecc99ae62cfa1c9c742a444c1022560b6fec6b06989b9d7f2f87c6c2 996567 coqprime_8.18.orig.tar.gz
 92f626b1b7188f8e695065ed0257fecf4e31019063e9f0c7f9186517ce8bcae8 3408 coqprime_8.18-1build1.debian.tar.xz
Files:
 6847c2b5c6d95cc0d4afb52db99ae794 996567 coqprime_8.18.orig.tar.gz
 78cdfdc7a4a662dd117a727117ccbd88 3408 coqprime_8.18-1build1.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmX/cMAaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz2RAg//QTjj7G7nbAnGQGBZjJPF
t5wEWPex1vuXHVCxxvO4sHo/F2ZmpuXEqq5Ou9MsXFfyKU9FfDNIQbrsLG0bOcjj
v6qcZcrM6zs8jl/dJN0JGTTHAA2sD5iD/1wM81ikqpivVKaATeycWUpNelEd7a7p
095j24nRGi2Oeu8LVjxqNUuVRZm2epuBCYvHaYio+T62Tuv2PyeGSCbMkb9E2rDO
vxqp8j1VVvsFmWxiHUTl0kxnb8ypsjBMXdh13wFWs3k6dbJQlE0/AETD4TZHd/VA
IwUYyzrFgRu5VT7HRoFuO0uUkPFnt4QzulNYkR31y9bRggyTT5FOwQdnRWZzBS4R
Kd7kRr0WBWsbp3GAFlDeq9NBCA0tzwlx/b9+zrA+tO2uMlqGwds06rGZ3KvZpt/W
bN4LiMf6uzqkajNjzZryaVXUhXY5q4B7Ff3mL8hvdERmzU8bj8thbvwHwwER2kX4
zZMu5NEDj3Ow79/ly2CJHB0hS3fuHG1PLMd3LneejtPdoIWPF9/8uGzV9vcKQ8Th
lN0MmHvVc2anqgybx5Fq7oye1jnCNJawyINA3xLu5Dt70lQb3XqsbkUHqV1E/f/b
g3rRO9LlxGZMgvDwSHIbXmL85XScb3J3WvkkjiHN4iZvLqzAzxW9c0p1iRO2N3ih
capyR4z53MeAwwt0bHzkJEI=
=ZZmS
-----END PGP SIGNATURE-----