../ | | - | Directory |
cadical_1.5.3-2.debian.tar.xz | 2022-Nov-15 06:53:47 | 2.9K | application/x-xz |
cadical_1.5.3-2.dsc | 2022-Nov-15 06:53:47 | 1.9K | application/octet-stream |
cadical_1.5.3-2_amd64.deb | 2022-Nov-15 07:25:44 | 309.2K | application/vnd.debian.binary-package |
cadical_1.5.3-2_arm64.deb | 2022-Nov-15 07:25:42 | 268.6K | application/vnd.debian.binary-package |
cadical_1.5.3-2_armel.deb | 2022-Nov-15 07:40:50 | 269.8K | application/vnd.debian.binary-package |
cadical_1.5.3-2_armhf.deb | 2022-Nov-15 07:40:48 | 274.0K | application/vnd.debian.binary-package |
cadical_1.5.3-2_i386.deb | 2022-Nov-15 07:25:39 | 336.8K | application/vnd.debian.binary-package |
cadical_1.5.3-2_mips64el.deb | 2022-Nov-15 11:43:46 | 306.5K | application/vnd.debian.binary-package |
cadical_1.5.3-2_mipsel.deb | 2022-Nov-15 08:41:54 | 323.9K | application/vnd.debian.binary-package |
cadical_1.5.3-2_ppc64el.deb | 2022-Nov-15 21:55:36 | 316.4K | application/vnd.debian.binary-package |
cadical_1.5.3-2_s390x.deb | 2022-Nov-15 08:16:11 | 271.3K | application/vnd.debian.binary-package |
cadical_1.5.3.orig.tar.gz | 2022-Nov-02 03:34:21 | 582.4K | application/x-gtar-compressed |
cadical_1.7.4-1.debian.tar.xz | 2024-Feb-11 11:22:20 | 3.8K | application/x-xz |
cadical_1.7.4-1.dsc | 2024-Feb-11 11:22:20 | 1.9K | application/octet-stream |
cadical_1.7.4-1_amd64.deb | 2024-Feb-11 11:47:35 | 377.7K | application/vnd.debian.binary-package |
cadical_1.7.4-1_arm64.deb | 2024-Feb-11 11:47:36 | 330.6K | application/vnd.debian.binary-package |
cadical_1.7.4-1_armel.deb | 2024-Feb-11 11:52:37 | 328.8K | application/vnd.debian.binary-package |
cadical_1.7.4-1_armhf.deb | 2024-Feb-11 11:47:32 | 334.4K | application/vnd.debian.binary-package |
cadical_1.7.4-1_i386.deb | 2024-Feb-11 11:47:35 | 412.0K | application/vnd.debian.binary-package |
cadical_1.7.4-1_mips64el.deb | 2024-Feb-11 11:52:37 | 373.9K | application/vnd.debian.binary-package |
cadical_1.7.4-1_ppc64el.deb | 2024-Feb-11 11:47:34 | 384.9K | application/vnd.debian.binary-package |
cadical_1.7.4-1_riscv64.deb | 2024-Feb-11 13:23:04 | 389.5K | application/vnd.debian.binary-package |
cadical_1.7.4-1_s390x.deb | 2024-Feb-11 13:53:34 | 382.8K | application/vnd.debian.binary-package |
cadical_1.7.4.orig.tar.gz | 2024-Feb-11 11:22:20 | 632.6K | application/x-gtar-compressed |
libcadical-dev_1.5.3-2_amd64.deb | 2022-Nov-15 07:25:44 | 280.7K | application/vnd.debian.binary-package |
libcadical-dev_1.5.3-2_arm64.deb | 2022-Nov-15 07:25:42 | 262.2K | application/vnd.debian.binary-package |
libcadical-dev_1.5.3-2_armel.deb | 2022-Nov-15 07:40:50 | 270.7K | application/vnd.debian.binary-package |
libcadical-dev_1.5.3-2_armhf.deb | 2022-Nov-15 07:40:48 | 275.6K | application/vnd.debian.binary-package |
libcadical-dev_1.5.3-2_i386.deb | 2022-Nov-15 07:25:39 | 317.5K | application/vnd.debian.binary-package |
libcadical-dev_1.5.3-2_mips64el.deb | 2022-Nov-15 11:43:46 | 305.5K | application/vnd.debian.binary-package |
libcadical-dev_1.5.3-2_mipsel.deb | 2022-Nov-15 08:41:54 | 319.7K | application/vnd.debian.binary-package |
libcadical-dev_1.5.3-2_ppc64el.deb | 2022-Nov-15 21:55:36 | 303.2K | application/vnd.debian.binary-package |
libcadical-dev_1.5.3-2_s390x.deb | 2022-Nov-15 08:16:11 | 258.6K | application/vnd.debian.binary-package |
libcadical-dev_1.7.4-1_amd64.deb | 2024-Feb-11 11:47:35 | 340.7K | application/vnd.debian.binary-package |
libcadical-dev_1.7.4-1_arm64.deb | 2024-Feb-11 11:47:36 | 319.6K | application/vnd.debian.binary-package |
libcadical-dev_1.7.4-1_armel.deb | 2024-Feb-11 11:52:37 | 328.7K | application/vnd.debian.binary-package |
libcadical-dev_1.7.4-1_armhf.deb | 2024-Feb-11 11:47:32 | 333.7K | application/vnd.debian.binary-package |
libcadical-dev_1.7.4-1_i386.deb | 2024-Feb-11 11:47:35 | 383.6K | application/vnd.debian.binary-package |
libcadical-dev_1.7.4-1_mips64el.deb | 2024-Feb-11 11:52:37 | 370.7K | application/vnd.debian.binary-package |
libcadical-dev_1.7.4-1_ppc64el.deb | 2024-Feb-11 11:47:34 | 365.3K | application/vnd.debian.binary-package |
libcadical-dev_1.7.4-1_riscv64.deb | 2024-Feb-11 13:23:04 | 1.2M | application/vnd.debian.binary-package |
libcadical-dev_1.7.4-1_s390x.deb | 2024-Feb-11 13:53:34 | 358.1K | application/vnd.debian.binary-package |