Index of /kali/pool/main/c/cvc4/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cvc4_1.8.orig.tar.gz 75471872020-Sep-14 08:17
cvc4_1.8-3.debian.tar.xz 167282022-Oct-30 04:57
cvc4_1.8-3.dsc 22442022-Oct-30 04:57
cvc4_1.8-3+b4_amd64.deb 828282025-Apr-08 01:25
libcvc4parser7_1.8-3+b4_amd64.deb 3822002025-Apr-08 01:25
libcvc4-7_1.8-3+b4_amd64.deb 66161602025-Apr-08 01:25
libcvc4-dev_1.8-3+b4_amd64.deb 1314282025-Apr-08 01:25
cvc4_1.8-3+b4_i386.deb 850282025-Apr-08 01:36
libcvc4-dev_1.8-3+b4_i386.deb 1314082025-Apr-08 01:36
libcvc4-7_1.8-3+b4_i386.deb 71761922025-Apr-08 01:36
libcvc4parser7_1.8-3+b4_i386.deb 4119842025-Apr-08 01:36
libcvc4-7_1.8-3+b4_armhf.deb 55801682025-Apr-08 02:16
cvc4_1.8-3+b4_armhf.deb 772042025-Apr-08 02:16
libcvc4-dev_1.8-3+b4_armhf.deb 1313962025-Apr-08 02:16
libcvc4parser7_1.8-3+b4_armhf.deb 3466682025-Apr-08 02:16
libcvc4parser7_1.8-3+b4_armel.deb 3349082025-Apr-08 10:21
cvc4_1.8-3+b4_armel.deb 755242025-Apr-08 10:21
libcvc4-dev_1.8-3+b4_armel.deb 1314202025-Apr-08 10:21
libcvc4-7_1.8-3+b4_armel.deb 55243162025-Apr-08 10:21
libcvc4parser7_1.8-3+b4_arm64.deb 3335882025-Apr-08 10:42
libcvc4-dev_1.8-3+b4_arm64.deb 1314162025-Apr-08 10:42
libcvc4-7_1.8-3+b4_arm64.deb 56562442025-Apr-08 10:42
cvc4_1.8-3+b4_arm64.deb 766522025-Apr-08 10:42