| .. |
| 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 |
| kissat_4.0.4-1.debian.tar.xz |
4776 |
2026-05-21T20:46:51.128Z |
| kissat_4.0.4-1.dsc |
2007 |
2026-05-21T20:46:51.127Z |
| kissat_4.0.4-1_amd64.deb |
403900 |
2026-05-21T20:46:51.119Z |
| kissat_4.0.4-1_amd64v3.deb |
407600 |
2026-05-21T20:46:51.106Z |
| kissat_4.0.4-1_arm64.deb |
383568 |
2026-05-21T20:46:51.246Z |
| kissat_4.0.4.orig.tar.gz |
532329 |
2026-05-21T20:46:51.125Z |