WRZ FTP-Server
Name | Last Modified | Size |
---|---|---|
Parent Directory/ | - | |
minisat+_1.0-4.debian.tar.xz
|
2017-02-22 20:22
|
4.1K
|
minisat+_1.0-4.dsc
|
2017-02-22 20:22
|
1.9K
|
minisat+_1.0-4_amd64.deb
|
2017-02-22 21:12
|
154.7K
|
minisat+_1.0-4_arm64.deb
|
2017-02-22 21:12
|
130.8K
|
minisat+_1.0-4_armhf.deb
|
2017-02-22 21:12
|
130.6K
|
minisat+_1.0-4_i386.deb
|
2017-02-22 21:12
|
156.3K
|
minisat+_1.0-5.debian.tar.xz
|
2024-10-09 21:34
|
4.3K
|
minisat+_1.0-5.dsc
|
2024-10-09 21:34
|
1.9K
|
minisat+_1.0-5_amd64.deb
|
2024-10-10 00:45
|
145.8K
|
minisat+_1.0-5_arm64.deb
|
2024-10-10 00:29
|
130.0K
|
minisat+_1.0-5_armhf.deb
|
2024-10-10 00:29
|
126.2K
|
minisat+_1.0-5_i386.deb
|
2024-10-10 00:40
|
144.5K
|
minisat+_1.0.orig.tar.gz
|
2011-05-14 12:02
|
78.1K
|