nixpkgs-suyu/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 * Move builder-defs to pkgs/build-support. (pkgs/top-level is for 2009-04-20 12:37:10 +00:00
template-composing-builder.nix Added setuid-ready chroot utility. 2009-07-12 08:10:51 +00:00