Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
408 B · 28 lines
Nix
1234567891011121314151617181920212223242526272829{ buildDunePackage, dolmen, dolmen_type, gen, pp_loc, mdx,}:
buildDunePackage { pname = "dolmen_loop"; inherit (dolmen) src version;
propagatedBuildInputs = [ dolmen dolmen_type gen pp_loc ];
doCheck = true; nativeCheckInputs = [ mdx.bin ]; checkInputs = [ mdx ];
meta = dolmen.meta // { description = "Tool library for automated deduction tools"; };}