-----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-7
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
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq (>= 0.3), 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
 0ac824c254613308dd2415e9c44ed9134d116c13 1940 coq-bignums_8.15.0-7.debian.tar.xz
Checksums-Sha256:
 0158a4687fc0387dcdf2ef5ed4460efeabefa2b2a884c7f0d3dfedfedcac309f 115485 coq-bignums_8.15.0.orig.tar.gz
 17c884519998599e8dcfea7107d4bbf9877e8cf042f183e66820bf0551ebd95f 1940 coq-bignums_8.15.0-7.debian.tar.xz
Files:
 636c88701c3a459351c3973e88282fd5 115485 coq-bignums_8.15.0.orig.tar.gz
 7a43715b4dd73edd6cd1ed1fcc46311b 1940 coq-bignums_8.15.0-7.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKplioSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRgb0P/0BMxbG2QZRLbo6xwKpprnLKBNhCU866
RwVnmCU1fWn2cwUUqJ+LnFMnnF+tUQ4zaT81PIhAWRPwDZwzYvOLfPJcQXr3ux+3
q90rvtrJynfmvpJgT1LuLus+erTyTC3N4xWOkvgl0KWXZpEPkg8rGgvWBPoj27o/
LRN3c/3/PYQIV1QAVKAgFRFeWpJqwOEuoFYLHgjUAaN9p1mWL4ObBMXO06M66Tm7
6IhJYQ+G6Lg0x+SvKrE4nudhKwwmbtu4EMt++st4iVJrO5YBgew4yIT1NGFpQpa9
ExAzElOq4hnWqbLHbkgXPqKb9XgzdGDcQcJaPXqzjnXbZ9j1SVEdyOdZlJJ7SjJ0
Xb7DSfpStIMXgmJIV0L96ihBYX8b+xLxyb0cJ20iYMIvtJ1/etB+tZhtjzHlI9gU
A5+mq6oBHGl9dI/W0TkohQG7ImFVOKmYSaWdMm90vg1iFYmtAepqoYq+yDWxrQXF
8iLxJ8YIyTUXuH95/MTbhwltvd58HHIceYglr7WxygILLFThhy5ODhdlmwhjmUGy
afZNQqrfyMPMZ7Cu26DsepU1br18YUhBwMIVOCWA7tpXM8dYcLJZSM9TMZYW095i
cHQU74F0C8AKrX0qbQbMvqAfbpeRHQ3WAUmQJaUwhxctx/+UTss3vGyEp8p9b6xQ
J7O2kpqjgicB
=TQOu
-----END PGP SIGNATURE-----