volth
|
08f68313a4
|
treewide: remove redundant rec
|
2019-08-28 11:07:32 +00:00 |
|
volth
|
46420bbaa3
|
treewide: name -> pname (easy cases) (#66585)
treewide replacement of
stdenv.mkDerivation rec {
name = "*-${version}";
version = "*";
to pname
|
2019-08-15 13:41:18 +01:00 |
|
Samuel Dionne-Riel
|
5e1dfd3025
|
avy: Disable build on aarch64-linux
|
2018-12-10 14:55:20 -05:00 |
|
Will Dietz
|
2974ed9266
|
avy: fixes to work with clang and musl
|
2018-02-13 09:44:52 -06:00 |
|
Austin Seipp
|
e84cec2762
|
nixpkgs: add 'avy' -- property directed AIGER model checking
Signed-off-by: Austin Seipp <aseipp@pobox.com>
|
2017-10-16 12:01:17 -05:00 |
|