-----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.5-3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Stéphane Glondu <glondu@debian.org>
Homepage: http://www.msr-inria.fr/projects/mathematical-components/
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.4), 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:
 131f4e2746b4a97627ae91a9f980f61ec42a00c9 217833 ssreflect_1.5.orig.tar.gz
 7f6299e7d01916f0f1db417880c0eda35e6d2f31 11504 ssreflect_1.5-3.debian.tar.xz
Checksums-Sha256:
 bad978693d1bfd0a89586a34678bcc244e3b7efba6431e0f83d8e1ae8f82a142 217833 ssreflect_1.5.orig.tar.gz
 a0068b2a534c3d9ca14589c76b238ba7e1056922af7481d45dd39a2f31d25991 11504 ssreflect_1.5-3.debian.tar.xz
Files:
 19155108bd73f5af98add53b9e418f5a 217833 ssreflect_1.5.orig.tar.gz
 49221de075249e5d0e158c97d56d586f 11504 ssreflect_1.5-3.debian.tar.xz

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

iQIcBAEBCgAGBQJWHk5EAAoJEHhT2k1JiBrTOygP/1nw01V69tg8v+1pi2wLZEIg
kK6E2lsfhwKcUZ8ZHOn+F/mPNHClQwZxYngw30n11Yp+L1jiOqM+TNTMRlcbVb+T
Hn9I+I68D/SOMhQuzdjz4ZYZailkcbU10DrM2qKztb6ie0/lyjT67WRIIw+ij9eL
XXblSB851vOPljLTtrjhC0dnghw4LZHjnm5vu2VoSzcbQMBG4bP2hLTbz9uHAVrZ
yFD5eJSYqRdlQqN0lWWb7HgrCoRnh8p+5RH35fASZI1g3ff20VLCXpJlsonENV6A
UNK6l7Cs2A5YHh+2ZtPKt0UHukEjqHn3U/rXKhfZ2ZTJX054U82sB34uB2zACdQw
3URDdm/NxQIv6A7TzD/W+Mj2Ly/gSxcdLpqhcBWgS9pkdLDIgPi5qnvqf3qDhSYF
iW8R+6TdN+HK1K455Qv7UAIKSly5LTjAHA1iDgJp2EYPH/vbAWlZmcjp95bAySEB
OXCg53hJjhKxogjHK1CaixL5v1tSUt+FGCzMoBt0L9UDggkbGvAIxANpOKnIounx
IX/YQ3//Z3a1kdqm1r1m+xDAU4bw93bQx+w0JSomnwejL/+5fltYpxmkTFVso3Mm
8m45pqzuLsBCGQfHEERAUimyNodK/jhrGbnsZaWFoNG+WmXpFVmzzfRAfdbvL6aO
lzZxQEYShFxd6rBYoSY0
=ATqZ
-----END PGP SIGNATURE-----