/kali/pool/main/c/cadical/

0 directories 11 files
Name Size Modified
Go up — —
cadical_2.1.3-3.debian.tar.xz 4.7 KiB
cadical_2.1.3-3.dsc 2.0 KiB
cadical_2.1.3-3_amd64.deb 456 KiB
cadical_2.1.3-3_arm64.deb 400 KiB
cadical_2.1.3-3_armhf.deb 391 KiB
cadical_2.1.3-3_i386.deb 480 KiB
cadical_2.1.3.orig.tar.gz 714 KiB
libcadical-dev_2.1.3-3_amd64.deb 424 KiB
libcadical-dev_2.1.3-3_arm64.deb 400 KiB
libcadical-dev_2.1.3-3_armhf.deb 402 KiB
libcadical-dev_2.1.3-3_i386.deb 461 KiB