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

Toggle theme:

 Name                                      Last modified      Size  Description
 Parent Directory                                               -    
 yices2-2.6.4-x86_64-1_slackdce.lst        2025-05-31 12:09   39K   
 yices2-2.6.4-x86_64-1_slackdce.meta       2025-05-31 12:09  628    
 yices2-2.6.4-x86_64-1_slackdce.txt        2025-05-31 12:09  385    
 yices2-2.6.4-x86_64-1_slackdce.txz        2025-05-16 22:52  2.0M   
 yices2-2.6.4-x86_64-1_slackdce.txz.asc    2025-05-24 11:30  455    
 yices2-2.6.4-x86_64-1_slackdce.txz.md5    2025-05-24 11:30   69    
 yices2-2.6.4-x86_64-1_slackdce.txz.sha256 2025-05-16 22:52  101

Mirror server bandwidth utilisation
Bandwidth graph measuring 182.04 Mbit/s