-----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.1.0-1build4
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.6.2
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:
 7764c58048586b004fe3e9d01e6f0da398e01f57 1835482 ssreflect_2.1.0.orig.tar.gz
 5c6570ccc85d864afe0735cc9602ea2ab2fc0c23 12836 ssreflect_2.1.0-1build4.debian.tar.xz
Checksums-Sha256:
 ca000eb4cbd80f9088fd5f6a6745eebf9be3c0d7430fa3fde10a790b99466d26 1835482 ssreflect_2.1.0.orig.tar.gz
 60e38bccd78145d80500bc3d5c4f213ba5483af1e28b1fe23ac0113edc53e81a 12836 ssreflect_2.1.0-1build4.debian.tar.xz
Files:
 ccb615155a4266918d4f249cd23d33fc 1835482 ssreflect_2.1.0.orig.tar.gz
 decf5368ecf5e280d09cd0ce64a3ac2e 12836 ssreflect_2.1.0-1build4.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCgAdFiEEoIn7Nqr72tWswTJQafeQFxohCYQFAmYKPagACgkQafeQFxoh
CYRjkxAArJoft36Cof51aG7UE2K45inqixT3wdxOUP+V6zTTbarkhsLbK11lLHkQ
5KjemXlXkDrphBLWtjFw3wwEgtNPpQNtjJ9o7Reb5uZkvDnn63wsMgi067Ys53iD
l+y3WP0mvr88w/xxaBuGFBIn1Xg76jTCbhs39CpQsb8VviAlOwCSa9fOZHShQQt7
WKiYawXb/7Wfq6OTFreIdlRXJVBAFHaGpMVJ2MYBF0VhAd4BBxfM5GcmZ3kourCW
4TDgpYCSYOrTBCI2LvRUQWy/ZYQvM2NAeMOQW7wxI3C3PeXOIkc1rsuljQEja0tr
gnNosvyUP3bQ7h2ZNuh0SA2VUFQwZXudbicY2UDOTAC6xzMRgNIOPQNUFIlXI3DW
LeeBU/LRchVKndliboXGp/PWIDZydlongOhftPlIPM+qtcNSFWZ4Ucsoe6OHdWG0
EwNG+FSzYDEwNb6Su16exOBrD1z8VrzA+TlLsIacL6sdq2NnUp8JFnmkOD7LH10l
SxWgnKOnFBPEZwTSCZqXJ6+VhDc+tt1jJCo9374ohHEjmYZM7eKSG6Ns40H6frVc
MV/yGYu2jxW74huvmE+owBDHwIkWzACO7sznP9hAfeX6IEdpDUcoHqH03LKK7B01
cK1Nq8zI0d1tCN7z0xRJekoqUwdtukmlPMmi31KwiPRwiwsOTck=
=+r9g
-----END PGP SIGNATURE-----