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

Format: 3.0 (quilt)
Source: coq-bignums
Binary: libcoq-bignums
Architecture: any
Version: 9.0.0+rocq9.2-3build1
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
 241f1f356f5d89a6f6f999c7b19b4b446b3b7c06 2404 coq-bignums_9.0.0+rocq9.2-3build1.debian.tar.xz
Checksums-Sha256:
 8a481c68ed79b49cab4906c9929948f8afab4d60fcd586a22d549027521a6025 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz
 87d7ccc3dc712226ce13b7e9006ccc75983069a18735ff0022bdf8c29c614b86 2404 coq-bignums_9.0.0+rocq9.2-3build1.debian.tar.xz
Files:
 6f2f126e7b81df8a6eef1ea81fc58203 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz
 50b7b4f709a9742ded348ff022c19a39 2404 coq-bignums_9.0.0+rocq9.2-3build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqPDIIACgkQ808JdE6f
XdmIPBAAkaZHLaBirTHkHxkXqLD0gMLAGOG2g7py4vd/eYD8Qlf9CAyAvxr+UsbV
ydKeswcIudEjmKonr0ZPv35tAflDDQy1Erm9MCG3DSwzMe+bKQ4hDV6XU/yhq835
Ok2Yful6M/OW+Nt565ReIDk8Rn9Rd4jJHzaGxUxacT38H6hJAzbsCMWUqfaKt0Fb
lldtNpDOSELxZKwi6zfjGW95A5TZBilwTADrxR+C/3ix/sasrQtY8e1ALZX0zPrs
zkvSVRcAOfJkcNxS0DS6d5X3bcHuujGFiB658wi9KgR5Z+T2qe9H4tBBq8e7s4yL
dwjjtA9uLbPrz482AzIVE5BMJaPaZBp6U3pnNAJtGt4WJUReD4exqT4W/ZoVmHJj
32DWxBbuN2+4nozuvGM36uCk2hzHtamkHf5310ETzB0Wve6UB/W+iNQPBXfxoqVy
C+tRq5qqhO4s+33mjJfjqrxyVzOYhUw6+P9LWvngWjL4cwzNOIGRdzC6tWXe0HRE
fPsOvRR4g5u/BbjAKz5E+WnQbj0FFn64zpwhaj6u/tvvqZobNcJ8Hra6gGkPzsVV
1H4hleZUvMr4df+ZfIuiBkjbXZnpjxkKxQFvg41bFekAhoHVGv5hKtwk7ErBzh3h
kU3iZYaIjZH2bwaNfl2b8Y38GE5rd8SeMnG9bMOEEbnjdOx0bWk=
=OC+O
-----END PGP SIGNATURE-----