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

Format: 3.0 (quilt)
Source: coq-bignums
Binary: libcoq-bignums
Architecture: any
Version: 8.16.0-1
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
Checksums-Sha1:
 f53b271f1e9b8e287e083e4e32ffc49c7502c543 116097 coq-bignums_8.16.0.orig.tar.gz
 93af6153a81645fea93eb5ff91c6925682ca8da9 1792 coq-bignums_8.16.0-1.debian.tar.xz
Checksums-Sha256:
 5e6bede08f3c019f3fac2d834e7c36b9f42033736a1d1c75251965eb7708374a 116097 coq-bignums_8.16.0.orig.tar.gz
 71fcf12a8440b7fdf0f677e228ec3aa095c3c39a28fd836d417a3e0752f53e5c 1792 coq-bignums_8.16.0-1.debian.tar.xz
Files:
 d3d9f5aed9c78d53748f14ab98d84c08 116097 coq-bignums_8.16.0.orig.tar.gz
 1e998cde7ada60f60c280cfe1950915c 1792 coq-bignums_8.16.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWIHcSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRusIP/0kI1sd87jCiP74Dxb8bcs3fg4y1Ozp0
mllbgv9fjxwtTt5gjVjsP3xddIskA8PCJZdcx1nE4AN4P5goHnyPQb6rYHdVLjrm
yUzJswo0cR/WsFFWAhoTtgG5sgDBdkC1wA2YhnNn3p6xYuZ0+XTFVqAchmVJLcCd
w91yX9J+uBhs1ceNkGta7Bgz85bvz8H+uVGQk7V3WOQIycju3q29DfHmDzkF/kh8
YgjKNHBnM8nUueKTkcatsb5Sf2yng5kcth6WdpKW2g+HLLUGk86WAorFO4ZToP1R
2VwG7S231Z5cKIvbgCQbO33eo4QNymXD6W+N3o1FiGJy+ON9tI57jF40/ntUosdZ
6BW7F/C6KTGY0KfBD7U0NnbR7OwURTGiupaHXCVlwLLa5XF405cR1MRQQuOn3wcl
4gH5MXlAMNTQpSTRdKDaxYHfghafxRJLWkho3Q1iavN/nw5dD2drBW4tJTLXYteB
QWaTs3+RDJQSEQ2D/sPMg1s/BIJqBvkBpVwZU8W2gsVWSfW2s+ZStXxK11VuocBP
I+izj6C8wszUyHiNlEZA49Hcmq9L69aJy20+GD8EPTTJhcf8+xWDWeKFKjWP8am2
vCGU8tmrNyoTQyVA8rfHDxVdXhL/SJhm6RIXg/H+VgujntWgqwi1zRFx7cJBujMX
3vyEnd0TSx7P
=jnxZ
-----END PGP SIGNATURE-----