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