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-builder.nix	Added setuid-ready chroot utility.	2009-07-12 08:10:51 +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