sohalt
|
40722346b8
|
avy: 2017.10.16 -> 2019.05.01
|
2020-09-20 16:13:29 +02:00 |
|
Michael Reilly
|
84cf00f980
|
treewide: Per RFC45, remove all unquoted URLs
|
2020-04-10 17:54:53 +01:00 |
|
Robin Gloster
|
ab0cfd9e03
|
treewide: NIX_*_COMPILE -> string
|
2019-12-31 00:10:18 +01:00 |
|
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 |
|