Apache/2.4.41 (Ubuntu) Server at ftp.de.netbsd.org Port 80Name Last modified Size Description
Parent Directory -
cadical_1.5.3-2.dsc 2022-11-15 06:18 1.9K
cadical_1.5.3-2.debian.tar.xz 2022-11-15 06:18 2.9K
libcadical-dev_1.5.3-2_amd64.deb 2022-11-15 06:29 311K
cadical_1.5.3-2_amd64.deb 2022-11-15 06:29 352K
cadical_1.5.3.orig.tar.gz 2022-11-06 05:33 582K