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