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

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.20.1-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.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
 c6b69cea1d3987d7f6a44c6aee9a0d30f613a788 3536 coqprime_8.20.1-1build1.debian.tar.xz
Checksums-Sha256:
 888cf04d06b6d880d1002aab0908a79f691c1c72bd05386415905e6e04936220 996557 coqprime_8.20.1.orig.tar.gz
 41bf418bcf0013439b135c17767ff215cc62f98f0205063fc3fd661aab03689c 3536 coqprime_8.20.1-1build1.debian.tar.xz
Files:
 32693b1bb28ecf2a0847bc583d15ca4c 996557 coqprime_8.20.1.orig.tar.gz
 e507d1d92fa568a20692b60d9c8b03f9 3536 coqprime_8.20.1-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmeeyOQACgkQ5mx3Wuv+
bH1v/xAAilfwB3S7bGAlCQN2SZzyJvakIS8D1TYeKeLYXryFcQPWNk1epcRvlDtw
Q2SMTCoIF6wjm/OtTK6KEuv/074eQ1QjJVqFP4J6c9slTlKj/KtTL6Tcnh61lKls
9bTPsLys1GoyBMCJs9A/aUTO1aeftBjaa3E5cOXRNerBrS9E6hmHVTo+AVPaS9XL
sFBNxuL4nnQ1O3QReNqpSRxQ+TWvv52oy2K588GXBWDEqf69wQgPZn64qimThjwF
726nG+ztQbjB/IxC7dSGMBTPrfSrNY25vhZNogeyhIlgAyIUFn0FUhX0TEV3Xb91
il1GX9lQNwQXh/dwkv/uFERzbko4Ev+ALcLFw9CtfMPCIjpLETjc37Mgk3J14d9M
XPC7bsXOUmvdQBg3Tm3LlP6oJxt5TF4vnGXek0eq0wso8GDnYE0b16z2aza7SEyK
i4hbrBPGbAhNf0ZPRKRJrUmcdMfne00EfXzzVfqVooU3cLFnQYP9NiAhelS/u7KC
ArDPfqmuKRm+0LT06suu0uV/lTZBhrR311flccFbJbOJ0U6Avs8LB8lcqLacM6Ec
phbubbZD90SACvnKJNKSMfeKSVWRNDlP1zLr3Q0dmY1nLKWs50NIsNpwfLKEwf7O
fyaD241gQOiCaNND5ysQKt/fqdeNA2oBHFDbk8SjVaOrRvKzw0k=
=Jp40
-----END PGP SIGNATURE-----