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