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

Format: 3.0 (quilt)
Source: ssreflect
Binary: libssreflect-ocaml, libssreflect-ocaml-dev, libssreflect-coq
Architecture: any all
Version: 1.6.1-2
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
 962e4c8d8a41e9a8e61a503ff5db3ecd8df6be71 12488 ssreflect_1.6.1-2.debian.tar.xz
Checksums-Sha256:
 5c3e5d2e4020004280399de79b0935bff85db7865ed006450cbfe72fdfa33ec9 4691532 ssreflect_1.6.1.orig.tar.gz
 d11fd3c90b31e622ea505e4cd3349b12d18e53ff42f40b32cb1061b5e40cf5ea 12488 ssreflect_1.6.1-2.debian.tar.xz
Files:
 10d8a17134ddb509b4afa8d3243ee1a0 4691532 ssreflect_1.6.1.orig.tar.gz
 09f88f4925c87aebd62259c2aea43b00 12488 ssreflect_1.6.1-2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJYZkHMAAoJECUFM8yim3ZP3j8QAJ9h48eeV8dYtCW6PwlEQoZR
QwSqMvIKZdF2RgIfGIek4FCHqN1fO5kKynvy/4tynqWu46hnXriI33doOlU2aWQk
v6uNLCANEswx+a6a0ICHXB27Ej3JOWC83D2BWGs9qVKPhl7pE2jCuSYZUAgWACgr
Tc9QrH+apezAFLQg5KJqhSvM8+RjY+eEziSnYqgwow1/V5ADlC55TNUBisaOqUZF
YA1+jqmYUo0Kd4A4t185wwJVB0MA3eh2APqM2tsmAnR8hRF/jZcxMlamIdPSlV5p
7c8M6Gy5YmlxcwzNnglwRoI99OUIoGjCXwfTXD+a4NORmbd+9elIowWyvN6xYxFt
JvhYe1qpIZ1Sb3q5o5Yuu/kLnzWCdvpITdyb2NbroEXD1Hc/9Tw7FHq5ne6FyTck
FGjyuONW8Kucckyq7omsXizW6t8rptX0XLLElDedf+Hc8BFQeZTo4cHlPUkcBcix
ImCZrjmfo7OOqcnOtgHSU4BwiKCERc9mFVNeavWhCt2zRbe3UHru5hPkgJtydt4f
p3JCWmO/kyuCAWoAZ40dom7Uwdlxa49aZ/GbnGy7aIuegX/3Px/frgI4+F5dscdm
MAcinN7UvKv6aRbe0dF/TlOSF867b80iES6vadjmqaRYCNKRnHHCNANsGtQiI1wH
/OuJv8vebAbDsykpnmF4
=WMus
-----END PGP SIGNATURE-----