diff options
| author | tv <tv@krebsco.de> | 2016-10-13 21:49:50 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2016-10-13 21:50:14 +0200 |
| commit | 6c71792b6d22c7564b187fa6891fb8d36270a9ef (patch) | |
| tree | 35ec792c62343a0586c71701ce210808363d6ab5 | |
| parent | bfea6f7439e217fc1ef340978beaeee5a3c74f45 (diff) | |
krebs lib: with lib
| -rw-r--r-- | krebs/4lib/default.nix | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/krebs/4lib/default.nix b/krebs/4lib/default.nix index 49241cc82..c901a1bde 100644 --- a/krebs/4lib/default.nix +++ b/krebs/4lib/default.nix @@ -1,9 +1,12 @@ -{ config, lib, ... }: +_: + +let + lib = import <stockholm/lib>; +in -with builtins; with lib; -let out = import <stockholm/lib> // rec { +let out = lib // rec { eq = x: y: x == y; ne = x: y: x != y; |