nixpkgs/pkgs/applications/editors/emacs-modes/cryptol
..
default.nix