|
📁 ../
|
- |
- |
|
📄 cadical_1.7.4-1.debian.tar.xz
|
3960 bytes
|
2024-02-15 12:29:55 |
|
📄 cadical_1.7.4-1.dsc
|
1996 bytes
|
2024-02-15 12:29:55 |
|
📄 cadical_1.7.4-1_amd64.deb
|
464636 bytes
|
2024-02-15 12:30:49 |
|
📄 cadical_1.7.4.orig.tar.gz
|
647830 bytes
|
2024-02-15 12:29:55 |
|
📄 cadical_2.1.3-2.debian.tar.xz
|
4620 bytes
|
2025-12-15 17:22:41 |
|
📄 cadical_2.1.3-2.dsc
|
1996 bytes
|
2025-12-15 17:22:41 |
|
📄 cadical_2.1.3-2_amd64.deb
|
533164 bytes
|
2025-12-15 20:29:58 |
|
📄 cadical_2.1.3-2_amd64v3.deb
|
554216 bytes
|
2025-12-15 20:30:20 |
|
📄 cadical_2.1.3.orig.tar.gz
|
731545 bytes
|
2025-12-02 08:17:07 |
|
📄 libcadical-dev_1.7.4-1_amd64.deb
|
384528 bytes
|
2024-02-15 12:30:49 |
|
📄 libcadical-dev_2.1.3-2_amd64.deb
|
468078 bytes
|
2025-12-15 20:29:58 |
|
📄 libcadical-dev_2.1.3-2_amd64v3.deb
|
482160 bytes
|
2025-12-15 20:30:20 |