File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
minisat+_1.0-5.debian.tar.xz | 4448 | 09-Oct-2024 21:34 |
minisat+_1.0-5.dsc | 1979 | 09-Oct-2024 21:34 |
minisat+_1.0-5_amd64.deb | 146K | 10-Oct-2024 00:45 |
minisat+_1.0-5_arm64.deb | 130K | 10-Oct-2024 00:29 |
minisat+_1.0-5_armel.deb | 122K | 10-Oct-2024 00:45 |
minisat+_1.0-5_armhf.deb | 126K | 10-Oct-2024 00:29 |
minisat+_1.0-5_i386.deb | 145K | 10-Oct-2024 00:40 |
minisat+_1.0.orig.tar.gz | 78K | 14-May-2011 12:02 |
Empowering Open Source: Free Hosting for a Free World We are open, we love freedom. Free Hosting for Open Projects. Join the movement. #JustGoOpen
If you're seeking a mirror, please contact us. OSSPlanet
We support HTTP, HTTPS, FTP, Rsync, and Tor .onion site.
We operate mirror servers in multiple regions to better serve our users:
Choose the server closest to your location for optimal performance!
Note on FTP: While we currently support FTP, we will be dropping support in the future as the protocol is being phased out industry-wide. We recommend using HTTPS or Rsync instead.
Admin: BlueT - Matthew Lien - 練喆明
Email: apply at ossplanet dot net AND bluet at bluet dot org