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

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-1build4
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
 f35800c00a16f21c1417eda92ac8bd1ba79dc88c 12792 ssreflect_2.3.0-1build4.debian.tar.xz
Checksums-Sha256:
 19e13c8765007f95b4656d8902bc66e10b072ab94ab51031c5efb860827d05ec 1880788 ssreflect_2.3.0.orig.tar.gz
 ba18a377a18d63232c4bcf85dec25196dea9b840c5240f580989d2d786189739 12792 ssreflect_2.3.0-1build4.debian.tar.xz
Files:
 9120bb2399f98c4ba1e03677c2ebabd8 1880788 ssreflect_2.3.0.orig.tar.gz
 54939ae6a0c38ca6018f19db46f1935c 12792 ssreflect_2.3.0-1build4.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeZAnIACgkQ808JdE6f
XdnoBw/+KJW63ESx1Wdcm+TUNzJGqG8q/ORa3p53vXwI1ErxQs7sDTpLih++A4oQ
Wo2asq6GCr3yxrQn5579kMB3O/Y1FXCVDH4hL6xJ7Enw7uwEW3yBo5N0EQp+UdQ3
HoOe2iaLqFusigbPH2LyKiHbqRWIXE4mJwQCjOSoX8CCuf/oN5eYb6lCB2ESHelT
s6+ZDN2ZoBTGmnnYfu+vntRGVGDQW7rYxu0U8jr0VcN1lspc35wUC6ywkO52Gc1F
EnfYRPId5lZKS0wGujOcijtbN8Tue7K/Jw34K14pXBfPtPiKv2rimd9w3zhI1Uzm
HjkqMMkT+qUUuvS2f+4GPHKJQWMkJwFNeHK5vd59hTux0I4JqAFVmtP9Qd10D3VE
yXei4B9AkK3QwonlHoTrxmXco9VoW1+DIs++yOvENU5d7AggAlloEbiWJwmAq+kN
eh97Gn6pCHxC+o2Q7ImMZVM5ZJJ0nRC4/zvaM0Qs3Kt2uxJigUPHLBg8in5nKWYt
oOOZWEiqZRc8qoxn3eDErHdcGbOj392nPcYmMm9tKbrtw6wyrf/ArDgwSpbfI2kc
HWyVQO/C22WvD2Sm6dRDpT9CoID70VczPXrEFUxws5RsS0lqwsBvcoXGwUTtpeFx
BqdeWuz7lp15MmMMC9Eung3CaSKmfpbga7nWN2viu+dcgViolc4=
=Hku+
-----END PGP SIGNATURE-----