summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2016-10-13 21:49:50 +0200
committertv <tv@krebsco.de>2016-10-13 21:50:14 +0200
commit6c71792b6d22c7564b187fa6891fb8d36270a9ef (patch)
tree35ec792c62343a0586c71701ce210808363d6ab5
parentbfea6f7439e217fc1ef340978beaeee5a3c74f45 (diff)
krebs lib: with lib
-rw-r--r--krebs/4lib/default.nix9
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;