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

Format: 3.0 (quilt)
Source: coq-bignums
Binary: libcoq-bignums
Architecture: any
Version: 9.0.0+coq8.20-1build8
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
 94fe3a4aaee1f1ab73921d662a9980cf6f2b8e5b 2352 coq-bignums_9.0.0+coq8.20-1build8.debian.tar.xz
Checksums-Sha256:
 55febc3fb528209d070206b780811b49498151912f2086568c5e53a66393e2a6 117267 coq-bignums_9.0.0+coq8.20.orig.tar.gz
 af86b87c7a2a10d6574d56e06cba9fe041301d09d0c74ae348c9cee6061ed573 2352 coq-bignums_9.0.0+coq8.20-1build8.debian.tar.xz
Files:
 8af0a3df71fd3cd83e4391741519fc19 117267 coq-bignums_9.0.0+coq8.20.orig.tar.gz
 0f66fe6d824b882b5cef19aef1cdec36 2352 coq-bignums_9.0.0+coq8.20-1build8.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAme0578ACgkQLIPbyOm9
DjdFRw/+K5iHAYPDiEOA3JTOiEbjpQK1+NsUV+cwblzMo7jBV4sWq0hd6e9Tkf2E
wW0Jr/WG86PIABYR3zrPQJ8zKKRXV0B/GoxTLZTCTREjn1pVezekr+tE741PA4iD
WYbMwUA1MKBn4xQSeq9GKPXCgvTsC2OWlYM0ePJYX64kC7N81IpRtFRDMhGlQ797
ffORsZBJvBibODIcNgm62xaI/ROrhUuRjpKm0YGNkRmFNWqZuU0S4cYFynZjlo7M
CwPz+88myteI1O1xD3XslNPxYpiLy7JLI1czPgPAabA3t4fIr+7HvtiWM3WFHtYf
W2b0eJnl4oIKPzM5YAHmhIwsc3ZHhz24Rz78sYAfv52gpuHiga3ugpSynQcCn6jl
IQWtBeGnuKqS8NzJnrTw8DgDL0SAWIB75kawlw2jftEnlKgwPDh2LIX3YXN048+7
wzPYeIk7gx4Fw7I3qLpqYijpOnFeVYlqctgRTLmjkRu77EN4zYYvoGj3pguJHQYN
bzNGgE8yNPWcYb1mhJbN5iEoEY0A0NOK2oULiPXeuMIoZF5Iq+8ShAJfm4gTE0gO
mjfkK18Jncvhz2opYLOaUH5ZdNBTJBORqqoOUj06/mMtdFsN1yMgTaLOWJJrULvx
PXyjStW0OyobxvTywQKo37FcFMqCfqGpPGX0FiMaeW0SFBnsJcc=
=U23u
-----END PGP SIGNATURE-----