2 files changed, 1 insertions, 4 deletions
diff --git a/krebs/4lib/default.nix b/krebs/4lib/default.nix
index dfc51bbe..4d7e0b54 100644
--- a/krebs/4lib/default.nix
+++ b/krebs/4lib/default.nix
@@ -6,6 +6,7 @@ with lib;
 let out = rec {
 
   eq = x: y: x == y;
+  ne = x: y: x != y;
 
   mod = x: y: x - y * (x / y);
 
diff --git a/krebs/4lib/types.nix b/krebs/4lib/types.nix
index 81ce659b..c596d0f9 100644
--- a/krebs/4lib/types.nix
+++ b/krebs/4lib/types.nix
@@ -164,10 +164,6 @@ types // rec {
       pubkey = mkOption {
         type = str;
       };
-      pubkeys = mkOption {
-        type = attrsOf str;
-        default = {};
-      };
     };
   };