Name Last modified Size Description
Parent Directory -
cvc4-1.7-x86_64-1_slonly.txz.sha256 2019-12-06 11:08 95
cvc4-1.7-x86_64-1_slonly.txz.md5 2019-12-06 11:08 63
cvc4-1.7-x86_64-1_slonly.txz.asc 2019-12-08 03:14 801
cvc4-1.7-x86_64-1_slonly.txz 2019-12-06 11:08 4.8M
cvc4-1.7-x86_64-1_slonly.txt 2019-12-06 11:08 541
cvc4-1.7-x86_64-1_slonly.meta 2019-12-06 11:08 849
cvc4-1.7-x86_64-1_slonly.lst 2019-12-06 11:08 11K
cvc4-1.7-x86_64-1_slonly.dep 2019-12-06 11:08 15