Materialize Nix expressions

runtimeverification · Jun 28, 2022 · 1fd7fa8 · 1fd7fa8
1 parent 7b8c751
commit 1fd7fa8
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/nix/kore.nix.d/kore.nix b/nix/kore.nix.d/kore.nix
@@ -64,6 +64,7 @@
           (hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
           (hsPkgs."haskeline" or (errorHandler.buildDepError "haskeline"))
           (hsPkgs."integer-gmp" or (errorHandler.buildDepError "integer-gmp"))
+          (hsPkgs."intern" or (errorHandler.buildDepError "intern"))
           (hsPkgs."json-rpc" or (errorHandler.buildDepError "json-rpc"))
           (hsPkgs."lens" or (errorHandler.buildDepError "lens"))
           (hsPkgs."logict" or (errorHandler.buildDepError "logict"))
@@ -765,6 +766,7 @@
             (hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
             (hsPkgs."haskeline" or (errorHandler.buildDepError "haskeline"))
             (hsPkgs."integer-gmp" or (errorHandler.buildDepError "integer-gmp"))
+            (hsPkgs."intern" or (errorHandler.buildDepError "intern"))
             (hsPkgs."json-rpc" or (errorHandler.buildDepError "json-rpc"))
             (hsPkgs."lens" or (errorHandler.buildDepError "lens"))
             (hsPkgs."logict" or (errorHandler.buildDepError "logict"))