Index of /ubuntu/pool/universe/c/cvc4/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cvc4_1.5-1.dsc 22212017-Nov-01 13:57
cvc4_1.5.orig.tar.gz 8M2017-Nov-01 13:57
cvc4_1.5-1.debian.tar.xz 60122017-Nov-01 13:57
cvc4_1.5-1_amd64.deb 135K2017-Nov-03 06:57
libcvc4-4_1.5-1_amd64.deb 3M2017-Nov-03 06:57
libcvc4-dev_1.5-1_amd64.deb 6M2017-Nov-03 06:57
libcvc4parser4_1.5-1_amd64.deb 355K2017-Nov-03 06:57
libcvc4-4_1.5-1_i386.deb 3M2017-Nov-03 06:59
libcvc4-dev_1.5-1_i386.deb 6M2017-Nov-03 06:59
cvc4_1.5-1_i386.deb 139K2017-Nov-03 06:59
libcvc4parser4_1.5-1_i386.deb 381K2017-Nov-03 06:59