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

Format: 3.0 (quilt)
Source: coq-bignums
Binary: libcoq-bignums
Architecture: any
Version: 9.0.0+coq8.20-1build10
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
 27ad8152d61d10d81be56266c8988f7653e91895 2400 coq-bignums_9.0.0+coq8.20-1build10.debian.tar.xz
Checksums-Sha256:
 55febc3fb528209d070206b780811b49498151912f2086568c5e53a66393e2a6 117267 coq-bignums_9.0.0+coq8.20.orig.tar.gz
 076265284563275e41123d8d8a8236cb8bbf6489bdae51f1761f452208d432f5 2400 coq-bignums_9.0.0+coq8.20-1build10.debian.tar.xz
Files:
 8af0a3df71fd3cd83e4391741519fc19 117267 coq-bignums_9.0.0+coq8.20.orig.tar.gz
 5fb356215222937202d0add69f355a57 2400 coq-bignums_9.0.0+coq8.20-1build10.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlb9GUACgkQ808JdE6f
XdnwnQ/+Kd3S/BnvwVNuPeFxa/z0Gfo/MHdpzOdH1aWWbgF6XioNTAB1qZ2DMMA0
3ra4H3fW6HyjgeJsDOpMIJn1H9xyG1DHpUT7FpFXCLEFC9Km9w2TMJhoGu637VvR
Fw4gTyB1cK2hnwouWYMvZ6zCR2aXV0HHGUbuFM+RTGLPBjLnrjgahJ3heu8D2ebt
d6tVR5e4qI/fzJ8I1A6NdXh4z1J6i4hoeK57X6a3REhmR2UGzK290oAbIAE4VJHN
RpuE6yd3ws8GP96qT26sdtxtDYciicI1CI1T7peg0GusdMG0xI4pWOHUjSNUa2B6
km44eT9yblStKV/d8/GuX1ZjeMcnq7geg6ZD8lheJEh6b62fQDrddiPwoDBnwDpd
b7D1vAUz5GEkrO45LrMAoQRR5REDNV5KIXjjvEBWTNnTOFA4btwgxIKF7swObnDD
xKbW4tiTSxmuq6+3qYcGGA9dEIGbzT5VVHpUxZTdqTllK43Cx3AbanmqKjcfKw/s
Guxw4EAHt9u8rtkDByczkP1hnW7UeAuQ6PytOB+FOyNqdAsXY0k+PDffKknFhjZJ
T16J6ELECerLQIjvy6SuPPB09iIzeOvcE/fLy39EyWrBSQWsE+CNcH9oRY66A01l
7PXIV2Ei28ul+Omf4Preak/gqlk4Bzg90fSv3ETsVBNXcQQj4CI=
=Rv37
-----END PGP SIGNATURE-----