/ubuntu-archive/ubuntu/pool/universe/m/minisat2/
| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| minisat_2.2.1-8build1_amd64.deb | 86.0 KiB | 2024-Apr-01 13:33 |
| minisat_2.2.1-8build2_amd64.deb | 87.8 KiB | 2025-Dec-17 01:25 |
| minisat_2.2.1-8build2_arm64.deb | 88.8 KiB | 2025-Dec-17 01:25 |
| minisat_2.2.1-8build2_amd64v3.deb | 89.2 KiB | 2025-Dec-17 01:25 |
| minisat_2.2.1-8build1_arm64.deb | 89.8 KiB | 2024-Apr-02 14:01 |