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 -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/54db23b4.6010...@debian.org
