../ profile.d/ 19-Jun-2023 20:03 - 9.4.patch 19-Jun-2023 20:03 11137 9.4_sh 19-Jun-2023 20:03 554 README 19-Jun-2023 20:03 1251 doinst.sh 19-Jun-2023 20:03 603 sage-bin.SlackBuild 19-Jun-2023 20:03 4373 sage-bin.info 19-Jun-2023 20:03 627 slack-desc 19-Jun-2023 20:03 948