![[ICO]](/icons/blank.gif) | Name | Last modified | Size | Description |
|---|
|
|---|
![[PARENTDIR]](/icons/back.gif) | Parent Directory | | - | |
![[ ]](/icons/unknown.gif) | minisat+-dbgsym_1.0-2_amd64.ddeb | 2011-11-12 08:18 | 808K | |
| minisat+-dbgsym_1.0-2_arm64.ddeb | 2013-10-20 06:22 | 674K | |
| minisat+-dbgsym_1.0-2_armhf.ddeb | 2011-12-07 12:10 | 755K | |
| minisat+-dbgsym_1.0-2_i386.ddeb | 2011-11-12 08:25 | 729K | |
| minisat+-dbgsym_1.0-2_powerpc.ddeb | 2015-03-03 00:04 | 564K | |
| minisat+-dbgsym_1.0-2_ppc64el.ddeb | 2014-02-19 10:25 | 654K | |
| minisat+-dbgsym_1.0-2_s390x.ddeb | 2015-12-05 02:53 | 568K | |
| minisat+-dbgsym_1.0-4_amd64.ddeb | 2017-04-30 03:33 | 835K | |
| minisat+-dbgsym_1.0-4_arm64.ddeb | 2017-04-30 03:07 | 821K | |
| minisat+-dbgsym_1.0-4_armhf.ddeb | 2017-04-30 03:07 | 792K | |
| minisat+-dbgsym_1.0-4_i386.ddeb | 2017-04-30 03:33 | 789K | |
| minisat+-dbgsym_1.0-4_ppc64el.ddeb | 2017-04-30 03:22 | 842K | |
| minisat+-dbgsym_1.0-4_s390x.ddeb | 2017-04-30 03:23 | 900K | |
| minisat+-dbgsym_1.0-4build1_amd64.ddeb | 2020-03-22 19:45 | 1.0M | |
| minisat+-dbgsym_1.0-4build1_arm64.ddeb | 2020-03-23 00:19 | 1.0M | |
| minisat+-dbgsym_1.0-4build1_armhf.ddeb | 2020-03-23 00:19 | 967K | |
| minisat+-dbgsym_1.0-4build1_ppc64el.ddeb | 2020-03-23 00:04 | 1.0M | |
| minisat+-dbgsym_1.0-4build1_riscv64.ddeb | 2020-04-18 19:10 | 916K | |
| minisat+-dbgsym_1.0-4build1_s390x.ddeb | 2020-03-23 00:43 | 1.2M | |
| minisat+-dbgsym_1.0-5_amd64.ddeb | 2024-10-31 21:48 | 853K | |
| minisat+-dbgsym_1.0-5_arm64.ddeb | 2024-10-31 21:59 | 848K | |
| minisat+-dbgsym_1.0-5_armhf.ddeb | 2024-10-31 21:59 | 826K | |
| minisat+-dbgsym_1.0-5_ppc64el.ddeb | 2024-11-01 00:57 | 873K | |
| minisat+-dbgsym_1.0-5_riscv64.ddeb | 2024-11-21 21:03 | 725K | |
| minisat+-dbgsym_1.0-5_s390x.ddeb | 2024-10-31 21:46 | 925K | |
|
|---|