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
|