diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
new file mode 100644
index 0000000000..bd5171dfdf
--- /dev/null
+++ b/.github/workflows/release.yml
@@ -0,0 +1,57 @@
+name: "Release"
+on:
+  push:
+    branches:
+      - master
+jobs:
+  check:
+    name: 'Check'
+    runs-on: ubuntu-latest
+    steps:
+      - name: Check out code
+        uses: actions/checkout@v2.3.4
+        with:
+          submodules: recursive
+
+      - name: Install Nix
+        uses: cachix/install-nix-action@v12
+        with:
+          extra_nix_config: |
+            substituters = http://cache.nixos.org https://hydra.iohk.io
+            trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ=
+
+      - name: Install Cachix
+        uses: cachix/cachix-action@v8
+        with:
+          name: runtimeverification
+          extraPullNames: 'kore'
+          skipPush: true
+
+      - name: Check materialization
+        run: nix-build --arg checkMaterialization true -A project.stack-nix
+
+  release:
+    name: 'Release'
+    runs-on: ubuntu-latest
+    steps:
+      - name: Check out code
+        uses: actions/checkout@v2.3.4
+        with:
+          submodules: recursive
+
+      - name: Install Nix
+        uses: cachix/install-nix-action@v12
+        with:
+          extra_nix_config: |
+            substituters = http://cache.nixos.org https://hydra.iohk.io
+            trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ=
+
+      - name: Install Cachix
+        uses: cachix/cachix-action@v8
+        with:
+          name: runtimeverification
+          signingKey: '${{ secrets.RUNTIMEVERIFICATION_CACHIX_SIGNING_KEY }}'
+          extraPullNames: 'kore'
+
+      - name: Build
+        run: nix-build -A kore -A project.kore.checks
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index d30c3f3892..c193b53b4f 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -1,43 +1,116 @@
 name: "Test"
 on:
   pull_request:
-  push:
 jobs:
-  test-nix:
+  nix:
+    name: 'Nix'
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v2.3.4
-      with:
-        submodules: recursive
-    - uses: cachix/install-nix-action@v12
-    - uses: cachix/cachix-action@v8
-      with:
-        name: runtimeverification
-        signingKey: '${{ secrets.CACHIX_SIGNING_KEY }}'
-    - run: nix-build -A kore -A project.kore.checks
-    - run: nix-shell --run "echo OK"
-
-  test-cabal:
+      - name: Check out code
+        uses: actions/checkout@v2.3.4
+        with:
+          submodules: recursive
+          # Avoid cloning a detached-HEAD repository on pull_request events.
+          # git-auto-commit-action (below) needs this to find the original
+          # branch where it should push the changes.
+          ref: ${{ github.head_ref }}
+
+      - name: Install Nix
+        uses: cachix/install-nix-action@v12
+        with:
+          extra_nix_config: |
+            substituters = http://cache.nixos.org https://hydra.iohk.io
+            trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ=
+
+      - name: Install Cachix
+        uses: cachix/cachix-action@v8
+        with:
+          name: kore
+          signingKey: '${{ secrets.KORE_CACHIX_SIGNING_KEY }}'
+
+      - name: Materialize
+        run: ./nix/rematerialize.sh
+
+      - name: Commit changes
+        uses: stefanzweifel/git-auto-commit-action@v4.7.2
+        with:
+          commit_message: 'Materialize Nix expressions'
+          file_pattern: 'nix/'
+
+      - name: Build
+        run: nix-build -A kore
+
+      - name: Run unit tests
+        run: nix-build -A project.kore.checks
+
+      - name: Check shell
+        run: nix-shell --run "echo OK"
+
+  cabal:
+    name: 'Cabal'
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v2.3.4
-      with:
-        submodules: recursive
-
-    - uses: actions/setup-haskell@v1.1.4
-      id: setup-haskell-cabal
-      with:
-        ghc-version: "8.10.1"
-        cabal-version: "3.2"
-
-    - name: Cache Cabal store
-      uses: actions/cache@v2
-      with:
-        path: ${{ steps.setup-haskell-cabal.outputs.cabal-store }}
-        key: ${{ runner.os }}-ghc-8.10.1-${{ hashFiles('cabal.project.freeze') }}
-
-    - name: Build project
-      run: cabal v2-build --enable-tests --enable-benchmarks all
-
-    - name: Configure with profiling
-      run: cabal v2-configure --enable-profiling -f-threaded
+      - name: Install prerequisites
+        run: |
+          sudo apt install --yes z3
+
+      - uses: actions/checkout@v2.3.4
+        with:
+          submodules: recursive
+
+      - uses: actions/setup-haskell@v1.1.4
+        id: setup-haskell-cabal
+        with:
+          ghc-version: "8.10.1"
+          cabal-version: "3.2"
+
+      - name: Cache Cabal store
+        uses: actions/cache@v2
+        with:
+          path: ${{ steps.setup-haskell-cabal.outputs.cabal-store }}
+          key: ${{ runner.os }}-ghc-8.10.1-${{ hashFiles('cabal.project.freeze') }}
+
+      - name: Build
+        run: cabal v2-build --enable-tests --enable-benchmarks all
+
+      - name: Run unit tests
+        run: cabal v2-test --test-show-details=direct all
+
+      - name: Configure with profiling
+        run: cabal v2-configure --enable-profiling -f-threaded
+
+  stack:
+    name: 'Stack'
+    runs-on: ubuntu-latest
+    steps:
+      - name: Install prerequisites
+        run: |
+          sudo apt install --yes z3
+
+      - uses: actions/checkout@v2.3.4
+        with:
+          submodules: recursive
+
+      - uses: actions/setup-haskell@v1.1.4
+        id: setup-haskell-stack
+        with:
+          enable-stack: true
+          stack-no-global: true
+          stack-setup-ghc: true
+
+      - name: Locate Stack root
+        id: locate-stack-root
+        run: |
+          echo "::set-output name=stack-root::$(stack path --stack-root)"
+
+      - name: Cache Stack root
+        uses: actions/cache@v2
+        with:
+          path: ${{ steps.locate-stack-root.outputs.stack-root }}
+          key: ${{ runner.os }}-ghc-8.10.1-${{ hashFiles('stack.yaml.lock') }}
+
+      - name: Build project
+        run: stack build --pedantic
+
+      - name: Run unit tests
+        run: stack test --pedantic
diff --git a/.gitignore b/.gitignore
index 668a3a514c..0ef203a236 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,7 +1,6 @@
 /.build/*
 /evm-semantics
 
-*.cache
 *.class
 *.iml
 *.ipr
diff --git a/README.md b/README.md
index 7f5bbaeaa1..659f54db83 100644
--- a/README.md
+++ b/README.md
@@ -44,23 +44,27 @@ If using `cabal`, version 3.0 or later is recommended.
 
 ## Developing
 
-Developers will require all the dependencies listed above.
-We also recommend (but not require!) the following dependencies.
+Developers will require all the dependencies listed above,
+in addition to the requirements and recommendations below.
+
+### Required dependencies
+
+For integration testing, we require:
+
+- GNU [make]
+- The [K Framework] frontend, or [curl] to fetch an appropriate version.
+  The frontend has other dependencies, most notably a Java runtime.
+
+### Recommended dependencies
 
 For setting up a development environment, we recommend:
 
 - [direnv] to make the project's tools available in shells and editors.
-- [ghcide] or [haskell-ide-engine], [language servers] for Haskell that are
+- [ghcide] or [haskell-language-server], [language servers] for Haskell that are
   compatible with most editors. See instructions
   [below](#running-a-language-server) to run a language server.
 - [hlint] and [stylish-haskell] for compliance with project guidelines.
 
-For integration testing, we also recommend:
-
-- GNU [make]
-- The [K Framework] frontend, or [curl] to fetch an appropriate version.
-  The frontend has other dependencies, most notably a Java runtime.
-
 ### Running a language server
 
 To run a language server, developers will need to activate the appropriate
@@ -85,9 +89,18 @@ cabal build --enable-tests --enable-benchmarks --only-dependencies kore
 
 ### Developing with Nix
 
-For developers so inclined, we provide a `shell.nix` expression with a suitable
-development environment and a binary cache at [kore.cachix.org]. The development
-environment is intended to be used with `nix-shell` and `cabal`.
+We provide a `shell.nix` expression with a suitable development environment and
+a binary cache at [kore.cachix.org]. The development environment is intended to
+be used with `nix-shell` and `cabal`.
+
+When the `.cabal` package description file changes, run:
+
+```.sh
+# Requires Nix to be installed.
+./nix/rematerialize.sh
+```
+
+This script is also run by an automatic workflow.
 
 
 [git]: https://git-scm.com/
@@ -98,8 +111,9 @@ environment is intended to be used with `nix-shell` and `cabal`.
 [make]: https://www.gnu.org/software/make/
 [direnv]: https://github.com/direnv/direnv
 [ghcide]: https://github.com/digital-asset/ghcide
-[haskell-ide-engine]: https://github.com/haskell/haskell-ide-engine
+[haskell-language-server]: https://github.com/haskell/haskell-language-server
 [language servers]: https://langserver.org/
 [hlint]: https://github.com/ndmitchell/hlint
 [stylish-haskell]: https://github.com/jaspervdj/stylish-haskell
 [kore.cachix.org]: https://kore.cachix.org/
+[Nix]: https://nixos.org
diff --git a/default.nix b/default.nix
index 37139f0319..784f35fffb 100644
--- a/default.nix
+++ b/default.nix
@@ -1,6 +1,7 @@
 { profiling ? false
 , release ? false
 , threaded ? !profiling
+, checkMaterialization ? false
 }:
 
 let
@@ -14,38 +15,34 @@ let
     in import haskell-nix.sources.nixpkgs-2003 args;
   inherit (pkgs) lib;
 
-  local =
-    if builtins.pathExists ./local.nix
-    then import ./local.nix { inherit default; }
-    else x: x;
-
-  project =
-    (args: pkgs.haskell-nix.stackProject (local args)) {
-      src = pkgs.haskell-nix.haskellLib.cleanGit { name = "kore"; src = ./.; };
-      modules = [
-        {
-          # package *
-          enableLibraryProfiling = true;
-          profilingDetail = "none";
-          # package kore
-          packages.kore = {
-            flags = {
-              inherit release threaded;
-            };
-            enableLibraryProfiling = profiling;
-            enableExecutableProfiling = profiling;
-            profilingDetail = "toplevel-functions";
-
-            # Add Z3 to PATH for unit tests.
-            components.tests.kore-test.preCheck = ''
-              export PATH="$PATH''${PATH:+:}${lib.getBin pkgs.z3}/bin"
-            '';
+  project = pkgs.haskell-nix.stackProject {
+    src = pkgs.haskell-nix.haskellLib.cleanGit { name = "kore"; src = ./.; };
+    inherit checkMaterialization;
+    materialized = ./nix/kore.nix.d;
+    modules = [
+      {
+        # package *
+        enableLibraryProfiling = true;
+        profilingDetail = "none";
+        # package kore
+        packages.kore = {
+          flags = {
+            inherit release threaded;
           };
-        }
-      ];
-    };
-
-  shell = import ./shell.nix { inherit default; };
+          enableLibraryProfiling = profiling;
+          enableExecutableProfiling = profiling;
+          profilingDetail = "toplevel-functions";
+
+          # Add Z3 to PATH for unit tests.
+          components.tests.kore-test.preCheck = ''
+            export PATH="$PATH''${PATH:+:}${lib.getBin pkgs.z3}/bin"
+          '';
+        };
+      }
+    ];
+  };
+
+  shell = import ./shell.nix { inherit default checkMaterialization; };
 
   version = project.kore.components.exes.kore-exec.version;
 
diff --git a/kore/kore.cabal b/kore/kore.cabal
index 7acdf5ed59..fc918af46c 100644
--- a/kore/kore.cabal
+++ b/kore/kore.cabal
@@ -10,8 +10,8 @@ description:    Please see the [README](README.md) file.
 category:       Language
 homepage:       https://github.com/kframework/kore#readme
 bug-reports:    https://github.com/kframework/kore/issues
-author:         Virgil Serbanuta
-maintainer:     virgil.serbanuta@runtimeverification.com
+author:         Runtime Verification Inc
+maintainer:     thomas.tuegel@runtimeverification.com
 copyright:      2018-2020 Runtime Verification Inc
 license:        NCSA
 license-file:   LICENSE
diff --git a/kore/package.yaml b/kore/package.yaml
index 22e0094dd6..6eadfd7405 100644
--- a/kore/package.yaml
+++ b/kore/package.yaml
@@ -3,8 +3,8 @@ version:             0.35.0.0
 github:              "kframework/kore"
 license:             NCSA
 license-file:        LICENSE
-author:              "Virgil Serbanuta"
-maintainer:          "virgil.serbanuta@runtimeverification.com"
+author:              "Runtime Verification Inc"
+maintainer:          "thomas.tuegel@runtimeverification.com"
 copyright:           "2018-2020 Runtime Verification Inc"
 category:            Language
 
diff --git a/nix/ghcide.nix.d/.stack-to-nix.cache b/nix/ghcide.nix.d/.stack-to-nix.cache
new file mode 100644
index 0000000000..e69de29bb2
diff --git a/nix/ghcide.nix.d/default.nix b/nix/ghcide.nix.d/default.nix
new file mode 100644
index 0000000000..c5467524f0
--- /dev/null
+++ b/nix/ghcide.nix.d/default.nix
@@ -0,0 +1,33 @@
+{
+  extras = hackage:
+    {
+      packages = {
+        "haskell-lsp" = (((hackage.haskell-lsp)."0.22.0.0").revisions).default;
+        "haskell-lsp-types" = (((hackage.haskell-lsp-types)."0.22.0.0").revisions).default;
+        "lsp-test" = (((hackage.lsp-test)."0.11.0.2").revisions).default;
+        "ghc-check" = (((hackage.ghc-check)."0.5.0.1").revisions).default;
+        "hie-bios" = (((hackage.hie-bios)."0.6.1").revisions).default;
+        "Chart-diagrams" = (((hackage.Chart-diagrams)."1.9.3").revisions).default;
+        "SVGFonts" = (((hackage.SVGFonts)."1.7.0.1").revisions).default;
+        "diagrams" = (((hackage.diagrams)."1.4").revisions).default;
+        "diagrams-svg" = (((hackage.diagrams-svg)."1.4.3").revisions).default;
+        "diagrams-contrib" = (((hackage.diagrams-contrib)."1.4.4").revisions).default;
+        "diagrams-core" = (((hackage.diagrams-core)."1.4.2").revisions).default;
+        "diagrams-lib" = (((hackage.diagrams-lib)."1.4.3").revisions).default;
+        "diagrams-postscript" = (((hackage.diagrams-postscript)."1.5").revisions).default;
+        "monoid-extras" = (((hackage.monoid-extras)."0.5.1").revisions).default;
+        "svg-builder" = (((hackage.svg-builder)."0.1.1").revisions).default;
+        "active" = (((hackage.active)."0.2.0.14").revisions).default;
+        "dual-tree" = (((hackage.dual-tree)."0.2.2.1").revisions).default;
+        "force-layout" = (((hackage.force-layout)."0.4.0.6").revisions).default;
+        "statestack" = (((hackage.statestack)."0.3").revisions).default;
+        ghcide = ./ghcide.nix;
+        };
+      };
+  resolver = "nightly-2020-06-19";
+  modules = [
+    ({ lib, ... }:
+      { packages = {}; })
+    { packages = { "ghcide" = { package = { ghcOptions = "-DSTACK"; }; }; }; }
+    ];
+  }
\ No newline at end of file
diff --git a/nix/ghcide.nix.d/ghcide.nix b/nix/ghcide.nix.d/ghcide.nix
new file mode 100644
index 0000000000..6b11451ec5
--- /dev/null
+++ b/nix/ghcide.nix.d/ghcide.nix
@@ -0,0 +1,303 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = { ghc-lib = false; };
+    package = {
+      specVersion = "1.20";
+      identifier = { name = "ghcide"; version = "0.2.0"; };
+      license = "Apache-2.0";
+      copyright = "Digital Asset 2018-2020";
+      maintainer = "Digital Asset";
+      author = "Digital Asset";
+      homepage = "https://github.com/digital-asset/ghcide#readme";
+      url = "";
+      synopsis = "The core of an IDE";
+      description = "A library for building Haskell IDE's on top of the GHC API.";
+      buildType = "Simple";
+      isLocal = true;
+      detailLevel = "FullDetails";
+      licenseFiles = [ "LICENSE" ];
+      dataDir = "";
+      dataFiles = [];
+      extraSrcFiles = [
+        "include/ghc-api-version.h"
+        "README.md"
+        "CHANGELOG.md"
+        "test/data/hover/*.hs"
+        "test/data/multi/cabal.project"
+        "test/data/multi/hie.yaml"
+        "test/data/multi/a/a.cabal"
+        "test/data/multi/a/*.hs"
+        "test/data/multi/b/b.cabal"
+        "test/data/multi/b/*.hs"
+        ];
+      extraTmpFiles = [];
+      extraDocFiles = [];
+      };
+    components = {
+      "library" = {
+        depends = ([
+          (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+          (hsPkgs."array" or (errorHandler.buildDepError "array"))
+          (hsPkgs."async" or (errorHandler.buildDepError "async"))
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."binary" or (errorHandler.buildDepError "binary"))
+          (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+          (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+          (hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
+          (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
+          (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+          (hsPkgs."extra" or (errorHandler.buildDepError "extra"))
+          (hsPkgs."fuzzy" or (errorHandler.buildDepError "fuzzy"))
+          (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+          (hsPkgs."haddock-library" or (errorHandler.buildDepError "haddock-library"))
+          (hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
+          (hsPkgs."haskell-lsp-types" or (errorHandler.buildDepError "haskell-lsp-types"))
+          (hsPkgs."haskell-lsp" or (errorHandler.buildDepError "haskell-lsp"))
+          (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+          (hsPkgs."network-uri" or (errorHandler.buildDepError "network-uri"))
+          (hsPkgs."prettyprinter-ansi-terminal" or (errorHandler.buildDepError "prettyprinter-ansi-terminal"))
+          (hsPkgs."prettyprinter-ansi-terminal" or (errorHandler.buildDepError "prettyprinter-ansi-terminal"))
+          (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter"))
+          (hsPkgs."regex-tdfa" or (errorHandler.buildDepError "regex-tdfa"))
+          (hsPkgs."rope-utf16-splay" or (errorHandler.buildDepError "rope-utf16-splay"))
+          (hsPkgs."safe-exceptions" or (errorHandler.buildDepError "safe-exceptions"))
+          (hsPkgs."shake" or (errorHandler.buildDepError "shake"))
+          (hsPkgs."sorted-list" or (errorHandler.buildDepError "sorted-list"))
+          (hsPkgs."stm" or (errorHandler.buildDepError "stm"))
+          (hsPkgs."syb" or (errorHandler.buildDepError "syb"))
+          (hsPkgs."text" or (errorHandler.buildDepError "text"))
+          (hsPkgs."time" or (errorHandler.buildDepError "time"))
+          (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
+          (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
+          (hsPkgs."utf8-string" or (errorHandler.buildDepError "utf8-string"))
+          (hsPkgs."hslogger" or (errorHandler.buildDepError "hslogger"))
+          ] ++ (if flags.ghc-lib
+          then [
+            (hsPkgs."ghc-lib" or (errorHandler.buildDepError "ghc-lib"))
+            (hsPkgs."ghc-lib-parser" or (errorHandler.buildDepError "ghc-lib-parser"))
+            ]
+          else [
+            (hsPkgs."ghc-boot-th" or (errorHandler.buildDepError "ghc-boot-th"))
+            (hsPkgs."ghc-boot" or (errorHandler.buildDepError "ghc-boot"))
+            (hsPkgs."ghc" or (errorHandler.buildDepError "ghc"))
+            ])) ++ (if system.isWindows
+          then [ (hsPkgs."Win32" or (errorHandler.buildDepError "Win32")) ]
+          else [ (hsPkgs."unix" or (errorHandler.buildDepError "unix")) ]);
+        buildable = true;
+        modules = (([
+          "Development/IDE/Core/Compile"
+          "Development/IDE/Core/Preprocessor"
+          "Development/IDE/Core/FileExists"
+          "Development/IDE/GHC/Compat"
+          "Development/IDE/GHC/CPP"
+          "Development/IDE/GHC/Orphans"
+          "Development/IDE/GHC/Warnings"
+          "Development/IDE/GHC/WithDynFlags"
+          "Development/IDE/Import/FindImports"
+          "Development/IDE/LSP/Notifications"
+          "Development/IDE/Spans/AtPoint"
+          "Development/IDE/Spans/Calculate"
+          "Development/IDE/Spans/Documentation"
+          "Development/IDE/Spans/Type"
+          "Development/IDE/Plugin/CodeAction/PositionIndexed"
+          "Development/IDE/Plugin/CodeAction/Rules"
+          "Development/IDE/Plugin/CodeAction/RuleTypes"
+          "Development/IDE/Plugin/Completions/Logic"
+          "Development/IDE/Plugin/Completions/Types"
+          "Development/IDE/Compat"
+          "Development/IDE/Core/Debouncer"
+          "Development/IDE/Core/FileStore"
+          "Development/IDE/Core/IdeConfiguration"
+          "Development/IDE/Core/OfInterest"
+          "Development/IDE/Core/PositionMapping"
+          "Development/IDE/Core/Rules"
+          "Development/IDE/Core/RuleTypes"
+          "Development/IDE/Core/Service"
+          "Development/IDE/Core/Shake"
+          "Development/IDE/GHC/Error"
+          "Development/IDE/GHC/Util"
+          "Development/IDE/Import/DependencyInformation"
+          "Development/IDE/LSP/HoverDefinition"
+          "Development/IDE/LSP/LanguageServer"
+          "Development/IDE/LSP/Outline"
+          "Development/IDE/LSP/Protocol"
+          "Development/IDE/LSP/Server"
+          "Development/IDE/Spans/Common"
+          "Development/IDE/Types/Diagnostics"
+          "Development/IDE/Types/Location"
+          "Development/IDE/Types/Logger"
+          "Development/IDE/Types/Options"
+          "Development/IDE/Plugin"
+          "Development/IDE/Plugin/Completions"
+          "Development/IDE/Plugin/CodeAction"
+          ] ++ (pkgs.lib).optionals (compiler.isGhc && (compiler.version).gt "8.5" && (compiler.isGhc && (compiler.version).lt "8.7") && !flags.ghc-lib) [
+          "Development/IDE/GHC/HieAst"
+          "Development/IDE/GHC/HieBin"
+          "Development/IDE/GHC/HieTypes"
+          "Development/IDE/GHC/HieDebug"
+          "Development/IDE/GHC/HieUtils"
+          ]) ++ (pkgs.lib).optionals (compiler.isGhc && (compiler.version).gt "8.7" && (compiler.isGhc && (compiler.version).lt "8.10") || flags.ghc-lib) [
+          "Development/IDE/GHC/HieAst"
+          "Development/IDE/GHC/HieBin"
+          ]) ++ (pkgs.lib).optionals (compiler.isGhc && (compiler.version).gt "8.9") [
+          "Development/IDE/GHC/HieAst"
+          "Development/IDE/GHC/HieBin"
+          ];
+        cSources = (pkgs.lib).optional (!system.isWindows) "cbits/getmodtime.c";
+        hsSourceDirs = (([
+          "src"
+          ] ++ (pkgs.lib).optional (compiler.isGhc && (compiler.version).gt "8.5" && (compiler.isGhc && (compiler.version).lt "8.7") && !flags.ghc-lib) "src-ghc86") ++ (pkgs.lib).optional (compiler.isGhc && (compiler.version).gt "8.7" && (compiler.isGhc && (compiler.version).lt "8.10") || flags.ghc-lib) "src-ghc88") ++ (pkgs.lib).optional (compiler.isGhc && (compiler.version).gt "8.9") "src-ghc810";
+        includeDirs = [ "include" ];
+        };
+      exes = {
+        "ghcide-test-preprocessor" = {
+          depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ];
+          buildable = true;
+          hsSourceDirs = [ "test/preprocessor" ];
+          mainPath = [ "Main.hs" ];
+          };
+        "ghcide" = {
+          depends = [
+            (hsPkgs."time" or (errorHandler.buildDepError "time"))
+            (hsPkgs."async" or (errorHandler.buildDepError "async"))
+            (hsPkgs."hslogger" or (errorHandler.buildDepError "hslogger"))
+            (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."binary" or (errorHandler.buildDepError "binary"))
+            (hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring"))
+            (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."cryptohash-sha1" or (errorHandler.buildDepError "cryptohash-sha1"))
+            (hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
+            (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
+            (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+            (hsPkgs."extra" or (errorHandler.buildDepError "extra"))
+            (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+            (hsPkgs."ghc-check" or (errorHandler.buildDepError "ghc-check"))
+            (hsPkgs."ghc-paths" or (errorHandler.buildDepError "ghc-paths"))
+            (hsPkgs."ghc" or (errorHandler.buildDepError "ghc"))
+            (hsPkgs."gitrev" or (errorHandler.buildDepError "gitrev"))
+            (hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
+            (hsPkgs."haskell-lsp" or (errorHandler.buildDepError "haskell-lsp"))
+            (hsPkgs."haskell-lsp-types" or (errorHandler.buildDepError "haskell-lsp-types"))
+            (hsPkgs."hie-bios" or (errorHandler.buildDepError "hie-bios"))
+            (hsPkgs."ghcide" or (errorHandler.buildDepError "ghcide"))
+            (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
+            (hsPkgs."safe-exceptions" or (errorHandler.buildDepError "safe-exceptions"))
+            (hsPkgs."shake" or (errorHandler.buildDepError "shake"))
+            (hsPkgs."text" or (errorHandler.buildDepError "text"))
+            (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
+            ];
+          buildable = if flags.ghc-lib then false else true;
+          modules = [ "Arguments" "Paths_ghcide" ];
+          hsSourceDirs = [ "exe" ];
+          mainPath = [ "Main.hs" ] ++ (pkgs.lib).optional (flags.ghc-lib) "";
+          };
+        "ghcide-bench" = {
+          depends = [
+            (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+            (hsPkgs."extra" or (errorHandler.buildDepError "extra"))
+            (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+            (hsPkgs."ghcide" or (errorHandler.buildDepError "ghcide"))
+            (hsPkgs."lsp-test" or (errorHandler.buildDepError "lsp-test"))
+            (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
+            (hsPkgs."process" or (errorHandler.buildDepError "process"))
+            (hsPkgs."safe-exceptions" or (errorHandler.buildDepError "safe-exceptions"))
+            ];
+          build-tools = [
+            (hsPkgs.buildPackages.ghcide or (pkgs.buildPackages.ghcide or (errorHandler.buildToolDepError "ghcide")))
+            ];
+          buildable = true;
+          modules = [ "Experiments" ];
+          hsSourceDirs = [ "bench/lib" "bench/exe" ];
+          includeDirs = [ "include" ];
+          mainPath = [ "Main.hs" ];
+          };
+        };
+      tests = {
+        "ghcide-tests" = {
+          depends = [
+            (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+            (hsPkgs."extra" or (errorHandler.buildDepError "extra"))
+            (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+            (hsPkgs."ghc" or (errorHandler.buildDepError "ghc"))
+            (hsPkgs."ghcide" or (errorHandler.buildDepError "ghcide"))
+            (hsPkgs."ghc-typelits-knownnat" or (errorHandler.buildDepError "ghc-typelits-knownnat"))
+            (hsPkgs."haddock-library" or (errorHandler.buildDepError "haddock-library"))
+            (hsPkgs."haskell-lsp" or (errorHandler.buildDepError "haskell-lsp"))
+            (hsPkgs."haskell-lsp-types" or (errorHandler.buildDepError "haskell-lsp-types"))
+            (hsPkgs."network-uri" or (errorHandler.buildDepError "network-uri"))
+            (hsPkgs."lens" or (errorHandler.buildDepError "lens"))
+            (hsPkgs."lsp-test" or (errorHandler.buildDepError "lsp-test"))
+            (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
+            (hsPkgs."process" or (errorHandler.buildDepError "process"))
+            (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
+            (hsPkgs."quickcheck-instances" or (errorHandler.buildDepError "quickcheck-instances"))
+            (hsPkgs."rope-utf16-splay" or (errorHandler.buildDepError "rope-utf16-splay"))
+            (hsPkgs."safe-exceptions" or (errorHandler.buildDepError "safe-exceptions"))
+            (hsPkgs."shake" or (errorHandler.buildDepError "shake"))
+            (hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
+            (hsPkgs."tasty-expected-failure" or (errorHandler.buildDepError "tasty-expected-failure"))
+            (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit"))
+            (hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck"))
+            (hsPkgs."tasty-rerun" or (errorHandler.buildDepError "tasty-rerun"))
+            (hsPkgs."text" or (errorHandler.buildDepError "text"))
+            ];
+          build-tools = [
+            (hsPkgs.buildPackages.ghcide or (pkgs.buildPackages.ghcide or (errorHandler.buildToolDepError "ghcide")))
+            (hsPkgs.buildPackages.ghcide or (pkgs.buildPackages.ghcide or (errorHandler.buildToolDepError "ghcide")))
+            ];
+          buildable = if flags.ghc-lib then false else true;
+          modules = [
+            "Development/IDE/Test"
+            "Development/IDE/Test/Runfiles"
+            "Experiments"
+            ];
+          hsSourceDirs = [ "test/cabal" "test/exe" "test/src" "bench/lib" ];
+          includeDirs = [ "include" ];
+          mainPath = [ "Main.hs" ];
+          };
+        };
+      benchmarks = {
+        "benchHist" = {
+          depends = [
+            (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."Chart" or (errorHandler.buildDepError "Chart"))
+            (hsPkgs."Chart-diagrams" or (errorHandler.buildDepError "Chart-diagrams"))
+            (hsPkgs."diagrams" or (errorHandler.buildDepError "diagrams"))
+            (hsPkgs."diagrams-svg" or (errorHandler.buildDepError "diagrams-svg"))
+            (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+            (hsPkgs."extra" or (errorHandler.buildDepError "extra"))
+            (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+            (hsPkgs."shake" or (errorHandler.buildDepError "shake"))
+            (hsPkgs."text" or (errorHandler.buildDepError "text"))
+            (hsPkgs."yaml" or (errorHandler.buildDepError "yaml"))
+            ];
+          build-tools = [
+            (hsPkgs.buildPackages.ghcide or (pkgs.buildPackages.ghcide or (errorHandler.buildToolDepError "ghcide")))
+            (hsPkgs.buildPackages.ghcide or (pkgs.buildPackages.ghcide or (errorHandler.buildToolDepError "ghcide")))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    } // rec {
+    src = (pkgs.lib).mkDefault ./.;
+    }
\ No newline at end of file
diff --git a/nix/hlint.nix.d/.stack-to-nix.cache b/nix/hlint.nix.d/.stack-to-nix.cache
new file mode 100644
index 0000000000..e69de29bb2
diff --git a/nix/hlint.nix.d/default.nix b/nix/hlint.nix.d/default.nix
new file mode 100644
index 0000000000..7445ff640d
--- /dev/null
+++ b/nix/hlint.nix.d/default.nix
@@ -0,0 +1,28 @@
+{
+  extras = hackage:
+    {
+      packages = {
+        "ghc-lib-parser" = (((hackage.ghc-lib-parser)."8.10.2.20200808").revisions).default;
+        "ghc-lib-parser-ex" = (((hackage.ghc-lib-parser-ex)."8.10.0.16").revisions).default;
+        "extra" = (((hackage.extra)."1.7.3").revisions).default;
+        "apply-refact" = (((hackage.apply-refact)."0.8.2.0").revisions).default;
+        "ghc-exactprint" = (((hackage.ghc-exactprint)."0.6.3.1").revisions).default;
+        "optparse-applicative" = (((hackage.optparse-applicative)."0.15.1.0").revisions).default;
+        hlint = ./hlint.nix;
+        };
+      };
+  resolver = "lts-14.20";
+  modules = [
+    ({ lib, ... }:
+      { packages = {}; })
+    {
+      packages = {
+        "$locals" = {
+          package = {
+            ghcOptions = "-ddump-to-file -ddump-hi -Werror=unused-imports -Werror=unused-top-binds -Werror=orphans";
+            };
+          };
+        };
+      }
+    ];
+  }
\ No newline at end of file
diff --git a/nix/hlint.nix.d/hlint.nix b/nix/hlint.nix.d/hlint.nix
new file mode 100644
index 0000000000..731cfe0b21
--- /dev/null
+++ b/nix/hlint.nix.d/hlint.nix
@@ -0,0 +1,160 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = { threaded = true; gpl = true; ghc-lib = false; hsyaml = false; };
+    package = {
+      specVersion = "1.18";
+      identifier = { name = "hlint"; version = "3.2"; };
+      license = "BSD-3-Clause";
+      copyright = "Neil Mitchell 2006-2020";
+      maintainer = "Neil Mitchell <ndmitchell@gmail.com>";
+      author = "Neil Mitchell <ndmitchell@gmail.com>";
+      homepage = "https://github.com/ndmitchell/hlint#readme";
+      url = "";
+      synopsis = "Source code suggestions";
+      description = "HLint gives suggestions on how to improve your source code.";
+      buildType = "Simple";
+      isLocal = true;
+      detailLevel = "FullDetails";
+      licenseFiles = [ "LICENSE" ];
+      dataDir = "data";
+      dataFiles = [
+        "hlint.yaml"
+        "default.yaml"
+        "Test.hs"
+        "report_template.html"
+        "hs-lint.el"
+        "hlint.1"
+        "hlint.ghci"
+        "HLint_QuickCheck.hs"
+        "HLint_TypeCheck.hs"
+        ];
+      extraSrcFiles = [];
+      extraTmpFiles = [];
+      extraDocFiles = [ "README.md" "CHANGES.txt" ];
+      };
+    components = {
+      "library" = {
+        depends = (([
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."process" or (errorHandler.buildDepError "process"))
+          (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+          (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+          (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+          (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
+          (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+          (hsPkgs."text" or (errorHandler.buildDepError "text"))
+          (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+          (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
+          (hsPkgs."file-embed" or (errorHandler.buildDepError "file-embed"))
+          (hsPkgs."utf8-string" or (errorHandler.buildDepError "utf8-string"))
+          (hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
+          (hsPkgs."cpphs" or (errorHandler.buildDepError "cpphs"))
+          (hsPkgs."cmdargs" or (errorHandler.buildDepError "cmdargs"))
+          (hsPkgs."uniplate" or (errorHandler.buildDepError "uniplate"))
+          (hsPkgs."ansi-terminal" or (errorHandler.buildDepError "ansi-terminal"))
+          (hsPkgs."extra" or (errorHandler.buildDepError "extra"))
+          (hsPkgs."refact" or (errorHandler.buildDepError "refact"))
+          (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+          (hsPkgs."filepattern" or (errorHandler.buildDepError "filepattern"))
+          (hsPkgs."ghc-lib-parser-ex" or (errorHandler.buildDepError "ghc-lib-parser-ex"))
+          ] ++ (if !flags.ghc-lib && (compiler.isGhc && (compiler.version).ge "8.10.0") && (compiler.isGhc && (compiler.version).lt "8.11.0")
+          then [
+            (hsPkgs."ghc" or (errorHandler.buildDepError "ghc"))
+            (hsPkgs."ghc-boot-th" or (errorHandler.buildDepError "ghc-boot-th"))
+            (hsPkgs."ghc-boot" or (errorHandler.buildDepError "ghc-boot"))
+            ]
+          else [
+            (hsPkgs."ghc-lib-parser" or (errorHandler.buildDepError "ghc-lib-parser"))
+            ])) ++ (pkgs.lib).optional (flags.gpl) (hsPkgs."hscolour" or (errorHandler.buildDepError "hscolour"))) ++ (if flags.hsyaml
+          then [
+            (hsPkgs."HsYAML" or (errorHandler.buildDepError "HsYAML"))
+            (hsPkgs."HsYAML-aeson" or (errorHandler.buildDepError "HsYAML-aeson"))
+            ]
+          else [ (hsPkgs."yaml" or (errorHandler.buildDepError "yaml")) ]);
+        buildable = true;
+        modules = [
+          "Paths_hlint"
+          "Apply"
+          "CmdLine"
+          "Extension"
+          "Fixity"
+          "HLint"
+          "HsColour"
+          "Idea"
+          "Report"
+          "Util"
+          "Parallel"
+          "Refact"
+          "Timing"
+          "CC"
+          "EmbedData"
+          "Summary"
+          "Config/Compute"
+          "Config/Haskell"
+          "Config/Read"
+          "Config/Type"
+          "Config/Yaml"
+          "GHC/All"
+          "GHC/Util"
+          "GHC/Util/ApiAnnotation"
+          "GHC/Util/View"
+          "GHC/Util/Brackets"
+          "GHC/Util/DynFlags"
+          "GHC/Util/FreeVars"
+          "GHC/Util/HsDecl"
+          "GHC/Util/HsExpr"
+          "GHC/Util/SrcLoc"
+          "GHC/Util/Scope"
+          "GHC/Util/Unify"
+          "Hint/All"
+          "Hint/Bracket"
+          "Hint/Comment"
+          "Hint/Duplicate"
+          "Hint/Export"
+          "Hint/Extensions"
+          "Hint/Import"
+          "Hint/Lambda"
+          "Hint/List"
+          "Hint/ListRec"
+          "Hint/Match"
+          "Hint/Monad"
+          "Hint/Naming"
+          "Hint/NewType"
+          "Hint/Pattern"
+          "Hint/Pragma"
+          "Hint/Restrict"
+          "Hint/Smell"
+          "Hint/Type"
+          "Hint/Unsafe"
+          "Test/All"
+          "Test/Annotations"
+          "Test/InputOutput"
+          "Test/Util"
+          "Language/Haskell/HLint"
+          ];
+        hsSourceDirs = [ "src" ];
+        };
+      exes = {
+        "hlint" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."hlint" or (errorHandler.buildDepError "hlint"))
+            ];
+          buildable = true;
+          mainPath = [
+            "src/Main.hs"
+            ] ++ (pkgs.lib).optional (flags.threaded) "";
+          };
+        };
+      };
+    } // rec {
+    src = (pkgs.lib).mkDefault ./.;
+    }
\ No newline at end of file
diff --git a/nix/kore.nix.d/.stack-to-nix.cache b/nix/kore.nix.d/.stack-to-nix.cache
new file mode 100644
index 0000000000..184ee38f60
--- /dev/null
+++ b/nix/kore.nix.d/.stack-to-nix.cache
@@ -0,0 +1,4 @@
+https://github.com/ttuegel/tasty-test-reporter.git e411234da88d3f32dfe1319c5edce478abf5115b . 1n8xah66agmcrchpi9gf448c8b6kmgcc66jifsx6dnxx8f8wm9y4 tasty-test-reporter .stack-to-nix.cache.0
+https://github.com/ttuegel/pipes-ghc-events.git 780b479300bd165f58b3bdd5f941ea81844fc937 eventlog2speedscope 1qhpyx179n3zkaadvw8x411rqcvv12lvnnhkaxfa5fqm78bp2yzy eventlog2speedscope .stack-to-nix.cache.1
+https://github.com/ttuegel/pipes-ghc-events.git 780b479300bd165f58b3bdd5f941ea81844fc937 pipes-ghc-events 1qhpyx179n3zkaadvw8x411rqcvv12lvnnhkaxfa5fqm78bp2yzy pipes-ghc-events .stack-to-nix.cache.2
+https://github.com/ttuegel/pipes-sqlite-simple.git a3920f053f92e76f2a7ff7c68e34f9e926817702 . 13iag206szfmc8ng77j6qjb6r91ysy9qkvijmf9n9dclvmb1g8an pipes-sqlite-simple .stack-to-nix.cache.3
diff --git a/nix/kore.nix.d/.stack-to-nix.cache.0 b/nix/kore.nix.d/.stack-to-nix.cache.0
new file mode 100644
index 0000000000..8dff85ab7f
--- /dev/null
+++ b/nix/kore.nix.d/.stack-to-nix.cache.0
@@ -0,0 +1,58 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "1.18";
+      identifier = { name = "tasty-test-reporter"; version = "0.1.1.1"; };
+      license = "BSD-3-Clause";
+      copyright = "2020 Christoph Hermann";
+      maintainer = "schtoeffel@gmail.com";
+      author = "Christoph Hermann";
+      homepage = "https://github.com/stoeffel/tasty-test-reporter#readme";
+      url = "";
+      synopsis = "Producing JUnit-style XML test reports.";
+      description = "Please see the README at <https://github.com/stoeffel/tasty-test-reporter>.";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."ansi-terminal" or (errorHandler.buildDepError "ansi-terminal"))
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."concurrent-output" or (errorHandler.buildDepError "concurrent-output"))
+          (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+          (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+          (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+          (hsPkgs."junit-xml" or (errorHandler.buildDepError "junit-xml"))
+          (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+          (hsPkgs."safe-exceptions" or (errorHandler.buildDepError "safe-exceptions"))
+          (hsPkgs."stm" or (errorHandler.buildDepError "stm"))
+          (hsPkgs."tagged" or (errorHandler.buildDepError "tagged"))
+          (hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
+          (hsPkgs."text" or (errorHandler.buildDepError "text"))
+          ];
+        buildable = true;
+        };
+      tests = {
+        "spec" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
+            (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit"))
+            (hsPkgs."tasty-test-reporter" or (errorHandler.buildDepError "tasty-test-reporter"))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    } // rec {
+    src = (pkgs.lib).mkDefault /nix/store/nj6ylibif8ib91d9dj20v96kcp8gx2ql-tasty-test-reporter-e411234;
+    }
diff --git a/nix/kore.nix.d/.stack-to-nix.cache.1 b/nix/kore.nix.d/.stack-to-nix.cache.1
new file mode 100644
index 0000000000..e6414eacd0
--- /dev/null
+++ b/nix/kore.nix.d/.stack-to-nix.cache.1
@@ -0,0 +1,66 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "2.2";
+      identifier = { name = "eventlog2speedscope"; version = "0.1.0"; };
+      license = "BSD-3-Clause";
+      copyright = "(c) 2019 Thomas Tuegel";
+      maintainer = "ttuegel@mailbox.org";
+      author = "Thomas Tuegel";
+      homepage = "";
+      url = "";
+      synopsis = "Visualize user events with speedscope";
+      description = "";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+          (hsPkgs."binary" or (errorHandler.buildDepError "binary"))
+          (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+          (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+          (hsPkgs."generic-lens" or (errorHandler.buildDepError "generic-lens"))
+          (hsPkgs."ghc-events" or (errorHandler.buildDepError "ghc-events"))
+          (hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
+          (hsPkgs."lens" or (errorHandler.buildDepError "lens"))
+          (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+          (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
+          (hsPkgs."pipes" or (errorHandler.buildDepError "pipes"))
+          (hsPkgs."pipes-aeson" or (errorHandler.buildDepError "pipes-aeson"))
+          (hsPkgs."pipes-bytestring" or (errorHandler.buildDepError "pipes-bytestring"))
+          (hsPkgs."pipes-ghc-events" or (errorHandler.buildDepError "pipes-ghc-events"))
+          (hsPkgs."pipes-parse" or (errorHandler.buildDepError "pipes-parse"))
+          (hsPkgs."pipes-safe" or (errorHandler.buildDepError "pipes-safe"))
+          (hsPkgs."pipes-sqlite-simple" or (errorHandler.buildDepError "pipes-sqlite-simple"))
+          (hsPkgs."sqlite-simple" or (errorHandler.buildDepError "sqlite-simple"))
+          (hsPkgs."text" or (errorHandler.buildDepError "text"))
+          (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
+          (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
+          ];
+        buildable = true;
+        };
+      exes = {
+        "eventlog2speedscope" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."eventlog2speedscope" or (errorHandler.buildDepError "eventlog2speedscope"))
+            (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    } // rec {
+    src = (pkgs.lib).mkDefault /nix/store/b0g4d3asz48ir0hmp6nz1nkxcjxl2cx8-pipes-ghc-events-780b479/eventlog2speedscope;
+    }
diff --git a/nix/kore.nix.d/.stack-to-nix.cache.2 b/nix/kore.nix.d/.stack-to-nix.cache.2
new file mode 100644
index 0000000000..2c173b6d6d
--- /dev/null
+++ b/nix/kore.nix.d/.stack-to-nix.cache.2
@@ -0,0 +1,40 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "2.2";
+      identifier = { name = "pipes-ghc-events"; version = "0.1.0.0"; };
+      license = "BSD-3-Clause";
+      copyright = "(c) 2019 Thomas Tuegel";
+      maintainer = "ttuegel@mailbox.org";
+      author = "Thomas Tuegel";
+      homepage = "";
+      url = "";
+      synopsis = "Compositional pipelines for parsing .eventlog files";
+      description = "";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+          (hsPkgs."ghc-events" or (errorHandler.buildDepError "ghc-events"))
+          (hsPkgs."pipes" or (errorHandler.buildDepError "pipes"))
+          (hsPkgs."pipes-parse" or (errorHandler.buildDepError "pipes-parse"))
+          (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
+          ];
+        buildable = true;
+        };
+      };
+    } // rec {
+    src = (pkgs.lib).mkDefault /nix/store/b0g4d3asz48ir0hmp6nz1nkxcjxl2cx8-pipes-ghc-events-780b479/pipes-ghc-events;
+    }
diff --git a/nix/kore.nix.d/.stack-to-nix.cache.3 b/nix/kore.nix.d/.stack-to-nix.cache.3
new file mode 100644
index 0000000000..ac1c65f7a5
--- /dev/null
+++ b/nix/kore.nix.d/.stack-to-nix.cache.3
@@ -0,0 +1,39 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "2.2";
+      identifier = { name = "pipes-sqlite-simple"; version = "0.2"; };
+      license = "BSD-3-Clause";
+      copyright = "";
+      maintainer = "nkpart@gmail.com";
+      author = "Nick Partridge";
+      homepage = "";
+      url = "";
+      synopsis = "Functions that smash Pipes and sqlite-simple together";
+      description = "Functions that smash Pipes and sqlite-simple together";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."text" or (errorHandler.buildDepError "text"))
+          (hsPkgs."pipes" or (errorHandler.buildDepError "pipes"))
+          (hsPkgs."pipes-safe" or (errorHandler.buildDepError "pipes-safe"))
+          (hsPkgs."sqlite-simple" or (errorHandler.buildDepError "sqlite-simple"))
+          ];
+        buildable = true;
+        };
+      };
+    } // rec {
+    src = (pkgs.lib).mkDefault /nix/store/zsaa1acvqilir1k6q1an1k6fndqi39x8-pipes-sqlite-simple-a3920f0;
+    }
diff --git a/nix/kore.nix.d/default.nix b/nix/kore.nix.d/default.nix
new file mode 100644
index 0000000000..d04d863cf9
--- /dev/null
+++ b/nix/kore.nix.d/default.nix
@@ -0,0 +1,23 @@
+{
+  extras = hackage:
+    {
+      packages = {
+        "ghc-trace-events" = (((hackage.ghc-trace-events)."0.1.2.1").revisions).default;
+        "monoidal-containers" = (((hackage.monoidal-containers)."0.6.0.1").revisions).default;
+        "newtype" = (((hackage.newtype)."0.2.2.0").revisions).default;
+        "sqlite-simple" = (((hackage.sqlite-simple)."0.4.18.0").revisions).default;
+        "direct-sqlite" = (((hackage.direct-sqlite)."2.3.26").revisions).default;
+        "witherable" = (((hackage.witherable)."0.3.5").revisions).default;
+        "witherable-class" = (((hackage.witherable-class)."0").revisions).default;
+        "junit-xml" = (((hackage.junit-xml)."0.1.0.0").revisions).default;
+        "ghc-events" = (((hackage.ghc-events)."0.13.0").revisions).default;
+        kore = ./kore.nix;
+        tasty-test-reporter = ./.stack-to-nix.cache.0;
+        eventlog2speedscope = ./.stack-to-nix.cache.1;
+        pipes-ghc-events = ./.stack-to-nix.cache.2;
+        pipes-sqlite-simple = ./.stack-to-nix.cache.3;
+        };
+      };
+  resolver = "nightly-2020-07-19";
+  modules = [ ({ lib, ... }: { packages = {}; }) { packages = {}; } ];
+  }
\ No newline at end of file
diff --git a/nix/kore.nix.d/kore.nix b/nix/kore.nix.d/kore.nix
new file mode 100644
index 0000000000..b34719dff5
--- /dev/null
+++ b/nix/kore.nix.d/kore.nix
@@ -0,0 +1,1094 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  ({
+    flags = { release = false; threaded = true; };
+    package = {
+      specVersion = "2.2";
+      identifier = { name = "kore"; version = "0.35.0.0"; };
+      license = "NCSA";
+      copyright = "2018-2020 Runtime Verification Inc";
+      maintainer = "thomas.tuegel@runtimeverification.com";
+      author = "Runtime Verification Inc";
+      homepage = "https://github.com/kframework/kore#readme";
+      url = "";
+      synopsis = "";
+      description = "Please see the [README](README.md) file.";
+      buildType = "Simple";
+      isLocal = true;
+      detailLevel = "FullDetails";
+      licenseFiles = [ "LICENSE" ];
+      dataDir = "data";
+      dataFiles = [];
+      extraSrcFiles = [ "README.md" "CHANGELOG.md" ];
+      extraTmpFiles = [];
+      extraDocFiles = [];
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."adjunctions" or (errorHandler.buildDepError "adjunctions"))
+          (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+          (hsPkgs."array" or (errorHandler.buildDepError "array"))
+          (hsPkgs."async" or (errorHandler.buildDepError "async"))
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+          (hsPkgs."clock" or (errorHandler.buildDepError "clock"))
+          (hsPkgs."co-log" or (errorHandler.buildDepError "co-log"))
+          (hsPkgs."comonad" or (errorHandler.buildDepError "comonad"))
+          (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+          (hsPkgs."cryptonite" or (errorHandler.buildDepError "cryptonite"))
+          (hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
+          (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
+          (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+          (hsPkgs."distributive" or (errorHandler.buildDepError "distributive"))
+          (hsPkgs."errors" or (errorHandler.buildDepError "errors"))
+          (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
+          (hsPkgs."extra" or (errorHandler.buildDepError "extra"))
+          (hsPkgs."fgl" or (errorHandler.buildDepError "fgl"))
+          (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+          (hsPkgs."free" or (errorHandler.buildDepError "free"))
+          (hsPkgs."generic-lens" or (errorHandler.buildDepError "generic-lens"))
+          (hsPkgs."generics-sop" or (errorHandler.buildDepError "generics-sop"))
+          (hsPkgs."ghc-trace-events" or (errorHandler.buildDepError "ghc-trace-events"))
+          (hsPkgs."gitrev" or (errorHandler.buildDepError "gitrev"))
+          (hsPkgs."graphviz" or (errorHandler.buildDepError "graphviz"))
+          (hsPkgs."groom" or (errorHandler.buildDepError "groom"))
+          (hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
+          (hsPkgs."haskeline" or (errorHandler.buildDepError "haskeline"))
+          (hsPkgs."integer-gmp" or (errorHandler.buildDepError "integer-gmp"))
+          (hsPkgs."lens" or (errorHandler.buildDepError "lens"))
+          (hsPkgs."logict" or (errorHandler.buildDepError "logict"))
+          (hsPkgs."megaparsec" or (errorHandler.buildDepError "megaparsec"))
+          (hsPkgs."memory" or (errorHandler.buildDepError "memory"))
+          (hsPkgs."mmorph" or (errorHandler.buildDepError "mmorph"))
+          (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+          (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
+          (hsPkgs."parser-combinators" or (errorHandler.buildDepError "parser-combinators"))
+          (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter"))
+          (hsPkgs."process" or (errorHandler.buildDepError "process"))
+          (hsPkgs."profunctors" or (errorHandler.buildDepError "profunctors"))
+          (hsPkgs."recursion-schemes" or (errorHandler.buildDepError "recursion-schemes"))
+          (hsPkgs."reflection" or (errorHandler.buildDepError "reflection"))
+          (hsPkgs."semialign" or (errorHandler.buildDepError "semialign"))
+          (hsPkgs."sqlite-simple" or (errorHandler.buildDepError "sqlite-simple"))
+          (hsPkgs."stm" or (errorHandler.buildDepError "stm"))
+          (hsPkgs."streams" or (errorHandler.buildDepError "streams"))
+          (hsPkgs."tar" or (errorHandler.buildDepError "tar"))
+          (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
+          (hsPkgs."temporary" or (errorHandler.buildDepError "temporary"))
+          (hsPkgs."text" or (errorHandler.buildDepError "text"))
+          (hsPkgs."these" or (errorHandler.buildDepError "these"))
+          (hsPkgs."time" or (errorHandler.buildDepError "time"))
+          (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
+          (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
+          (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+          (hsPkgs."witherable" or (errorHandler.buildDepError "witherable"))
+          (hsPkgs."zlib" or (errorHandler.buildDepError "zlib"))
+          ];
+        build-tools = [
+          (hsPkgs.buildPackages.tasty-discover or (pkgs.buildPackages.tasty-discover or (errorHandler.buildToolDepError "tasty-discover")))
+          ];
+        buildable = true;
+        modules = [
+          "Paths_kore"
+          "Changed"
+          "Control/Monad/Counter"
+          "Data/Graph/TopologicalSort"
+          "Data/Limit"
+          "Data/Sup"
+          "Debug"
+          "ErrorContext"
+          "From"
+          "Injection"
+          "Kore/AST/ApplicativeKore"
+          "Kore/AST/AstWithLocation"
+          "Kore/AST/Common"
+          "Kore/AST/Error"
+          "Kore/ASTVerifier/AliasVerifier"
+          "Kore/ASTVerifier/AttributesVerifier"
+          "Kore/ASTVerifier/DefinitionVerifier"
+          "Kore/ASTVerifier/Error"
+          "Kore/ASTVerifier/ModuleVerifier"
+          "Kore/ASTVerifier/PatternVerifier"
+          "Kore/ASTVerifier/PatternVerifier/PatternVerifier"
+          "Kore/ASTVerifier/SentenceVerifier"
+          "Kore/ASTVerifier/SortVerifier"
+          "Kore/ASTVerifier/Verifier"
+          "Kore/Attribute/Assoc"
+          "Kore/Attribute/Attributes"
+          "Kore/Attribute/Axiom"
+          "Kore/Attribute/Axiom/Concrete"
+          "Kore/Attribute/Axiom/Constructor"
+          "Kore/Attribute/Axiom/Symbolic"
+          "Kore/Attribute/Axiom/Unit"
+          "Kore/Attribute/Comm"
+          "Kore/Attribute/Constructor"
+          "Kore/Attribute/Function"
+          "Kore/Attribute/Functional"
+          "Kore/Attribute/Hook"
+          "Kore/Attribute/Idem"
+          "Kore/Attribute/Injective"
+          "Kore/Attribute/Label"
+          "Kore/Attribute/Location"
+          "Kore/Attribute/Null"
+          "Kore/Attribute/Overload"
+          "Kore/Attribute/Owise"
+          "Kore/Attribute/Parser"
+          "Kore/Attribute/Pattern"
+          "Kore/Attribute/Pattern/ConstructorLike"
+          "Kore/Attribute/Pattern/Created"
+          "Kore/Attribute/Pattern/Defined"
+          "Kore/Attribute/Pattern/FreeVariables"
+          "Kore/Attribute/Pattern/Function"
+          "Kore/Attribute/Pattern/Functional"
+          "Kore/Attribute/Pattern/Simplified"
+          "Kore/Attribute/Priority"
+          "Kore/Attribute/ProductionID"
+          "Kore/Attribute/RuleIndex"
+          "Kore/Attribute/Simplification"
+          "Kore/Attribute/Smthook"
+          "Kore/Attribute/SmtLemma"
+          "Kore/Attribute/Smtlib"
+          "Kore/Attribute/Smtlib/Smthook"
+          "Kore/Attribute/Smtlib/Smtlib"
+          "Kore/Attribute/Sort"
+          "Kore/Attribute/Sort/Concat"
+          "Kore/Attribute/Sort/Constructors"
+          "Kore/Attribute/Sort/ConstructorsBuilder"
+          "Kore/Attribute/Sort/Element"
+          "Kore/Attribute/Sort/HasDomainValues"
+          "Kore/Attribute/Sort/Unit"
+          "Kore/Attribute/SortInjection"
+          "Kore/Attribute/Source"
+          "Kore/Attribute/SourceLocation"
+          "Kore/Attribute/Subsort"
+          "Kore/Attribute/Symbol"
+          "Kore/Attribute/Symbol/Anywhere"
+          "Kore/Attribute/Symbol/Klabel"
+          "Kore/Attribute/Symbol/Memo"
+          "Kore/Attribute/Symbol/NoEvaluators"
+          "Kore/Attribute/Symbol/SymbolKywd"
+          "Kore/Attribute/Synthetic"
+          "Kore/Attribute/Trusted"
+          "Kore/Attribute/UniqueId"
+          "Kore/BugReport"
+          "Kore/Builtin"
+          "Kore/Builtin/AssocComm/AssocComm"
+          "Kore/Builtin/AssocComm/CeilSimplifier"
+          "Kore/Builtin/AssociativeCommutative"
+          "Kore/Builtin/Attributes"
+          "Kore/Builtin/Bool"
+          "Kore/Builtin/Bool/Bool"
+          "Kore/Builtin/Builtin"
+          "Kore/Builtin/Encoding"
+          "Kore/Builtin/Endianness"
+          "Kore/Builtin/Endianness/Endianness"
+          "Kore/Builtin/EqTerm"
+          "Kore/Builtin/Error"
+          "Kore/Builtin/External"
+          "Kore/Builtin/Inj"
+          "Kore/Builtin/Int"
+          "Kore/Builtin/Int/Int"
+          "Kore/Builtin/InternalBytes"
+          "Kore/Builtin/InternalBytes/InternalBytes"
+          "Kore/Builtin/KEqual"
+          "Kore/Builtin/Kreflection"
+          "Kore/Builtin/Krypto"
+          "Kore/Builtin/List"
+          "Kore/Builtin/List/List"
+          "Kore/Builtin/Map"
+          "Kore/Builtin/Map/Map"
+          "Kore/Builtin/Set"
+          "Kore/Builtin/Set/Set"
+          "Kore/Builtin/Signedness"
+          "Kore/Builtin/Signedness/Signedness"
+          "Kore/Builtin/String"
+          "Kore/Builtin/String/String"
+          "Kore/Builtin/Symbols"
+          "Kore/Builtin/Verifiers"
+          "Kore/Debug"
+          "Kore/Domain/Builtin"
+          "Kore/Equation"
+          "Kore/Equation/Application"
+          "Kore/Equation/Equation"
+          "Kore/Equation/Registry"
+          "Kore/Equation/Sentence"
+          "Kore/Equation/Simplification"
+          "Kore/Error"
+          "Kore/Exec"
+          "Kore/IndexedModule/Error"
+          "Kore/IndexedModule/IndexedModule"
+          "Kore/IndexedModule/MetadataTools"
+          "Kore/IndexedModule/MetadataToolsBuilder"
+          "Kore/IndexedModule/OverloadGraph"
+          "Kore/IndexedModule/Resolvers"
+          "Kore/IndexedModule/SortGraph"
+          "Kore/Internal/Alias"
+          "Kore/Internal/ApplicationSorts"
+          "Kore/Internal/Condition"
+          "Kore/Internal/Conditional"
+          "Kore/Internal/Inj"
+          "Kore/Internal/InternalBytes"
+          "Kore/Internal/MultiAnd"
+          "Kore/Internal/MultiOr"
+          "Kore/Internal/OrCondition"
+          "Kore/Internal/OrPattern"
+          "Kore/Internal/Pattern"
+          "Kore/Internal/Predicate"
+          "Kore/Internal/SideCondition"
+          "Kore/Internal/SideCondition/SideCondition"
+          "Kore/Internal/Substitution"
+          "Kore/Internal/Symbol"
+          "Kore/Internal/TermLike"
+          "Kore/Internal/TermLike/Renaming"
+          "Kore/Internal/TermLike/TermLike"
+          "Kore/Internal/Variable"
+          "Kore/Log"
+          "Kore/Log/DebugAppliedRewriteRules"
+          "Kore/Log/DebugClaimState"
+          "Kore/Log/DebugEvaluateCondition"
+          "Kore/Log/DebugProven"
+          "Kore/Log/DebugSolver"
+          "Kore/Log/DebugSubstitutionSimplifier"
+          "Kore/Log/DebugUnification"
+          "Kore/Log/ErrorBottomTotalFunction"
+          "Kore/Log/ErrorDecidePredicateUnknown"
+          "Kore/Log/ErrorException"
+          "Kore/Log/ErrorParse"
+          "Kore/Log/ErrorRewriteLoop"
+          "Kore/Log/ErrorRewritesInstantiation"
+          "Kore/Log/ErrorRuleMergeDuplicate"
+          "Kore/Log/ErrorVerify"
+          "Kore/Log/InfoAttemptUnification"
+          "Kore/Log/InfoExecBreadth"
+          "Kore/Log/InfoExecDepth"
+          "Kore/Log/InfoProofDepth"
+          "Kore/Log/InfoReachability"
+          "Kore/Log/KoreLogOptions"
+          "Kore/Log/Registry"
+          "Kore/Log/SQLite"
+          "Kore/Log/WarnFunctionWithoutEvaluators"
+          "Kore/Log/WarnIfLowProductivity"
+          "Kore/Log/WarnRetrySolverQuery"
+          "Kore/Log/WarnStuckClaimState"
+          "Kore/Log/WarnSymbolSMTRepresentation"
+          "Kore/Log/WarnTrivialClaim"
+          "Kore/ModelChecker/Bounded"
+          "Kore/ModelChecker/Simplification"
+          "Kore/ModelChecker/Step"
+          "Kore/Options"
+          "Kore/Parser"
+          "Kore/Parser/CString"
+          "Kore/Parser/Lexer"
+          "Kore/Parser/Parser"
+          "Kore/Parser/ParserUtils"
+          "Kore/Reachability"
+          "Kore/Reachability/AllPathClaim"
+          "Kore/Reachability/Claim"
+          "Kore/Reachability/ClaimState"
+          "Kore/Reachability/OnePathClaim"
+          "Kore/Reachability/Prim"
+          "Kore/Reachability/Prove"
+          "Kore/Reachability/SomeClaim"
+          "Kore/Repl"
+          "Kore/Repl/Data"
+          "Kore/Repl/Interpreter"
+          "Kore/Repl/Parser"
+          "Kore/Repl/State"
+          "Kore/Rewriting/RewritingVariable"
+          "Kore/Rewriting/UnifyingRule"
+          "Kore/Sort"
+          "Kore/Step"
+          "Kore/Step/AntiLeft"
+          "Kore/Step/Axiom/EvaluationStrategy"
+          "Kore/Step/Axiom/Identifier"
+          "Kore/Step/Axiom/Matcher"
+          "Kore/Step/Axiom/Registry"
+          "Kore/Step/AxiomPattern"
+          "Kore/Step/ClaimPattern"
+          "Kore/Step/Function/Evaluator"
+          "Kore/Step/Function/Memo"
+          "Kore/Step/Implication"
+          "Kore/Step/Remainder"
+          "Kore/Step/Result"
+          "Kore/Step/RewriteStep"
+          "Kore/Step/Rule"
+          "Kore/Step/Rule/Combine"
+          "Kore/Step/Rule/Expand"
+          "Kore/Step/Rule/Simplify"
+          "Kore/Step/RulePattern"
+          "Kore/Step/Search"
+          "Kore/Step/Simplification/And"
+          "Kore/Step/Simplification/AndPredicates"
+          "Kore/Step/Simplification/AndTerms"
+          "Kore/Step/Simplification/Application"
+          "Kore/Step/Simplification/Bottom"
+          "Kore/Step/Simplification/Builtin"
+          "Kore/Step/Simplification/Ceil"
+          "Kore/Step/Simplification/CeilSimplifier"
+          "Kore/Step/Simplification/Condition"
+          "Kore/Step/Simplification/Data"
+          "Kore/Step/Simplification/Defined"
+          "Kore/Step/Simplification/DomainValue"
+          "Kore/Step/Simplification/Equals"
+          "Kore/Step/Simplification/Exists"
+          "Kore/Step/Simplification/ExpandAlias"
+          "Kore/Step/Simplification/Floor"
+          "Kore/Step/Simplification/Forall"
+          "Kore/Step/Simplification/Iff"
+          "Kore/Step/Simplification/Implies"
+          "Kore/Step/Simplification/In"
+          "Kore/Step/Simplification/Inhabitant"
+          "Kore/Step/Simplification/Inj"
+          "Kore/Step/Simplification/InjSimplifier"
+          "Kore/Step/Simplification/InternalBytes"
+          "Kore/Step/Simplification/Mu"
+          "Kore/Step/Simplification/Next"
+          "Kore/Step/Simplification/NoConfusion"
+          "Kore/Step/Simplification/Not"
+          "Kore/Step/Simplification/NotSimplifier"
+          "Kore/Step/Simplification/Nu"
+          "Kore/Step/Simplification/Or"
+          "Kore/Step/Simplification/OrPattern"
+          "Kore/Step/Simplification/Overloading"
+          "Kore/Step/Simplification/OverloadSimplifier"
+          "Kore/Step/Simplification/Pattern"
+          "Kore/Step/Simplification/Rewrites"
+          "Kore/Step/Simplification/Rule"
+          "Kore/Step/Simplification/SetVariable"
+          "Kore/Step/Simplification/SimplificationType"
+          "Kore/Step/Simplification/Simplify"
+          "Kore/Step/Simplification/StringLiteral"
+          "Kore/Step/Simplification/SubstitutionSimplifier"
+          "Kore/Step/Simplification/TermLike"
+          "Kore/Step/Simplification/Top"
+          "Kore/Step/Simplification/Variable"
+          "Kore/Step/SMT/AST"
+          "Kore/Step/SMT/Declaration/All"
+          "Kore/Step/SMT/Declaration/Sorts"
+          "Kore/Step/SMT/Declaration/Symbols"
+          "Kore/Step/SMT/Encoder"
+          "Kore/Step/SMT/Evaluator"
+          "Kore/Step/SMT/Lemma"
+          "Kore/Step/SMT/Representation/All"
+          "Kore/Step/SMT/Representation/Resolve"
+          "Kore/Step/SMT/Representation/Sorts"
+          "Kore/Step/SMT/Representation/Symbols"
+          "Kore/Step/SMT/Resolvers"
+          "Kore/Step/SMT/Translate"
+          "Kore/Step/Step"
+          "Kore/Step/Strategy"
+          "Kore/Step/Substitution"
+          "Kore/Step/Transition"
+          "Kore/Substitute"
+          "Kore/Syntax"
+          "Kore/Syntax/And"
+          "Kore/Syntax/Application"
+          "Kore/Syntax/Bottom"
+          "Kore/Syntax/Ceil"
+          "Kore/Syntax/Definition"
+          "Kore/Syntax/DomainValue"
+          "Kore/Syntax/Equals"
+          "Kore/Syntax/Exists"
+          "Kore/Syntax/Floor"
+          "Kore/Syntax/Forall"
+          "Kore/Syntax/Id"
+          "Kore/Syntax/Iff"
+          "Kore/Syntax/Implies"
+          "Kore/Syntax/In"
+          "Kore/Syntax/Inhabitant"
+          "Kore/Syntax/Module"
+          "Kore/Syntax/Mu"
+          "Kore/Syntax/Next"
+          "Kore/Syntax/Not"
+          "Kore/Syntax/Nu"
+          "Kore/Syntax/Or"
+          "Kore/Syntax/Pattern"
+          "Kore/Syntax/PatternF"
+          "Kore/Syntax/Rewrites"
+          "Kore/Syntax/Sentence"
+          "Kore/Syntax/StringLiteral"
+          "Kore/Syntax/Top"
+          "Kore/Syntax/Variable"
+          "Kore/TopBottom"
+          "Kore/Unification/Procedure"
+          "Kore/Unification/SubstitutionNormalization"
+          "Kore/Unification/SubstitutionSimplifier"
+          "Kore/Unification/UnificationProcedure"
+          "Kore/Unification/UnifierT"
+          "Kore/Unification/Unify"
+          "Kore/Unparser"
+          "Kore/Variables/Binding"
+          "Kore/Variables/Free"
+          "Kore/Variables/Fresh"
+          "Kore/Variables/Target"
+          "Kore/Verified"
+          "Log"
+          "Log/Entry"
+          "Logic"
+          "Options/SMT"
+          "Pair"
+          "Prelude/Kore"
+          "Pretty"
+          "Prof"
+          "SMT"
+          "SMT/AST"
+          "SMT/SimpleSMT"
+          "SQL"
+          "SQL/ColumnDef"
+          "SQL/Key"
+          "SQL/Query"
+          "SQL/SOP"
+          "SQL/SQL"
+          "Stats"
+          ];
+        hsSourceDirs = [ "src" ];
+        };
+      exes = {
+        "kore-exec" = {
+          depends = [
+            (hsPkgs."adjunctions" or (errorHandler.buildDepError "adjunctions"))
+            (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+            (hsPkgs."array" or (errorHandler.buildDepError "array"))
+            (hsPkgs."async" or (errorHandler.buildDepError "async"))
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+            (hsPkgs."clock" or (errorHandler.buildDepError "clock"))
+            (hsPkgs."co-log" or (errorHandler.buildDepError "co-log"))
+            (hsPkgs."comonad" or (errorHandler.buildDepError "comonad"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."cryptonite" or (errorHandler.buildDepError "cryptonite"))
+            (hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
+            (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
+            (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+            (hsPkgs."distributive" or (errorHandler.buildDepError "distributive"))
+            (hsPkgs."errors" or (errorHandler.buildDepError "errors"))
+            (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
+            (hsPkgs."extra" or (errorHandler.buildDepError "extra"))
+            (hsPkgs."fgl" or (errorHandler.buildDepError "fgl"))
+            (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+            (hsPkgs."free" or (errorHandler.buildDepError "free"))
+            (hsPkgs."generic-lens" or (errorHandler.buildDepError "generic-lens"))
+            (hsPkgs."generics-sop" or (errorHandler.buildDepError "generics-sop"))
+            (hsPkgs."ghc-trace-events" or (errorHandler.buildDepError "ghc-trace-events"))
+            (hsPkgs."gitrev" or (errorHandler.buildDepError "gitrev"))
+            (hsPkgs."graphviz" or (errorHandler.buildDepError "graphviz"))
+            (hsPkgs."groom" or (errorHandler.buildDepError "groom"))
+            (hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
+            (hsPkgs."haskeline" or (errorHandler.buildDepError "haskeline"))
+            (hsPkgs."integer-gmp" or (errorHandler.buildDepError "integer-gmp"))
+            (hsPkgs."kore" or (errorHandler.buildDepError "kore"))
+            (hsPkgs."lens" or (errorHandler.buildDepError "lens"))
+            (hsPkgs."logict" or (errorHandler.buildDepError "logict"))
+            (hsPkgs."megaparsec" or (errorHandler.buildDepError "megaparsec"))
+            (hsPkgs."memory" or (errorHandler.buildDepError "memory"))
+            (hsPkgs."mmorph" or (errorHandler.buildDepError "mmorph"))
+            (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+            (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
+            (hsPkgs."parser-combinators" or (errorHandler.buildDepError "parser-combinators"))
+            (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter"))
+            (hsPkgs."process" or (errorHandler.buildDepError "process"))
+            (hsPkgs."profunctors" or (errorHandler.buildDepError "profunctors"))
+            (hsPkgs."recursion-schemes" or (errorHandler.buildDepError "recursion-schemes"))
+            (hsPkgs."reflection" or (errorHandler.buildDepError "reflection"))
+            (hsPkgs."semialign" or (errorHandler.buildDepError "semialign"))
+            (hsPkgs."sqlite-simple" or (errorHandler.buildDepError "sqlite-simple"))
+            (hsPkgs."stm" or (errorHandler.buildDepError "stm"))
+            (hsPkgs."streams" or (errorHandler.buildDepError "streams"))
+            (hsPkgs."tar" or (errorHandler.buildDepError "tar"))
+            (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
+            (hsPkgs."temporary" or (errorHandler.buildDepError "temporary"))
+            (hsPkgs."text" or (errorHandler.buildDepError "text"))
+            (hsPkgs."these" or (errorHandler.buildDepError "these"))
+            (hsPkgs."time" or (errorHandler.buildDepError "time"))
+            (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
+            (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
+            (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+            (hsPkgs."witherable" or (errorHandler.buildDepError "witherable"))
+            (hsPkgs."zlib" or (errorHandler.buildDepError "zlib"))
+            ];
+          build-tools = [
+            (hsPkgs.buildPackages.tasty-discover or (pkgs.buildPackages.tasty-discover or (errorHandler.buildToolDepError "tasty-discover")))
+            ];
+          buildable = true;
+          modules = [ "GlobalMain" "Paths_kore" ];
+          hsSourceDirs = [ "app/exec" "app/share" ];
+          mainPath = ([
+            "Main.hs"
+            ] ++ (pkgs.lib).optional (!flags.release) "") ++ [ "" ];
+          };
+        "kore-format" = {
+          depends = [
+            (hsPkgs."adjunctions" or (errorHandler.buildDepError "adjunctions"))
+            (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+            (hsPkgs."array" or (errorHandler.buildDepError "array"))
+            (hsPkgs."async" or (errorHandler.buildDepError "async"))
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+            (hsPkgs."clock" or (errorHandler.buildDepError "clock"))
+            (hsPkgs."co-log" or (errorHandler.buildDepError "co-log"))
+            (hsPkgs."comonad" or (errorHandler.buildDepError "comonad"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."cryptonite" or (errorHandler.buildDepError "cryptonite"))
+            (hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
+            (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
+            (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+            (hsPkgs."distributive" or (errorHandler.buildDepError "distributive"))
+            (hsPkgs."errors" or (errorHandler.buildDepError "errors"))
+            (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
+            (hsPkgs."extra" or (errorHandler.buildDepError "extra"))
+            (hsPkgs."fgl" or (errorHandler.buildDepError "fgl"))
+            (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+            (hsPkgs."free" or (errorHandler.buildDepError "free"))
+            (hsPkgs."generic-lens" or (errorHandler.buildDepError "generic-lens"))
+            (hsPkgs."generics-sop" or (errorHandler.buildDepError "generics-sop"))
+            (hsPkgs."ghc-trace-events" or (errorHandler.buildDepError "ghc-trace-events"))
+            (hsPkgs."gitrev" or (errorHandler.buildDepError "gitrev"))
+            (hsPkgs."graphviz" or (errorHandler.buildDepError "graphviz"))
+            (hsPkgs."groom" or (errorHandler.buildDepError "groom"))
+            (hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
+            (hsPkgs."haskeline" or (errorHandler.buildDepError "haskeline"))
+            (hsPkgs."integer-gmp" or (errorHandler.buildDepError "integer-gmp"))
+            (hsPkgs."kore" or (errorHandler.buildDepError "kore"))
+            (hsPkgs."lens" or (errorHandler.buildDepError "lens"))
+            (hsPkgs."logict" or (errorHandler.buildDepError "logict"))
+            (hsPkgs."megaparsec" or (errorHandler.buildDepError "megaparsec"))
+            (hsPkgs."memory" or (errorHandler.buildDepError "memory"))
+            (hsPkgs."mmorph" or (errorHandler.buildDepError "mmorph"))
+            (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+            (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
+            (hsPkgs."parser-combinators" or (errorHandler.buildDepError "parser-combinators"))
+            (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter"))
+            (hsPkgs."process" or (errorHandler.buildDepError "process"))
+            (hsPkgs."profunctors" or (errorHandler.buildDepError "profunctors"))
+            (hsPkgs."recursion-schemes" or (errorHandler.buildDepError "recursion-schemes"))
+            (hsPkgs."reflection" or (errorHandler.buildDepError "reflection"))
+            (hsPkgs."semialign" or (errorHandler.buildDepError "semialign"))
+            (hsPkgs."sqlite-simple" or (errorHandler.buildDepError "sqlite-simple"))
+            (hsPkgs."stm" or (errorHandler.buildDepError "stm"))
+            (hsPkgs."streams" or (errorHandler.buildDepError "streams"))
+            (hsPkgs."tar" or (errorHandler.buildDepError "tar"))
+            (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
+            (hsPkgs."temporary" or (errorHandler.buildDepError "temporary"))
+            (hsPkgs."text" or (errorHandler.buildDepError "text"))
+            (hsPkgs."these" or (errorHandler.buildDepError "these"))
+            (hsPkgs."time" or (errorHandler.buildDepError "time"))
+            (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
+            (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
+            (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+            (hsPkgs."witherable" or (errorHandler.buildDepError "witherable"))
+            (hsPkgs."zlib" or (errorHandler.buildDepError "zlib"))
+            ];
+          build-tools = [
+            (hsPkgs.buildPackages.tasty-discover or (pkgs.buildPackages.tasty-discover or (errorHandler.buildToolDepError "tasty-discover")))
+            ];
+          buildable = true;
+          modules = [ "GlobalMain" "Paths_kore" ];
+          hsSourceDirs = [ "app/format" "app/share" ];
+          mainPath = ([
+            "Main.hs"
+            ] ++ (pkgs.lib).optional (!flags.release) "") ++ [ "" ];
+          };
+        "kore-parser" = {
+          depends = [
+            (hsPkgs."adjunctions" or (errorHandler.buildDepError "adjunctions"))
+            (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+            (hsPkgs."array" or (errorHandler.buildDepError "array"))
+            (hsPkgs."async" or (errorHandler.buildDepError "async"))
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+            (hsPkgs."clock" or (errorHandler.buildDepError "clock"))
+            (hsPkgs."co-log" or (errorHandler.buildDepError "co-log"))
+            (hsPkgs."comonad" or (errorHandler.buildDepError "comonad"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."cryptonite" or (errorHandler.buildDepError "cryptonite"))
+            (hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
+            (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
+            (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+            (hsPkgs."distributive" or (errorHandler.buildDepError "distributive"))
+            (hsPkgs."errors" or (errorHandler.buildDepError "errors"))
+            (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
+            (hsPkgs."extra" or (errorHandler.buildDepError "extra"))
+            (hsPkgs."fgl" or (errorHandler.buildDepError "fgl"))
+            (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+            (hsPkgs."free" or (errorHandler.buildDepError "free"))
+            (hsPkgs."generic-lens" or (errorHandler.buildDepError "generic-lens"))
+            (hsPkgs."generics-sop" or (errorHandler.buildDepError "generics-sop"))
+            (hsPkgs."ghc-trace-events" or (errorHandler.buildDepError "ghc-trace-events"))
+            (hsPkgs."gitrev" or (errorHandler.buildDepError "gitrev"))
+            (hsPkgs."graphviz" or (errorHandler.buildDepError "graphviz"))
+            (hsPkgs."groom" or (errorHandler.buildDepError "groom"))
+            (hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
+            (hsPkgs."haskeline" or (errorHandler.buildDepError "haskeline"))
+            (hsPkgs."integer-gmp" or (errorHandler.buildDepError "integer-gmp"))
+            (hsPkgs."kore" or (errorHandler.buildDepError "kore"))
+            (hsPkgs."lens" or (errorHandler.buildDepError "lens"))
+            (hsPkgs."logict" or (errorHandler.buildDepError "logict"))
+            (hsPkgs."megaparsec" or (errorHandler.buildDepError "megaparsec"))
+            (hsPkgs."memory" or (errorHandler.buildDepError "memory"))
+            (hsPkgs."mmorph" or (errorHandler.buildDepError "mmorph"))
+            (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+            (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
+            (hsPkgs."parser-combinators" or (errorHandler.buildDepError "parser-combinators"))
+            (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter"))
+            (hsPkgs."process" or (errorHandler.buildDepError "process"))
+            (hsPkgs."profunctors" or (errorHandler.buildDepError "profunctors"))
+            (hsPkgs."recursion-schemes" or (errorHandler.buildDepError "recursion-schemes"))
+            (hsPkgs."reflection" or (errorHandler.buildDepError "reflection"))
+            (hsPkgs."semialign" or (errorHandler.buildDepError "semialign"))
+            (hsPkgs."sqlite-simple" or (errorHandler.buildDepError "sqlite-simple"))
+            (hsPkgs."stm" or (errorHandler.buildDepError "stm"))
+            (hsPkgs."streams" or (errorHandler.buildDepError "streams"))
+            (hsPkgs."tar" or (errorHandler.buildDepError "tar"))
+            (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
+            (hsPkgs."temporary" or (errorHandler.buildDepError "temporary"))
+            (hsPkgs."text" or (errorHandler.buildDepError "text"))
+            (hsPkgs."these" or (errorHandler.buildDepError "these"))
+            (hsPkgs."time" or (errorHandler.buildDepError "time"))
+            (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
+            (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
+            (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+            (hsPkgs."witherable" or (errorHandler.buildDepError "witherable"))
+            (hsPkgs."zlib" or (errorHandler.buildDepError "zlib"))
+            ];
+          build-tools = [
+            (hsPkgs.buildPackages.tasty-discover or (pkgs.buildPackages.tasty-discover or (errorHandler.buildToolDepError "tasty-discover")))
+            ];
+          buildable = true;
+          modules = [ "GlobalMain" "Paths_kore" ];
+          hsSourceDirs = [ "app/parser" "app/share" ];
+          mainPath = ([
+            "Main.hs"
+            ] ++ (pkgs.lib).optional (!flags.release) "") ++ [ "" ];
+          };
+        "kore-prof" = {
+          depends = [
+            (hsPkgs."adjunctions" or (errorHandler.buildDepError "adjunctions"))
+            (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+            (hsPkgs."array" or (errorHandler.buildDepError "array"))
+            (hsPkgs."async" or (errorHandler.buildDepError "async"))
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+            (hsPkgs."clock" or (errorHandler.buildDepError "clock"))
+            (hsPkgs."co-log" or (errorHandler.buildDepError "co-log"))
+            (hsPkgs."comonad" or (errorHandler.buildDepError "comonad"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."cryptonite" or (errorHandler.buildDepError "cryptonite"))
+            (hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
+            (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
+            (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+            (hsPkgs."distributive" or (errorHandler.buildDepError "distributive"))
+            (hsPkgs."errors" or (errorHandler.buildDepError "errors"))
+            (hsPkgs."eventlog2speedscope" or (errorHandler.buildDepError "eventlog2speedscope"))
+            (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
+            (hsPkgs."extra" or (errorHandler.buildDepError "extra"))
+            (hsPkgs."fgl" or (errorHandler.buildDepError "fgl"))
+            (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+            (hsPkgs."free" or (errorHandler.buildDepError "free"))
+            (hsPkgs."generic-lens" or (errorHandler.buildDepError "generic-lens"))
+            (hsPkgs."generics-sop" or (errorHandler.buildDepError "generics-sop"))
+            (hsPkgs."ghc-trace-events" or (errorHandler.buildDepError "ghc-trace-events"))
+            (hsPkgs."gitrev" or (errorHandler.buildDepError "gitrev"))
+            (hsPkgs."graphviz" or (errorHandler.buildDepError "graphviz"))
+            (hsPkgs."groom" or (errorHandler.buildDepError "groom"))
+            (hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
+            (hsPkgs."haskeline" or (errorHandler.buildDepError "haskeline"))
+            (hsPkgs."integer-gmp" or (errorHandler.buildDepError "integer-gmp"))
+            (hsPkgs."lens" or (errorHandler.buildDepError "lens"))
+            (hsPkgs."logict" or (errorHandler.buildDepError "logict"))
+            (hsPkgs."megaparsec" or (errorHandler.buildDepError "megaparsec"))
+            (hsPkgs."memory" or (errorHandler.buildDepError "memory"))
+            (hsPkgs."mmorph" or (errorHandler.buildDepError "mmorph"))
+            (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+            (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
+            (hsPkgs."parser-combinators" or (errorHandler.buildDepError "parser-combinators"))
+            (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter"))
+            (hsPkgs."process" or (errorHandler.buildDepError "process"))
+            (hsPkgs."profunctors" or (errorHandler.buildDepError "profunctors"))
+            (hsPkgs."recursion-schemes" or (errorHandler.buildDepError "recursion-schemes"))
+            (hsPkgs."reflection" or (errorHandler.buildDepError "reflection"))
+            (hsPkgs."semialign" or (errorHandler.buildDepError "semialign"))
+            (hsPkgs."sqlite-simple" or (errorHandler.buildDepError "sqlite-simple"))
+            (hsPkgs."stm" or (errorHandler.buildDepError "stm"))
+            (hsPkgs."streams" or (errorHandler.buildDepError "streams"))
+            (hsPkgs."tar" or (errorHandler.buildDepError "tar"))
+            (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
+            (hsPkgs."temporary" or (errorHandler.buildDepError "temporary"))
+            (hsPkgs."text" or (errorHandler.buildDepError "text"))
+            (hsPkgs."these" or (errorHandler.buildDepError "these"))
+            (hsPkgs."time" or (errorHandler.buildDepError "time"))
+            (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
+            (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
+            (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+            (hsPkgs."witherable" or (errorHandler.buildDepError "witherable"))
+            (hsPkgs."zlib" or (errorHandler.buildDepError "zlib"))
+            ];
+          build-tools = [
+            (hsPkgs.buildPackages.tasty-discover or (pkgs.buildPackages.tasty-discover or (errorHandler.buildToolDepError "tasty-discover")))
+            ];
+          buildable = true;
+          modules = [ "Paths_kore" ];
+          hsSourceDirs = [ "app/prof" ];
+          mainPath = [ "Main.hs" ] ++ (pkgs.lib).optional (!flags.release) "";
+          };
+        "kore-repl" = {
+          depends = [
+            (hsPkgs."adjunctions" or (errorHandler.buildDepError "adjunctions"))
+            (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+            (hsPkgs."array" or (errorHandler.buildDepError "array"))
+            (hsPkgs."async" or (errorHandler.buildDepError "async"))
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+            (hsPkgs."clock" or (errorHandler.buildDepError "clock"))
+            (hsPkgs."co-log" or (errorHandler.buildDepError "co-log"))
+            (hsPkgs."comonad" or (errorHandler.buildDepError "comonad"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."cryptonite" or (errorHandler.buildDepError "cryptonite"))
+            (hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
+            (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
+            (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+            (hsPkgs."distributive" or (errorHandler.buildDepError "distributive"))
+            (hsPkgs."errors" or (errorHandler.buildDepError "errors"))
+            (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
+            (hsPkgs."extra" or (errorHandler.buildDepError "extra"))
+            (hsPkgs."fgl" or (errorHandler.buildDepError "fgl"))
+            (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+            (hsPkgs."free" or (errorHandler.buildDepError "free"))
+            (hsPkgs."generic-lens" or (errorHandler.buildDepError "generic-lens"))
+            (hsPkgs."generics-sop" or (errorHandler.buildDepError "generics-sop"))
+            (hsPkgs."ghc-trace-events" or (errorHandler.buildDepError "ghc-trace-events"))
+            (hsPkgs."gitrev" or (errorHandler.buildDepError "gitrev"))
+            (hsPkgs."graphviz" or (errorHandler.buildDepError "graphviz"))
+            (hsPkgs."groom" or (errorHandler.buildDepError "groom"))
+            (hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
+            (hsPkgs."haskeline" or (errorHandler.buildDepError "haskeline"))
+            (hsPkgs."integer-gmp" or (errorHandler.buildDepError "integer-gmp"))
+            (hsPkgs."kore" or (errorHandler.buildDepError "kore"))
+            (hsPkgs."lens" or (errorHandler.buildDepError "lens"))
+            (hsPkgs."logict" or (errorHandler.buildDepError "logict"))
+            (hsPkgs."megaparsec" or (errorHandler.buildDepError "megaparsec"))
+            (hsPkgs."memory" or (errorHandler.buildDepError "memory"))
+            (hsPkgs."mmorph" or (errorHandler.buildDepError "mmorph"))
+            (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+            (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
+            (hsPkgs."parser-combinators" or (errorHandler.buildDepError "parser-combinators"))
+            (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter"))
+            (hsPkgs."process" or (errorHandler.buildDepError "process"))
+            (hsPkgs."profunctors" or (errorHandler.buildDepError "profunctors"))
+            (hsPkgs."recursion-schemes" or (errorHandler.buildDepError "recursion-schemes"))
+            (hsPkgs."reflection" or (errorHandler.buildDepError "reflection"))
+            (hsPkgs."semialign" or (errorHandler.buildDepError "semialign"))
+            (hsPkgs."sqlite-simple" or (errorHandler.buildDepError "sqlite-simple"))
+            (hsPkgs."stm" or (errorHandler.buildDepError "stm"))
+            (hsPkgs."streams" or (errorHandler.buildDepError "streams"))
+            (hsPkgs."tar" or (errorHandler.buildDepError "tar"))
+            (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
+            (hsPkgs."temporary" or (errorHandler.buildDepError "temporary"))
+            (hsPkgs."text" or (errorHandler.buildDepError "text"))
+            (hsPkgs."these" or (errorHandler.buildDepError "these"))
+            (hsPkgs."time" or (errorHandler.buildDepError "time"))
+            (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
+            (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
+            (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+            (hsPkgs."witherable" or (errorHandler.buildDepError "witherable"))
+            (hsPkgs."zlib" or (errorHandler.buildDepError "zlib"))
+            ];
+          build-tools = [
+            (hsPkgs.buildPackages.tasty-discover or (pkgs.buildPackages.tasty-discover or (errorHandler.buildToolDepError "tasty-discover")))
+            ];
+          buildable = true;
+          modules = [ "GlobalMain" "Paths_kore" ];
+          hsSourceDirs = [ "app/repl" "app/share" ];
+          mainPath = ([
+            "Main.hs"
+            ] ++ (pkgs.lib).optional (!flags.release) "") ++ [ "" ];
+          };
+        };
+      tests = {
+        "kore-test" = {
+          depends = [
+            (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
+            (hsPkgs."adjunctions" or (errorHandler.buildDepError "adjunctions"))
+            (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+            (hsPkgs."array" or (errorHandler.buildDepError "array"))
+            (hsPkgs."async" or (errorHandler.buildDepError "async"))
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+            (hsPkgs."call-stack" or (errorHandler.buildDepError "call-stack"))
+            (hsPkgs."clock" or (errorHandler.buildDepError "clock"))
+            (hsPkgs."co-log" or (errorHandler.buildDepError "co-log"))
+            (hsPkgs."comonad" or (errorHandler.buildDepError "comonad"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."cryptonite" or (errorHandler.buildDepError "cryptonite"))
+            (hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
+            (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
+            (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+            (hsPkgs."distributive" or (errorHandler.buildDepError "distributive"))
+            (hsPkgs."errors" or (errorHandler.buildDepError "errors"))
+            (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
+            (hsPkgs."extra" or (errorHandler.buildDepError "extra"))
+            (hsPkgs."fgl" or (errorHandler.buildDepError "fgl"))
+            (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+            (hsPkgs."free" or (errorHandler.buildDepError "free"))
+            (hsPkgs."generic-lens" or (errorHandler.buildDepError "generic-lens"))
+            (hsPkgs."generics-sop" or (errorHandler.buildDepError "generics-sop"))
+            (hsPkgs."ghc-trace-events" or (errorHandler.buildDepError "ghc-trace-events"))
+            (hsPkgs."gitrev" or (errorHandler.buildDepError "gitrev"))
+            (hsPkgs."graphviz" or (errorHandler.buildDepError "graphviz"))
+            (hsPkgs."groom" or (errorHandler.buildDepError "groom"))
+            (hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
+            (hsPkgs."haskeline" or (errorHandler.buildDepError "haskeline"))
+            (hsPkgs."hedgehog" or (errorHandler.buildDepError "hedgehog"))
+            (hsPkgs."integer-gmp" or (errorHandler.buildDepError "integer-gmp"))
+            (hsPkgs."kore" or (errorHandler.buildDepError "kore"))
+            (hsPkgs."lens" or (errorHandler.buildDepError "lens"))
+            (hsPkgs."logict" or (errorHandler.buildDepError "logict"))
+            (hsPkgs."megaparsec" or (errorHandler.buildDepError "megaparsec"))
+            (hsPkgs."memory" or (errorHandler.buildDepError "memory"))
+            (hsPkgs."mmorph" or (errorHandler.buildDepError "mmorph"))
+            (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+            (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
+            (hsPkgs."parser-combinators" or (errorHandler.buildDepError "parser-combinators"))
+            (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter"))
+            (hsPkgs."process" or (errorHandler.buildDepError "process"))
+            (hsPkgs."profunctors" or (errorHandler.buildDepError "profunctors"))
+            (hsPkgs."quickcheck-instances" or (errorHandler.buildDepError "quickcheck-instances"))
+            (hsPkgs."recursion-schemes" or (errorHandler.buildDepError "recursion-schemes"))
+            (hsPkgs."reflection" or (errorHandler.buildDepError "reflection"))
+            (hsPkgs."semialign" or (errorHandler.buildDepError "semialign"))
+            (hsPkgs."sqlite-simple" or (errorHandler.buildDepError "sqlite-simple"))
+            (hsPkgs."stm" or (errorHandler.buildDepError "stm"))
+            (hsPkgs."streams" or (errorHandler.buildDepError "streams"))
+            (hsPkgs."tar" or (errorHandler.buildDepError "tar"))
+            (hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
+            (hsPkgs."tasty-golden" or (errorHandler.buildDepError "tasty-golden"))
+            (hsPkgs."tasty-hedgehog" or (errorHandler.buildDepError "tasty-hedgehog"))
+            (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit"))
+            (hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck"))
+            (hsPkgs."tasty-test-reporter" or (errorHandler.buildDepError "tasty-test-reporter"))
+            (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
+            (hsPkgs."temporary" or (errorHandler.buildDepError "temporary"))
+            (hsPkgs."text" or (errorHandler.buildDepError "text"))
+            (hsPkgs."these" or (errorHandler.buildDepError "these"))
+            (hsPkgs."time" or (errorHandler.buildDepError "time"))
+            (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
+            (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
+            (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+            (hsPkgs."witherable" or (errorHandler.buildDepError "witherable"))
+            (hsPkgs."zlib" or (errorHandler.buildDepError "zlib"))
+            ];
+          build-tools = [
+            (hsPkgs.buildPackages.tasty-discover or (pkgs.buildPackages.tasty-discover or (errorHandler.buildToolDepError "tasty-discover")))
+            ];
+          buildable = true;
+          modules = [
+            "Driver"
+            "Test/ConsistentKore"
+            "Test/Data/Graph/TopologicalSort"
+            "Test/Data/Limit"
+            "Test/Data/Sup"
+            "Test/Debug"
+            "Test/Expect"
+            "Test/Injection"
+            "Test/Kore"
+            "Test/Kore/AST/Common"
+            "Test/Kore/ASTVerifier/DefinitionVerifier"
+            "Test/Kore/ASTVerifier/DefinitionVerifier/Imports"
+            "Test/Kore/ASTVerifier/DefinitionVerifier/PatternVerifier"
+            "Test/Kore/ASTVerifier/DefinitionVerifier/SentenceVerifier"
+            "Test/Kore/ASTVerifier/DefinitionVerifier/SortUsage"
+            "Test/Kore/ASTVerifier/DefinitionVerifier/UniqueNames"
+            "Test/Kore/ASTVerifier/DefinitionVerifier/UniqueSortVariables"
+            "Test/Kore/Attribute/Assoc"
+            "Test/Kore/Attribute/Axiom/Concrete"
+            "Test/Kore/Attribute/Axiom/Symbolic"
+            "Test/Kore/Attribute/Axiom/Unit"
+            "Test/Kore/Attribute/Comm"
+            "Test/Kore/Attribute/Constructor"
+            "Test/Kore/Attribute/Function"
+            "Test/Kore/Attribute/Functional"
+            "Test/Kore/Attribute/Hook"
+            "Test/Kore/Attribute/Idem"
+            "Test/Kore/Attribute/Injective"
+            "Test/Kore/Attribute/Label"
+            "Test/Kore/Attribute/Overload"
+            "Test/Kore/Attribute/Owise"
+            "Test/Kore/Attribute/Parser"
+            "Test/Kore/Attribute/Pattern/ConstructorLike"
+            "Test/Kore/Attribute/Pattern/Defined"
+            "Test/Kore/Attribute/Pattern/FreeVariables"
+            "Test/Kore/Attribute/Pattern/Function"
+            "Test/Kore/Attribute/Pattern/Functional"
+            "Test/Kore/Attribute/Pattern/Sort"
+            "Test/Kore/Attribute/Priority"
+            "Test/Kore/Attribute/ProductionID"
+            "Test/Kore/Attribute/Simplification"
+            "Test/Kore/Attribute/Smtlib"
+            "Test/Kore/Attribute/Sort/ConstructorsBuilder"
+            "Test/Kore/Attribute/Sort/HasDomainValues"
+            "Test/Kore/Attribute/Sort/Unit"
+            "Test/Kore/Attribute/SortInjection"
+            "Test/Kore/Attribute/Subsort"
+            "Test/Kore/Attribute/Symbol"
+            "Test/Kore/Attribute/Symbol/Anywhere"
+            "Test/Kore/Attribute/Symbol/Klabel"
+            "Test/Kore/Attribute/Symbol/Memo"
+            "Test/Kore/Attribute/Symbol/NoEvaluators"
+            "Test/Kore/Attribute/Symbol/SymbolKywd"
+            "Test/Kore/Attribute/Trusted"
+            "Test/Kore/Attribute/UniqueId"
+            "Test/Kore/BugReport"
+            "Test/Kore/Builtin"
+            "Test/Kore/Builtin/AssocComm/CeilSimplifier"
+            "Test/Kore/Builtin/AssociativeCommutative"
+            "Test/Kore/Builtin/Bool"
+            "Test/Kore/Builtin/Builtin"
+            "Test/Kore/Builtin/Definition"
+            "Test/Kore/Builtin/Encoding"
+            "Test/Kore/Builtin/Endianness"
+            "Test/Kore/Builtin/Inj"
+            "Test/Kore/Builtin/Int"
+            "Test/Kore/Builtin/InternalBytes"
+            "Test/Kore/Builtin/KEqual"
+            "Test/Kore/Builtin/Krypto"
+            "Test/Kore/Builtin/List"
+            "Test/Kore/Builtin/Map"
+            "Test/Kore/Builtin/Set"
+            "Test/Kore/Builtin/Signedness"
+            "Test/Kore/Builtin/String"
+            "Test/Kore/Contains"
+            "Test/Kore/Equation/Application"
+            "Test/Kore/Equation/Sentence"
+            "Test/Kore/Error"
+            "Test/Kore/Exec"
+            "Test/Kore/IndexedModule/Error"
+            "Test/Kore/IndexedModule/MockMetadataTools"
+            "Test/Kore/IndexedModule/OverloadGraph"
+            "Test/Kore/IndexedModule/Resolvers"
+            "Test/Kore/IndexedModule/SortGraph"
+            "Test/Kore/Internal/ApplicationSorts"
+            "Test/Kore/Internal/Condition"
+            "Test/Kore/Internal/MultiAnd"
+            "Test/Kore/Internal/OrCondition"
+            "Test/Kore/Internal/OrPattern"
+            "Test/Kore/Internal/Pattern"
+            "Test/Kore/Internal/Predicate"
+            "Test/Kore/Internal/SideCondition"
+            "Test/Kore/Internal/Substitution"
+            "Test/Kore/Internal/Symbol"
+            "Test/Kore/Internal/TermLike"
+            "Test/Kore/Log/DebugEvaluateCondition"
+            "Test/Kore/Log/ErrorBottomTotalFunction"
+            "Test/Kore/Log/WarnFunctionWithoutEvaluators"
+            "Test/Kore/Log/WarnSymbolSMTRepresentation"
+            "Test/Kore/Options"
+            "Test/Kore/Parser"
+            "Test/Kore/Parser/Lexer"
+            "Test/Kore/Parser/Parser"
+            "Test/Kore/Reachability/Claim"
+            "Test/Kore/Reachability/MockAllPath"
+            "Test/Kore/Reachability/OnePathStrategy"
+            "Test/Kore/Reachability/Prove"
+            "Test/Kore/Reachability/SomeClaim"
+            "Test/Kore/Repl/Graph"
+            "Test/Kore/Repl/Interpreter"
+            "Test/Kore/Repl/Parser"
+            "Test/Kore/Rewriting/RewritingVariable"
+            "Test/Kore/Step"
+            "Test/Kore/Step/AntiLeft"
+            "Test/Kore/Step/Axiom/EvaluationStrategy"
+            "Test/Kore/Step/Axiom/Identifier"
+            "Test/Kore/Step/Axiom/Matcher"
+            "Test/Kore/Step/Axiom/Registry"
+            "Test/Kore/Step/ClaimPattern"
+            "Test/Kore/Step/Function/Evaluator"
+            "Test/Kore/Step/Function/Integration"
+            "Test/Kore/Step/Function/Memo"
+            "Test/Kore/Step/Implication"
+            "Test/Kore/Step/MockSymbols"
+            "Test/Kore/Step/Remainder"
+            "Test/Kore/Step/RewriteStep"
+            "Test/Kore/Step/Rule"
+            "Test/Kore/Step/Rule/Combine"
+            "Test/Kore/Step/Rule/Common"
+            "Test/Kore/Step/Rule/Expand"
+            "Test/Kore/Step/Rule/Simplify"
+            "Test/Kore/Step/RulePattern"
+            "Test/Kore/Step/Simplification"
+            "Test/Kore/Step/Simplification/And"
+            "Test/Kore/Step/Simplification/AndTerms"
+            "Test/Kore/Step/Simplification/Application"
+            "Test/Kore/Step/Simplification/Bottom"
+            "Test/Kore/Step/Simplification/Builtin"
+            "Test/Kore/Step/Simplification/Ceil"
+            "Test/Kore/Step/Simplification/Condition"
+            "Test/Kore/Step/Simplification/DomainValue"
+            "Test/Kore/Step/Simplification/Equals"
+            "Test/Kore/Step/Simplification/Exists"
+            "Test/Kore/Step/Simplification/Floor"
+            "Test/Kore/Step/Simplification/Forall"
+            "Test/Kore/Step/Simplification/Iff"
+            "Test/Kore/Step/Simplification/Implies"
+            "Test/Kore/Step/Simplification/InjSimplifier"
+            "Test/Kore/Step/Simplification/Integration"
+            "Test/Kore/Step/Simplification/IntegrationProperty"
+            "Test/Kore/Step/Simplification/Next"
+            "Test/Kore/Step/Simplification/Not"
+            "Test/Kore/Step/Simplification/Or"
+            "Test/Kore/Step/Simplification/OrPattern"
+            "Test/Kore/Step/Simplification/Overloading"
+            "Test/Kore/Step/Simplification/Pattern"
+            "Test/Kore/Step/Simplification/Rule"
+            "Test/Kore/Step/Simplification/StringLiteral"
+            "Test/Kore/Step/Simplification/SubstitutionSimplifier"
+            "Test/Kore/Step/Simplification/TermLike"
+            "Test/Kore/Step/Simplification/Top"
+            "Test/Kore/Step/SMT/Builders"
+            "Test/Kore/Step/SMT/Evaluator"
+            "Test/Kore/Step/SMT/Helpers"
+            "Test/Kore/Step/SMT/Representation/All"
+            "Test/Kore/Step/SMT/Representation/Builders"
+            "Test/Kore/Step/SMT/Representation/Helpers"
+            "Test/Kore/Step/SMT/Representation/Sorts"
+            "Test/Kore/Step/SMT/Representation/Symbols"
+            "Test/Kore/Step/SMT/Sorts"
+            "Test/Kore/Step/SMT/Symbols"
+            "Test/Kore/Step/SMT/Translate"
+            "Test/Kore/Step/Strategy"
+            "Test/Kore/Step/Transition"
+            "Test/Kore/Syntax/Id"
+            "Test/Kore/Syntax/Variable"
+            "Test/Kore/TopBottom"
+            "Test/Kore/Unification/SubstitutionNormalization"
+            "Test/Kore/Unification/Unifier"
+            "Test/Kore/Unification/UnifierT"
+            "Test/Kore/Unparser"
+            "Test/Kore/Variables/Fresh"
+            "Test/Kore/Variables/Target"
+            "Test/Kore/Variables/V"
+            "Test/Kore/Variables/W"
+            "Test/Kore/With"
+            "Test/Pretty"
+            "Test/SMT"
+            "Test/SMT/AST"
+            "Test/SQL"
+            "Test/Stats"
+            "Test/Tasty/HUnit/Ext"
+            "Test/Terse"
+            "Paths_kore"
+            ];
+          hsSourceDirs = [ "test" ];
+          mainPath = [ "Test.hs" ];
+          };
+        };
+      };
+    } // rec {
+    src = (pkgs.lib).mkDefault ./kore;
+    }) // { cabal-generator = "hpack"; }
\ No newline at end of file
diff --git a/nix/rematerialize.sh b/nix/rematerialize.sh
new file mode 100755
index 0000000000..f924b944b4
--- /dev/null
+++ b/nix/rematerialize.sh
@@ -0,0 +1,3 @@
+#!/bin/sh
+
+$(nix-build --no-out-link -A project.stack-nix.passthru.updateMaterialized)
diff --git a/nix/sources.json b/nix/sources.json
index 39cfaec6dd..86803ed785 100644
--- a/nix/sources.json
+++ b/nix/sources.json
@@ -17,10 +17,10 @@
         "homepage": "https://input-output-hk.github.io/haskell.nix",
         "owner": "input-output-hk",
         "repo": "haskell.nix",
-        "rev": "33cd29ee330d34c8c99a9ce56fb3529b44cf3224",
-        "sha256": "1jgwz2iahvn43w398aanm4djzjmr5a2hcv1ijzi9vh79circ7ffz",
+        "rev": "7078b145e981e8b14fc7ea62126fab3378090ef4",
+        "sha256": "01vwsz14nkjd4qggxxmscmvvfcsbch0lf0frvldf8p4w1rwl54va",
         "type": "tarball",
-        "url": "https://github.com/input-output-hk/haskell.nix/archive/33cd29ee330d34c8c99a9ce56fb3529b44cf3224.tar.gz",
+        "url": "https://github.com/input-output-hk/haskell.nix/archive/7078b145e981e8b14fc7ea62126fab3378090ef4.tar.gz",
         "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"
     },
     "hlint": {
diff --git a/nix/stylish-haskell.nix.d/.stack-to-nix.cache b/nix/stylish-haskell.nix.d/.stack-to-nix.cache
new file mode 100644
index 0000000000..e69de29bb2
diff --git a/nix/stylish-haskell.nix.d/default.nix b/nix/stylish-haskell.nix.d/default.nix
new file mode 100644
index 0000000000..0d9b4ec733
--- /dev/null
+++ b/nix/stylish-haskell.nix.d/default.nix
@@ -0,0 +1,11 @@
+{
+  extras = hackage:
+    {
+      packages = {
+        "haskell-src-exts" = (((hackage.haskell-src-exts)."1.23.0").revisions).default;
+        stylish-haskell = ./stylish-haskell.nix;
+        };
+      };
+  resolver = "lts-15.6";
+  modules = [ ({ lib, ... }: { packages = {}; }) { packages = {}; } ];
+  }
\ No newline at end of file
diff --git a/nix/stylish-haskell.nix.d/stylish-haskell.nix b/nix/stylish-haskell.nix.d/stylish-haskell.nix
new file mode 100644
index 0000000000..80458e9d49
--- /dev/null
+++ b/nix/stylish-haskell.nix.d/stylish-haskell.nix
@@ -0,0 +1,170 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "1.8";
+      identifier = { name = "stylish-haskell"; version = "0.11.0.0"; };
+      license = "BSD-3-Clause";
+      copyright = "2012 Jasper Van der Jeugt";
+      maintainer = "Jasper Van der Jeugt <m@jaspervdj.be>";
+      author = "Jasper Van der Jeugt <m@jaspervdj.be>";
+      homepage = "https://github.com/jaspervdj/stylish-haskell";
+      url = "";
+      synopsis = "Haskell code prettifier";
+      description = "A Haskell code prettifier. For more information, see:\n\n<https://github.com/jaspervdj/stylish-haskell/blob/master/README.markdown>";
+      buildType = "Simple";
+      isLocal = true;
+      detailLevel = "FullDetails";
+      licenseFiles = [ "LICENSE" ];
+      dataDir = "";
+      dataFiles = [];
+      extraSrcFiles = [
+        "CHANGELOG"
+        "README.markdown"
+        "data/stylish-haskell.yaml"
+        ];
+      extraTmpFiles = [];
+      extraDocFiles = [];
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+          (hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal"))
+          (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+          (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+          (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+          (hsPkgs."file-embed" or (errorHandler.buildDepError "file-embed"))
+          (hsPkgs."haskell-src-exts" or (errorHandler.buildDepError "haskell-src-exts"))
+          (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+          (hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups"))
+          (hsPkgs."syb" or (errorHandler.buildDepError "syb"))
+          (hsPkgs."text" or (errorHandler.buildDepError "text"))
+          (hsPkgs."HsYAML-aeson" or (errorHandler.buildDepError "HsYAML-aeson"))
+          (hsPkgs."HsYAML" or (errorHandler.buildDepError "HsYAML"))
+          ];
+        buildable = true;
+        modules = [
+          "Language/Haskell/Stylish/Align"
+          "Language/Haskell/Stylish/Block"
+          "Language/Haskell/Stylish/Config"
+          "Language/Haskell/Stylish/Config/Cabal"
+          "Language/Haskell/Stylish/Config/Internal"
+          "Language/Haskell/Stylish/Editor"
+          "Language/Haskell/Stylish/Parse"
+          "Language/Haskell/Stylish/Step"
+          "Language/Haskell/Stylish/Util"
+          "Language/Haskell/Stylish/Verbose"
+          "Paths_stylish_haskell"
+          "Language/Haskell/Stylish"
+          "Language/Haskell/Stylish/Step/Data"
+          "Language/Haskell/Stylish/Step/Imports"
+          "Language/Haskell/Stylish/Step/LanguagePragmas"
+          "Language/Haskell/Stylish/Step/SimpleAlign"
+          "Language/Haskell/Stylish/Step/Squash"
+          "Language/Haskell/Stylish/Step/Tabs"
+          "Language/Haskell/Stylish/Step/TrailingWhitespace"
+          "Language/Haskell/Stylish/Step/UnicodeSyntax"
+          ];
+        hsSourceDirs = [ "lib" ];
+        };
+      exes = {
+        "stylish-haskell" = {
+          depends = [
+            (hsPkgs."stylish-haskell" or (errorHandler.buildDepError "stylish-haskell"))
+            (hsPkgs."strict" or (errorHandler.buildDepError "strict"))
+            (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
+            (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+            (hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+            (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+            (hsPkgs."file-embed" or (errorHandler.buildDepError "file-embed"))
+            (hsPkgs."haskell-src-exts" or (errorHandler.buildDepError "haskell-src-exts"))
+            (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+            (hsPkgs."syb" or (errorHandler.buildDepError "syb"))
+            (hsPkgs."HsYAML-aeson" or (errorHandler.buildDepError "HsYAML-aeson"))
+            (hsPkgs."HsYAML" or (errorHandler.buildDepError "HsYAML"))
+            ];
+          buildable = true;
+          hsSourceDirs = [ "src" ];
+          mainPath = [ "Main.hs" ];
+          };
+        };
+      tests = {
+        "stylish-haskell-tests" = {
+          depends = [
+            (hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit"))
+            (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework"))
+            (hsPkgs."test-framework-hunit" or (errorHandler.buildDepError "test-framework-hunit"))
+            (hsPkgs."random" or (errorHandler.buildDepError "random"))
+            (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+            (hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+            (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+            (hsPkgs."file-embed" or (errorHandler.buildDepError "file-embed"))
+            (hsPkgs."haskell-src-exts" or (errorHandler.buildDepError "haskell-src-exts"))
+            (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+            (hsPkgs."syb" or (errorHandler.buildDepError "syb"))
+            (hsPkgs."text" or (errorHandler.buildDepError "text"))
+            (hsPkgs."HsYAML-aeson" or (errorHandler.buildDepError "HsYAML-aeson"))
+            (hsPkgs."HsYAML" or (errorHandler.buildDepError "HsYAML"))
+            ];
+          buildable = true;
+          modules = [
+            "Language/Haskell/Stylish"
+            "Language/Haskell/Stylish/Align"
+            "Language/Haskell/Stylish/Block"
+            "Language/Haskell/Stylish/Config"
+            "Language/Haskell/Stylish/Config/Cabal"
+            "Language/Haskell/Stylish/Config/Internal"
+            "Language/Haskell/Stylish/Config/Tests"
+            "Language/Haskell/Stylish/Editor"
+            "Language/Haskell/Stylish/Parse"
+            "Language/Haskell/Stylish/Parse/Tests"
+            "Language/Haskell/Stylish/Step"
+            "Language/Haskell/Stylish/Step/Imports"
+            "Language/Haskell/Stylish/Step/Imports/Tests"
+            "Language/Haskell/Stylish/Step/Data"
+            "Language/Haskell/Stylish/Step/Data/Tests"
+            "Language/Haskell/Stylish/Step/LanguagePragmas"
+            "Language/Haskell/Stylish/Step/LanguagePragmas/Tests"
+            "Language/Haskell/Stylish/Step/SimpleAlign"
+            "Language/Haskell/Stylish/Step/SimpleAlign/Tests"
+            "Language/Haskell/Stylish/Step/Squash"
+            "Language/Haskell/Stylish/Step/Squash/Tests"
+            "Language/Haskell/Stylish/Step/Tabs"
+            "Language/Haskell/Stylish/Step/Tabs/Tests"
+            "Language/Haskell/Stylish/Step/TrailingWhitespace"
+            "Language/Haskell/Stylish/Step/TrailingWhitespace/Tests"
+            "Language/Haskell/Stylish/Step/UnicodeSyntax"
+            "Language/Haskell/Stylish/Step/UnicodeSyntax/Tests"
+            "Language/Haskell/Stylish/Tests"
+            "Language/Haskell/Stylish/Tests/Util"
+            "Language/Haskell/Stylish/Util"
+            "Language/Haskell/Stylish/Verbose"
+            "Paths_stylish_haskell"
+            ];
+          hsSourceDirs = [ "tests" "lib" ];
+          mainPath = [ "TestSuite.hs" ];
+          };
+        };
+      };
+    } // rec {
+    src = (pkgs.lib).mkDefault ./.;
+    }
\ No newline at end of file
diff --git a/shell.nix b/shell.nix
index 63f9fae13b..389947cc9d 100644
--- a/shell.nix
+++ b/shell.nix
@@ -1,13 +1,10 @@
-{ default ? import ./default.nix {} }:
+{ default ? import ./default.nix {}
+, checkMaterialization ? false
+}:
 
 let
   inherit (default) project;
-
-  local =
-    if builtins.pathExists ./shell.local.nix
-    then import ./shell.local.nix { inherit default; }
-    else x: x;
-  shellFor = args: project.shellFor (local args);
+  inherit (project) shellFor;
 
   sources = import ./nix/sources.nix;
   pkgs = import sources."nixpkgs" {};
@@ -22,17 +19,23 @@ let
       # This fixes a performance issue, probably https://gitlab.haskell.org/ghc/ghc/issues/15524
       { packages.ghcide.configureFlags = [ "--enable-executable-dynamic" ]; }
     ];
+    inherit checkMaterialization;
+    materialized = ./nix/ghcide.nix.d;
   };
   inherit (ghcide-project.ghcide.components.exes) ghcide;
   inherit (ghcide-project.hie-bios.components.exes) hie-bios;
 
   hlint-project = default.pkgs.haskell-nix.stackProject {
     src = sources."hlint";
+    inherit checkMaterialization;
+    materialized = ./nix/hlint.nix.d;
   };
   inherit (hlint-project.hlint.components.exes) hlint;
 
   stylish-haskell-project = default.pkgs.haskell-nix.stackProject {
     src = sources."stylish-haskell";
+    inherit checkMaterialization;
+    materialized = ./nix/stylish-haskell.nix.d;
   };
   inherit (stylish-haskell-project.stylish-haskell.components.exes) stylish-haskell;