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