File Name
-
..——
-
cadical_1.7.4-1.debian.tar.xz3.87KB2024-02-15 14:29:55cadical_1.7.4-1.dsc1.95KB2024-02-15 14:29:55cadical_1.7.4-1_amd64.deb453.75KB2024-02-15 14:30:49cadical_1.7.4.orig.tar.gz632.65KB2024-02-15 14:29:55cadical_2.1.3-1.debian.tar.xz4.04KB2025-12-02 10:17:07cadical_2.1.3-1.dsc1.95KB2025-12-02 10:17:07cadical_2.1.3-1_amd64.deb520.61KB2025-12-02 10:17:27cadical_2.1.3-1_amd64v3.deb541.12KB2025-12-02 10:17:30cadical_2.1.3.orig.tar.gz714.40KB2025-12-02 10:17:07libcadical-dev_1.7.4-1_amd64.deb375.52KB2024-02-15 14:30:49libcadical-dev_2.1.3-1_amd64.deb457.06KB2025-12-02 10:17:27libcadical-dev_2.1.3-1_amd64v3.deb470.76KB2025-12-02 10:17:30