Index of /kali/pool/main/m/minisat+
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/unknown.gif)
minisat+_1.0-5.debian.tar.xz 2024-10-10 05:34 4.3K
![[TXT]](/icons/text.gif)
minisat+_1.0-5.dsc 2024-10-10 05:34 1.9K
minisat+_1.0-5_amd64.deb 2024-10-10 08:45 146K
minisat+_1.0-5_arm64.deb 2024-10-10 08:29 130K
minisat+_1.0-5_armel.deb 2024-10-10 08:45 122K
minisat+_1.0-5_armhf.deb 2024-10-10 08:29 126K
minisat+_1.0-5_i386.deb 2024-10-10 08:40 145K
![[ ]](/icons/compressed.gif)
minisat+_1.0.orig.tar.gz 2011-05-14 20:02 78K
Apache/2.4.62 (Debian) Server at mirror.freedif.org Port 443