Index of /debian-ports/pool-sparc64/main/c/cadical/

Name Size Date
📁 ../ - -
📄 cadical-dbgsym_1.7.4-1+b1_sparc64.deb 10134044 bytes 2024-10-29 00:03:04
📄 cadical_1.7.4-1+b1_sparc64.buildinfo 6209 bytes 2024-10-29 00:03:04
📄 cadical_1.7.4-1+b1_sparc64.deb 324472 bytes 2024-10-29 00:03:04
📄 libcadical-dev_1.7.4-1+b1_sparc64.deb 329032 bytes 2024-10-29 00:03:04