-----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-2build1
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
 f1bfcab91664b313ccbf9235cb7fd81da36cba1b 1880 coq-bignums_8.15.0-2build1.debian.tar.xz
Checksums-Sha256:
 0158a4687fc0387dcdf2ef5ed4460efeabefa2b2a884c7f0d3dfedfedcac309f 115485 coq-bignums_8.15.0.orig.tar.gz
 2fa155fd6042e1a3f32c1d63edaa99b64de25d8b402e4e1d74880b695e15e11f 1880 coq-bignums_8.15.0-2build1.debian.tar.xz
Files:
 636c88701c3a459351c3973e88282fd5 115485 coq-bignums_8.15.0.orig.tar.gz
 bb3de5a6e42c876c75cae52c3676f233 1880 coq-bignums_8.15.0-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmKXhwUACgkQ808JdE6f
XdnuyhAAz3UD4U5GTGI4WjU7/x3zUVX3fMf1F7vpe+Zu+W1qF7utyRqORUcOaREe
EK7M+ZSl49ktDscXUpCj9aeIjyczDqQn9M5a6WL4Bc0fLuGXWTmLIa/u6xQ2Y6qY
L78a+++OR5mrgyo9XaLA/7it3o+QBs6LG4ojxwNcr/QXrOSFItDZjO8mPbgPc15A
uSrESUBFgTXEEKCiafw61FuJJjJGKzLuTteqiJKzBMPn4f8ZIemXum49iZVLolqS
sHcSJAKsZZZggKB5rCHW3ObDGHxeCgnrKQYJ/lqc+ctsaYJTz5pq/SolE4JBzQsa
IqffCaPBjf/mYV2zSBDD8ZPKLKYv+UCM4g+6eRQlymVjHPQ/K9eonfuC/YMNQQta
hDRNcOrumbEeoz+z5IO1QBoH9mtA7wc/rR3zOICHZc8EtyEs35eqNAUmbu7ttGMG
EKe3DYqkmQPaSLfvgm8Wfuj3VGh1SiqKuc2y4Qp8aSIXoWBnba0ezJdgH+TYsyPn
ozqENaSjZ4L0wlA5jNch9sfzwZrFDkL3kbkeia4ybNMdweLZp27X4N24pDu7CQ1t
XEI8r8cutTyLQeL5e4qlEglZkWOp/WNIhsfuYiVwsj0VklnoHmRSfxjrHez2f8f8
6kXOj64XMQuYUHBZP3WL4caRQV27QuFsziEQACkFkEKwh9zEFic=
=QcHc
-----END PGP SIGNATURE-----