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

Format: 3.0 (quilt)
Source: planets
Binary: planets
Architecture: all
Version: 0.1.13-16
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Martin Pitt <mpitt@debian.org>, Samuel Mimram <smimram@debian.org>, Ralf Treinen <treinen@debian.org>
Homepage: http://planets.homedns.org/
Standards-Version: 3.9.5
Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/planets.git
Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/planets.git
Build-Depends: debhelper (>= 7.0.50~), dh-ocaml (>= 0.9~), tk-dev, liblabltk-ocaml-dev, ocaml (>= 3.11.1-3~), ocaml-nox (>= 3.11.1-3~)
Build-Depends-Indep: tk8.5-dev, camlp4
Package-List:
 planets deb science extra arch=all
Checksums-Sha1:
 76f530a81c86afd4f8c43589a8dfd1e51892a975 49732 planets_0.1.13.orig.tar.gz
 c666cf90cbfc53c1532806b38b7ecb0a8f55fb2b 7440 planets_0.1.13-16.debian.tar.xz
Checksums-Sha256:
 cd4be19dc1e16cc3d5bb20fdfa2af025b50cd21dbce5d1e8b3041c4e786c3624 49732 planets_0.1.13.orig.tar.gz
 d95e7e748fb54da3322e3b02dfd181e9b49ce648c0047771865f2671684c15ea 7440 planets_0.1.13-16.debian.tar.xz
Files:
 2c72f2469ee0413bd470a2ad84f2f0f8 49732 planets_0.1.13.orig.tar.gz
 9d25343d7451eb24cbf5214d8a7e69db 7440 planets_0.1.13-16.debian.tar.xz

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

iQIcBAEBCAAGBQJWIV0HAAoJEDO+GgqMLtj/QSMP/3jli/ul/rEf5jbbvuD1j3zI
jaAQgtIQLxTJo0mtFKzooe4IauAOSOglK+p+BkhgYlhi+Y5U9QEA/TYOyqwqLkAT
V46VKqBBw4XIByt9pBWPpLBodOO/fs+wAgPCrkOURh443N35qu88i6fssPXaFUQW
HqbLXpWQpmyf71zhQkrXJz6EePJH0OgP6nLjzfY+G5VU+UWtSQS+8xidgo/OKsjk
acj3aYQb6L+7o8EAjCGoIOUMdsnhvlfG6mmuVDuudRubMDIOQ58k/WcsbILoPvJx
ftlaeLWo7TPe6Xblhg8U8kjBOVrRJ0P3rSe2UhpIOQu+YnQ4Q9otOoXSUALxG0WH
eDINL6vdazd06bJWw/LR9IdskhbHV2MqFYtP+QBdmURcgS/DnUYhokYN8E/8rVFY
jAV/tzjep6IJ3U62ZzZBo3wtKaIcVFypzssNAoW6iOG2QtAx4Y4HlUIu49s2jgS1
mxE/9eH7i4l3J038BnmWlubojwTxIY1tFtx7vWBLLPfDRSiY2x17RbPhU+MksoQ4
P8UQpdlBkd2yyyVURpYjwtUVVBVZwVdi0scuVVmqrOpEp/AzVtLwtscP4sOKs+ka
ddllpMLF35DCOq7f0Pw5zdfS4gBMc9/RVHhunSl+w69nbgxtax72wug84DYegN1b
ouAjKVxNYhlJcOCFKhYl
=gGjg
-----END PGP SIGNATURE-----