Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2023-11-11 | Merge master into staging-next | github-actions[bot] | 1 | -2/+2 |
2023-11-11 | treewide: fix redirected and broken URLs | Anthony Roussel | 1 | -2/+2 |
2023-10-27 | aiger: fix build with clang 16 | Randy Eckenrode | 2 | -0/+16 |
2021-01-16 | treewide: stdenv.lib -> lib | Ben Siraphob | 1 | -4/+4 |
2020-04-10 | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 1 | -1/+1 |
2019-12-08 | aiger: enable for darwin | Robert Scott | 1 | -1/+1 |
2019-08-15 | treewide: name -> pname (easy cases) (#66585) | volth | 1 | -2/+2 |
2018-08-22 | Revert "treewide: fixup breakage due to absolute compiler path" | Matthew Bauer | 1 | -3/+0 |
2018-08-21 | treewide: fixup breakage due to absolute compiler path | Vladimír Čunát | 1 | -0/+3 |
2018-08-15 | aiger: clean up configurePhase, install multi-output objects/headers | Austin Seipp | 1 | -4/+6 |
2017-10-16 | aiger: fix stupid incorrect download link | Austin Seipp | 1 | -1/+1 |
2017-10-16 | nixpkgs: add aiger 1.9.9 | Austin Seipp | 1 | -0/+53 |