Michael Raskin a517dfcf71 Fix ACL2		2014-09-04 14:41:35 +04:00
..
1.2.0.nix	Fix ACL2	2014-09-04 14:41:35 +04:00
bootstrap.nix	Don't use ensureDir	2014-07-22 11:01:32 +02:00
default.nix	Update SBCL	2014-08-31 18:20:07 +04:00