|
../
|
— |
— |
|
cadical_1.7.4-1.debian.tar.xz
|
3.9 KiB |
2024-02-15 12:29:55 |
|
cadical_1.7.4-1.dsc
|
1.9 KiB |
2024-02-15 12:29:55 |
|
cadical_1.7.4-1_amd64.deb
|
454 KiB |
2024-02-15 12:30:49 |
|
cadical_1.7.4.orig.tar.gz
|
633 KiB |
2024-02-15 12:29:55 |
|
cadical_2.1.3-1.debian.tar.xz
|
4.0 KiB |
2025-12-02 08:17:07 |
|
cadical_2.1.3-1.dsc
|
1.9 KiB |
2025-12-02 08:17:07 |
|
cadical_2.1.3-1_amd64.deb
|
521 KiB |
2025-12-02 08:17:27 |
|
cadical_2.1.3-1_amd64v3.deb
|
541 KiB |
2025-12-02 08:17:30 |
|
cadical_2.1.3.orig.tar.gz
|
714 KiB |
2025-12-02 08:17:07 |
|
libcadical-dev_1.7.4-1_amd64.deb
|
376 KiB |
2024-02-15 12:30:49 |
|
libcadical-dev_2.1.3-1_amd64.deb
|
457 KiB |
2025-12-02 08:17:27 |
|
libcadical-dev_2.1.3-1_amd64v3.deb
|
471 KiB |
2025-12-02 08:17:30 |