Index of /slackbuilds.org/15.0/academic/Isabelle
Name
Last modified
Size
Description
Parent Directory
-
Isabelle
2023-07-22 01:57
45
Isabelle.SlackBuild
2023-07-22 01:57
2.5K
Isabelle.info
2023-07-22 01:57
315
README
2023-07-22 01:57
697
slack-desc
2023-07-22 01:57
1.0K
Current bandwidth utilization 10.50 Mbit/s