Index of Cvc4

NameLast modifiedSizeDescription
[PARENTDIR]
Parent Directory		  -  
[ ]
cvc4_1.5-1.debian.tar.xz		8 years ago5.9KTAR compressed archive
[ ]
cvc4_1.5-1.dsc		8 years ago2.2K 
[ ]
cvc4_1.5-1_amd64.deb		8 years ago135K 
[ ]
cvc4_1.5-1_i386.deb		8 years ago139K 
[ ]
cvc4_1.5.orig.tar.gz		8 years ago7.6MGZIP compressed TAR archive
[ ]
cvc4_1.6-2build2.debian.tar.xz		5 years ago8.2KTAR compressed archive
[ ]
cvc4_1.6-2build2.dsc		5 years ago2.7K 
[ ]
cvc4_1.6-2build2_amd64.deb		5 years ago135K 
[ ]
cvc4_1.6.orig.tar.gz		7 years ago7.5MGZIP compressed TAR archive
[ ]
cvc4_1.8-2.debian.tar.xz		5 years ago 16KTAR compressed archive
[ ]
cvc4_1.8-2.dsc		5 years ago2.2K 
[ ]
cvc4_1.8-2_amd64.deb		5 years ago 72K 
[ ]
cvc4_1.8-3build2.debian.tar.xz		1 year ago 16KTAR compressed archive
[ ]
cvc4_1.8-3build2.dsc		1 year ago2.3K 
[ ]
cvc4_1.8-3build2_amd64.deb		1 year ago 74K 
[ ]
cvc4_1.8.orig.tar.gz		5 years ago7.2MGZIP compressed TAR archive
[ ]
libcvc4-4_1.5-1_amd64.deb		8 years ago3.2M 
[ ]
libcvc4-4_1.5-1_i386.deb		8 years ago3.5M 
[ ]
libcvc4-5_1.6-2build2_amd64.deb		5 years ago4.3M 
[ ]
libcvc4-7_1.8-2_amd64.deb		5 years ago5.4M 
[ ]
libcvc4-7_1.8-3build2_amd64.deb		1 year ago4.5M 
[ ]
libcvc4-dev_1.5-1_amd64.deb		8 years ago5.7M 
[ ]
libcvc4-dev_1.5-1_i386.deb		8 years ago6.1M 
[ ]
libcvc4-dev_1.6-2build2_amd64.deb		5 years ago7.0M 
[ ]
libcvc4-dev_1.8-2_amd64.deb		5 years ago120K 
[ ]
libcvc4-dev_1.8-3build2_amd64.deb		1 year ago122K 
[ ]
libcvc4parser4_1.5-1_amd64.deb		8 years ago355K 
[ ]
libcvc4parser4_1.5-1_i386.deb		8 years ago381K 
[ ]
libcvc4parser5_1.6-2build2_amd64.deb		5 years ago356K 
[ ]
libcvc4parser7_1.8-2_amd64.deb		5 years ago349K 
[ ]
libcvc4parser7_1.8-3build2_amd64.deb		1 year ago365K