Materialize Nix expressions

runtimeverification · Jul 12, 2022 · 8b074d2 · 8b074d2
1 parent 8416f15
commit 8b074d2
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/nix/kore-ghc8107.nix.d/kore.nix b/nix/kore-ghc8107.nix.d/kore.nix
@@ -67,6 +67,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"))
@@ -677,6 +678,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"))