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

Format: 3.0 (quilt)
Source: coq-bignums
Binary: libcoq-bignums
Architecture: any
Version: 9.0.0+rocq9.2-3build4
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.4
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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib, ocaml-native-compilers
Package-List:
 libcoq-bignums deb ocaml optional arch=any
Checksums-Sha1:
 6f03bd7584cb107b07a5962cd57ada50698243a2 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz
 2722061a95b40451aad94522acc752ba5c88e762 2440 coq-bignums_9.0.0+rocq9.2-3build4.debian.tar.xz
Checksums-Sha256:
 8a481c68ed79b49cab4906c9929948f8afab4d60fcd586a22d549027521a6025 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz
 d1ef7c86a2aa29d98290468f14c24a5f9227f6a5d745c3e4acdd900b113b464e 2440 coq-bignums_9.0.0+rocq9.2-3build4.debian.tar.xz
Files:
 6f2f126e7b81df8a6eef1ea81fc58203 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz
 864d787d8673e3baf061b033be65b658 2440 coq-bignums_9.0.0+rocq9.2-3build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqiVFcACgkQ808JdE6f
XdnR0hAAsqJ08ntG5UXAtfAhh8vGg1bUUdep3rg43bP7mLk76HLsT+yslbM3v1eM
XOJGCP1fvKg+HmwVr3Y6R3M8g+5X59g/EhER3ILUxZgu+zcTfwR2tvocVI2vr5W/
EilyL6j6dJnVSjndoU9t9J6jv8MmG0xvvm2poqIC3c0fBcM1qPPWEC8IrJn94GyI
3s6Jkp5vzkPriycI8iiEMhl+5srycDtDmhaBXxRR60Y7q2/wE1MtmAPyLqjBOIQX
jEVET9FPNr/V0Q/sTf5pyHroqxHsD1ZkWBK+/3nfzl3hu4uPwxDhLARyFE/tGEtM
fu/PKqWAeD/8zkQqODQdr9PBLcJ9++W9nsyZGATN5azb6K6akQhIqiOUei8jwoiD
FbTvjjeoqkTZZ46TjuO+lDslLfrMAYafQwiRiNxB9oJFGQ6cjLlcK+yPUyl0OJDi
0o9LHcfX6SsRxBbwgS8B5ik/JZFcFhmwKdrT8CBQI7yqnm6pQPE9+lzX9bXAFmd2
JeECjt+82bfSKBA6l7HOjH9y6cbd3JLmRf7dccFRCZcz5NAD5fhF3TPIic/U16/q
CFAXRq3i47yH4E59jlCpnN7zciq38a51ZoyUf1F1wwnhntYrpdyZptwe2algEKdN
q3Lh/vMeMxkY2QUYfMW6tV3b4mWhd0eoIE01Vc+y1tP46uwjukY=
=BRhp
-----END PGP SIGNATURE-----