-----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-1
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.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
 73a298ca46138b3f0a21e7309271af285c422628 12608 ssreflect_2.1.0-1.debian.tar.xz
Checksums-Sha256:
 ca000eb4cbd80f9088fd5f6a6745eebf9be3c0d7430fa3fde10a790b99466d26 1835482 ssreflect_2.1.0.orig.tar.gz
 1b2599ea917b12a0059d7a75a8f208954b7bbaad12886b02c971de0738ede0c6 12608 ssreflect_2.1.0-1.debian.tar.xz
Files:
 ccb615155a4266918d4f249cd23d33fc 1835482 ssreflect_2.1.0.orig.tar.gz
 3119f0f16c87952925886c973902016b 12608 ssreflect_2.1.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEZwMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRojAP/32AUNt26ENv1kt2tML+qxaY3O13vTo4
snuuCNX+1sTOSRXN2NLmLChVNmp6XL0DxYa8CPNvUxt+OcnWX5aKiUy0hKAUuFre
eMP38pFqOG1dU7BWAdZEGuC7nqVNWq+8rw/AlnslYwORqfpmY30E6Fu8i4q/ak+/
W3Kg60xAKquVBgENuSTudpWxJcgwECk+9LsrqQCBjyYah2+CdXxwx3y++UDVW94v
76/bEFPNFq3k2L5YZH0mzEs8+IWdgH8YJyIvsGZlKfjyJGpE0Dp6XOEKW0rQoEga
NAjKdbbdnxpgSqhOxNt9jSgluiMaZVXCfOJM8ueYIaFaFSLpkybwLVrF0WrCUJlg
emEmF2ZOiRX3ifPhsw3XyMHZeXAi5g/3ZpBDwCD5G2+Y3BDSbwbzCyqZT47jpOs4
JQaknPU4ATt2QhLNDj57UXi9/UY/ZgrqWMyacE6Wy+fqZZlvpIMrlo6Phmj4C7KL
U+MId9rPX9XojW3pYR/tMXCBTksctCptwidZVTOB806sos7KmnkBZKKQd669SUzn
oODYCAH7hsAFW2tSczO8N1VfH5xJ5pFLjGYjAL0kt0H7vzUtK+kkHQwrj6hI1Jb7
dFVIuVkJ6/Jh1e4KWCj1B79WwN0ao2FIsp7A8HowFKGyK85Md78hVpdfoiOQk4nj
3lW6df/sLw0b
=S5pH
-----END PGP SIGNATURE-----