-----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.3.0-1build2
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.7.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 (= 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:
 5dacb4a5e7e2f9715d87bdce0fe829b7f7f43e38 1880788 ssreflect_2.3.0.orig.tar.gz
 64bb9e3aae3677615b5b3773db2e315143aeb493 12744 ssreflect_2.3.0-1build2.debian.tar.xz
Checksums-Sha256:
 19e13c8765007f95b4656d8902bc66e10b072ab94ab51031c5efb860827d05ec 1880788 ssreflect_2.3.0.orig.tar.gz
 616c769bec98fd7e24715c461b6e889caaba53c4537a7fa2568699af6ebf4c01 12744 ssreflect_2.3.0-1build2.debian.tar.xz
Files:
 9120bb2399f98c4ba1e03677c2ebabd8 1880788 ssreflect_2.3.0.orig.tar.gz
 7f43b6826f6b0816194688ff97636388 12744 ssreflect_2.3.0-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmeVnIEACgkQ5mx3Wuv+
bH2/Tw//crrh5zPQ/2psZ5HXJuK1zbXW6Y64V8zAzb2hhKN4qaF1palUxaE40Svb
lWNdTbqHXpGKjkGJ0EggXxDsGV1MKwoigBZjKxSh6hfY5W+bvV+WPkHKMK0G7Cej
xhkUxd5DuX4Vfi0CQf7gTZ8GPupUGrstrmCllA7rsIHeRryDS34oxM15T7xVgplS
0M+hpBf6BYf5RYSOx7RKi2lZ+tN1/LaW444TwX1V/DXTH+Hk5OxFP3cLq/tW//RD
r0TKjiHmDdL6sdwgM8fCCADr8oIHFk9tNsriTMqVzKrmKrTrC3/xq3Jv5riuZ1Qg
OXcDLF8pnrb6eDvCkqFgShFVWiFm1eqoLvsMoBNf7kH/5G1XYms5RbsNyW+fgj6f
8sQLAdh7f1dikzIgtj4AoRtIfMpvCVGMpIbuQAZdq8dzODHZApEMBIYm1JOePDEw
3R2nG/M8BawVRMdMXcBbFpEiP/uqsMKzFPQxnYo3B/IL0VG0nIOlypuVO1mX2l0q
TmD7r22kHqGlhnxZCNH9X5NqBpWvLEmembgd5n+9Zw6i/acIDCW93rJO0wMljNOT
kx7uzTQi9yEYI/QZ8PqyokY4ih6g8UfKCoO00dSZ4dB67Jvp1z1yaAqInO2b2yu1
ojk165eJrxRr2J1dCCcs7r5hDwBPdXqUXUArzqmaDT5Fwhcu/gM=
=gAkJ
-----END PGP SIGNATURE-----