Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
/nix/store/h29mvlvbdzi2hf26b5l2320m34jp7lal-elan-0.10.2
├── bin
│   ├── elan
│   ├── lean -> elan
│   ├── leanc -> elan
│   ├── leanchecker -> elan
│   ├── leanmake -> elan
│   └── leanpkg -> elan
└── share
├── bash-completion
│   └── completions
│   └── elan
├── fish
│   └── vendor_completions.d
│   └── elan.fish
└── zsh
└── site-functions
└── _elan
8 directories, 9 files
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.