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

Format: 3.0 (quilt)
Source: coq-bignums
Binary: libcoq-bignums
Architecture: any
Version: 9.0.0+coq8.20-1build11
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
 96b5a40f730845098701595b3f168dfa9dfecbfe 2416 coq-bignums_9.0.0+coq8.20-1build11.debian.tar.xz
Checksums-Sha256:
 55febc3fb528209d070206b780811b49498151912f2086568c5e53a66393e2a6 117267 coq-bignums_9.0.0+coq8.20.orig.tar.gz
 14605bc6cef8552c1066d06a9ddeb70a860b5f55fc8be513e37b200d322c184c 2416 coq-bignums_9.0.0+coq8.20-1build11.debian.tar.xz
Files:
 8af0a3df71fd3cd83e4391741519fc19 117267 coq-bignums_9.0.0+coq8.20.orig.tar.gz
 c828fa7bd89fe387d771176e7333c62c 2416 coq-bignums_9.0.0+coq8.20-1build11.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml7s3cACgkQ808JdE6f
XdmLiRAAw5R4GkI+yT1SfTQ78XxajZ+lEUL0Y5FGSj54K5Df9CCvuDEuut56hiJP
E0p83WzpNPkMTtcI4wBi8tQjrd0EZSZMjwNYGlbDXTEiCuIMQoYFCh05+gjc2xil
fp7C/wA7K7LYz0EnR7kFf3JK7FetZZqjbTHZPIh0RfoWN+aKWxnCP8mtUGvItjgP
Ch7zbuwYYMMQBn9nlkoRVILglEtz73Dd94b8VhYuYZFR6d78gPEWa5Dyhh2b9cMr
t9ju4Y/LvX/26OmVnD0YRbaSFX0BXcZyAsESDLZq+s9f3W6QmzHqQ5QMY1Ic4L7U
GO+nmGUXuNEWJkUiBi8o7smNOq9RoXqhLlDfv77M783+9Vu4/8mHebVTcufNQNT3
tqlRZOusffePyCoDmsRyC3E/dkgX2T0/PlREkiHLUPWz36U5WeJEvBayN7OZifHf
ivLD9dC0EkEGhG9heYzJ6tiIiFU2tWVbGE6gGPfNa1+6LkAhjFcDdIm3OibTzqzH
A3JhKPbDiCFELxP4YyXQ0oARDeHTU/euOOE0qlPqP7IJNTjSEgYAHfVoKgVUANY/
7xnBw2/tfP61M09pON3IUPwLMqiuq2RcbfsnZhbgNgzkRxVXR0sBNihzHsTgZ9rv
I1GnNIgFC9n+pSVJVtIHrNOOv/9bp6NtDhEwUsXqTxbfsNjCJqU=
=pUt8
-----END PGP SIGNATURE-----