Index of Cadical

NameLast modifiedSizeDescription
[PARENTDIR]
Parent Directory		  -  
[ ]
cadical_1.7.4.orig.tar.gz		1 year ago633KGZIP compressed TAR archive
[ ]
cadical_1.7.4-1_amd64.deb		1 year ago454K 
[ ]
libcadical-dev_1.7.4-1_amd64.deb		1 year ago376K 
[ ]
cadical_1.7.4-1.debian.tar.xz		1 year ago3.9KTAR compressed archive
[ ]
cadical_1.7.4-1.dsc		1 year ago1.9K