![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | minisat2_2.2.1-3.debian.tar.gz | 2011-10-17 06:05 | 8.4K | |
![]() | minisat2_2.2.1-3.dsc | 2011-10-17 06:05 | 1.1K | |
![]() | minisat2_2.2.1-3_armhf.deb | 2011-12-07 05:04 | 1.9K | |
![]() | minisat2_2.2.1-4.debian.tar.gz | 2013-07-14 15:43 | 9.2K | |
![]() | minisat2_2.2.1-4.dsc | 2013-07-14 15:43 | 1.8K | |
![]() | minisat2_2.2.1-4_armhf.deb | 2013-07-14 15:58 | 1.9K | |
![]() | minisat2_2.2.1.orig.tar.gz | 2011-04-30 10:05 | 43K | |
![]() | minisat_2.2.1-3_armhf.deb | 2011-12-07 05:04 | 115K | |
![]() | minisat_2.2.1-4_armhf.deb | 2013-07-14 15:58 | 119K | |