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

Format: 3.0 (quilt)
Source: coq-bignums
Binary: libcoq-bignums
Architecture: any
Version: 9.0.0+coq8.18-1build1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 84841e0e2f1e88ce4d50afaf2034a3356fc515e5 2164 coq-bignums_9.0.0+coq8.18-1build1.debian.tar.xz
Checksums-Sha256:
 63f4bcb57ebc7ac8d2b6e6ec5938f556b029529bbc03340d872f3c728fa175e3 116811 coq-bignums_9.0.0+coq8.18.orig.tar.gz
 661adb54e66c4e24862596798d4afe9ad91ed6d71fc5ece8e3b2b4736c655d61 2164 coq-bignums_9.0.0+coq8.18-1build1.debian.tar.xz
Files:
 b89c4155bacceaa8ef4f7dddb787c182 116811 coq-bignums_9.0.0+coq8.18.orig.tar.gz
 04ac93d346b7aa1a7ecd572022e2abc2 2164 coq-bignums_9.0.0+coq8.18-1build1.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmX/b+0aHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz0CZA//WNsB4/2IvUaWgrx1GQZy
5xBH1LbA23mamQNREO/cU3MmDIAUpmMsIK+tjSZ0Tj/bjSKyvb2v1p7ZgpRcyLmt
S9EbLBx50/Pv/BZOaM+/Tod3iRwkYgWSfgLgWjvbf1Kb5KDz2lb1Pxw4IBuW1hro
aln7zFyLSQROu/CiMCu/uojKscPQmcZ2PUbQCo2isiaf4RS7cMXW86h5Gj6de1en
h0SVF51CF55Ge+2jv2w4QhhgktCZSUcWIryl2TWwhlAXV5thxptKDRpHnUgiVEuH
GMT8qvYGW3FUlTZvg192DwqwPAK1WzHBLJxkw2+wYXZSw6KKHb6fuR711Ca1YnTP
3qnmLCT4tbouRtgK0fnCBNsdiytkkCm/qIEtrVm3d+KTnrF5WYmy0YvPLIvFWehu
eS9ufLQScO36BVCl2comqWuJ+OUkuhawz+YxzIWXr/dXhfd9Bho/M3w3PLeVQy7E
cOZUfcXOmjxW4Y16DLkujbmi2s9dTOq/3hFtGRjXG8xPWlw0HQvbLwK4H2NEvV6W
ZHF5e/xdYXKsvj6YqkQBfaVun1AzugS9j1uex2V+1seAFIkwyPUPNrrDuOfV7lo+
FnrXIk0OZixQobY0hBE/qbCKn9xeovZB2Be4yNyEEnxZOCkFIk3B+MkNod/MQg1p
Ili16XoLiTXsWIsHH0MR70M=
=uOkg
-----END PGP SIGNATURE-----