Index of /ftp/pub/linux/distributions/lip6-debian/ftp-dev/debian/pool/main/k/kissat/

../
kissat_4.0.2-1.debian.tar.xz                       28-Jan-2025 17:26                4540
kissat_4.0.2-1.dsc                                 28-Jan-2025 17:26                1971
kissat_4.0.2-1_amd64.deb                           28-Jan-2025 18:08              358340
kissat_4.0.2-1_i386.deb                            28-Jan-2025 18:08              364396
kissat_4.0.2.orig.tar.gz                           28-Jan-2025 17:26              531941
kissat_4.0.3-1.debian.tar.xz                       18-Aug-2025 14:59                4592
kissat_4.0.3-1.dsc                                 18-Aug-2025 14:59                1982
kissat_4.0.3-1_amd64.deb                           18-Aug-2025 15:24              380432
kissat_4.0.3-1_i386.deb                            18-Aug-2025 15:24              384996
kissat_4.0.3.orig.tar.gz                           18-Aug-2025 14:59              531881