Le 16/06/2013 13:50, Prach Pongpanich a écrit : > The ocamlrss (2.2.0-1) has migrated to testing [1]. > > [1] http://packages.qa.debian.org/o/ocamlrss/news/20130611T163916Z.html Ah, sorry. I was mixing up with prooftree. Uploaded. Cheers, -- Stéphane