-----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-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
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
 352a77a897f6766512f2c8b4150e8dc406408a3e 8904 mathcomp-real-closed_2.0.0-2.debian.tar.xz
Checksums-Sha256:
 3ca62553ce212f2d20ff13afc040121c146e7b31db2534c36b91d7bcdd6f8d53 119466 mathcomp-real-closed_2.0.0.orig.tar.gz
 2c8becd294e2ac9209cbe2da8e566d25feb6fefb44eaa16d4124f8ca10421f20 8904 mathcomp-real-closed_2.0.0-2.debian.tar.xz
Files:
 102aff403e07f0c2ce25fcbbc5f53f64 119466 mathcomp-real-closed_2.0.0.orig.tar.gz
 9774239743cfe051f1319c2d3d8fa4fa 8904 mathcomp-real-closed_2.0.0-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYH76ISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRWKEP/ig7aCpo+7J7l5AetYO4E0yZimuVpkfd
2XOpWazP+Q9QpyMgQqPRa9ZeHgXdThYsCDz6y5sboC+J8ABsZsC4BbJ0fw22lmO/
Pq7jKDbJyCd0Gzv2kNGsK1kIKwkxQBbpA80k1DNcj3wmuzIMiXhJOez/wcCllLTW
hqNxoBamG9fqpT5/p0SJriW5WmpQb81VIoBtAbThGzi30VySHEs+L556lX0mTOtL
Xh2Sk6R1IdDzhQDuB2B4CpYYYX/K8oTsllIbSh171v3k1rXsudhYMw4jaAwJiYXg
zBHBp7A0FBLRwQbRtyBtooaq3Czn9g+qQipdGKDqfYKigBJMeMLklYLJsMNzlNaD
pLMQHz3pciBPGMkLtk2RRuOpJpQgXZ86edpXxfk0IMeBniiam9Ax439+saWbxiG8
If+o479wfuGJkNgzktO8t/BVG74jE2DCL0DadX5R7WpSsmGumZEwJX97PLRUC+Us
/OonG4LQl8dO9fetC7wH7kCIgmpnGnpRkxzSHJv62NMenUE88C92thkDjnYd+BWS
0ZvjrVvk4YQwYcrkZFXMY1tFsUX5yr5V2QG3hKQJ3T6haxZNqBkCGl3zG2YGHrVd
s2w8WoKTKJE/Yyvf9V+c2zCsoWew1aqIG7QffKFQRl3SDd5hqr6g8OV7XtvEfFSd
MXHhPtUAgfAC
=gz0/
-----END PGP SIGNATURE-----