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

Format: 3.0 (quilt)
Source: mathcomp-real-closed
Binary: libcoq-mathcomp-real-closed
Architecture: any
Version: 2.0.6-1
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.7.4
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 (>= 9), 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:
 e29a4f0828c4e0284a63ea927a338d455975f63f 123814 mathcomp-real-closed_2.0.6.orig.tar.gz
 d719ff8e79429d5a64e4461b3fac6f934dda3037 9436 mathcomp-real-closed_2.0.6-1.debian.tar.xz
Checksums-Sha256:
 b383ace6b4b8964eb31a2c598408cdfef740f637dea27954c797e56bfd37ebb2 123814 mathcomp-real-closed_2.0.6.orig.tar.gz
 8a2c2f724e0ba376a95ca18d24fa4780eabad590663a55fe15292c28789776f7 9436 mathcomp-real-closed_2.0.6-1.debian.tar.xz
Files:
 d47603d0ad456d12da6675dbc098ba31 123814 mathcomp-real-closed_2.0.6.orig.tar.gz
 6cbe53e4940d07d455d38437c8e37e95 9436 mathcomp-real-closed_2.0.6-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpp3iQZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUbdbD/9jHmpI5k035Bp17izSoGVC
NfDNDJMGgAagldRph2VCenMV70p1qFaUTxc4tA4u37vgv4dnZdT2z+dnW3y1VGV+
mIWCO9aWrwhGLguBQU4TZJFRkoXIhjkY+9wVVc9HHW49Kc0RV+o1tyd62VkeKPvi
oBVCQqYnaMB/JkGOlqaLT+9VM20JRWSIpxqTbdjJW358gZDgGCUKhy10ATOVS2MH
Fu1VyBcRC2tY5lVSjXKH3faLETwql4KbX+RnyIWjkAX/+Ak+dQNtOG28xO989Cww
FzkP57d/kBelNVpdSo47jTqLOdhYQuUQCiEokJ8KuxB507THVI10/f+6554OwcNF
Pqo2yeQOqTN4VGNR+b7wROqZdwicxnPvfgza7L9vdjk0PhzVuAs4SAZTKwtjJRWs
S5yznz4x8nspGf4/uJQbpTsH0RJOZOClrhVM+NwzF2qvZLWQCh63UHRjBSZ3xY1B
4e0+7mQYfGCBAm9+RCagpgp2PrDi7QQXm5VDMI7peZENgpPzjSN+vujoDEKmcvhJ
Z9UbV603XSCy1YU3jlbxIwJaEZ3ckzpSpUSE6LV0hwHffOhQV4DlmNMq/QRv98aT
5lU8U/dP5yeJfH33gDUipBKQYU1ZtrYSqLYuSi8AZvOokEkqDg8WdTQsUqjWgAVg
TrYput/778rNK9+swJjdWg==
=+O3A
-----END PGP SIGNATURE-----