Hello, I have just looked at the migration status (thanks to sgnb, as usual). Numerix is causing problems as usual. It fails building on armel with a "Floating point exception". Numerix has a quite low popcon, was introduced when there was a licensing problem with OCaml's "num", has not been updated since years and has no rdepends. I think we should ask for its removal, if nobody objects. Regards, Sylvain Le Gall