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

Format: 3.0 (quilt)
Source: ssreflect
Binary: libssreflect-ocaml, libssreflect-ocaml-dev, libssreflect-coq
Architecture: any all
Version: 1.6.1-3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Stéphane Glondu <glondu@debian.org>, Enrico Tassi <gareuselesinge@debian.org>
Homepage: https://math-comp.github.io/math-comp/
Standards-Version: 3.9.5
Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/ssreflect.git
Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/ssreflect.git
Build-Depends: debhelper (>= 8), coq (>= 8.6), libcoq-ocaml-dev (>= 8.4), dh-ocaml (>= 0.9~), camlp5 (>= 5.12-2~), ocaml-best-compilers, ocaml-nox (>= 4)
Package-List:
 libssreflect-coq deb math optional arch=all
 libssreflect-ocaml deb ocaml optional arch=any
 libssreflect-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 383d9f0a555b9fdaf37bc327bb909a60627572a6 4691532 ssreflect_1.6.1.orig.tar.gz
 5297bccd54274b4d8a7328fd1d34e7d0a38e9fc4 12516 ssreflect_1.6.1-3.debian.tar.xz
Checksums-Sha256:
 5c3e5d2e4020004280399de79b0935bff85db7865ed006450cbfe72fdfa33ec9 4691532 ssreflect_1.6.1.orig.tar.gz
 02b04a199a625d25e3818825f27941478bbea4b610e53443617f3846b4e77701 12516 ssreflect_1.6.1-3.debian.tar.xz
Files:
 10d8a17134ddb509b4afa8d3243ee1a0 4691532 ssreflect_1.6.1.orig.tar.gz
 386a778d2b071789e79151c37be4bb8f 12516 ssreflect_1.6.1-3.debian.tar.xz

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

iQIzBAEBCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAlnbQMcACgkQeFPaTUmI
GtM0SA/8C9QFbV841vMSL5sBznrNg968b8pdnPIgvCzwsHJrGoEnh0TyiqOe4l9h
YwNu3YcP2r4tyhnBnxseJ6ZjqNEwLQNG9r3tBTnsipeiSYG6c0xb561Vroyaovft
YRGpRnb6Y3ttjCMCtfhoONSlOJdO3ffRnqR3tinRLZJPG1q2/3th5mP5mr+X4EGP
jtQe2kDJMzJZHu+/BRwhEDLZNEB0RdlR0avxcsNaK3LSEMpiBlzeIe3KnshAK352
M+cR3VzgUHA75ImBb//t83C/jP635QPUnFNodqWh+PSiByMisxdgnlz+FGDfu4wK
SILPR4W9Cp2fKlfOeKRboqCEfb65TsNgAQBllO+dunQRt74VkNicTKI01q3h5SQr
5xyyTlIN/HvvYvQPsBe7YpmcK1NehmXkCqIkVaAgh2z6RR8KMVZ3kHgITkwjbHfB
uAROAoeA/dRHiwPe/tgbc7njo3KM32axx4fusJ1B0GS4SGTnG3u0IOJjnx3MKB/S
s3v3q0+ZhlEHoSMqrqBtyiaw2hIbpx5Z7jqbQnPgBpCT6DoUC7ZcKdkDpmf85Rra
z5iOREXrp3Vi6huiRs6WrPUQvZK80fzUIxS9pjal36n07/MjpzwtDGa59QVtDwZx
iIs28ZulUXv8Ngb08b7n9hYOY4h2Qzb3KJWfscniGnae6gO87oo=
=x96l
-----END PGP SIGNATURE-----