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

Format: 3.0 (quilt)
Source: coq-bignums
Binary: libcoq-bignums
Architecture: any
Version: 9.0.0+rocq9.2-3build2
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
 24f7fa8a4627380c0e1714af2ea3b834be35cecc 2416 coq-bignums_9.0.0+rocq9.2-3build2.debian.tar.xz
Checksums-Sha256:
 8a481c68ed79b49cab4906c9929948f8afab4d60fcd586a22d549027521a6025 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz
 3eda467a3ed76781f27da734775c0b3f42980e66bde0c18c16e0302a0b1144a5 2416 coq-bignums_9.0.0+rocq9.2-3build2.debian.tar.xz
Files:
 6f2f126e7b81df8a6eef1ea81fc58203 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz
 94c8ed308873b0d793c146593d4f1f5a 2416 coq-bignums_9.0.0+rocq9.2-3build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqQQn0ACgkQ808JdE6f
XdnNCA/+K0UeZdgE+hlXrJW3KgD6iaL38XyQ4s6j+J3hAA3CZ4xxK6HO7q6+iD/r
E2tSZ2LTNS+NpBR9zDU1BPcv3DvzdfivAp3JyQQhpd58VCn5sLM6B+vLW+4hr2CM
tw83vYMURmz38UNEDUf5zITjeKoK4JVSiiCRBCdKI+6sFIiU/hnWlguT+zaRyor7
C2FHEUH2erUveX5aOekzcsjPjFVdska2lJurbpgXDSNgAehdyybaYErujwuMw+n5
VPuzXagIykQtv0Mt0CGKPBY8P+36ENAGm8eFAhPWHxmq3MTtwjL/9GDZFXi9HcU0
NbT8CKyqyGlrsDnEIqSlSy5wwF9dpKgKPUvW9zLJ3I8r92f7mwtgGztISL5EnI9O
druNaDIeKlk6+qzUT+RfAZC4iBQW146D0I41V95VeUxZ24kHoB0dIE34pHfleI9O
4uD/TkN07kSbudDo9fC04ld9Bv0TpkTi/1Xg9gTzHb/l55SIXs30rkYvLOzGQHiM
Guob1doE7U7dx3pjuPQXRYArYd+Z0IjG6zBjVzKRRI+44fhBJFFCb00/rKl3PHRL
pBrhI/sebsiMj0EjTkB4FCwkbg/olG/hlwZ/FFSLzOz1UHeGtTMz8v0nr2274dn+
9VmNARL9TDksXLAxVxr1N20lkx9LAAyQdcoU2P63har+Seh4VCk=
=M7Fh
-----END PGP SIGNATURE-----