| ../ | | - | Directory |
| cadical_1.5.3-2.debian.tar.xz | 2022-Nov-14 23:53:47 | 2.9K | application/x-xz |
| cadical_1.5.3-2.dsc | 2022-Nov-14 23:53:47 | 1.9K | application/octet-stream |
| cadical_1.5.3-2_amd64.deb | 2022-Nov-15 00:25:44 | 309.2K | application/vnd.debian.binary-package |
| cadical_1.5.3-2_arm64.deb | 2022-Nov-15 00:25:42 | 268.6K | application/vnd.debian.binary-package |
| cadical_1.5.3-2_armel.deb | 2022-Nov-15 00:40:50 | 269.8K | application/vnd.debian.binary-package |
| cadical_1.5.3-2_armhf.deb | 2022-Nov-15 00:40:48 | 274.0K | application/vnd.debian.binary-package |
| cadical_1.5.3-2_i386.deb | 2022-Nov-15 00:25:39 | 336.8K | application/vnd.debian.binary-package |
| cadical_1.5.3-2_mips64el.deb | 2022-Nov-15 04:43:46 | 306.5K | application/vnd.debian.binary-package |
| cadical_1.5.3-2_mipsel.deb | 2022-Nov-15 01:41:54 | 323.9K | application/vnd.debian.binary-package |
| cadical_1.5.3-2_ppc64el.deb | 2022-Nov-15 14:55:36 | 316.4K | application/vnd.debian.binary-package |
| cadical_1.5.3-2_s390x.deb | 2022-Nov-15 01:16:11 | 271.3K | application/vnd.debian.binary-package |
| cadical_1.5.3.orig.tar.gz | 2022-Nov-01 20:34:21 | 582.4K | application/x-gtar-compressed |
| cadical_1.7.4-1+b1_amd64.deb | 2024-Oct-28 16:02:51 | 386.8K | application/vnd.debian.binary-package |
| cadical_1.7.4-1+b1_arm64.deb | 2024-Oct-28 21:28:42 | 339.2K | application/vnd.debian.binary-package |
| cadical_1.7.4-1+b1_armel.deb | 2024-Oct-28 19:35:48 | 332.5K | application/vnd.debian.binary-package |
| cadical_1.7.4-1+b1_armhf.deb | 2024-Oct-28 18:19:57 | 340.3K | application/vnd.debian.binary-package |
| cadical_1.7.4-1+b1_i386.deb | 2024-Oct-28 16:19:37 | 419.1K | application/vnd.debian.binary-package |
| cadical_1.7.4-1+b1_ppc64el.deb | 2024-Oct-28 15:52:14 | 391.7K | application/vnd.debian.binary-package |
| cadical_1.7.4-1+b1_riscv64.deb | 2024-Oct-29 00:11:20 | 394.7K | application/vnd.debian.binary-package |
| cadical_1.7.4-1+b1_s390x.deb | 2024-Oct-29 09:50:47 | 392.3K | application/vnd.debian.binary-package |
| cadical_1.7.4-1.debian.tar.xz | 2024-Feb-11 04:22:20 | 3.8K | application/x-xz |
| cadical_1.7.4-1.dsc | 2024-Feb-11 04:22:20 | 1.9K | application/octet-stream |
| cadical_1.7.4.orig.tar.gz | 2024-Feb-11 04:22:20 | 632.6K | application/x-gtar-compressed |
| cadical_2.1.3-1.debian.tar.xz | 2025-Dec-01 23:18:15 | 4.0K | application/x-xz |
| cadical_2.1.3-1.dsc | 2025-Dec-01 23:18:15 | 1.9K | application/octet-stream |
| cadical_2.1.3-1_amd64.deb | 2025-Dec-01 23:33:21 | 446.9K | application/vnd.debian.binary-package |
| cadical_2.1.3-1_arm64.deb | 2025-Dec-01 23:33:22 | 390.7K | application/vnd.debian.binary-package |
| cadical_2.1.3-1_armhf.deb | 2025-Dec-01 23:33:23 | 386.3K | application/vnd.debian.binary-package |
| cadical_2.1.3-1_i386.deb | 2025-Dec-01 23:38:24 | 474.6K | application/vnd.debian.binary-package |
| cadical_2.1.3-1_ppc64el.deb | 2025-Dec-01 23:38:26 | 450.7K | application/vnd.debian.binary-package |
| cadical_2.1.3-1_s390x.deb | 2025-Dec-01 23:33:22 | 446.6K | application/vnd.debian.binary-package |
| cadical_2.1.3.orig.tar.gz | 2025-Dec-01 23:18:15 | 714.4K | application/x-gtar-compressed |
| libcadical-dev_1.5.3-2_amd64.deb | 2022-Nov-15 00:25:44 | 280.7K | application/vnd.debian.binary-package |
| libcadical-dev_1.5.3-2_arm64.deb | 2022-Nov-15 00:25:42 | 262.2K | application/vnd.debian.binary-package |
| libcadical-dev_1.5.3-2_armel.deb | 2022-Nov-15 00:40:50 | 270.7K | application/vnd.debian.binary-package |
| libcadical-dev_1.5.3-2_armhf.deb | 2022-Nov-15 00:40:48 | 275.6K | application/vnd.debian.binary-package |
| libcadical-dev_1.5.3-2_i386.deb | 2022-Nov-15 00:25:39 | 317.5K | application/vnd.debian.binary-package |
| libcadical-dev_1.5.3-2_mips64el.deb | 2022-Nov-15 04:43:46 | 305.5K | application/vnd.debian.binary-package |
| libcadical-dev_1.5.3-2_mipsel.deb | 2022-Nov-15 01:41:54 | 319.7K | application/vnd.debian.binary-package |
| libcadical-dev_1.5.3-2_ppc64el.deb | 2022-Nov-15 14:55:36 | 303.2K | application/vnd.debian.binary-package |
| libcadical-dev_1.5.3-2_s390x.deb | 2022-Nov-15 01:16:11 | 258.6K | application/vnd.debian.binary-package |
| libcadical-dev_1.7.4-1+b1_amd64.deb | 2024-Oct-28 16:02:51 | 343.8K | application/vnd.debian.binary-package |
| libcadical-dev_1.7.4-1+b1_arm64.deb | 2024-Oct-28 21:28:42 | 324.9K | application/vnd.debian.binary-package |
| libcadical-dev_1.7.4-1+b1_armel.deb | 2024-Oct-28 19:35:48 | 327.8K | application/vnd.debian.binary-package |
| libcadical-dev_1.7.4-1+b1_armhf.deb | 2024-Oct-28 18:19:57 | 333.4K | application/vnd.debian.binary-package |
| libcadical-dev_1.7.4-1+b1_i386.deb | 2024-Oct-28 16:19:37 | 385.7K | application/vnd.debian.binary-package |
| libcadical-dev_1.7.4-1+b1_ppc64el.deb | 2024-Oct-28 15:52:14 | 366.3K | application/vnd.debian.binary-package |
| libcadical-dev_1.7.4-1+b1_riscv64.deb | 2024-Oct-29 00:11:20 | 1.2M | application/vnd.debian.binary-package |
| libcadical-dev_1.7.4-1+b1_s390x.deb | 2024-Oct-29 09:50:47 | 363.6K | application/vnd.debian.binary-package |
| libcadical-dev_2.1.3-1_amd64.deb | 2025-Dec-01 23:33:21 | 415.0K | application/vnd.debian.binary-package |
| libcadical-dev_2.1.3-1_arm64.deb | 2025-Dec-01 23:33:22 | 392.0K | application/vnd.debian.binary-package |
| libcadical-dev_2.1.3-1_armhf.deb | 2025-Dec-01 23:33:23 | 397.7K | application/vnd.debian.binary-package |
| libcadical-dev_2.1.3-1_i386.deb | 2025-Dec-01 23:38:24 | 458.7K | application/vnd.debian.binary-package |
| libcadical-dev_2.1.3-1_ppc64el.deb | 2025-Dec-01 23:38:26 | 444.8K | application/vnd.debian.binary-package |
| libcadical-dev_2.1.3-1_s390x.deb | 2025-Dec-01 23:33:22 | 432.3K | application/vnd.debian.binary-package |