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

Format: 3.0 (quilt)
Source: ssreflect
Binary: libssreflect-coq
Architecture: all
Version: 1.13.0-1
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.7), lua5.1
Package-List:
 libssreflect-coq deb math optional arch=all
Checksums-Sha1:
 0281256e47f5e2a2fde4f0355afc5e053863149f 1352255 ssreflect_1.13.0.orig.tar.gz
 2e82df146aebf845e7a1f1cdf57e0c9d7b09151e 12092 ssreflect_1.13.0-1.debian.tar.xz
Checksums-Sha256:
 4334e915736f96032e1d4d502e70537047220af1a1c7a6740f770e45601bdab0 1352255 ssreflect_1.13.0.orig.tar.gz
 4be4e49f10bcd2492d03954713e440ab7684c4a112af0352e47a3d513ccf4229 12092 ssreflect_1.13.0-1.debian.tar.xz
Files:
 46375048f75921d1e2326b3a24ae38c7 1352255 ssreflect_1.13.0.orig.tar.gz
 1808655509026a2bfbd41ddd4ff89497 12092 ssreflect_1.13.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmGbxLgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRlRMP/23snycnrGz0emUPlVKheFN12oyoq2NJ
Oqs0t4U3MyBEELIMbv6bsEXY3TYkvY+iBO5TzwJljtJhB4YpT7mO4269BQOy6MQn
D0Rc7r8LZjYO785F+0rovT4Z9xQZ8Qbj0TDfHkH11sdNKch5r2Wn10mgX2wadhZv
VJ2rLrSRdcV7Vroe55PslByKt0e3TtiRSnFuAJnSgjeucGbx4dAfDIlIo2LHEmCe
sA1aNOiiHgk32+KXh5FzycK45AeH80MpcBBSpn9GYr019k94dXJ2N37udBnKAnZz
r1dA8JelPfrGuzVNFjr/R5ZKSxFWKm+2qcPHksM5SxMl54QyHi2FCaYcCHWLG5R7
DQL8x/RXoQseMCU4wzcDG4WvxbxG+ER5PEdKBZMqN/c6M/L3tDCACatqV3RoUdHz
yslMeb1p5//3XuGFOdWMmx1mNYSRfTHG09safiBMszOr3Li/RxmwaBrMKuu81tZL
uYOFPagbB8y/7mCS2QoTJA2+ep70PYe8TmRkoFyqMy1sj1cSVAI2xaALoWjQdIDa
3cEY36MA9sQr0tyBdF+5vYaYSqqSNxuvyfN92Z+LyJux3TdL9UxAc9hqxM3auBMr
8E0424a7cTBJh1+Q2FW2kpDUIVRJ38xS2GSJoLNuCDvQU6vbC+CegF785ZZKlhLs
ZHs0EdGEwsJd
=qXBD
-----END PGP SIGNATURE-----