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

Format: 3.0 (quilt)
Source: coq-bignums
Binary: libcoq-bignums, libcoq-bignums-ocaml, libcoq-bignums-ocaml-dev
Architecture: any
Version: 8.15.0-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/ejgallego/coq-bignums
Standards-Version: 4.6.0
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-ocaml, libcoq-ocaml-dev
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
 68d90f8ab1d549f05bb87d484d11cc69980c505b 1796 coq-bignums_8.15.0-2.debian.tar.xz
Checksums-Sha256:
 0158a4687fc0387dcdf2ef5ed4460efeabefa2b2a884c7f0d3dfedfedcac309f 115485 coq-bignums_8.15.0.orig.tar.gz
 ff58a179e70ddd4f9ce71d9f5f79320f4cc0a7dae4218e0e2afd48546ea837c9 1796 coq-bignums_8.15.0-2.debian.tar.xz
Files:
 636c88701c3a459351c3973e88282fd5 115485 coq-bignums_8.15.0.orig.tar.gz
 f2c4d55ba63bc5af50c751c7c6776594 1796 coq-bignums_8.15.0-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKKcfISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRRkQQAJijZXJ9Soxu55EMTFa2Xm0otW7qSMaB
vZFd6qGEqGCdzzutl8acQ5RjggoTPNypbtzd/jJzpoGT6gL/OYRF9gIU6E14/wHN
t9yNXTuMRhWJ9OIDMxk7Ek1Avif+iCXHNt1NVBPX8SVzKrpk1LUHxuGM21Vilg4b
v/8a0CBGtBllZGzaIsUKgZsZwC/KL7kw9RHYuAHSxPIamN8g1s2yKzpr0VLrfH72
P4utXosP/IrdfoHLrscCjuCqgxCIHjZPMvG7TjgxjYbXVyn583kaElb/vrIdVbT9
gZzv17kmdQbBw6WcgV68/JkJaKzCyfPC8Zwj2DdCJDIQTbd12qEwdmekH/17lspU
iJdY94WUhw/tleSnifaHwfr0MEq5JR5DwtYrgp2AzCGBSUOMq+DD1Gf4AaT1u/Dl
oMZp+U7kvXMaQqCZplKtVSJNdS2YtM0mp3KeQyensxr8r4k//JlOEYX6f3bw3m6R
CV0TvbILifZw05AVah8Ijf4w3aybC1ylMXsu0nsnonp5muDxSIRxY3p8WAXW3p8F
qwMiUvM66Utm/FEbE3uONyxi4g0ZDGA2ShTMAb4t8TFf2BnGykzvAX63B6vwUquI
rEAwY+yuxbFoeMu7gYxTFaC62hyOgm6PydJOK3VUGozmLm4WaCwxd3WnHZ5Z+zN7
xO/5s9LAB6FB
=SmC3
-----END PGP SIGNATURE-----