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

Format: 3.0 (quilt)
Source: ssreflect
Binary: libssreflect-coq
Architecture: all
Version: 1.14.0-3
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.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), coq (>= 8.11), lua5.1
Package-List:
 libssreflect-coq deb math optional arch=all
Checksums-Sha1:
 4b618e02a46e127eb16c0795a7c262410411c4bf 1352989 ssreflect_1.14.0.orig.tar.gz
 860eab0de13f7db56027f70f34fb258af904b75b 12236 ssreflect_1.14.0-3.debian.tar.xz
Checksums-Sha256:
 d259cc95a2f8f74c6aa5f3883858c9b79c6e87f769bde9a415115fa4876ebb31 1352989 ssreflect_1.14.0.orig.tar.gz
 fa6d25c78ba794f708dd8bbe2b3c8f65b28aff5e8f01e6160b89b46676b34710 12236 ssreflect_1.14.0-3.debian.tar.xz
Files:
 692b7e3eebd39e9f382a238925da06f8 1352989 ssreflect_1.14.0.orig.tar.gz
 3b5fca831bf324722522bb8aff429c6b 12236 ssreflect_1.14.0-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmH/iH8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRs3gQAJYUcR5D0V3W8uLUcGK7232drx0mrG5Z
N7UNvFn0Xra09YgBvB6ldAxaW0osdtVVnxShrMFHApJb6cmtEFx0vfMv4N10fUzK
tR1lAbs4os1uGMpq6+AaocQyzfg6upWUcVifvrJLQT0ijlvlHP00rqLPc9LQvHLq
OQPBhO9+EFQWo6jExj2rG0jgL2/fbxvm4FM4z+a72n6DiAMJn7LYcLgMNWT7dv03
ikSOF+1YgQ/CXeWvaD8XC2p/4T1rmO1E6CXQRaSjcqaIXN3AbOvmYIGpiuB0vXnS
IXlWtIVTl1+X/xjJoktPYUJKDWSEOuuVOvOX6QSrMzosvATH2wN/QNHYFRLkzStr
IxH+oHbLLOe5IF3ZiYOxp7SYmE8j53JRKoUA/35hfHddOpuYTmi4vC6WD5m5782u
Ormuzu+Xw8UYXOt6StimmQUo3T0yc4mMKOu0NPonMXPbfv3Rmpo96xqPipXhMO6a
WhqIY/9GqrRKt3tzAAb/YzxJmbgPsH5v4/IbOEarHkEc9yOX/Lz6nnITMvGVfEoP
MVUCmy7cYBuC2lVzSQjY1PmRQp4QQ9m7ivCF17cfzMZQMy25a85TqekVmSUtSutu
2yQZ9h1M4bQPhqjT4rERW3S7t7Zw7bPuYTj0olOA0WDYi4XliRHAg3+cNGUyk8o2
yavqSRKGagdA
=1o2u
-----END PGP SIGNATURE-----