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