-----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-1build1
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
 8e4e7d0202c81b4e3f88d3d7c52f6e52af7e29ef 12732 ssreflect_2.3.0-1build1.debian.tar.xz
Checksums-Sha256:
 19e13c8765007f95b4656d8902bc66e10b072ab94ab51031c5efb860827d05ec 1880788 ssreflect_2.3.0.orig.tar.gz
 23f3e39fa22a52d2e108f41800db1c013e12c595d6854a781d64b8eb655a873c 12732 ssreflect_2.3.0-1build1.debian.tar.xz
Files:
 9120bb2399f98c4ba1e03677c2ebabd8 1880788 ssreflect_2.3.0.orig.tar.gz
 d0cc3b0fb3e4139f1386ce9fe96ba78b 12732 ssreflect_2.3.0-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmdk40QACgkQ5mx3Wuv+
bH1T1A//Vb5/dqowtX5q/LmdhgmOjvRZBzLwWnx1eV5FkG3eLPObTS+jj53pg0w9
b1lzXj7v1R4cCyiV4EZvPq0WchDGQPVzZBU3nFV/wfyTAPABkcP1wSwjw0qF8lOo
CBi20d82FZDpgmFFctJk7nsdN7CZgeaA9OrxLBx3JwNRBzds3jTOe4bVr1x4ZXXV
E+wPePnMOIIxm6zF3qb8uB2RcybUZrFfdPNxPAawrrv/FVdDoE+iHAaEluBMkXQy
IitFG7qxJQo3nOxb3ZvHeYln+jpMTKfJDJGasp23t4Ab9JrnZ+5B30g3hIEOEsu5
QoPXa5Nh5R0lOvcX5JVvLhzguy7bxrFN148n8sIAcFHM+r5C0+wYC1NG9cWutqmI
Dx5Y9y5D3QltTQPcL6QYGzmPwkUgntTyS1lS6s1WWi7pZxDXksr0swBLh9SfIkAS
sse8FFzQZQRWjF6TQLdprMeO/Z8yazHb0p8OWapKJX+UPx1DfGD8XhxDNoAwDvcs
XbGm13VBXeRJEXSbIMk4//SeebkcYayqtntyG24Zc7mpKqQBBJY0zoltzWk4BIpC
4lIhtFYqO3QM/vNDi80MxLtkXVbC0LjXpXZ5e+TFErhc3zAWYxWa3RsKNnfIU4T1
aVm+fz1t7g9p4czWafKslDGEMxmnYXN4+3QYsF9ahfaoECrBkHs=
=WaTR
-----END PGP SIGNATURE-----