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

Icon  Name                         Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] kissat_4.0.1-3.debian.tar.xz 2024-10-15 15:59 4.4K [TXT] kissat_4.0.1-3.dsc 2024-10-15 15:59 1.6K [   ] kissat_4.0.1-3_amd64.deb 2024-10-15 17:05 349K [   ] kissat_4.0.1-3_arm64.deb 2024-10-15 17:05 307K [   ] kissat_4.0.1-3_armhf.deb 2024-10-15 17:10 331K [   ] kissat_4.0.1-3_i386.deb 2024-10-15 17:04 356K [   ] kissat_4.0.1-3_mips64el.deb 2024-10-15 17:10 302K [   ] kissat_4.0.1-3_ppc64el.deb 2024-10-15 17:04 339K [   ] kissat_4.0.1-3_riscv64.deb 2024-10-15 20:28 352K [   ] kissat_4.0.1-3_s390x.deb 2024-10-15 17:04 339K [   ] kissat_4.0.1.orig.tar.gz 2024-10-11 10:48 519K
Apache/2.4.62 (Debian) Server at debian.biologie.uni-muenchen.de Port 443