WRZ FTP-Server

Name Last Modified Size
Parent Directory/   -  
kissat_4.0.2-1.debian.tar.xz 2025-01-28 17:26 4.4K
kissat_4.0.2-1.dsc 2025-01-28 17:26 1.9K
kissat_4.0.2-1_amd64.deb 2025-01-28 18:08 349.9K
kissat_4.0.2-1_arm64.deb 2025-01-28 18:03 307.7K
kissat_4.0.2-1_armhf.deb 2025-01-28 18:13 331.3K
kissat_4.0.2-1_i386.deb 2025-01-28 18:08 355.9K
kissat_4.0.2.orig.tar.gz 2025-01-28 17:26 519.5K
kissat_4.0.3-1.debian.tar.xz 2025-08-18 14:59 4.5K
kissat_4.0.3-1.dsc 2025-08-18 14:59 1.9K
kissat_4.0.3-1_amd64.deb 2025-08-18 15:24 371.5K
kissat_4.0.3-1_arm64.deb 2025-08-18 15:29 323.6K
kissat_4.0.3-1_armhf.deb 2025-08-18 15:34 343.0K
kissat_4.0.3-1_i386.deb 2025-08-18 15:24 376.0K
kissat_4.0.3.orig.tar.gz 2025-08-18 14:59 519.4K