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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
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.3-2_amd64.deb 3975322025-Sep-10 21:36
kissat_4.0.3-2_i386.deb 3834802025-Sep-10 20:40
kissat_4.0.3-2_riscv64.deb 3774962025-Sep-11 00:57
kissat_4.0.2-1_i386.deb 3643962025-Jan-28 18:08
kissat_4.0.3-2_loong64.deb 3610842025-Dec-21 13:42
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.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.3-2.dsc 19822025-Sep-10 14:55
kissat_4.0.2-1.dsc 19712025-Jan-28 17:26