Index of /pool/main/c/cadical/

directories: 0, files: 5

NameLast modifiedSize
../
cadical_1.7.4.orig.tar.gz2025-08-29 13:03:08632.65 KiB
libcadical-dev_1.7.4-1+b1_amd64.deb2025-08-29 11:09:44343.86 KiB
cadical_1.7.4-1.dsc2025-08-29 13:03:081.95 KiB
cadical_1.7.4-1.debian.tar.xz2025-08-29 13:03:083.87 KiB
cadical_1.7.4-1+b1_amd64.deb2025-08-29 11:53:12386.81 KiB