On Mon, Jun 17, 2013 at 12:28 AM, Stéphane Glondu <glondu@debian.org> wrote: > 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. > > Thanks a lot, Prach