Index of /debian-ports/pool-x32/main/c/cadical
Name
Last modified
Size
Parent Directory
-
libcadical-dev_1.7.4-1_x32.deb
2024-02-11 06:03
344K
cadical_1.7.4-1_x32.deb
2024-02-11 06:03
383K
cadical_1.7.4-1_x32.buildinfo
2024-02-11 06:03
6.2K
cadical-dbgsym_1.7.4-1_x32.deb
2024-02-11 06:03
9.7M
Apache Server at ftp.ports.debian.org Port 80