не показывать навигацию

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

/usr/bin/elan
/usr/bin/lake
/usr/bin/lean
/usr/bin/leanc
/usr/bin/leanchecker
/usr/bin/leanmake
/usr/bin/leanpkg
/usr/share/bash-completion/completions/elan
/usr/share/doc/elan/changelog.Debian.gz
/usr/share/doc/elan/changelog.gz
/usr/share/doc/elan/copyright