-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: ssreflect
Binary: libssreflect-coq
Architecture: all
Version: 1.7.0+dfsg-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Stéphane Glondu <glondu@debian.org>, Enrico Tassi <gareuselesinge@debian.org>, Ralf Treinen <treinen@debian.org>
Homepage: https://math-comp.github.io/math-comp/
Standards-Version: 4.3.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/ssreflect
Vcs-Git: https://salsa.debian.org/ocaml-team/ssreflect.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: debhelper-compat (= 12), coq (>= 8.6)
Package-List:
 libssreflect-coq deb math optional arch=all
Checksums-Sha1:
 85cc33d95fe976dd29c308491d3a68c7bb8197b3 4039037 ssreflect_1.7.0+dfsg.orig.tar.gz
 8a8a311eb049d1e0fbdd6f247b692082a57318d5 12252 ssreflect_1.7.0+dfsg-1.debian.tar.xz
Checksums-Sha256:
 2ed4db186ae03f7a2f48c72a30efbe31643a83937b58865db0ea2f03547aaf50 4039037 ssreflect_1.7.0+dfsg.orig.tar.gz
 2755526e153910a793a99cd07f477680af65a125b201ce87fa2715cc70ddc7af 12252 ssreflect_1.7.0+dfsg-1.debian.tar.xz
Files:
 5358dec881bbbdcafbd95315667d43d9 4039037 ssreflect_1.7.0+dfsg.orig.tar.gz
 81f8c7b33ac767629e6bf1d81456f879 12252 ssreflect_1.7.0+dfsg-1.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlxofa8ACgkQdFxHZtTK
zf/uig//YxPwTT8+A3sBrmk5sjMMdn4GoTSH5+prVOI+qL5ak3p928AG9gNqNiDN
2KDgmoqeAhYDq+bAwn6CyplifQM/ZmOwOOYVjy9Rta8of9lvHU2QKyoM98/qvewE
CiloR0FrZjIeIXorhvPqX91Tt2OpTPt7fWCHg4jFbPXWvyzdvceS7n+QnTU9CRK9
hz6MevnxS5wQdfb+OfThhr4d3cyUNh2LQaUWPS1keBluQ1+6JgTxQ4zTNog1K1pb
FK1xphVQSTWQrBECN/ltFzZ/cjTlgOn5yS0yx/Yew/JFIVFMEEUG0MsOKFUl831K
jAN4BtFi2vSdFTGE+/MVY9vVWWkur/q46BXzMT7W1ka6sqB3cg3LUmKCubGXEqXW
c0fYVI0eo/r3viFjGLec9BMvWyx9luX2W2wBDAQhcGuwVGXk1+FsZfLroEd7Fn0S
4z867ZKCLjwcRgrTHbolm5XMItt8X09g3YkqhGKJhNsA9HchAmpJp48xLmBQEDdS
47+Nnj8kAGMd3pbR9dJ/vs/tn2nuhha6zoX4ycuVzbsQFouTbwlQIaItgwVkmElm
N9q/3f3xvlF1CBbqnP+ru5qTqtuUCUPDwbD67djxyKCDpkNn76mTXgalQz58Kk+L
IYG79+UwpkitzIyxBPI+DTKdrCCEjC2sr1UC9ijk5ErMgXkCzxo=
=3ntQ
-----END PGP SIGNATURE-----