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

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.20.1-1build6
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
 6294d670440fe5fc352e5be5a813e8e063cb25be 3676 coqprime_8.20.1-1build6.debian.tar.xz
Checksums-Sha256:
 888cf04d06b6d880d1002aab0908a79f691c1c72bd05386415905e6e04936220 996557 coqprime_8.20.1.orig.tar.gz
 c495d7f028befac4b1702050ccbd386e7778d79f25a8f7b459dc546054768488 3676 coqprime_8.20.1-1build6.debian.tar.xz
Files:
 32693b1bb28ecf2a0847bc583d15ca4c 996557 coqprime_8.20.1.orig.tar.gz
 26df19ed13abbc84392173b9183002ee 3676 coqprime_8.20.1-1build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlb9u8ACgkQ808JdE6f
XdnZmBAAnRv0yBJvMNu0pV7rkbPXKFcEA5DpHANYPQIIC4iGme5afMEM9QfccPyT
+2cr6MW/+ZEGoCAwzYYz1cM+dvR35yPTCjJoQhhJbbO3I7IzCa/ts1mQmVeAfzV5
VwaEmWWt6Qhv97TL0PlasHIBjGpSIgc59HndLp6ZocgdCMtbgzHm8xTonzaYZZeX
yCaEVExUlAvSzIA8qDPwcHNkawgJKue8PXTzVERFK0OQFgF6hRhsgYiXvaZJ8cSs
J8qud/bDAEuY9W8YktbG8ogktN/mCfuOLQu4PQJ556+iIrJsM3BfwdIUMyndcboN
Bu7nMhsQQoFjN0TbIQXlODySmXNCoK0s0NqgJxb19sxnqw5Bd+UEQr+XVwWaNyYO
BbsKm1UZtiRwit/RYN+3bL2Z42LBKmKIp7oVTn3HdMDMhYMwpCnUh4ZJnSY8o6IK
8Kqf3QQrvPOfL5KJszLJ+WZzV7U1PcWztPw1j5fgs6p2ZZonVtUd554iBwPqtlwP
/nGY0ZMr/3NYqI2FxTtwViqHvmIGnLbTXu1lNmGkUl88DHBWPEftRMQjbacd10wN
4vJ6hIXUYZ/P8F0d7FK/TcMEB1hKV5Wo5awJsUutxCRkinG895kEdVcpMK875e5L
Dlb82k6CRr7FVTb5TtyRSZF0MyqZWMSYKsjzFExRmEtM566SvpY=
=ZOuJ
-----END PGP SIGNATURE-----