-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

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: 1.15.0-1build5
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.1
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-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:
 eda35525d3d0fd2d89ec15429cfdd5ce2844591c 1359283 ssreflect_1.15.0.orig.tar.gz
 ce9517302be8824430f94a1a0187b7cb55e45374 12500 ssreflect_1.15.0-1build5.debian.tar.xz
Checksums-Sha256:
 33105615c937ae1661e12e9bc00e0dbad143c317a6ab78b1a15e1d28339d2d95 1359283 ssreflect_1.15.0.orig.tar.gz
 9218fcf37f07507dda1866aaaf7654b020281b062f7fdc369d9213b776607439 12500 ssreflect_1.15.0-1build5.debian.tar.xz
Files:
 050d268218930548aac6f25411a3a4c8 1359283 ssreflect_1.15.0.orig.tar.gz
 d42c8c780a9e9d6ab35d1bca961c3dfd 12500 ssreflect_1.15.0-1build5.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPuTsEACgkQ808JdE6f
XdkjExAAgMk4sbmSyffw8ckEDxaAfWkQ4nDojKAcMQa9ygwGKHB6aXYPoxld5Ehw
vNIjVtSc3292nZQHxZcz1gWy7LVBlWuyxLxB3atXWNH1vULe0cVqeO/dgtfFt/hN
AIuWf5Z7fNT/V955Pbkj2o3E1qtCaHR+6zWzhmpq8nQX9Op3PKx22mOn1NAdkTXi
g4AEU8lzUCRrmazLvNwZO+0YCbndgSYIC394U8dPoCR1rksk80caOw/LL+lqpBSs
qbybwCYw4Oa5dq9hOZxUFP2zbQU5pQs84obo/ugoZxd07N1IdmzThmwzzXhWZZYJ
0nd928E3J8vSAsoasaDWKUuKhfmXjPCNtM9dDhJNROFhfRfb2KFwRJjRLAdNp1dX
xVFboR/4G2b0+YJy7yBXYoLMTlRy5dMn0C1u0pGlC7uIcXrvx607gdUZDuIHmDxU
FNyBKSzJXJb7qsStU6WsFShWXCAT2ekDHrYnaGO8SbqPzm1qUylY3VjGygPorORL
YNbE1tkGip1CrXEVL7Zhj0luJIy030NaZ1o9qbI8AoLt1906fE18G7SZnfA60pJt
nNg1kNd4cKOjcg+VuxZGki6ysgRIZ3hRBnzsKC6YpVzGrzHj9dirzhP7ZEpmEnhZ
zrdzDbhDR4byyGBMSUuHa1h7YgxYCvB1W2un7s+2BanLJ3XoG9U=
=+pgk
-----END PGP SIGNATURE-----