-----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-1build16
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
 aa5c96b0ba869bfa1aaca2ec054678375a51b5dc 13072 ssreflect_2.3.0-1build16.debian.tar.xz
Checksums-Sha256:
 19e13c8765007f95b4656d8902bc66e10b072ab94ab51031c5efb860827d05ec 1880788 ssreflect_2.3.0.orig.tar.gz
 e321bdf1c99b493819ab3d7fe4a2e43258fd7a31f74f3d866b1acfc19b5c9adb 13072 ssreflect_2.3.0-1build16.debian.tar.xz
Files:
 9120bb2399f98c4ba1e03677c2ebabd8 1880788 ssreflect_2.3.0.orig.tar.gz
 46322fe560d21b7ef62223ae351e816a 13072 ssreflect_2.3.0-1build16.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmkMVoQACgkQ808JdE6f
XdlLjBAAsm5vlbqgHFnqA5stDPrWRBeSAXqnXOISvvIaQ0GV9rT1PCoBZJ7lJGsh
3Xm1yuujWqcDAfVKKuAMdM2E/nevbOPznEYxV1zJA2utFR/UZbyETJ7+u3v/HfyK
9aBpdMRoDDSm44FQK+iCJk6dv3vs1W51vImiCcDaAkVbRlXgAIAJkwbn/1yYs2ss
3rgiF3C2lhsJmghdNMqmrJwlTZ/oGt5lTIPfPjcKJQmXbfcYQPCTHimA1W4IOMnS
+IYA//NeG9hlt6lbGPAdYM01TZhNuAUcEQg+I5xBTJROQc6YoqnZOsCp4VaX4efY
hRXP2ETBBaISxRZUOUbyJJtQXGxqJfAnHZy8Wz92jupmh6lymFZMDxpdeOiU+GZD
A+4VNiDi0jX5s3E0vJJUrMsMDlTpG0//2mgzt6ZjnZsFcYRiJ/ez1s7Vfu7G0B2E
qbKgAKUztA+N3D92BmpkysKSnhACp2pdSAguWCki7TcPs4crNtk/qc3jijOIxLHs
vJTrZjSvJfucGRVtwJ/hVXtJKSMScVnoB/+nTWnznXO7JZo9TZK80iDcWwNfKoIX
ApclTGlaME9hN1Mkx7F4kwSB3+t0Q+/8DDRYqIZ4ZVONT4Wwk07bXuQk0v08GPPs
X4S3rPwxGTMMr+JF1mjjeKIVWq17rUh1BnHAcvVnqQ4zvITvY/o=
=gw3U
-----END PGP SIGNATURE-----