Unix-Solutions Logo

mirror.unix-solutions.be

hosted by Unix-Solutions

services: http, https, rsync

Index of /ubuntu/pool/universe/c/cadical

File Last Modified Size
📂 Parent Directory
📄 cadical_1.7.4-1.debian.tar.xz2024-02-15 12:29:553.87 KB
📄 cadical_1.7.4-1.dsc2024-02-15 12:29:551.95 KB
📄 cadical_1.7.4-1_amd64.deb2024-02-15 12:30:49453.75 KB
📄 cadical_1.7.4.orig.tar.gz2024-02-15 12:29:55632.65 KB
📄 cadical_2.1.3-2.debian.tar.xz2025-12-15 17:22:414.51 KB
📄 cadical_2.1.3-2.dsc2025-12-15 17:22:411.95 KB
📄 cadical_2.1.3-2_amd64.deb2025-12-15 20:29:58520.67 KB
📄 cadical_2.1.3-2_amd64v3.deb2025-12-15 20:30:20541.23 KB
📄 cadical_2.1.3.orig.tar.gz2025-12-02 08:17:07714.4 KB
📄 libcadical-dev_1.7.4-1_amd64.deb2024-02-15 12:30:49375.52 KB
📄 libcadical-dev_2.1.3-2_amd64.deb2025-12-15 20:29:58457.11 KB
📄 libcadical-dev_2.1.3-2_amd64v3.deb2025-12-15 20:30:20470.86 KB