Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
cadical_1.5.3-2_amd64.deb | 2022-11-14 19:25 | 309K | ||
cadical_1.5.3-2_i386.deb | 2022-11-14 19:25 | 337K | ||
libcadical-dev_1.5.3-2_amd64.deb | 2022-11-14 19:25 | 281K | ||
libcadical-dev_1.5.3-2_i386.deb | 2022-11-14 19:25 | 318K | ||