Name | Last modified | Size | Description | Metadata | |
---|---|---|---|---|---|
Parent Directory | - | ||||
minisat+_1.0-4.debian.tar.xz | 22-Feb-2017 20:22 | 4.1K | Details | ||
minisat+_1.0-4.dsc | 22-Feb-2017 20:22 | 1.9K | Details | ||
minisat+_1.0-4_armhf.deb | 22-Jun-2017 23:08 | 117K | Details | ||
minisat+_1.0-5.debian.tar.xz | 09-Oct-2024 22:34 | 4.3K | Details | ||
minisat+_1.0-5.dsc | 09-Oct-2024 22:34 | 1.9K | Details | ||
minisat+_1.0-5_armhf.deb | 12-Oct-2024 11:08 | 104K | Details | ||
minisat+_1.0.orig.tar.gz | 19-Apr-2012 03:11 | 78K | Details | ||