| | Packaging: Sound Removals (jak-linux.org) |
| 1 point by JNRowe 5 months ago | past |
|
| | A SomewhatMaxSAT Solver (jak-linux.org) |
| 9 points by JNRowe 10 months ago | past |
|
| | DNS66: DNS-based host/ad blocking for Android (jak-linux.org) |
| 2 points by leonry on Aug 22, 2024 | past |
|
| | Observations in Debian Dependency Solving (jak-linux.org) |
| 20 points by JNRowe on May 24, 2024 | past | 2 comments |
|
| | The new APT 3.0 solver (jak-linux.org) |
| 193 points by todsacerdoti on May 14, 2024 | past | 114 comments |
|
| | Apt Z3 Solver Basics (jak-linux.org) |
| 3 points by pabs3 on Nov 24, 2021 | past |
|
| | Migrating Away from Apt-Key (jak-linux.org) |
| 11 points by todsacerdoti on June 21, 2021 | past |
|
| | Apt 2.2 Released (jak-linux.org) |
| 1 point by edward on Feb 19, 2021 | past |
|
| | Apt 2.2 Released (jak-linux.org) |
| 1 point by pabs3 on Feb 19, 2021 | past |
|
| | Apt 2.0 (jak-linux.org) |
| 91 points by jcastro on March 8, 2020 | past | 59 comments |
|
