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

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.19-1build1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
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:
 e0804288ae24fe2c8c231430428a8b5cc4dcb40a 996563 coqprime_8.19.orig.tar.gz
 a341d11d7d4f21f3f4b8d5a52213079a54c0b8df 3380 coqprime_8.19-1build1.debian.tar.xz
Checksums-Sha256:
 bc70208f591c3f4489fffad3ad58d3457e8e0abdb1894fc84383c957f1c0918d 996563 coqprime_8.19.orig.tar.gz
 51e7143bff5d1f06fc5bfe04d5968c02dbef34d33cb3ed2030b49d5938048542 3380 coqprime_8.19-1build1.debian.tar.xz
Files:
 839f8440c7c1b952be0c806d1869a9eb 996563 coqprime_8.19.orig.tar.gz
 08909b2929984f21099900fbcfb1d302 3380 coqprime_8.19-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZCWq8ACgkQ808JdE6f
XdlmcQ/+IkVmFEUiTyAwRkk6cHs6NJhlbs6lIljG9ha/2OvSZmAS7us0Ww6+9lgJ
0YPgc/yasserlfzNoX0pyzKua6nJYWML8NOP2Snj1vE8NMZonftsqkVgGkArQf75
acWJEzMCL6OZW6K7qH3r7hUY/XgI2sU4AMuF1dsonadAGWcQGezmMnBU7fj73PpF
X9JLxNusmqbcjUdJYcFY6udXsaA/W2eMEQydNrcfs6PGurhui5EqbK+QoD1gW9S7
EhiBybT95hKviEnOjrrDPMhufwNb8ySJuBI9MSSjxoMkIpjNKW5Wjv6fArKNry6r
VBxvsCGrzC3gXxxv1DHni6H2CqMK4nAdnxw7+utdow2JeegpU5D2cTpVZHcsytrh
ba3Ry967mjJ9F7Kl12hZiCJYmbahlU0jJC7A+Wxtt2HvWuaU11UuD3cGoK2TnmFA
A1pXGopLmTNy5fR/yG+vd2t3NmAxLT+7oDeDQGJAtXeMYQS+35eqpof2kJxYapqM
DW6xOMhudXel9duCHMtbpztK6HDQjZFH5lyKXdluYHrw0j//mao3+ZZX+59fMHXm
9hwEQH3RhqLPB+Mjtvvb0hquGrDJflWmBKDiLivldjHb5crZaLLuUh9gurYdQ06F
6ssnJ6YcyB/msQb9ywYepOIc/dSI+wlbAtYkjUNVOam7vZeEFf8=
=oaQg
-----END PGP SIGNATURE-----