Index of /pub/kali/pool/main/m/minisat2/

NameLast ModifiedSizeType
Parent Directory/ -  Directory
minisat2_2.2.1-8.debian.tar.xz2024-Feb-26 18:03:039.6Kapplication/octet-stream
minisat2_2.2.1-8.dsc2024-Feb-26 18:03:031.7Kapplication/octet-stream
minisat2_2.2.1.orig.tar.gz2011-Mar-29 16:07:5943.1Kapplication/x-gzip
minisat_2.2.1-8+b1_arm64.deb2024-Nov-01 21:51:3082.6Kapplication/octet-stream
minisat_2.2.1-8_amd64.deb2024-Feb-26 18:23:2381.1Kapplication/octet-stream
minisat_2.2.1-8_armel.deb2024-Feb-26 18:23:2775.7Kapplication/octet-stream
minisat_2.2.1-8_armhf.deb2024-Feb-26 18:23:2774.5Kapplication/octet-stream
minisat_2.2.1-8_i386.deb2024-Feb-26 18:23:2790.2Kapplication/octet-stream
lighttpd/1.4.19