-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: ssreflect
Binary: libcoq-mathcomp-algebra, libcoq-mathcomp-boot, libcoq-mathcomp-character, libcoq-mathcomp-field, libcoq-mathcomp-fingroup, libcoq-mathcomp-order, libcoq-mathcomp-solvable, libcoq-mathcomp-ssreflect, libcoq-mathcomp, mathcomp-doc
Architecture: any all
Version: 2.5.0-2
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.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 (>= 9), 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-boot 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-order deb math optional arch=any
 libcoq-mathcomp-solvable deb math optional arch=any
 libcoq-mathcomp-ssreflect deb math optional arch=any
 mathcomp-doc deb doc optional arch=all
Checksums-Sha1:
 08731823af031b1cd55897d5ff3927a2470f82b7 1978658 ssreflect_2.5.0.orig.tar.gz
 e43d7c37bd8eda0b26aa2930470c8505b043f054 12996 ssreflect_2.5.0-2.debian.tar.xz
Checksums-Sha256:
 3db2f4b1b7f9f5a12d3d0c4ba4e325a26a77712074200319660c0e67e25679f1 1978658 ssreflect_2.5.0.orig.tar.gz
 16cbaddcae3041e2c3fcd510eb1deb3e5a53aeed096926990dcd27556c137ee2 12996 ssreflect_2.5.0-2.debian.tar.xz
Files:
 a9e62218e543145d2a3e780816b51a98 1978658 ssreflect_2.5.0.orig.tar.gz
 782277ed6e965adf025013aa0de0d58b 12996 ssreflect_2.5.0-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTjzEZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUZotEACEtb7zuWqDcQ0Yjwcm+D7G
RSUPj3FFyCvv4y77f6NZSPnNchkKsw3lkL2pW5j8LKiCg6qsPv9sHy9k5z60L9ip
ThzcmmAW6bAb5L3W4z/xeGHfHevCBG54vy1oDQpssiwS0m2A3ChVIjfm5oQLRzAa
Y5VDpMfv/tUGM9U1hjt9sur1i+KcvztILGQZmAYmaUlypIocaHEUhov29PHmXngN
xyTKQ8fEyZKmbYDXIRouV6lx46aWkpQpzY3l+l4brH34rrIp7/M4Ux9gNnzLkQem
PQvYLgGwtUp+MFje9I+zbq9V7RygAknQBleTkwDjxN8WFq0KrUHlV/S6h24k812V
9xSnqZi/aa1sdTbXwgh+f1iRH+f6yYnrBcGe2G5xUxMj6rhLGO5Wy8aRDzioagfx
OefnMw4sjIcejtXzDVfHkuyyI5OdHCkX7g4Gyf0UAZV6VNz7eVJ8dHihpbsuUkmQ
MgMiKW/tWm6YJakFo+RXsGOY7C6PAbdXv9x6f7XysXgV1CXevFIrzwhbCZ4ie/1J
A0ZjnrmimQTdnzIDvGp8hdpkTcL+Fl0nHTKIlEVzamwE8A+yOBMNqho0MaB1EwaR
168O0kdpd51hNJD2OT4IoLLU/jg3JsfwxmLdqFTm8IwZNxQ4QUSFiCCQLb9VzWpQ
oqvcdD6g0rf9GMIROv+acA==
=InVn
-----END PGP SIGNATURE-----