../ README 20-Jul-2024 04:04 941 lean-elan.SlackBuild 20-Jul-2024 04:04 6542 lean-elan.info 20-Jul-2024 04:04 24184 slack-desc 20-Jul-2024 04:04 1023