/pkgs/development/interpreters/regina/