-----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-1build19
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
 670ec673bbd86a8c2284b3b47dc8c7a2c3868d92 13148 ssreflect_2.3.0-1build19.debian.tar.xz
Checksums-Sha256:
 19e13c8765007f95b4656d8902bc66e10b072ab94ab51031c5efb860827d05ec 1880788 ssreflect_2.3.0.orig.tar.gz
 73e98d5d6584a030f1a2c68e44674b6336d887e8cc343a733d3a4866bd5e5316 13148 ssreflect_2.3.0-1build19.debian.tar.xz
Files:
 9120bb2399f98c4ba1e03677c2ebabd8 1880788 ssreflect_2.3.0.orig.tar.gz
 2e1af596b7e998fcf5a6754c84f6f59c 13148 ssreflect_2.3.0-1build19.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmpNrkACgkQWWH9vpxh
mAky/A/+OYS8MfGvKYFYpFM2rwJZbBAz1yRyLA1GFNa+6xrof/LiMJK/Hk/QDNVC
O2jEyjE2ICQgNnzGPEkHJeXSFgRox5tD3XfYtCbtnLtWj5JvBE4gRoeDvlBf4DvQ
ML4QT8vIE1+mLKhZ0RtCfyk7c954SQug3X1W7mbj7e6dOHFspn9mSj8Hc3ur8J9z
i+DtHRE1QmD5rVpzobMQyeFju1eu2a5DoUBEeSDydspH8LaBPRXE6aofg30p61vt
tPQZ3j/0xZaSx74hZMVp6UvXsGUSfMQpXf3BK2fd9SBIzZHFFpfHZh64AIM3a0+G
cvdFAixKBJktUug3MVVj9ZLcJbRSu6n/PBb6iM1/5YiLu1sauI98eRRLEf9V54a9
6ZO1Rx+AB9kvbxeD7PPM25M4vqjyJUjfbCNQpx/qN92rBB2eHQ8IINbjD5klfhqk
3Z2P2E9xCqARN3Tpa0MT64Snxvp06zmS2QZA6h9u8Xp21sWXue759MpOlj6mQcCs
iBP6ruJgCLN80mUfxXn3lHYMD0Je9kw4/bclsyT2SGjuHwPz114cr9OICV0RLodN
eD+OVUeJENoimS/x6cpT4C3Wb5FR/8030DbnMatSLjWH+iStxO4Maqz9+EHe4uFB
ccrOSySIoialUQWLNlirFQZgZbu6Ir+uCp17UvRBdTGCImA5Kpk=
=C2ie
-----END PGP SIGNATURE-----