| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| minisat2_070721-3_source.changes.bz2 | 2008-06-20 12:14 | 523 | ||
| minisat2_070721-6_source.changes.bz2 | 2008-11-05 16:28 | 556 | ||
| minisat2_070721-8_source.changes.bz2 | 2010-01-18 09:39 | 766 | ||
| minisat2_1:2.2.0-2_source.changes.bz2 | 2010-10-15 16:22 | 916 | ||
| minisat2_1:2.2.1-1_source.changes.bz2 | 2011-05-01 04:11 | 947 | ||
| minisat2_1:2.2.1-2_source.changes.bz2 | 2011-06-14 12:47 | 687 | ||
| minisat2_1:2.2.1-3_source.changes.bz2 | 2011-10-17 16:39 | 641 | ||
| minisat2_1:2.2.1-4_source.changes.bz2 | 2013-07-15 00:06 | 706 | ||
| minisat2_1:2.2.1-5_source.changes.bz2 | 2014-07-30 21:37 | 692 | ||
| minisat2_1:2.2.1-5build1_source.changes.bz2 | 2018-04-05 14:12 | 721 | ||
| minisat2_1:2.2.1-5build2_source.changes.bz2 | 2020-03-23 09:08 | 708 | ||
| minisat2_1:2.2.1-6_source.changes.bz2 | 2024-02-21 02:05 | 744 | ||
| minisat2_1:2.2.1-7_source.changes.bz2 | 2024-02-23 17:21 | 684 | ||
| minisat2_1:2.2.1-8_source.changes.bz2 | 2024-02-27 15:40 | 618 | ||
| minisat2_1:2.2.1-8build1_source.changes.bz2 | 2024-04-03 16:15 | 686 | ||