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

Format: 3.0 (quilt)
Source: coq-bignums
Binary: libcoq-bignums
Architecture: any
Version: 9.0.0+coq8.18-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.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 (>= 0.3), dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-bignums deb ocaml optional arch=any
Checksums-Sha1:
 5a2ad6feff5d7ae82891e723f2eaee7048a24f1e 116811 coq-bignums_9.0.0+coq8.18.orig.tar.gz
 7b43414d276a34aae59c54ffd79616fe8f9b4321 2044 coq-bignums_9.0.0+coq8.18-1.debian.tar.xz
Checksums-Sha256:
 63f4bcb57ebc7ac8d2b6e6ec5938f556b029529bbc03340d872f3c728fa175e3 116811 coq-bignums_9.0.0+coq8.18.orig.tar.gz
 3344a72cf542b381d6b49ee9bdddedd54341a1653e68ff13d0229192e74a8560 2044 coq-bignums_9.0.0+coq8.18-1.debian.tar.xz
Files:
 b89c4155bacceaa8ef4f7dddb787c182 116811 coq-bignums_9.0.0+coq8.18.orig.tar.gz
 82eee7fc382fa9e735d72e2c1c180bad 2044 coq-bignums_9.0.0+coq8.18-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWESgkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRVaoP/2qnwClD2/AvqVYi4kTcuokNPWe9HIkd
LvdL7j5UdLrFZAIs5iQaW/XbJozUwD77ZkyppPGda5FkzeSPn/boGNeTAAvMMHXE
tHCbvwuoZ/YXvuYdGvFPdI8z4pxC12NuCX5pL3fUJ6V75A/HVH887eXoojvNsIib
fie1ryAdlDPiyZ5hi5hAtby9uDTRkqx915GKiVZ4LxyBEgqySuXcqdLOmIj49NDQ
UelXkytaTohK1fA6BU2+O/4xn7+Y5lyCJmxxe9li/VF407GVbM4lKv24QGusiIp2
FwClGmSKaIoablN+LG5PUeakeOwT5UMR+r7j3EUfm6OXGGBWPTozvjP4u+VwKFEh
Vyvj96ido4aSms2nKuS8mT/TcHm25A2HqlcNlC0zhxMw8gS0BD8X/akwFUkcwAiK
BmkM/ZHEdN49yrznDYM8lrQwVL8t5i86usgMzrJ8bdky8WXVO3QTXfZncNcEyNyg
+yfXOZmKodXsrHvvGi+Nc9m9RfROXa3kfMfbQzeUYlpy1lc9L5mMg5Ttjny+Xs8i
aHQM+/PgH3DPRMyi6XA49o/m50bnKTwUswQYfAyLGW/zEmBBtNcKQcZVGq80uSP1
o3Y5phU7FKa9s9tyu+z00exz8xWL9mJ4NpAI+65qSXu9c6uH5b1iXfG4xZ0fBMlH
nVQeXECwkorZ
=DJeg
-----END PGP SIGNATURE-----