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

Format: 3.0 (quilt)
Source: ssreflect
Binary: libssreflect-coq
Architecture: all
Version: 1.10.0+dfsg-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Stéphane Glondu <glondu@debian.org>, Enrico Tassi <gareuselesinge@debian.org>, Ralf Treinen <treinen@debian.org>
Homepage: https://math-comp.github.io/math-comp/
Standards-Version: 4.5.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 (= 12), coq (>= 8.7), lua5.1
Package-List:
 libssreflect-coq deb math optional arch=all
Checksums-Sha1:
 9ba42e957239feb836ca901f7b1ac575400bb09e 1218046 ssreflect_1.10.0+dfsg.orig.tar.gz
 4ac8b2c31de2607a80c96e9d14a7af847e4c462e 12676 ssreflect_1.10.0+dfsg-2.debian.tar.xz
Checksums-Sha256:
 3f8a88417f3456da05e2755ea0510c1bd3fd13b13c41e62fbaa3de06be040166 1218046 ssreflect_1.10.0+dfsg.orig.tar.gz
 f96772c7a4f6fdc439baecee8c59e175b4c418482fac1e86c23759ac13168c15 12676 ssreflect_1.10.0+dfsg-2.debian.tar.xz
Files:
 d2f2727977a7391c83471ac6fc74a9f4 1218046 ssreflect_1.10.0+dfsg.orig.tar.gz
 e649edd3912c66bccf58172c84f7fa37 12676 ssreflect_1.10.0+dfsg-2.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl5iwE0ACgkQdFxHZtTK
zf8j5g/+IhhQmGgt2IGqnNqjfmBvLBxN0LUesEtW8Ou0Yw+RbLXv69q4CJWEcM8X
sUclvfQ8STz1c8qPu4GtLCmky9fWSS8X0+QrtRb1UJx98GRJogSFUecCx7l6C7uY
36JASXQsIpO+I0dOqTxbPnFOJyZ4Z/T1QYLvljgVY6TCfTb+r16pqL/VUbUr/CaU
8bD6EqX5DYrtmqAfpJpgtnyWUyaUct7VB0WTPkQAwbNp5Ym3crej0tEEXUWauY2r
oSAXJpgtw20is0ho2zGYLUEmHigREjF2uAhYeqr8i8F3nAHEcxarp19t9odg+1ft
WpcBdJBLpfBMVw1OGMspG5hDvcbFyu++kvvf85J3Wu/6b59+8EMvfO7fuhtpSL0X
C/GXjFptTYKwN9yptcMAOfqnqKJDXBGFrXf+OXBvzAQ+5RbZs1NYKCXfc3+Hriho
xOzP/CHG2THvdTzhXMh1O4y5lI2w1nkrwq85tcO4aaXzAasQ1khe/0SLRoLaXYe5
e02XzgLwxzfD9ePo1nVe4B1Z2HKytjcaDXhZgvyGwHEaYIKJoWqfsPtpCHzE/Dtd
a/TBlquwg31kx4HFIZyJQeYayQwGojFyyAQeFH05ag0Oqps8ubReOj3V0scj0iHB
sjtDbcw98XaCBbDQdQkkeuRTrs8ZSRmGIrk6mvHBEwC8nNoOQN0=
=SkyV
-----END PGP SIGNATURE-----