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	buildDunePackage: add support for parallel build	2020-04-29 16:08:52 +02:00
oasis.nix	…