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

Toggle theme:

 Name                                     Last modified      Size  Description
 Parent Directory                                              -    
 cvc4-1.8-x86_64-1_slackdce.dep           2025-05-15 21:57   38    
 cvc4-1.8-x86_64-1_slackdce.lst           2025-05-31 12:09   10K   
 cvc4-1.8-x86_64-1_slackdce.meta          2025-05-31 12:09  814    
 cvc4-1.8-x86_64-1_slackdce.txt           2025-05-31 12:09  540    
 cvc4-1.8-x86_64-1_slackdce.txz           2025-05-15 21:57  6.3M   
 cvc4-1.8-x86_64-1_slackdce.txz.asc       2025-05-24 11:30  455    
 cvc4-1.8-x86_64-1_slackdce.txz.md5       2025-05-24 11:30   65    
 cvc4-1.8-x86_64-1_slackdce.txz.sha256    2025-05-15 21:57   97

Mirror server bandwidth utilisation
Bandwidth graph measuring 59.28 Mbit/s