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

Format: 3.0 (quilt)
Source: coq-bignums
Binary: libcoq-bignums
Architecture: any
Version: 9.0.0+rocq9.1-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.7.2
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, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-bignums deb ocaml optional arch=any
Checksums-Sha1:
 e907b8aa9b3dfbb5a0e9fe4eac59177dad8d0202 116934 coq-bignums_9.0.0+rocq9.1.orig.tar.gz
 a0f12711fcd2fb514896a425b96d3c98bf91f0c7 2140 coq-bignums_9.0.0+rocq9.1-1.debian.tar.xz
Checksums-Sha256:
 d67a7e90b31f9ca78172ce4ece6df0952a06477bd06cdcff279eb4af89b25378 116934 coq-bignums_9.0.0+rocq9.1.orig.tar.gz
 61491ddef614b5dba7e69e4216036b94a4f63d51eb7a9d3171a06faf0d696685 2140 coq-bignums_9.0.0+rocq9.1-1.debian.tar.xz
Files:
 6d23cd1ab5aa29ac9b7f8c6ade47d1fe 116934 coq-bignums_9.0.0+rocq9.1.orig.tar.gz
 52cda0eb58f9ba700202daba7090d05c 2140 coq-bignums_9.0.0+rocq9.1-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkBvJ0ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUTQNEACKwqPG47zovfV3DPTKOSp+
xRGisPiOR6r/+aCs1e7FjP2iYbviu20gunkeBjc0tB1bepIb86zgCDOaaXJ3AEyW
+Hk/ZwhUxxeTEzm5I03MPrGeTIOcTGpTMMyCy4zRZn0JDk+kwH+lOnaVAtOmI81S
jsHa/v7NPIq1MnKTMuGh99scARwNH+817JJB8D7moRI4d5LvEu5N1zSMEujZxSm7
75sC7X5kdPcb1oevB6dK0zGd4L7+BjDkGS9a1ctIj1JuRe2xFRRaFIzjF5FzLqXS
/9lukTffpO9UWeaBx59+cLHgz03PirgiAYMEp7MTJ3nNVv3b/0j6/o9vdfE7LSvu
cJB38Do/96dcnXCROu3wSrc8xNGLR+z+Bod66p8bUo+cu++3Skt5BwRzzQDrvfpj
nuMyONWUFKncgr2DVZWD+naF/gOPVI6yCH4x/cfTMZeyAir1hd5Xuysy6PBJpKyQ
hroLc0LNbvOCTe7yYPIhdkMTxSQ+Nsevw9nAlahFWTv9v7OSWym88Y/2CO/Djbqe
oJ80vPCMVslgnLaNfRUNJBbYXwAfbl3Ww1PsmarW5x9aj++HLJ0Tap2f7wb2tH50
egbmWGdJgRTvfn0zhns3HwPkbSGL5smTWqdmcYuLT2qw2+cdJP04zQ0mRAI+Hsp7
fc0gKVnVyJGkLPulDVXu2Q==
=YPnt
-----END PGP SIGNATURE-----