As announced a month ago [1], I intend to stop running the planet in the next few hours. The website http://planet.ocamlcore.org will redirect to the new planet. If you had problem reading the old planet, you should switch to the new one.

Thanks to the help of E. Török and the Google Webmaster Tools we were able to spot the problem and remove what appears to the search engines as a virus. We are now indexed again on Google and not reported anymore as containing malicious content.