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

Format: 3.0 (quilt)
Source: coq-bignums
Binary: libcoq-bignums
Architecture: any
Version: 9.0.0+rocq9.2-2
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
Package-List:
 libcoq-bignums deb ocaml optional arch=any
Checksums-Sha1:
 6f03bd7584cb107b07a5962cd57ada50698243a2 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz
 be537c0864911a48084bcf1c94e7dd5bb4c5d68c 2280 coq-bignums_9.0.0+rocq9.2-2.debian.tar.xz
Checksums-Sha256:
 8a481c68ed79b49cab4906c9929948f8afab4d60fcd586a22d549027521a6025 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz
 bd1f454cd81c04a638c7f6c63b059913a89736e4f75d5081d326e4d6ad7278a8 2280 coq-bignums_9.0.0+rocq9.2-2.debian.tar.xz
Files:
 6f2f126e7b81df8a6eef1ea81fc58203 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz
 721a2d1356e47869a45785021b7aba5a 2280 coq-bignums_9.0.0+rocq9.2-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpoyswZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUbjxD/9asOLMsJTqVrWPt/WSeFvj
gCVmcHeqD74Wb4grxtFOausKZcpWu6MMpfJhgr1u34G40y6eXUQWxBSUBXw31PFk
5BPjMpYmOgWFLn+OKL0Osv/vZWeKEftNJilOe/rTavRJwNnlLTCVtgpmME2Wa1tS
/uPEJf2xcjU4FxoTk+2a6DMRf94j0ta+m97szOYf0DcmO0dh/0opjMap8Wd3HjPm
m0CTgBskn5hZMvv5rCuurmWlKS8Cx4bbmjl/VwduCkPheJ0jrUE8ONFPqpJj7Zt/
UnYhmn9xa56P8d7l8yVj/cDQFs+TRQ9hSUgvv+lZeUjBNKv/EpT7Vfwqmog9XsNj
7P8SrOsWWN+bGaGmlS02sR3UDZixJKnVV2yd/chaob/42L50Xsrzx6L1yxvr/BRJ
n0WoHVrrpboqauIxl/5hpMfA8d2ODzEb/27dsWhM/9hzugWR8BqdkMXjP4rOhnCj
DQ0QDeR/uGERopBu96jo0hR2U8+aTfX0zKUzS+xYgXCuaASnHSb3+Zyp57I6YS2c
aHLTDZK75o+IOhjPvXIKweYaMFS0fr3g5K+HIfR1PCaQgWPdh7SKhKI5PTIW3MsK
NY31pIQFiyTeoKuW5Q8ciXoW/U+t0XVRSktOj//5EO2UpNW+H047OZo+YF41qA50
Eid7hRDeWL+zzXhikjICLQ==
=YFv6
-----END PGP SIGNATURE-----