Michael Raskin 18ca33ee7c Adopt fix from ewemoa to give more memory to acl2 build		2014-09-20 12:13:43 +04:00
..
default.nix	Adopt fix from ewemoa to give more memory to acl2 build	2014-09-20 12:13:43 +04:00