Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
minisat+_1.0-3.patch-basis | 2016-12-19 21:43 | 6 | ||
minisat+_1.0-3.patch.bz2 | 2016-12-19 21:43 | 6.1K | ||
minisat+_1.0-4.patch-basis | 2017-02-23 03:40 | 6 | ||
minisat+_1.0-4.patch.bz2 | 2017-02-23 03:40 | 376 | ||
patches.xml | 2017-02-23 03:41 | 942 | ||