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

Format: 3.0 (quilt)
Source: mathcomp-real-closed
Binary: libcoq-mathcomp-real-closed
Architecture: any
Version: 2.0.0-1build3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/math-comp/real-closed
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-real-closed
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-real-closed.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-algebra, libcoq-mathcomp-bigenough, libcoq-mathcomp-field, libcoq-mathcomp-ssreflect, ocaml-dune
Package-List:
 libcoq-mathcomp-real-closed deb ocaml optional arch=any
Checksums-Sha1:
 c47be15ca50fd6076f0e3883a4902c72432a1ebd 119466 mathcomp-real-closed_2.0.0.orig.tar.gz
 0a9243109b566588728fa2d718e58116e7c6b6a0 9088 mathcomp-real-closed_2.0.0-1build3.debian.tar.xz
Checksums-Sha256:
 3ca62553ce212f2d20ff13afc040121c146e7b31db2534c36b91d7bcdd6f8d53 119466 mathcomp-real-closed_2.0.0.orig.tar.gz
 eecf510ddab0b15492976e05336357fdfe6cad7704263ca047b1cd1cd9d80af0 9088 mathcomp-real-closed_2.0.0-1build3.debian.tar.xz
Files:
 102aff403e07f0c2ce25fcbbc5f53f64 119466 mathcomp-real-closed_2.0.0.orig.tar.gz
 3d99dca3b3da1af9f90a92e848fe9a6e 9088 mathcomp-real-closed_2.0.0-1build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmYAnscaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz17Xw/8DOXOFabM5xlZ3sGnz2Qk
+mJZbzpf9tweayykw1JCe2ZYKLqoXmb8ZhQj4+dheV65v6vNnLBIczQGKsNsTYYA
lDpR5XCQMH8dfoO1Smwnjp/Iav4+V/UUcKVXP3IX5iPC3jmCBs5eot1q2ZQXRChm
QtTqhsmjTDGBYeYz7gLLmr60h8fKmowVQO88JqnoYfIiZZN2pdu4JjP+4CnZKCLs
F+GCWVIKNnr4DZ0Zfw32J9uUAv9f8ozl6h3vk0V5S72EEpmQhg1BXjsbIBDGm/5Q
U2lzKLT64+RxCNRf0MSuO8pKzO3ckcP/FwoCNIBpe/ZRR60UAsl0XC27UCmuH3KO
d1lua7oEXwEF5lCYOs4Q4fnI+53U+z9mm0y8Tbfsx74s2TnEW7zVPNc8aRMEoCas
TrSl75SESMYPwKn/318TnpFglhrTLe5xoKI2KtU0tLZ+3L++suDsmuCHhjFPduVp
fv3Gm8FeuIVEjkTCXbblwppUn3mmZ6SudAB7HyN60kP6SD1eRqbpGLgjR18pWp6T
tRURhENJlplDMXohrD+iNQ3nHPISRC5A2TY7nsGFE8YYhdpOiTY6GT4LhWrxBWL0
Bjnsl19x8GPXq2oCkoieDTIOK2JfsoZei47OEku0g0wqObxdUw04xsc8UkLmDzss
2Q0+qaLNTroidYPYICIEMBk=
=0w8t
-----END PGP SIGNATURE-----