| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | treewide: stdenv.lib -> lib | Ben Siraphob | 2021-01-16 |
| * | treewide: cmake buildInputs to nativeBuildInputs, minor cleanups | Ben Siraphob | 2021-01-01 |
| * | avy: 2017.10.16 -> 2019.05.01 | sohalt | 2020-09-20 |
| * | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 2020-04-10 |
| * | treewide: NIX_*_COMPILE -> string | Robin Gloster | 2019-12-31 |
| * | treewide: remove redundant rec | volth | 2019-08-28 |
| * | treewide: name -> pname (easy cases) (#66585) | volth | 2019-08-15 |
| * | avy: Disable build on aarch64-linux | Samuel Dionne-Riel | 2018-12-10 |
| * | avy: fixes to work with clang and musl | Will Dietz | 2018-02-13 |
| * | nixpkgs: add 'avy' -- property directed AIGER model checking | Austin Seipp | 2017-10-16 |