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

Format: 3.0 (quilt)
Source: ssreflect
Binary: libssreflect-coq
Architecture: all
Version: 1.9.0+dfsg-1
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.4.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)
Package-List:
 libssreflect-coq deb math optional arch=all
Checksums-Sha1:
 4da41b3a5382fa2b35bce6bdd03ac2371d3b7f97 4056166 ssreflect_1.9.0+dfsg.orig.tar.gz
 f2dcf2e377ba96740bb6c2b260ddefbd54190a1d 12324 ssreflect_1.9.0+dfsg-1.debian.tar.xz
Checksums-Sha256:
 fdd3d44d6f66b1edf89ea94f471b22894ad16501570664b0b0197686d41e1d6e 4056166 ssreflect_1.9.0+dfsg.orig.tar.gz
 0456fafa158272e82f2a46d651e07fd4779a93a67fa62001534797ab905bcb4a 12324 ssreflect_1.9.0+dfsg-1.debian.tar.xz
Files:
 49ece319f5e75910957867bcd7bc4ee0 4056166 ssreflect_1.9.0+dfsg.orig.tar.gz
 f100afe2389b147c9a6cb657a141606d 12324 ssreflect_1.9.0+dfsg-1.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl1c9F8ACgkQdFxHZtTK
zf+3nBAApyYfMVEWN1nSHyuW3hePlZ4XeTgfyD1hgu2BQ/X0FGcK0tRDfs6Bk2RE
38enWa+McvQKjHDT3I06B8HF/+9jK7LbAwLwnjGKq0XWdl/gIdcKKrAo9ffCwJ2u
dTnJzRnxX09kDlVNCSA1Kizlb/e/qdeeJ0sR44mLhv2nLW1qdf7EOWXV1xG0laW/
+oSH2MIejsCRIDhR85/jE669tnFUr/+8fngF7Ka6kDrCCbMlu+Pt1othVJcifU1v
IMHNufds5UCbkpnu7gLg7iZEEn+fdbdRbT59frtuieo6wwQC0Z7XL+h6/j47PV0F
aoI65Ygi5/MJ7HG8u7z3R3SaJ5N18v3xmLv5idSUlCh6N0/M/rEUqHBdpVGccPJb
CX4/vENYldB0dlzn4Bz/zGlOOnTYQkmuJj0jndOz+P//q/Oo2BLOU18irIfc+CR6
3zWf3L2uUp2yqcCOYNsNrRvFoWvGNSZO5crnTkwrFk4zYjNJjEq1V4rfM1eiLkoJ
8BWcZRE6WDcssXGIbhi7dDU+c3Fxj4LVJliwf5WHvqIygSejCRR/7It8ExtaNX9y
V+JtBIwDnaHSE1u1TNxwgGDHafqYGjXegWy6F+lDKDO2oZkRgLJhoDz1/Mh+P43x
4arq+6RiuGjqbpGQrTZMAsHptXhd5/viaMJhN5yzm8hVTMDJ3qw=
=6jc6
-----END PGP SIGNATURE-----