-----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-1build3
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
 2a26a247036c6a973a294b665aa14373b0705490 12464 ssreflect_1.15.0-1build3.debian.tar.xz
Checksums-Sha256:
 33105615c937ae1661e12e9bc00e0dbad143c317a6ab78b1a15e1d28339d2d95 1359283 ssreflect_1.15.0.orig.tar.gz
 76970169484745c5c4884c00f69fdc5bdd36a62da94d31fc1bd2bfd57d3f36a0 12464 ssreflect_1.15.0-1build3.debian.tar.xz
Files:
 050d268218930548aac6f25411a3a4c8 1359283 ssreflect_1.15.0.orig.tar.gz
 ac6b52b3de151fe1272fcf2e2da5066d 12464 ssreflect_1.15.0-1build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLHGAACgkQ808JdE6f
Xdn0TBAA1fIodytdxCthPduxa8h+UUaAElH6tksgfNdwwBpKCjHpjreQM2+/XEwT
zCYnKjiCWSLflzvtJknsY+VeQ3IJ1KkOuptdQTpgUd581a08hpj5fImvMaQgdofn
ZhK6uIvAvOjapKkaauqgtXqzQa35QxV/92LTaAQ2bvffQrhJ9ArOHvInoU5tdYn/
/NlwfZ3f3R2MbGD+IHnv6H4KJba1oBPhd/Tjq0K3BFoXF9GsYBh5O2eDOwGDKeVt
cMs3gfof5x89eGkPWY0bByaiGOS0FQVnHGLyjw2Px0gRVa0CloKli67nRH0docoO
cq6AtV6tmQgyObQtXrDzCoRL3o9r1TjVKfCyJYX0xvVYYgumxW6SWOEJWfa7ekjs
XqiS03wnCaO7Zvoa8cDYAu2Ak5W2VVTHlMbiMiiLhhKYUmOQMLU0HkL11AP8ni71
2qW55qWrpKV9OotZxiSu/cX0Z/bIFKXFStFvy9pmsZknHakpBmGkLzn3EqHijMRM
q3gg+wP5LCic0JtRbWVTQA5P4lTivfIGYocSf7AOmillbvdU6FF4e0OXNRLVVQ3n
V2yOqs3oMa7DFlXnJwRzwk16LDFxU1+D5RsuXBmDIlhYbqMSg5MSoTsuzdgO8Aau
1NebhS29i5Am4lE+ZTCh5haRMKCKErrlpGFiCvsvFBEy9ndQUaw=
=y1bi
-----END PGP SIGNATURE-----