Name | Size | Modified | ||
---|---|---|---|---|
Go up | — | — | ||
cadical_1.7.4-1_amd64.deb | 378 KiB | |||
cadical_1.7.4-1_arm64.deb | 331 KiB | |||
libcadical-dev_1.7.4-1_amd64.deb | 341 KiB | |||
libcadical-dev_1.7.4-1_arm64.deb | 320 KiB |
Name | Size | Modified | ||
---|---|---|---|---|
Go up | — | — | ||
cadical_1.7.4-1_amd64.deb | 378 KiB | |||
cadical_1.7.4-1_arm64.deb | 331 KiB | |||
libcadical-dev_1.7.4-1_amd64.deb | 341 KiB | |||
libcadical-dev_1.7.4-1_arm64.deb | 320 KiB |