-----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: 1.14.0-11
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), coq (>= 8.11), 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:
 4b618e02a46e127eb16c0795a7c262410411c4bf 1352989 ssreflect_1.14.0.orig.tar.gz
 ebd4e95d0feec6a2894500dabef02eeb6d5c581d 12464 ssreflect_1.14.0-11.debian.tar.xz
Checksums-Sha256:
 d259cc95a2f8f74c6aa5f3883858c9b79c6e87f769bde9a415115fa4876ebb31 1352989 ssreflect_1.14.0.orig.tar.gz
 81eb0b51f6fcb75fd06dca48bf46328e3c1e5b83d786ab07c12a87553275a6f8 12464 ssreflect_1.14.0-11.debian.tar.xz
Files:
 692b7e3eebd39e9f382a238925da06f8 1352989 ssreflect_1.14.0.orig.tar.gz
 4b29c21f80a848bc397600a805594074 12464 ssreflect_1.14.0-11.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKXbz4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR/hoP/2oWkPi5uwN+EV1Iwpp3rWoPg4GrMMbJ
dS06yGP1STlIUWoWBeFqQSVPlYN0qZfeFFdTWJ6Tgh4PR6TiqMKH+BxYmVTeV2df
u/NmpnBBag5u4AJe7/mfwsc9oSZ/HvwVtIzaux0Gqs+/VDbpjf1SYyNYG+iABTUd
3O8Tmtnk/UFBKhjVEUDcdtK4lFFNUE/59WuCOQnmE9E1CIimBO1qOA3AjjO8HxwW
y5Rq37vL5rnz6g/J/whMXzKB0VqKpeD90iZFVyOibxCh0KJsYyj54wN3hFXxYpCO
ZPcPH0HDLTszOssfvdxo6Vjj83Fz8jRBJ43uhnuyxpzAP2RJ2pQzK0g1fJH4eVc0
n5RdFUwUlvJiPXv6E3cxTswYoArdSw6II96ZJByw0kvLJTUMaBNK23RP8by6CSEG
RPpHQ73YxRl/h9pUja8IGLsrSM7/Dd8i7wdYewtkFsmck+T5DJqiQ6eGEFyXX4eh
xXLstJW8UEJFg7vdClytLXnV2JwSYmrQ3dl3U4plwkGqVYsPq8mTFwS7BfIEJWqw
oYOZtSRVoLazPWR3M/MnMZM/vRf1ma00XiG02Ku8BmxjrTm8Ps3iFl8CPs9WJ0bs
3EGtCtbx3eZ1F9Yok+6H7x4dCX5ysgyGHW37v9kPOnxr5Kd2v6W6FbWR6W8bPNzl
Cn8NwJyQRtEq
=0W2i
-----END PGP SIGNATURE-----