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 » acl2

Toggle theme:

 Name                                     Last modified      Size  Description
 Parent Directory                                              -    
 acl2-8.5-x86_64-5_slackdce.dep           2025-10-04 10:52    5    
 acl2-8.5-x86_64-5_slackdce.lst           2025-10-04 10:52  3.2M   
 acl2-8.5-x86_64-5_slackdce.meta          2025-10-04 10:52  724    
 acl2-8.5-x86_64-5_slackdce.txt           2025-10-04 10:52  460    
 acl2-8.5-x86_64-5_slackdce.txz           2025-10-04 10:51  228M   
 acl2-8.5-x86_64-5_slackdce.txz.asc       2025-10-05 15:15  455    
 acl2-8.5-x86_64-5_slackdce.txz.md5       2025-10-04 10:52   65    
 acl2-8.5-x86_64-5_slackdce.txz.sha256    2025-10-04 10:52   97

Mirror server bandwidth utilisation
Bandwidth graph measuring 44.69 Mbit/s