/beige/pool/community/c/cvc4/

0 directories 38 files
Name Size Modified
Go up — —
cvc4-dbgsym_1.8-3_amd64.deb 984 KiB
cvc4-dbgsym_1.8-3_arm64.deb 969 KiB
cvc4-dbgsym_1.8-3_i386.deb 971 KiB
cvc4-dbgsym_1.8-3_loong64.deb 970 KiB
cvc4-dbgsym_1.8-3_riscv64.deb 855 KiB
cvc4_1.8-3.debian.tar.xz 16 KiB
cvc4_1.8-3.dsc 1.3 KiB
cvc4_1.8-3_amd64.deb 80 KiB
cvc4_1.8-3_arm64.deb 74 KiB
cvc4_1.8-3_i386.deb 81 KiB
cvc4_1.8-3_loong64.deb 76 KiB
cvc4_1.8-3_riscv64.deb 75 KiB
cvc4_1.8.orig.tar.gz 7.2 MiB
libcvc4-7-dbgsym_1.8-3_amd64.deb 190 MiB
libcvc4-7-dbgsym_1.8-3_arm64.deb 185 MiB
libcvc4-7-dbgsym_1.8-3_i386.deb 185 MiB
libcvc4-7-dbgsym_1.8-3_loong64.deb 185 MiB
libcvc4-7-dbgsym_1.8-3_riscv64.deb 152 MiB
libcvc4-7_1.8-3_amd64.deb 5.6 MiB
libcvc4-7_1.8-3_arm64.deb 4.7 MiB
libcvc4-7_1.8-3_i386.deb 6.3 MiB
libcvc4-7_1.8-3_loong64.deb 5.2 MiB
libcvc4-7_1.8-3_riscv64.deb 5.5 MiB
libcvc4-dev_1.8-3_amd64.deb 128 KiB
libcvc4-dev_1.8-3_arm64.deb 128 KiB
libcvc4-dev_1.8-3_i386.deb 128 KiB
libcvc4-dev_1.8-3_loong64.deb 128 KiB
libcvc4-dev_1.8-3_riscv64.deb 128 KiB
libcvc4parser7-dbgsym_1.8-3_amd64.deb 5.0 MiB
libcvc4parser7-dbgsym_1.8-3_arm64.deb 4.8 MiB
libcvc4parser7-dbgsym_1.8-3_i386.deb 4.9 MiB
libcvc4parser7-dbgsym_1.8-3_loong64.deb 4.9 MiB
libcvc4parser7-dbgsym_1.8-3_riscv64.deb 4.0 MiB
libcvc4parser7_1.8-3_amd64.deb 351 KiB
libcvc4parser7_1.8-3_arm64.deb 309 KiB
libcvc4parser7_1.8-3_i386.deb 378 KiB
libcvc4parser7_1.8-3_loong64.deb 327 KiB
libcvc4parser7_1.8-3_riscv64.deb 326 KiB