|
../
|
— |
— |
|
kissat_4.0.2-1.debian.tar.xz
|
4.4 KiB |
2025-01-28 17:26:38 |
|
kissat_4.0.2-1.dsc
|
1.9 KiB |
2025-01-28 17:26:38 |
|
kissat_4.0.2-1_amd64.deb
|
350 KiB |
2025-01-28 18:08:37 |
|
kissat_4.0.2-1_arm64.deb
|
308 KiB |
2025-01-28 18:03:35 |
|
kissat_4.0.2-1_armel.deb
|
329 KiB |
2025-01-28 20:06:45 |
|
kissat_4.0.2-1_armhf.deb
|
331 KiB |
2025-01-28 18:13:44 |
|
kissat_4.0.2-1_i386.deb
|
356 KiB |
2025-01-28 18:08:41 |
|
kissat_4.0.2-1_ppc64el.deb
|
340 KiB |
2025-01-28 18:03:24 |
|
kissat_4.0.2-1_riscv64.deb
|
353 KiB |
2025-02-02 14:18:03 |
|
kissat_4.0.2-1_s390x.deb
|
340 KiB |
2025-02-13 05:28:20 |
|
kissat_4.0.2.orig.tar.gz
|
520 KiB |
2025-01-28 17:26:38 |
|
kissat_4.0.3-2.debian.tar.xz
|
4.5 KiB |
2025-09-10 14:55:11 |
|
kissat_4.0.3-2.dsc
|
1.9 KiB |
2025-09-10 14:55:11 |
|
kissat_4.0.3-2_amd64.deb
|
388 KiB |
2025-09-10 21:36:43 |
|
kissat_4.0.3-2_arm64.deb
|
332 KiB |
2025-09-10 21:47:06 |
|
kissat_4.0.3-2_armhf.deb
|
344 KiB |
2025-09-10 22:33:57 |
|
kissat_4.0.3-2_i386.deb
|
374 KiB |
2025-09-10 20:40:05 |
|
kissat_4.0.3-2_ppc64el.deb
|
362 KiB |
2025-09-10 16:45:37 |
|
kissat_4.0.3-2_riscv64.deb
|
369 KiB |
2025-09-11 00:57:05 |
|
kissat_4.0.3-2_s390x.deb
|
353 KiB |
2025-09-10 16:45:37 |
|
kissat_4.0.3.orig.tar.gz
|
519 KiB |
2025-08-18 14:59:06 |