Index of /pub/kali/pool/main/m/minisat+/

NameLast ModifiedSizeType
Parent Directory/ -  Directory
minisat+_1.0-5.debian.tar.xz2024-Oct-09 23:34:304.3Kapplication/octet-stream
minisat+_1.0-5.dsc2024-Oct-09 23:34:301.9Kapplication/octet-stream
minisat+_1.0-5_amd64.deb2024-Oct-10 02:45:10145.8Kapplication/octet-stream
minisat+_1.0-5_arm64.deb2024-Oct-10 02:29:46130.0Kapplication/octet-stream
minisat+_1.0-5_armel.deb2024-Oct-10 02:45:06122.3Kapplication/octet-stream
minisat+_1.0-5_armhf.deb2024-Oct-10 02:29:44126.2Kapplication/octet-stream
minisat+_1.0-5_i386.deb2024-Oct-10 02:40:03144.5Kapplication/octet-stream
minisat+_1.0.orig.tar.gz2011-May-14 14:02:2478.1Kapplication/x-gzip
lighttpd/1.4.19