-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-bignums
Binary: libcoq-bignums, libcoq-bignums-ocaml, libcoq-bignums-ocaml-dev
Architecture: any
Version: 8.15.0-5build1
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.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-bignums
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-bignums.git
Testsuite: autopkgtest
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-bignums deb ocaml optional arch=any
 libcoq-bignums-ocaml deb ocaml optional arch=any
 libcoq-bignums-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 0379854bb55a0bd3291d7687ba77f349cf577188 115485 coq-bignums_8.15.0.orig.tar.gz
 dfd49e387a19ae0ce665e2a80eafa0d180fa2049 1960 coq-bignums_8.15.0-5build1.debian.tar.xz
Checksums-Sha256:
 0158a4687fc0387dcdf2ef5ed4460efeabefa2b2a884c7f0d3dfedfedcac309f 115485 coq-bignums_8.15.0.orig.tar.gz
 b6e1952dd233d26893f20b637d8dbb026558acb1cf2f48068c32cebcfcfe27ea 1960 coq-bignums_8.15.0-5build1.debian.tar.xz
Files:
 636c88701c3a459351c3973e88282fd5 115485 coq-bignums_8.15.0.orig.tar.gz
 6a27dc607e3c7ac09bbcaae37c2a4079 1960 coq-bignums_8.15.0-5build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmKnQ64ACgkQ808JdE6f
Xdkf5w//UCPaEvBaQ2MGF/NC0m9DtziaH/Q/cPv+k4C0juBPR4iMg0N12a59uXLV
pwn0STj/rBPZ78z5Ye/W9UYC6JtvDnCL9d0M8v0MH038jAPJh1LUHwVQ/cR1KULm
lKvnuBjWxq3n8tgusNc9iCxVhMIt7U8/CvEe8j5wpp7bBP+8mKkNF80zEy0ZZcWs
0IspgAs1ntJv1g+x4kk5R/BNiq3rbPoXbqE6Cs4fbJkC/tz/b64GtmlCN8EdJBY6
SbnY7QaYY1uS5qk4TBREvWuKmHQfr9g059cSRqfQTAFljObotsOU0TDCxUZAkUKF
WoubUglp5bFQwUCmpJ1ExUUY1LMKJDDfJzp1isqvX1bzu3WmWmpUGozKYHrcQbc3
FRZlEcCchsJx6+HY4Pm4luoC86sEeq/ndWWBMlr8q47br3bjTbaUbthlJ4K2zWCs
++3CiC9AvS722jF2d5IMm8cxZLKjgVMPL8HIWZVCVF7J/cqOJt8qcbFqlge52Bcc
bBwe09S+kUlZnI9t3+m0B9+N9uc+bbbjU0Z7E1ZvAj/eZcB9KQPd7MJs7cxOFVBw
q8Oa1QW6l+NvxOH6P8M3CH7FsPKXsZvAyjVtDDmpt6kTl9ax+LGEkUPHQvImQ6BB
MYw6juOD0EB3+uYekYW1pbwPbPFOhUOYqq3t0Rw9oF8YrH40+ls=
=YZmr
-----END PGP SIGNATURE-----