Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2023-02-22 | treewide: move NIX_CFLAGS_COMPILE to the env attrset | Artturin | 1 | -1/+1 |
2022-11-25 | avy: fix build on aarch64-linux | Weijia Wang | 3 | -50/+31 |
2021-01-16 | treewide: stdenv.lib -> lib | Ben Siraphob | 1 | -5/+5 |
2021-01-01 | treewide: cmake buildInputs to nativeBuildInputs, minor cleanups | Ben Siraphob | 1 | -1/+2 |
2020-09-20 | avy: 2017.10.16 -> 2019.05.01 | sohalt | 2 | -20/+4 |
2020-04-10 | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 1 | -1/+1 |
2019-12-31 | treewide: NIX_*_COMPILE -> string | Robin Gloster | 1 | -2/+2 |
2019-08-28 | treewide: remove redundant rec | volth | 1 | -1/+1 |
2019-08-15 | treewide: name -> pname (easy cases) (#66585) | volth | 1 | -1/+1 |
2018-12-10 | avy: Disable build on aarch64-linux | Samuel Dionne-Riel | 1 | -0/+3 |
2018-02-13 | avy: fixes to work with clang and musl | Will Dietz | 3 | -1/+149 |
2017-10-16 | nixpkgs: add 'avy' -- property directed AIGER model checking | Austin Seipp | 2 | -0/+44 |