%FILES%
usr/
usr/bin/
usr/bin/elan
usr/bin/lake
usr/bin/lean
usr/bin/leanc
usr/bin/leanchecker
usr/bin/leanmake
usr/bin/leanpkg
usr/share/
usr/share/bash-completion/
usr/share/bash-completion/completions/
usr/share/bash-completion/completions/elan
usr/share/fish/
usr/share/fish/vendor_completions.d/
usr/share/fish/vendor_completions.d/elan.fish
usr/share/licenses/
usr/share/licenses/elan-lean/
usr/share/licenses/elan-lean/LICENSE-APACHE
usr/share/licenses/elan-lean/LICENSE-MIT
usr/share/zsh/
usr/share/zsh/site-functions/
usr/share/zsh/site-functions/_elan
