This mirror is donated by creoline GmbH. If you wish to report a bug or request listing please feel free to contact us at mirror@creoline.de
../ cadical_1.5.3-1.debian.tar.xz 01-Nov-2022 20:34 2924 cadical_1.5.3-1.dsc 01-Nov-2022 20:34 1996 cadical_1.5.3-2.debian.tar.xz 14-Nov-2022 23:53 2976 cadical_1.5.3-2.dsc 14-Nov-2022 23:53 1996 cadical_1.5.3-2_amd64.deb 15-Nov-2022 00:25 316708 cadical_1.5.3-2_arm64.deb 15-Nov-2022 00:25 275116 cadical_1.5.3-2_armel.deb 15-Nov-2022 00:40 276300 cadical_1.5.3-2_armhf.deb 15-Nov-2022 00:40 280600 cadical_1.5.3-2_i386.deb 15-Nov-2022 00:25 344952 cadical_1.5.3-2_mips64el.deb 15-Nov-2022 04:43 313892 cadical_1.5.3-2_mipsel.deb 15-Nov-2022 01:41 331760 cadical_1.5.3-2_ppc64el.deb 15-Nov-2022 14:55 324020 cadical_1.5.3-2_s390x.deb 15-Nov-2022 01:16 277880 cadical_1.5.3.orig.tar.gz 01-Nov-2022 20:34 596378 libcadical-dev_1.5.3-2_amd64.deb 15-Nov-2022 00:25 287488 libcadical-dev_1.5.3-2_arm64.deb 15-Nov-2022 00:25 268512 libcadical-dev_1.5.3-2_armel.deb 15-Nov-2022 00:40 277180 libcadical-dev_1.5.3-2_armhf.deb 15-Nov-2022 00:40 282220 libcadical-dev_1.5.3-2_i386.deb 15-Nov-2022 00:25 325132 libcadical-dev_1.5.3-2_mips64el.deb 15-Nov-2022 04:43 312892 libcadical-dev_1.5.3-2_mipsel.deb 15-Nov-2022 01:41 327444 libcadical-dev_1.5.3-2_ppc64el.deb 15-Nov-2022 14:55 310476 libcadical-dev_1.5.3-2_s390x.deb 15-Nov-2022 01:16 264816