WRZ FTP-Server

Name Last Modified Size
Parent Directory/   -  
minisat2_2.2.1-5+b3_amd64.deb 2017-03-07 11:27 5.1K
minisat2_2.2.1-5+b3_arm64.deb 2017-03-07 11:11 5.1K
minisat2_2.2.1-5+b3_armhf.deb 2017-03-07 11:57 5.1K
minisat2_2.2.1-5+b3_i386.deb 2017-03-07 11:27 5.1K
minisat2_2.2.1-5.debian.tar.xz 2014-07-30 10:01 9.1K
minisat2_2.2.1-5.dsc 2014-07-30 10:01 1.8K
minisat2_2.2.1-8.debian.tar.xz 2024-02-26 17:03 9.6K
minisat2_2.2.1-8.dsc 2024-02-26 17:03 1.7K
minisat2_2.2.1.orig.tar.gz 2011-03-29 14:07 43.2K
minisat_2.2.1-5+b3_amd64.deb 2017-03-07 11:27 82.9K
minisat_2.2.1-5+b3_arm64.deb 2017-03-07 11:11 80.0K
minisat_2.2.1-5+b3_armhf.deb 2017-03-07 11:57 76.0K
minisat_2.2.1-5+b3_i386.deb 2017-03-07 11:27 91.2K
minisat_2.2.1-8+b2_arm64.deb 2025-04-07 18:41 82.8K
minisat_2.2.1-8_amd64.deb 2024-02-26 17:23 81.2K
minisat_2.2.1-8_armhf.deb 2024-02-26 17:23 74.5K
minisat_2.2.1-8_i386.deb 2024-02-26 17:23 90.2K