Le 10/02/2015 19:16, Evgeni Golov a écrit : >> * Package name : nproc > > not sure this is relevant, but there is /usr/bin/nproc in pkg:coreutils. > This might be confusing for users. "nproc" as source package name is free. The binary package will be libnproc-ocaml-dev. Cheers, -- Stéphane