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

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.20.1-1build2
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.7.0
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, libzarith-ocaml-dev
Package-List:
 coqprime-tools deb ocaml optional arch=any
 libcoq-coqprime deb ocaml optional arch=any
Checksums-Sha1:
 8e4f3c39e58425290d106c23d76ccab416c6de35 996557 coqprime_8.20.1.orig.tar.gz
 a0e2fc455155fb00e5e8a79f50e5a47b879a48f3 3596 coqprime_8.20.1-1build2.debian.tar.xz
Checksums-Sha256:
 888cf04d06b6d880d1002aab0908a79f691c1c72bd05386415905e6e04936220 996557 coqprime_8.20.1.orig.tar.gz
 5e737cf1f3aa75299f1f9129611cf9dbe31aabfc6a53a07f287f77d81c13694e 3596 coqprime_8.20.1-1build2.debian.tar.xz
Files:
 32693b1bb28ecf2a0847bc583d15ca4c 996557 coqprime_8.20.1.orig.tar.gz
 5bb3844d7223e06a73d16696e6c282b6 3596 coqprime_8.20.1-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeuhKUACgkQ808JdE6f
XdleXRAAoIwIB55m2OUtRuxkre+9vFTqxJGEjQiwK1rmTu15eC8o941w7FvQLGxv
WJPC2+A9I56MG9f0sAX7rZQj3JfXM0wYxAazHjOrMZSDxL66NqCguyfVZ3SQNBG2
oWiBZ2ymIm2luX64HLS37utVQPHYakskm9RL/T4MJg1s8Pb/OYs5bNlidTdO2z3z
0IK2KiB0pp7+OWYctmEpnIRG3qbfRThs76Jzov4wFEq7b6htLeHN7+HzcJtl8yN7
6fVwbYoObnAQklT4FVnfk2jkU/e1w1fbjV+VVHmkZhMN0QgJ5iGGUwaNoBtWBk6y
pwzA9q485PvRv8NRJDSxto9l1bgHo0oPBJ1TRRDuvNmcvGQdZGUR1CKolyTb/G1b
wVXjUuefhtDBGV81QfSCe4d2Te3/NwGoNPVaZ4CBvXLe+/CTkvoqSLEyO6alYX4m
sWjP3VQSALrcBF2zi2nfT6IR3gkH+nvJy+LbP9W4vS+vu0QYN8hTOtziSgqrlM/g
hpOH4YEVb9wjTMdQ4/jIh0VuxJcTC/VUGOaZZ05q3Kz4YFT9KhWkCg1WDekOM3Yv
gJ/lElht/aUXxtpouNWDeORNqGrTWn02utzKGRNBJvB72aV6P0pswrLzFtKbcby2
hndnmg8j8HKfPARKvGNBjuUaqAulU16Qtkys42IcjEBuW4GPdwI=
=rHzW
-----END PGP SIGNATURE-----