Commit message (Expand) | Author | Age | |
---|---|---|---|
* | treewide: stdenv.lib -> lib | Ben Siraphob | 2021-01-16 |
* | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 2020-04-10 |
* | aiger: enable for darwin | Robert Scott | 2019-12-08 |
* | treewide: name -> pname (easy cases) (#66585) | volth | 2019-08-15 |
* | Revert "treewide: fixup breakage due to absolute compiler path" | Matthew Bauer | 2018-08-22 |
* | treewide: fixup breakage due to absolute compiler path | Vladimír Čunát | 2018-08-21 |
* | aiger: clean up configurePhase, install multi-output objects/headers | Austin Seipp | 2018-08-15 |
* | aiger: fix stupid incorrect download link | Austin Seipp | 2017-10-16 |
* | nixpkgs: add aiger 1.9.9 | Austin Seipp | 2017-10-16 |