public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
266,058 Commits 1 Branch 0 Tags 1.5 GiB
Commit Graph

3 Commits

Author SHA1 Message Date
Dominik Xaver Hörl 25bef2d8f9 treewide: simplify pkgs.stdenv.lib -> pkgs.lib 
The library does not depend on stdenv, that `stdenv` exposes `lib` is
an artifact of the ancient origins of nixpkgs.
 2021-01-10 20:12:06 +01:00
Manuel Bärenz 4336f9f7bb tests/agda: Fix comment 2020-09-18 12:42:23 +02:00
Manuel Bärenz b78a5a0e79
agda: Added test 2020-05-14 20:54:12 +01:00