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

Format: 3.0 (quilt)
Source: coq-bignums
Binary: libcoq-bignums
Architecture: any
Version: 9.0.0+coq8.20-1build4
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/bignums
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-bignums
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-bignums.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq (>= 0.3), dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-bignums deb ocaml optional arch=any
Checksums-Sha1:
 29a2655888580b58d46372ffb1bd01e8ea89d2f5 117267 coq-bignums_9.0.0+coq8.20.orig.tar.gz
 3ce81d3010ba645bbbe2883e18a9f8e44cb3f811 2264 coq-bignums_9.0.0+coq8.20-1build4.debian.tar.xz
Checksums-Sha256:
 55febc3fb528209d070206b780811b49498151912f2086568c5e53a66393e2a6 117267 coq-bignums_9.0.0+coq8.20.orig.tar.gz
 e95cc04fa15d32a047bd0556f34488e1acef979542922fd9efa47f3c1d3153c7 2264 coq-bignums_9.0.0+coq8.20-1build4.debian.tar.xz
Files:
 8af0a3df71fd3cd83e4391741519fc19 117267 coq-bignums_9.0.0+coq8.20.orig.tar.gz
 3aa618cc7e2488a9063fe0c381cd945a 2264 coq-bignums_9.0.0+coq8.20-1build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbcZKQACgkQLIPbyOm9
Djc7cQ/9GKBNUw1+CkgGnRqn00LWeUepZJlMXF2ihzIPHFRbp479TvCHO0kQqgCu
x8opNFhAu4Tqb+KVlTw/2if99wBgpLyutc0inZqIRYTDvYJQaYVjltlHyaG8JWj+
EM2Aj2ZszOuZEIBJSoGVC0gvRO7pe6QhEmcO2Q6JavmbVzz9bbGEUyvBdoxBL89r
9to8xDxAnYIEdDlHAf0niXdbU/6adxsk0FA9fwYJwJl/yvkqKfcS+G/5Ww735vvu
SJ6b9B+DKIVCPEU+NELQInf60yZWVWBS9Luo/lSa030SUj61KSyYNEbRC/RH2xzp
1SAO4nkSTjyP0Il5KqNgT2ohL1U3GPQRZ/49xQpbcDKwA82byMLwiStlGhJ9ACvM
Un4OPOqcX6Bnwytr42wFbQC4J5e+JeAOf2DJtkzUvhQ3moFIhXP5gUuyhJXNro7i
T3dW0t9PhEs/NmRwr+ozqes8JcYH+A7osTrfI1tpbDWDi/viErfNBg1WxOEEp3Ou
3CY5DjK4LXomNn1GZHy/XqA/nlmJuuhJOWFNnKT4LiohISNIyleXyCzxdpnVb0/l
g6LdBZ2gibz8aMchg+ZJ1Gx/7m5XdjKPhxT5M1Egf+A5dCy01DGh1KvMcDLSx13q
exf7uFWPqc0imettDvo94PWQQ7j9GuijsxutsnZSUo9eo/kYOMw=
=a6MU
-----END PGP SIGNATURE-----