Slackware UK: Index of /slackdce/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 » 15.0 » x86_64 » academic » Isabelle

Toggle theme:

 Name                                  Last modified      Size  Description
 Parent Directory                                           -    
 Isabelle-2022-x86_64-1_dce.dep        2024-03-08 16:54    1    
 Isabelle-2022-x86_64-1_dce.lst        2024-03-08 16:54  2.3M   
 Isabelle-2022-x86_64-1_dce.meta       2024-03-08 16:54  815    
 Isabelle-2022-x86_64-1_dce.tgz        2023-12-07 17:40  640M   
 Isabelle-2022-x86_64-1_dce.tgz.asc    2024-03-08 16:54  455    
 Isabelle-2022-x86_64-1_dce.tgz.md5    2024-03-08 16:54   64    
 Isabelle-2022-x86_64-1_dce.tgz.sha256 2024-03-08 16:54   96    
 Isabelle-2022-x86_64-1_dce.txt        2024-03-08 16:54  508

Mirror server bandwidth utilisation
Bandwidth graph measuring 4.13 Mbit/s