Hello, As predicted, planets silently entered the archives : http://packages.qa.debian.org/p/planets.html Congratulation to Martin Pitt for it. BTW, Stefano, maybe you could add it to the lists of ocaml packages subscribed to this list ? Friendly, Sven Luther