Slackware UK: Index of /slackdce/packages/15.0/x86

Patronage & Donations
If you use the Slackware UK services on a regular basis, and would like to contribute to running costs, make a continuing patronage (and receive special benefits), or make a one off PayPal payment, please use one of the following buttons:

All donations will be gratefully received - thank you!

Index » slackdce » packages » 15.0 » x86_64 » academic » Isabelle

Toggle theme:

 Name                                       Last modified      Size  Description
 Parent Directory                                                -    
 Isabelle-2022-x86_64-1_slackdce.lst        2025-05-31 12:09  2.3M   
 Isabelle-2022-x86_64-1_slackdce.meta       2025-05-31 12:09  758    
 Isabelle-2022-x86_64-1_slackdce.txt        2025-05-31 12:09  508    
 Isabelle-2022-x86_64-1_slackdce.txz        2025-05-02 23:02  485M   
 Isabelle-2022-x86_64-1_slackdce.txz.asc    2025-05-24 11:30  455    
 Isabelle-2022-x86_64-1_slackdce.txz.md5    2025-05-24 11:30   70    
 Isabelle-2022-x86_64-1_slackdce.txz.sha256 2025-05-02 23:03  102

Mirror server bandwidth utilisation
Bandwidth graph measuring 23.64 Mbit/s