-----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-1build9
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 af98c3484778a7d2dde00ffe2d535a35ed679110 12964 ssreflect_2.3.0-1build9.debian.tar.xz
Checksums-Sha256:
 19e13c8765007f95b4656d8902bc66e10b072ab94ab51031c5efb860827d05ec 1880788 ssreflect_2.3.0.orig.tar.gz
 022b5e298b1132d880dabab2b325198bd1763f209ca4d301ab9622b762cf55f9 12964 ssreflect_2.3.0-1build9.debian.tar.xz
Files:
 9120bb2399f98c4ba1e03677c2ebabd8 1880788 ssreflect_2.3.0.orig.tar.gz
 912cd9d956cc410bec9521f619fe154f 12964 ssreflect_2.3.0-1build9.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmgbucEACgkQ5mx3Wuv+
bH3HvA//ST3mA2waFuMbkbP5cXopzHSZC3LJ55H/G6YAvfLxnpu9FKTFToAIbYe3
YAh8na0JJ57sNy/u6B09p+hyvdwhuACnmONTVabcyYVyX1nTyZ+h+hJoB3rP9vXX
xyx+U7mHh+ilUcWGsatZaJQYo5gGztMEjzqKcKl5444Vg+6a7m0TRPwrsu4dISru
iEl2e7QgICg8/yyZGpC06xVw283H8SiE9crEIGCz3OI3j1X9nUFgKTTu/HEN+yom
g9lfvLcwXySk5QT3tnG50t+DGA2BfAnI8SSeTdOs3h3vSG3FBakM07qs/Kbq0JgJ
20kfTVH0NLvVvwAw17dDzWmZPOStYsLBx+um5egRVFaTXfjLHjMMtBdSzTguVWKY
7hGzZwQ8Zej9nbDN8QH1e1gWRDijZpQ31wrpPgtoPwluP3WzqlXRBhwdTyj2hwnU
EUnR0UiA8ePOjjvnMaTZZd+iy+l3GTFlvo5XIDQNCyZZvGmTZdr+4aLUJ00Ok0NN
uAfajJF0SUhXBZzXW8jdTt+IML0Svcd7C+m/6zgHX2EMU7uo1QLpgTQ3KORmfHJp
4vK3HOz5YOfouiKz5chTg5cmEks67TP212gZbDttSQRty//SV5xVF7cnCsaT91Jh
+Ie6mgHLUCBPulamVU5qyKiYo+Zo7UUOOAlnHK5GuLWyZ0D0Oy4=
=eLdl
-----END PGP SIGNATURE-----