| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | treewide: add meta.mainProgram to packages with a single binary | stuebinm | 2024-03-19 |
| * | python3Packages.z3-solver: rename from z3 | Yifei Sun | 2023-12-06 |
| * | treewide: switch to nativeCheckInputs | Guillaume Girol | 2023-01-21 |
| * | amoco: init at 2.9.8 | Fabian Affolter | 2022-09-29 |