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

Format: 3.0 (quilt)
Source: coq-bignums
Binary: libcoq-bignums
Architecture: any
Version: 9.0.0+coq8.20-1build13
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
 4827d7407d6babf2060e7ff68646c6bdc71f8d42 2480 coq-bignums_9.0.0+coq8.20-1build13.debian.tar.xz
Checksums-Sha256:
 55febc3fb528209d070206b780811b49498151912f2086568c5e53a66393e2a6 117267 coq-bignums_9.0.0+coq8.20.orig.tar.gz
 c651c5f191f7d5368d6d1f7af16462e4fd9fadfee2b92423ba0ba893f50af3af 2480 coq-bignums_9.0.0+coq8.20-1build13.debian.tar.xz
Files:
 8af0a3df71fd3cd83e4391741519fc19 117267 coq-bignums_9.0.0+coq8.20.orig.tar.gz
 d96fbea3cc4a405873bd7bec14ac29ff 2480 coq-bignums_9.0.0+coq8.20-1build13.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpOYWwACgkQ808JdE6f
Xdmi5g/+IfKbeYH557xXhiyDvQTXT+0Z9fN1cNFZ6/6GUOPqxiIDzc+obL4J0zBh
KJKhqCtUFuV8i49+hyub/Sd5RXAfCJXqIi8sZT9h8mBPJ/AQChWuFFKctrQs8DD1
yGxea2/BuoJ5m6bIQIQQfnx+YqDkPeKs74q8wB7AEOe2z/hWaHUpNvzzl8+TRzr2
RkNs9vodEYyx4BiYZ3JWQDjchHlOnnXEI7zd7lDehqNapiM66xCw0S795tHf/mFq
nIP3UNav7qUOuLZ7ybOIeMWEes34CsthR5jjYCPPBYHFLSncu1YE+xLTvz7rKOvC
fFlVKMyrLRdLXQ0pAGFnq4Bs4mqXJ/O1lwJLqqC+ZapxWctt669szC+FP4rZVMXp
UcM3AzgFKMAUOm7LxLamhua5T5ShAruYR2xeDYxGeOxqQH5bYWH5B6nahz7McFsE
hi/oVInQiLazpjOdBYf0WqJZkhmK9fqMLg3LzsaeTokovWUmPIgzLAKDnvGKiG9K
fPw5LaV76QssPdOU2KDvDg2vssNKQNhrw6Tju1xaboTHYV0Tq0TPiRzoX8at7weX
4nqhAXzBwpXCveh1UEtHFvKXDv4MKjjcl3hzffXrjPYjBlEUVFMpA7SisUm+8Ogo
bUm6xgSaRRZynGJMccIe6IIJInJJqnY35v/to8arJd4Ao6JWa2o=
=cP90
-----END PGP SIGNATURE-----