| .. |
| kissat_4.0.2-1.debian.tar.xz |
4540 |
2025-05-20T15:06:34.814Z |
| kissat_4.0.2-1.dsc |
1971 |
2025-05-20T15:06:35.041Z |
| kissat_4.0.2-1_arm64.deb |
364948 |
2026-04-02T05:54:08.256Z |
| kissat_4.0.2.orig.tar.gz |
531941 |
2025-05-20T15:06:36.009Z |
| kissat_4.0.3-2.debian.tar.xz |
4656 |
2025-10-28T14:53:15.326Z |
| kissat_4.0.3-2.dsc |
1982 |
2025-10-28T14:53:15.590Z |
| kissat_4.0.3-2_amd64.deb |
402954 |
2025-10-28T14:53:15.940Z |
| kissat_4.0.3-2_amd64v3.deb |
406426 |
2025-10-28T14:53:16.141Z |
| kissat_4.0.3-2_arm64.deb |
382498 |
2026-04-02T05:54:08.704Z |
| kissat_4.0.3.orig.tar.gz |
531881 |
2025-10-28T14:53:16.863Z |