Filename | Modification time | Size |
---|---|---|
cadical_1.5.3-2.debian.tar.xz | 2976 B | |
cadical_1.5.3-2.dsc | 1996 B | |
cadical_1.5.3-2_amd64.deb | 352 KiB | |
cadical_1.5.3.orig.tar.gz | 582 KiB | |
cadical_1.7.4-1.debian.tar.xz | 3960 B | |
cadical_1.7.4-1.dsc | 1996 B | |
cadical_1.7.4-1_amd64.deb | 454 KiB | |
cadical_1.7.4.orig.tar.gz | 633 KiB | |
libcadical-dev_1.5.3-2_amd64.deb | 311 KiB | |
libcadical-dev_1.7.4-1_amd64.deb | 376 KiB |