Name Last modified Size DescriptionThis mirror provided by INCX.net
Parent Directory - cadical_1.5.3-2.debian.tar.xz 2022-11-15 00:18 2.9K cadical_1.5.3-2.dsc 2022-11-15 00:18 1.9K cadical_1.5.3-2_amd64.deb 2022-11-15 00:29 352K cadical_1.5.3.orig.tar.gz 2022-11-06 00:33 582K libcadical-dev_1.5.3-2_amd64.deb 2022-11-15 00:29 311K