Index of /pub/slackbuilds.org/slackbuilds/15.0/development/lean-elan/

../
README                                             23-Sep-2023 04:40                 941
lean-elan.SlackBuild                               23-Sep-2023 04:40                6542
lean-elan.info                                     05-Sep-2026 02:46               24170
slack-desc                                         23-Sep-2023 04:40                1023