-----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-2build4
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 b8b4835d41d4365fa0ff19fc4cc503505fc148e7 12668 ssreflect_1.6.1-2build4.debian.tar.xz
Checksums-Sha256:
 5c3e5d2e4020004280399de79b0935bff85db7865ed006450cbfe72fdfa33ec9 4691532 ssreflect_1.6.1.orig.tar.gz
 936c14ba5a54c6e7f8e541040a1088d2b2a5ef8245d4d559c148a0058bee0417 12668 ssreflect_1.6.1-2build4.debian.tar.xz
Files:
 10d8a17134ddb509b4afa8d3243ee1a0 4691532 ssreflect_1.6.1.orig.tar.gz
 47e9174ac09b4a088a73461be78e36f5 12668 ssreflect_1.6.1-2build4.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQEcBAEBCAAGBQJZp2JcAAoJEMrC2LnNLKX546gH/1pyPg7U2SzgQb1Y6DO5H73n
N+txXcN5Gueq/8t/9JQ3zWhqPqCidcvnDo/KOnWZ6uoG8jOLdNBr8vxE/tPVskJf
EPFUcCGFf+AjyaOeeenPXE00Lq3jfYyO8jh49lOV3yHlHRUqtYrF0lJyQttRKJUC
gJ5Bxq7ywGyShmONJHi8zPoyyKnpppGbg8dNDaZRNeUqSp8ld7PeT1zWMF5181uk
SANtRN7WGOvXiS7dzF817cEQQtZs6qvR9RNBs9kmC+0rxMo5O2t0oS4lBCYOUjlF
V5E3M8LwWsnnEFQdOe5PwtBw0wNge6Uzp+c57lZZEnMeknFfvi6jASqHzXKiWuk=
=11h/
-----END PGP SIGNATURE-----