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

Format: 3.0 (quilt)
Source: mathcomp-real-closed
Binary: libcoq-mathcomp-real-closed
Architecture: any
Version: 1.1.2-3
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.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-real-closed
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-real-closed.git
Build-Depends: coq, debhelper-compat (= 13), 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:
 5dba605638b751ca4516fb7bd24c8718d23f0504 118236 mathcomp-real-closed_1.1.2.orig.tar.gz
 99551802bd741326c8cd6716827f775edf0e48d6 8608 mathcomp-real-closed_1.1.2-3.debian.tar.xz
Checksums-Sha256:
 84e0ddf33dbbc249287dfc8fc7874d433c79cee2b335f32b6476a46a71376892 118236 mathcomp-real-closed_1.1.2.orig.tar.gz
 8cd72df3b34a1743ac448dace5f80fc711a1ce2d9a570c92f70a00e3cfd897ff 8608 mathcomp-real-closed_1.1.2-3.debian.tar.xz
Files:
 0c743022726111acfd8d61ee1ae4156a 118236 mathcomp-real-closed_1.1.2.orig.tar.gz
 76f559c7c26234389683eb89ef1010fc 8608 mathcomp-real-closed_1.1.2-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKYpHUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRd+IP/1sUZKx74bD2irmjcOMPE+d0aaA8F1qA
Qnht09xm1YnitMs+dzSJgpfKnwgLV+QfmNs7aBgcpsVlKFRWWxbhAvkmEvdR+BCu
Nt8LE/NaJPlkJ+dUDFb5OLiyAK+5r++qA/Hh2AKadtgMearBjaEAgZInHj8vkaf8
791TaPwwmeZteZZyUkpGoCnVnKKSFQsUNMQnj6Wi0XiBMVxq+Jxdq5ZSD7oREr1b
uT6U36tELwUfWZPJxe8voK2QJuGzLWgsNPunirwX7CC6T5i5Xrwcwru1RhRDK2gh
iIC/5lOhlowp8kOKqT69835nneQaLrHizCk2PEn2EhRjNgERxXaUZIJOyQoxllh5
nLmWhY5BakSOsBoiNsL3LHqNWyy7Y7VErX7kRrAKuS7DTcFTSEEsf88XLhOznPQu
x6dmjt1Jpfya4K6RzKhQkMW7VWW3jXH0fvh1EaZHb+naNoGK7giApu2WxI/MrSdG
a+VBPOlk2nVgwcyDtrcxQK0/h3HJB97krsTADQGNQUeZOjeOoT2BSWtaQ2VwYQrg
G3UK4A0JQFNlF2Ac7akB92k6QpbeQJnOEidWOsEQZKMuztcUBBh0pPaJL+jhgYHQ
v8DI5HOfDKx1XbyV7V51YLgP/3YS9DamLh90e38y9+RyRImN+lLAPS8aoHzTn9+O
QE7jNpHJySnx
=dDD4
-----END PGP SIGNATURE-----