/pkgs/development/interpreters/acl2/
../
default.nix