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

Format: 3.0 (quilt)
Source: ssreflect
Binary: libcoq-mathcomp-algebra, libcoq-mathcomp-character, libcoq-mathcomp-field, libcoq-mathcomp-fingroup, libcoq-mathcomp-solvable, libcoq-mathcomp-ssreflect, libcoq-mathcomp
Architecture: any
Version: 2.2.0-2build8
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Stéphane Glondu <glondu@debian.org>, Julien Puydt <jpuydt@debian.org>, Ralf Treinen <treinen@debian.org>
Homepage: https://math-comp.github.io/math-comp/
Standards-Version: 4.6.2
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 (= 13), dh-coq, coq (>= 8.11), libcoq-hierarchy-builder, libcoq-stdlib, lua5.4
Package-List:
 libcoq-mathcomp deb math optional arch=any
 libcoq-mathcomp-algebra deb math optional arch=any
 libcoq-mathcomp-character deb math optional arch=any
 libcoq-mathcomp-field deb math optional arch=any
 libcoq-mathcomp-fingroup deb math optional arch=any
 libcoq-mathcomp-solvable deb math optional arch=any
 libcoq-mathcomp-ssreflect deb math optional arch=any
Checksums-Sha1:
 b7b599f9c1e0656a64bdef501afe6d6b8877d8f7 1839093 ssreflect_2.2.0.orig.tar.gz
 0928010004fc4a23dbf51b474e6707738ec8a594 12868 ssreflect_2.2.0-2build8.debian.tar.xz
Checksums-Sha256:
 e7e8f3ebfebae10fd290a63fffdbe311d32df7eebc2e66777e194269e72697f5 1839093 ssreflect_2.2.0.orig.tar.gz
 b1986107a2937bb0224e871857b272fa2c31c32973efab353f2bdf221b2dd050 12868 ssreflect_2.2.0-2build8.debian.tar.xz
Files:
 81e77617be4eae98fa33b5eda66c8d83 1839093 ssreflect_2.2.0.orig.tar.gz
 abbb554875121e277a5a31c662ed487e 12868 ssreflect_2.2.0-2build8.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmc/BXEACgkQLIPbyOm9
Djeveg//XEHg5K7hslFhdLavuVYsSMRLwGWqPPvML1isahE0XNFMf9tC+djvUY6A
XoUKsEvKTz+sS0iXeHKTfsXa/BBpHh41oedSOulMYtDpw9AbyBK4LKqkoOzXwqcJ
cPUJ12tokoiulUjrD8u8MvopiHCB5fh4GDSHKN9X1mSJJXwX2MbhczXqS0eBK7y1
enzRMdLCIdpns5E+N9qwdv5bnHbHB6XKQctJLhoc75Lthsa3fldhwj1aAFKyAEEJ
8fUi87cZn817bpG3Ju1geoWW8+jNR7WLdhVNWPCmoToglOohquaz0Zwronfm5cAL
tlk81oDJEtkt2x1RxdSnfHhgtN2eO9apAzoTDnO14rfFnXjxKfpmRSuDWc2hJ8qp
ghhqk8PZcCy5e9IfwF81lXa8y1T/y78jzRF5ENwFhcE65rQ93DgV8Z6dcU7q9YTo
vzkM241PE7wbU7R2tjaw7AeLr4rgGriLVAXSb0w7ql7gTL9mr5hsEVPBXpFil+SR
KIGBs7PesxsJoAhqxBCAFh7UvwXIePd5OFZHEhuNLF8U4qE1VR5a6yPeKiXqAkAq
eGRb8chnBQ1v+BnQ2QUbp+jBjvdclztlr7cXHZ8FVofx0eTMygEkQXc56AMa7NRa
apgFyRfHH03qwj9HTEcH2L4O6jr2l+6X2Ozvaoh6T3pxwTcnKuU=
=c0Xk
-----END PGP SIGNATURE-----