Mario Rodas f7ac956a2b buildDunePackage: add support for parallel build ... dune allows to specify the number of jobs to build the package.		2020-04-29 16:08:52 +02:00
..
default.nix
dune.nix
oasis.nix