nixpkgs/pkgs/build-support/builder-defs
Michael Raskin 64ed7e705d Adding Satallax prover
svn path=/nixpkgs/trunk/; revision=24963
2010-12-03 11:26:34 +00:00
..
builder-defs.nix Add autogen.sh phase 2010-11-16 07:38:33 +00:00
template-auto-callable.nix Adding Satallax prover 2010-12-03 11:26:34 +00:00
template-bdp-uud.nix Adding GVPE - a protected virtual multinode ethernet 2009-09-01 20:12:01 +00:00
template-composing+config.nix
template-composing-builder.nix