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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.1-12build3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/math-comp/bigenough
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-bigenough
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-bigenough.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-ssreflect
Package-List:
 libcoq-mathcomp-bigenough deb ocaml optional arch=any
Checksums-Sha1:
 fb23236e373c0cd475e7868940b5ab3a30c4f482 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 da8437d282d21ccc6af17f7e94ce964c59b67578 8896 mathcomp-bigenough_1.0.1-12build3.debian.tar.xz
Checksums-Sha256:
 a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 e4f87092b7a861965b14bc648abd6fa6d15a5df6fe8876b92bc494e49ff583e0 8896 mathcomp-bigenough_1.0.1-12build3.debian.tar.xz
Files:
 6643a658ea6c6fb32b788a730bedee55 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 daa0bc043b9a0fd382f7a96ab7f7058f 8896 mathcomp-bigenough_1.0.1-12build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmYAs6UaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz2lShAAn8m3asjMKD+GqTSYBLAq
pn0qBSXSw8TQvl8a/SyQN9aJj6RvEcOEtBjWKDwkfbQbkgj2SgIIq8akkMBF8msc
NMA/2TqSpfG5lQK3BcHVbhtjHs7A+5JL4CzvCm7o/XXfpY+9FXOyF0a9WQbfi9Au
fz89XVI5uKvH3Lszio+aAdTEzcbx0KHSAK/SEkwaI7oIIwA3cXZ7O8GcwdtUD7y3
1reg1qYAaiObfO7n/UMYPOMyh3c/+uVFU9Ge2dLSx/X3Sow1c0XJ4vBEHm+xiotb
66/4IieETdZX0Caq0Nkyf3ltt6UHRGUugD9Pzn/NbiCelqWjoMpKSHJ/AoT6ErIV
hQq3wU/1xQRmSygJWmCXXI8etQ9VxjP43aJvtNRn+rsyxL7/BcD9jADKAXRGMG4n
Y0r2ws3z2719r0sHiNKhFh3lTLipi5U8KlZ0TBWMVGiO3yZC9j4695jv8DhJorup
pk86jf9Zmv+4PrM+d4S660hlLe3tpe1Gf7AyFLW0LMYicXguqoANtP1Ij85oeW/8
69+s1Ev5mQbkyVNvAatBBCSW2GVmA+SUbkv1QTwEJyZf2l5QJpaeDBeOYcHE6Knr
qNUF3eM2/rF/IMli3J5nI9CnPyzL/D/54PXBX5mLVsdBdOu3adkwwd3vL/lr/ajW
CFZdzIMYPuaMpoKCaoPFEAY=
=j/ky
-----END PGP SIGNATURE-----