Index of /debian/pool/main/k/kissat/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
kissat_4.0.4.orig.tar.gz 5323292026-Mar-23 10:15
kissat_4.0.2.orig.tar.gz 5319412025-Jan-28 17:26
kissat_4.0.3.orig.tar.gz 5318812025-Aug-18 14:59
kissat_4.0.4-1_i386.deb 3847402026-Mar-23 12:08
kissat_4.0.4-1_amd64.deb 3833442026-Mar-23 15:05
kissat_4.0.4-1_riscv64.deb 3787002026-Mar-23 11:11
kissat_4.0.2-1_i386.deb 3643962025-Jan-28 18:08
kissat_4.0.4-1_loong64.deb 3632402026-Mar-23 10:30
kissat_4.0.2-1_riscv64.deb 3610602025-Feb-02 14:18
kissat_4.0.2-1_amd64.deb 3583402025-Jan-28 18:08
kissat_4.0.4-1.debian.tar.xz 47762026-Mar-23 10:15
kissat_4.0.3-2.debian.tar.xz 46562025-Sep-10 14:55
kissat_4.0.2-1.debian.tar.xz 45402025-Jan-28 17:26
kissat_4.0.4-1.dsc 20072026-Mar-23 10:15
kissat_4.0.3-2.dsc 19822025-Sep-10 14:55
kissat_4.0.2-1.dsc 19712025-Jan-28 17:26