diff --git a/default.nix b/default.nix
index 2b7effb2345..46047b147c8 100644
--- a/default.nix
+++ b/default.nix
@@ -10207,6 +10207,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
   "mailchimp" = import ./nix/mailchimp.nix;
   "mailchimp-subscribe" = import ./nix/mailchimp-subscribe.nix;
   "mailgun" = import ./nix/mailgun.nix;
+  "mailtrap" = import ./nix/mailtrap.nix;
   "main-tester" = import ./nix/main-tester.nix;
   "mainland-pretty" = import ./nix/mainland-pretty.nix;
   "majordomo" = import ./nix/majordomo.nix;
@@ -12490,6 +12491,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
   "precursor" = import ./nix/precursor.nix;
   "pred-set" = import ./nix/pred-set.nix;
   "pred-trie" = import ./nix/pred-trie.nix;
+  "predicate" = import ./nix/predicate.nix;
   "predicate-class" = import ./nix/predicate-class.nix;
   "predicate-transformers" = import ./nix/predicate-transformers.nix;
   "predicate-typed" = import ./nix/predicate-typed.nix;
diff --git a/hackage/alex-3.4.0.1-r0-9d88e2463b268dfd41e5c9d6964e28a1532bae3c70241de85460b84a4b5ac528.nix b/hackage/alex-3.4.0.1-r0-9d88e2463b268dfd41e5c9d6964e28a1532bae3c70241de85460b84a4b5ac528.nix
new file mode 100644
index 00000000000..11f0ee1f906
--- /dev/null
+++ b/hackage/alex-3.4.0.1-r0-9d88e2463b268dfd41e5c9d6964e28a1532bae3c70241de85460b84a4b5ac528.nix
@@ -0,0 +1,50 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "1.10";
+      identifier = { name = "alex"; version = "3.4.0.1"; };
+      license = "BSD-3-Clause";
+      copyright = "(c) Chis Dornan, Simon Marlow";
+      maintainer = "https://github.com/haskell/alex";
+      author = "Chris Dornan and Simon Marlow";
+      homepage = "http://www.haskell.org/alex/";
+      url = "";
+      synopsis = "Alex is a tool for generating lexical analysers in Haskell";
+      description = "Alex is a tool for generating lexical analysers in Haskell.\nIt takes a description of tokens based on regular\nexpressions and generates a Haskell module containing code\nfor scanning text efficiently. It is similar to the tool\nlex or flex for C/C++.";
+      buildType = "Simple";
+      };
+    components = {
+      exes = {
+        "alex" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."array" or (errorHandler.buildDepError "array"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+            ];
+          buildable = true;
+          };
+        };
+      tests = {
+        "tests" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."process" or (errorHandler.buildDepError "process"))
+            ];
+          build-tools = [
+            (hsPkgs.buildPackages.alex.components.exes.alex or (pkgs.buildPackages.alex or (errorHandler.buildToolDepError "alex:alex")))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/deep-transformations-0.2.2-r0-5f59b5a7f77df7e788f97a500b6ce8883dc624f68bed8dff01afdbd0977647d8.nix b/hackage/deep-transformations-0.2.2-r0-5f59b5a7f77df7e788f97a500b6ce8883dc624f68bed8dff01afdbd0977647d8.nix
new file mode 100644
index 00000000000..e7140e51c66
--- /dev/null
+++ b/hackage/deep-transformations-0.2.2-r0-5f59b5a7f77df7e788f97a500b6ce8883dc624f68bed8dff01afdbd0977647d8.nix
@@ -0,0 +1,56 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "1.10";
+      identifier = { name = "deep-transformations"; version = "0.2.2"; };
+      license = "BSD-3-Clause";
+      copyright = "(c) 2019 Mario Blažević";
+      maintainer = "blamario@protonmail.com";
+      author = "Mario Blažević";
+      homepage = "https://github.com/blamario/grampa/tree/master/deep-transformations";
+      url = "";
+      synopsis = "Deep natural and unnatural tree transformations, including attribute grammars";
+      description = "This library builds on the <http://hackage.haskell.org/package/rank2classes rank2classes> package to provide the\nequivalents of 'Functor' and related classes for heterogenous trees, including complex abstract syntax trees of\nreal-world programming languages.\n\nThe functionality includes attribute grammars in \"Transformation.AG\".";
+      buildType = "Custom";
+      setup-depends = [
+        (hsPkgs.buildPackages.base or (pkgs.buildPackages.base or (errorHandler.setupDepError "base")))
+        (hsPkgs.buildPackages.Cabal or (pkgs.buildPackages.Cabal or (errorHandler.setupDepError "Cabal")))
+        (hsPkgs.buildPackages.cabal-doctest or (pkgs.buildPackages.cabal-doctest or (errorHandler.setupDepError "cabal-doctest")))
+        ];
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."rank2classes" or (errorHandler.buildDepError "rank2classes"))
+          (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
+          (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
+          (hsPkgs."generic-lens" or (errorHandler.buildDepError "generic-lens"))
+          ];
+        buildable = true;
+        };
+      tests = {
+        "doctests" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."rank2classes" or (errorHandler.buildDepError "rank2classes"))
+            (hsPkgs."deep-transformations" or (errorHandler.buildDepError "deep-transformations"))
+            (hsPkgs."doctest" or (errorHandler.buildDepError "doctest"))
+            ];
+          build-tools = [
+            (hsPkgs.buildPackages.markdown-unlit.components.exes.markdown-unlit or (pkgs.buildPackages.markdown-unlit or (errorHandler.buildToolDepError "markdown-unlit:markdown-unlit")))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/demangler-1.2.0.0-r0-6d77ac4a7d2e8fc537725243fe1f53fcf6363f797d06110b1e9c9bd8026a75da.nix b/hackage/demangler-1.2.0.0-r0-6d77ac4a7d2e8fc537725243fe1f53fcf6363f797d06110b1e9c9bd8026a75da.nix
new file mode 100644
index 00000000000..fc8a0dd47f2
--- /dev/null
+++ b/hackage/demangler-1.2.0.0-r0-6d77ac4a7d2e8fc537725243fe1f53fcf6363f797d06110b1e9c9bd8026a75da.nix
@@ -0,0 +1,67 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = { debug = false; };
+    package = {
+      specVersion = "3.0";
+      identifier = { name = "demangler"; version = "1.2.0.0"; };
+      license = "BSD-3-Clause";
+      copyright = "";
+      maintainer = "kquick@galois.com";
+      author = "Galois, Inc.";
+      homepage = "";
+      url = "";
+      synopsis = "Demangler for C++ mangled names.";
+      description = "Provides a demangler (and mangler) for C++ names, with an intermediate\nrepresentation that captures the nuances of each composite name to allow\nfor semantic utilization of different portions of a name.\n.\nAlso provides text sharing for efficient storage of a large number of\ndemangled names.\n.\nSee https://itanium-cxx-abi.github.io/cxx-abi/abi.html#mangling for more\ndetails on mangling";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+          (hsPkgs."lens" or (errorHandler.buildDepError "lens"))
+          (hsPkgs."sayable" or (errorHandler.buildDepError "sayable"))
+          (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
+          (hsPkgs."text" or (errorHandler.buildDepError "text"))
+          ] ++ (pkgs.lib).optional (flags.debug) (hsPkgs."panic" or (errorHandler.buildDepError "panic"));
+        buildable = true;
+        };
+      exes = {
+        "demangle" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."demangler" or (errorHandler.buildDepError "demangler"))
+            (hsPkgs."sayable" or (errorHandler.buildDepError "sayable"))
+            (hsPkgs."text" or (errorHandler.buildDepError "text"))
+            (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
+            ];
+          buildable = true;
+          };
+        };
+      tests = {
+        "demangler-test" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."demangler" or (errorHandler.buildDepError "demangler"))
+            (hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
+            (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter"))
+            (hsPkgs."process" or (errorHandler.buildDepError "process"))
+            (hsPkgs."sayable" or (errorHandler.buildDepError "sayable"))
+            (hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
+            (hsPkgs."tasty-hspec" or (errorHandler.buildDepError "tasty-hspec"))
+            (hsPkgs."text" or (errorHandler.buildDepError "text"))
+            (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/finite-semigroups-0.1.0.0-r1-c5930812e742c999363d876c60cb5f95c72b50cb46c3cd76d0f30020d27062c1.nix b/hackage/finite-semigroups-0.1.0.0-r1-c5930812e742c999363d876c60cb5f95c72b50cb46c3cd76d0f30020d27062c1.nix
new file mode 100644
index 00000000000..0fee30646d8
--- /dev/null
+++ b/hackage/finite-semigroups-0.1.0.0-r1-c5930812e742c999363d876c60cb5f95c72b50cb46c3cd76d0f30020d27062c1.nix
@@ -0,0 +1,46 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "3.0";
+      identifier = { name = "finite-semigroups"; version = "0.1.0.0"; };
+      license = "MIT";
+      copyright = "Copyright (c) 2023 Dakotah Lambert";
+      maintainer = "dakotahlambert@acm.org";
+      author = "Dakotah Lambert";
+      homepage = "https://github.com/vvulpes0/finite-semigroups";
+      url = "";
+      synopsis = "Operations and classification for finite semigroups";
+      description = "This provides means to construct finite semigroups\nand determine which (ordered) pseudovarieties\nthey belong to.  Some are predefined, but an\narbitrary variety can be specified by equations.";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+          (hsPkgs."safe" or (errorHandler.buildDepError "safe"))
+          ];
+        buildable = true;
+        };
+      tests = {
+        "finite-semigroups-test" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit"))
+            (hsPkgs."finite-semigroups" or (errorHandler.buildDepError "finite-semigroups"))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/language-toolkit-1.1.0.0-r2-1d21063858b73de676b0989633393157212ba7bb588a526378572f0c70b5a97d.nix b/hackage/language-toolkit-1.1.0.0-r2-1d21063858b73de676b0989633393157212ba7bb588a526378572f0c70b5a97d.nix
new file mode 100644
index 00000000000..5cbcd05d982
--- /dev/null
+++ b/hackage/language-toolkit-1.1.0.0-r2-1d21063858b73de676b0989633393157212ba7bb588a526378572f0c70b5a97d.nix
@@ -0,0 +1,86 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "1.10";
+      identifier = { name = "language-toolkit"; version = "1.1.0.0"; };
+      license = "MIT";
+      copyright = "(c) 2014-2023 Dakotah Lambert";
+      maintainer = "Dakotah Lambert <dakotahlambert@acm.org>";
+      author = "Dakotah Lambert, James Rogers";
+      homepage = "https://github.com/vvulpes0/Language-Toolkit-2";
+      url = "";
+      synopsis = "A set of tools for analyzing languages via logic and automata";
+      description = "This provides the Language Toolkit (LTK) library\nand associated executables.\nThere are four main components:\n\n* @factorize@,\nwhich takes as input a set of finite-state automata\nand writes out for each one a set of constraints\nthat approximates (or, if possible, defines) it.\n\n* @plebby@,\nan interactive theorem-prover in which one can\ndefine languages via logical constraints\nor import finite-state automata\nand get information about the languages so defined.\n\n* @classify@,\na command-line classification program useful\nfor batch jobs.\n\n* And the @LTK@ library,\nwhich includes the functions used by\n@factorize@ and @plebby@\nas well as several other useful tools.\n\nThis project began as a simple tool for working with\nfinite-state automata, and has grown considerably more\nuseful in working specifically with sub-regular languages\nas it has matured.";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+          (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
+          (hsPkgs."parallel" or (errorHandler.buildDepError "parallel"))
+          ];
+        buildable = true;
+        };
+      exes = {
+        "dotify" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."language-toolkit" or (errorHandler.buildDepError "language-toolkit"))
+            ];
+          buildable = true;
+          };
+        "factorize" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."language-toolkit" or (errorHandler.buildDepError "language-toolkit"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
+            (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+            (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+            ];
+          buildable = true;
+          };
+        "make-non-strict-constraints" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."language-toolkit" or (errorHandler.buildDepError "language-toolkit"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
+            (hsPkgs."parallel" or (errorHandler.buildDepError "parallel"))
+            ];
+          buildable = true;
+          };
+        "plebby" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."language-toolkit" or (errorHandler.buildDepError "language-toolkit"))
+            (hsPkgs."haskeline" or (errorHandler.buildDepError "haskeline"))
+            (hsPkgs."process" or (errorHandler.buildDepError "process"))
+            (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
+            (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+            (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+            ];
+          buildable = true;
+          };
+        "classify" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."language-toolkit" or (errorHandler.buildDepError "language-toolkit"))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/language-toolkit-1.1.0.0-r3-a4317c77f29623120de3166845f4f0879aeb9af8fa10d8fa66899d6fec2b2954.nix b/hackage/language-toolkit-1.1.0.0-r3-a4317c77f29623120de3166845f4f0879aeb9af8fa10d8fa66899d6fec2b2954.nix
new file mode 100644
index 00000000000..5cbcd05d982
--- /dev/null
+++ b/hackage/language-toolkit-1.1.0.0-r3-a4317c77f29623120de3166845f4f0879aeb9af8fa10d8fa66899d6fec2b2954.nix
@@ -0,0 +1,86 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "1.10";
+      identifier = { name = "language-toolkit"; version = "1.1.0.0"; };
+      license = "MIT";
+      copyright = "(c) 2014-2023 Dakotah Lambert";
+      maintainer = "Dakotah Lambert <dakotahlambert@acm.org>";
+      author = "Dakotah Lambert, James Rogers";
+      homepage = "https://github.com/vvulpes0/Language-Toolkit-2";
+      url = "";
+      synopsis = "A set of tools for analyzing languages via logic and automata";
+      description = "This provides the Language Toolkit (LTK) library\nand associated executables.\nThere are four main components:\n\n* @factorize@,\nwhich takes as input a set of finite-state automata\nand writes out for each one a set of constraints\nthat approximates (or, if possible, defines) it.\n\n* @plebby@,\nan interactive theorem-prover in which one can\ndefine languages via logical constraints\nor import finite-state automata\nand get information about the languages so defined.\n\n* @classify@,\na command-line classification program useful\nfor batch jobs.\n\n* And the @LTK@ library,\nwhich includes the functions used by\n@factorize@ and @plebby@\nas well as several other useful tools.\n\nThis project began as a simple tool for working with\nfinite-state automata, and has grown considerably more\nuseful in working specifically with sub-regular languages\nas it has matured.";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+          (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
+          (hsPkgs."parallel" or (errorHandler.buildDepError "parallel"))
+          ];
+        buildable = true;
+        };
+      exes = {
+        "dotify" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."language-toolkit" or (errorHandler.buildDepError "language-toolkit"))
+            ];
+          buildable = true;
+          };
+        "factorize" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."language-toolkit" or (errorHandler.buildDepError "language-toolkit"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
+            (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+            (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+            ];
+          buildable = true;
+          };
+        "make-non-strict-constraints" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."language-toolkit" or (errorHandler.buildDepError "language-toolkit"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
+            (hsPkgs."parallel" or (errorHandler.buildDepError "parallel"))
+            ];
+          buildable = true;
+          };
+        "plebby" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."language-toolkit" or (errorHandler.buildDepError "language-toolkit"))
+            (hsPkgs."haskeline" or (errorHandler.buildDepError "haskeline"))
+            (hsPkgs."process" or (errorHandler.buildDepError "process"))
+            (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
+            (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+            (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+            ];
+          buildable = true;
+          };
+        "classify" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."language-toolkit" or (errorHandler.buildDepError "language-toolkit"))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/language-toolkit-1.1.0.0-r4-88053187798ca880d3eab8b46435d86f9c7fcdda51c2d809c0847902acc6a18e.nix b/hackage/language-toolkit-1.1.0.0-r4-88053187798ca880d3eab8b46435d86f9c7fcdda51c2d809c0847902acc6a18e.nix
new file mode 100644
index 00000000000..5cbcd05d982
--- /dev/null
+++ b/hackage/language-toolkit-1.1.0.0-r4-88053187798ca880d3eab8b46435d86f9c7fcdda51c2d809c0847902acc6a18e.nix
@@ -0,0 +1,86 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "1.10";
+      identifier = { name = "language-toolkit"; version = "1.1.0.0"; };
+      license = "MIT";
+      copyright = "(c) 2014-2023 Dakotah Lambert";
+      maintainer = "Dakotah Lambert <dakotahlambert@acm.org>";
+      author = "Dakotah Lambert, James Rogers";
+      homepage = "https://github.com/vvulpes0/Language-Toolkit-2";
+      url = "";
+      synopsis = "A set of tools for analyzing languages via logic and automata";
+      description = "This provides the Language Toolkit (LTK) library\nand associated executables.\nThere are four main components:\n\n* @factorize@,\nwhich takes as input a set of finite-state automata\nand writes out for each one a set of constraints\nthat approximates (or, if possible, defines) it.\n\n* @plebby@,\nan interactive theorem-prover in which one can\ndefine languages via logical constraints\nor import finite-state automata\nand get information about the languages so defined.\n\n* @classify@,\na command-line classification program useful\nfor batch jobs.\n\n* And the @LTK@ library,\nwhich includes the functions used by\n@factorize@ and @plebby@\nas well as several other useful tools.\n\nThis project began as a simple tool for working with\nfinite-state automata, and has grown considerably more\nuseful in working specifically with sub-regular languages\nas it has matured.";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+          (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
+          (hsPkgs."parallel" or (errorHandler.buildDepError "parallel"))
+          ];
+        buildable = true;
+        };
+      exes = {
+        "dotify" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."language-toolkit" or (errorHandler.buildDepError "language-toolkit"))
+            ];
+          buildable = true;
+          };
+        "factorize" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."language-toolkit" or (errorHandler.buildDepError "language-toolkit"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
+            (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+            (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+            ];
+          buildable = true;
+          };
+        "make-non-strict-constraints" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."language-toolkit" or (errorHandler.buildDepError "language-toolkit"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
+            (hsPkgs."parallel" or (errorHandler.buildDepError "parallel"))
+            ];
+          buildable = true;
+          };
+        "plebby" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."language-toolkit" or (errorHandler.buildDepError "language-toolkit"))
+            (hsPkgs."haskeline" or (errorHandler.buildDepError "haskeline"))
+            (hsPkgs."process" or (errorHandler.buildDepError "process"))
+            (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
+            (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+            (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+            ];
+          buildable = true;
+          };
+        "classify" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."language-toolkit" or (errorHandler.buildDepError "language-toolkit"))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/lucid-2.11.20230408-r1-1a3bd496343dd314e2e4937ae7ae63f819a6f6ddd42a3177075712d7d35963bd.nix b/hackage/lucid-2.11.20230408-r1-1a3bd496343dd314e2e4937ae7ae63f819a6f6ddd42a3177075712d7d35963bd.nix
new file mode 100644
index 00000000000..989b57697f4
--- /dev/null
+++ b/hackage/lucid-2.11.20230408-r1-1a3bd496343dd314e2e4937ae7ae63f819a6f6ddd42a3177075712d7d35963bd.nix
@@ -0,0 +1,80 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "1.10";
+      identifier = { name = "lucid"; version = "2.11.20230408"; };
+      license = "BSD-3-Clause";
+      copyright = "2014-2021 Chris Done";
+      maintainer = "chrisdone@gmail.com";
+      author = "Chris Done";
+      homepage = "https://github.com/chrisdone/lucid";
+      url = "";
+      synopsis = "Clear to write, read and edit DSL for HTML";
+      description = "Clear to write, read and edit DSL for HTML.\n\n* Names are consistent, and do not conflict with base or are keywords (all have suffix @_@)\n\n* Same combinator can be used for attributes and elements (e.g. 'style_')\n\n* For more, read <https://chrisdone.com/posts/lucid the blog post>\n\nSee the \"Lucid\" module for more documentation.";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+          (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+          (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
+          (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+          (hsPkgs."text" or (errorHandler.buildDepError "text"))
+          (hsPkgs."blaze-builder" or (errorHandler.buildDepError "blaze-builder"))
+          (hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
+          (hsPkgs."mmorph" or (errorHandler.buildDepError "mmorph"))
+          ] ++ (pkgs.lib).optional (!(compiler.isGhc && (compiler.version).ge "8.0")) (hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups"));
+        buildable = true;
+        };
+      tests = {
+        "test" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."lucid" or (errorHandler.buildDepError "lucid"))
+            (hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit"))
+            (hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
+            (hsPkgs."parsec" or (errorHandler.buildDepError "parsec"))
+            (hsPkgs."bifunctors" or (errorHandler.buildDepError "bifunctors"))
+            (hsPkgs."text" or (errorHandler.buildDepError "text"))
+            (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+            ];
+          buildable = true;
+          };
+        };
+      benchmarks = {
+        "bench" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
+            (hsPkgs."criterion" or (errorHandler.buildDepError "criterion"))
+            (hsPkgs."blaze-builder" or (errorHandler.buildDepError "blaze-builder"))
+            (hsPkgs."text" or (errorHandler.buildDepError "text"))
+            (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+            (hsPkgs."lucid" or (errorHandler.buildDepError "lucid"))
+            ];
+          buildable = true;
+          };
+        "bench-io" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."criterion" or (errorHandler.buildDepError "criterion"))
+            (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
+            (hsPkgs."text" or (errorHandler.buildDepError "text"))
+            (hsPkgs."lucid" or (errorHandler.buildDepError "lucid"))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/lucid2-0.0.20230706-r1-15957c605d9f54f76dcdeb458c7cfd8a3e9ab4d193b3d22d5ac782b55b35da40.nix b/hackage/lucid2-0.0.20230706-r1-15957c605d9f54f76dcdeb458c7cfd8a3e9ab4d193b3d22d5ac782b55b35da40.nix
new file mode 100644
index 00000000000..2f73c59f90f
--- /dev/null
+++ b/hackage/lucid2-0.0.20230706-r1-15957c605d9f54f76dcdeb458c7cfd8a3e9ab4d193b3d22d5ac782b55b35da40.nix
@@ -0,0 +1,53 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "1.10";
+      identifier = { name = "lucid2"; version = "0.0.20230706"; };
+      license = "BSD-3-Clause";
+      copyright = "2014-2022 Chris Done";
+      maintainer = "lucid2@chrisdone.com";
+      author = "Chris Done";
+      homepage = "https://github.com/chrisdone/lucid";
+      url = "";
+      synopsis = "Clear to write, read and edit DSL for HTML";
+      description = "Clear to write, read and edit DSL for HTML.\n\n* Names are consistent, and do not conflict with base or are keywords (all have suffix @_@)\n\n* Same combinator can be used for attributes and elements (e.g. 'style_')\n\n* For more, read <https://chrisdone.com/posts/lucid the blog post>\n\nSee the \"Lucid\" module for more documentation.\n\nThis package is the newer version of lucid.";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+          (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+          (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
+          (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+          (hsPkgs."text" or (errorHandler.buildDepError "text"))
+          ];
+        buildable = true;
+        };
+      tests = {
+        "test" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."lucid2" or (errorHandler.buildDepError "lucid2"))
+            (hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit"))
+            (hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
+            (hsPkgs."parsec" or (errorHandler.buildDepError "parsec"))
+            (hsPkgs."bifunctors" or (errorHandler.buildDepError "bifunctors"))
+            (hsPkgs."text" or (errorHandler.buildDepError "text"))
+            (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/mailtrap-0.1.0.0-r0-ee59840d9948d6c43081601558d94a069059d474476bfebd9e9ef6b28ac5e96e.nix b/hackage/mailtrap-0.1.0.0-r0-ee59840d9948d6c43081601558d94a069059d474476bfebd9e9ef6b28ac5e96e.nix
new file mode 100644
index 00000000000..a819e1f9c6e
--- /dev/null
+++ b/hackage/mailtrap-0.1.0.0-r0-ee59840d9948d6c43081601558d94a069059d474476bfebd9e9ef6b28ac5e96e.nix
@@ -0,0 +1,45 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "1.18";
+      identifier = { name = "mailtrap"; version = "0.1.0.0"; };
+      license = "MIT";
+      copyright = "";
+      maintainer = "Daniel Casanueva (daniel.casanueva `at` proton.me)";
+      author = "Daniel Casanueva (daniel.casanueva `at` proton.me)";
+      homepage = "https://gitlab.com/daniel-casanueva/haskell/mailtrap";
+      url = "";
+      synopsis = "Mailtrap API library.";
+      description = "Mailtrap API library. For more information,\nvisit [the repository](https://gitlab.com/daniel-casanueva/haskell/mailtrap).";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."text" or (errorHandler.buildDepError "text"))
+          (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+          (hsPkgs."email-validate" or (errorHandler.buildDepError "email-validate"))
+          (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+          (hsPkgs."mime-types" or (errorHandler.buildDepError "mime-types"))
+          (hsPkgs."base64" or (errorHandler.buildDepError "base64"))
+          (hsPkgs."blaze-html" or (errorHandler.buildDepError "blaze-html"))
+          (hsPkgs."uuid-types" or (errorHandler.buildDepError "uuid-types"))
+          (hsPkgs."http-conduit" or (errorHandler.buildDepError "http-conduit"))
+          (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+          (hsPkgs."time" or (errorHandler.buildDepError "time"))
+          (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
+          ];
+        buildable = true;
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/mailtrap-0.1.1.0-r0-e4cafa2d82b1656c2c8ccb90242b86cfbd8be3926b69fb1a948f0c5ceba2a488.nix b/hackage/mailtrap-0.1.1.0-r0-e4cafa2d82b1656c2c8ccb90242b86cfbd8be3926b69fb1a948f0c5ceba2a488.nix
new file mode 100644
index 00000000000..46e8232226d
--- /dev/null
+++ b/hackage/mailtrap-0.1.1.0-r0-e4cafa2d82b1656c2c8ccb90242b86cfbd8be3926b69fb1a948f0c5ceba2a488.nix
@@ -0,0 +1,45 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "1.18";
+      identifier = { name = "mailtrap"; version = "0.1.1.0"; };
+      license = "MIT";
+      copyright = "";
+      maintainer = "Daniel Casanueva (daniel.casanueva `at` proton.me)";
+      author = "Daniel Casanueva (daniel.casanueva `at` proton.me)";
+      homepage = "https://gitlab.com/daniel-casanueva/haskell/mailtrap";
+      url = "";
+      synopsis = "Mailtrap API library.";
+      description = "Mailtrap API library. For more information,\nvisit [the repository](https://gitlab.com/daniel-casanueva/haskell/mailtrap).";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."text" or (errorHandler.buildDepError "text"))
+          (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+          (hsPkgs."email-validate" or (errorHandler.buildDepError "email-validate"))
+          (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+          (hsPkgs."mime-types" or (errorHandler.buildDepError "mime-types"))
+          (hsPkgs."base64" or (errorHandler.buildDepError "base64"))
+          (hsPkgs."blaze-html" or (errorHandler.buildDepError "blaze-html"))
+          (hsPkgs."uuid-types" or (errorHandler.buildDepError "uuid-types"))
+          (hsPkgs."http-conduit" or (errorHandler.buildDepError "http-conduit"))
+          (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+          (hsPkgs."time" or (errorHandler.buildDepError "time"))
+          (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
+          ];
+        buildable = true;
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/predicate-0.0.1-r0-ad640ad7d7764ad5c04f5597928be88563064f3ea6c2b023e961cb560b3f5cbe.nix b/hackage/predicate-0.0.1-r0-ad640ad7d7764ad5c04f5597928be88563064f3ea6c2b023e961cb560b3f5cbe.nix
new file mode 100644
index 00000000000..6c6105be155
--- /dev/null
+++ b/hackage/predicate-0.0.1-r0-ad640ad7d7764ad5c04f5597928be88563064f3ea6c2b023e961cb560b3f5cbe.nix
@@ -0,0 +1,36 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "1.10";
+      identifier = { name = "predicate"; version = "0.0.1"; };
+      license = "BSD-3-Clause";
+      copyright = "Copyright (C) 2023 Tony Morris";
+      maintainer = "Tony Morris <ʇǝu˙sıɹɹoɯʇ@ןןǝʞsɐɥ>";
+      author = "Tony Morris <ʇǝu˙sıɹɹoɯʇ@ןןǝʞsɐɥ>";
+      homepage = "https://gitlab.com/tonymorris/predicate";
+      url = "";
+      synopsis = "Predicates";
+      description = "A library for predicates";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."lens" or (errorHandler.buildDepError "lens"))
+          (hsPkgs."contravariant" or (errorHandler.buildDepError "contravariant"))
+          (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+          ];
+        buildable = true;
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/predicate-0.0.2-r0-0c0344ea26a4f42fe24357509dd54b59f8570f35baf91ff8316f5558fd9ef653.nix b/hackage/predicate-0.0.2-r0-0c0344ea26a4f42fe24357509dd54b59f8570f35baf91ff8316f5558fd9ef653.nix
new file mode 100644
index 00000000000..0a80b1ed62d
--- /dev/null
+++ b/hackage/predicate-0.0.2-r0-0c0344ea26a4f42fe24357509dd54b59f8570f35baf91ff8316f5558fd9ef653.nix
@@ -0,0 +1,36 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "1.10";
+      identifier = { name = "predicate"; version = "0.0.2"; };
+      license = "BSD-3-Clause";
+      copyright = "Copyright (C) 2023 Tony Morris";
+      maintainer = "Tony Morris <ʇǝu˙sıɹɹoɯʇ@ןןǝʞsɐɥ>";
+      author = "Tony Morris <ʇǝu˙sıɹɹoɯʇ@ןןǝʞsɐɥ>";
+      homepage = "https://gitlab.com/tonymorris/predicate";
+      url = "";
+      synopsis = "Predicates";
+      description = "A library for predicates";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."lens" or (errorHandler.buildDepError "lens"))
+          (hsPkgs."contravariant" or (errorHandler.buildDepError "contravariant"))
+          (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+          ];
+        buildable = true;
+        };
+      };
+    }
\ No newline at end of file
diff --git a/index-state-hashes.nix b/index-state-hashes.nix
index ab153e7474e..5daf4bf8dec 100644
--- a/index-state-hashes.nix
+++ b/index-state-hashes.nix
@@ -1672,4 +1672,5 @@
   "2023-10-27T00:00:00Z" = "20ac1c2a09b7a1f6bcf84c3913d032cc6d3dd52f75aa3311e5171fa8ff5293c5";
   "2023-10-28T00:00:00Z" = "e89991dad2346a3ea37df584ce94f3c47409d8523ecb96db1d206cdcd8f85d6a";
   "2023-10-29T00:00:00Z" = "293ee57f037a89a883fa5810d7f35bf8e3541b220fefdcbce501c5f363aa8eb8";
+  "2023-10-30T00:00:00Z" = "f4dc7706acc3bccdad6a146569a70aebc68fd3c99baa6e235aef4d16cf0a75c2";
 }
diff --git a/nix/alex.nix b/nix/alex.nix
index 33a34650b2b..0e7cd4dce4d 100644
--- a/nix/alex.nix
+++ b/nix/alex.nix
@@ -535,4 +535,15 @@
       default = "r0";
       };
     };
+  "3.4.0.1" = {
+    sha256 = "4c38e6fce894bde7e63190900c907040f0a3eaa4cbdd2e6eeac173f57f049f36";
+    revisions = {
+      r0 = {
+        nix = import ../hackage/alex-3.4.0.1-r0-9d88e2463b268dfd41e5c9d6964e28a1532bae3c70241de85460b84a4b5ac528.nix;
+        revNum = 0;
+        sha256 = "9d88e2463b268dfd41e5c9d6964e28a1532bae3c70241de85460b84a4b5ac528";
+        };
+      default = "r0";
+      };
+    };
   }
\ No newline at end of file
diff --git a/nix/deep-transformations.nix b/nix/deep-transformations.nix
index 8a197a35bb9..d7531df0ecf 100644
--- a/nix/deep-transformations.nix
+++ b/nix/deep-transformations.nix
@@ -54,4 +54,15 @@
       default = "r0";
       };
     };
+  "0.2.2" = {
+    sha256 = "9a03949ab56c51f9db9be7d0540436f52439b3fa270259fb7520adb1d6dd58ea";
+    revisions = {
+      r0 = {
+        nix = import ../hackage/deep-transformations-0.2.2-r0-5f59b5a7f77df7e788f97a500b6ce8883dc624f68bed8dff01afdbd0977647d8.nix;
+        revNum = 0;
+        sha256 = "5f59b5a7f77df7e788f97a500b6ce8883dc624f68bed8dff01afdbd0977647d8";
+        };
+      default = "r0";
+      };
+    };
   }
\ No newline at end of file
diff --git a/nix/demangler.nix b/nix/demangler.nix
index ab792eefd7e..7350814de60 100644
--- a/nix/demangler.nix
+++ b/nix/demangler.nix
@@ -10,4 +10,15 @@
       default = "r0";
       };
     };
+  "1.2.0.0" = {
+    sha256 = "b49afb7e6296d6eb6a3705e913928d108d6469abc2218376d6b3c2622bc464df";
+    revisions = {
+      r0 = {
+        nix = import ../hackage/demangler-1.2.0.0-r0-6d77ac4a7d2e8fc537725243fe1f53fcf6363f797d06110b1e9c9bd8026a75da.nix;
+        revNum = 0;
+        sha256 = "6d77ac4a7d2e8fc537725243fe1f53fcf6363f797d06110b1e9c9bd8026a75da";
+        };
+      default = "r0";
+      };
+    };
   }
\ No newline at end of file
diff --git a/nix/finite-semigroups.nix b/nix/finite-semigroups.nix
index f9bb228b8f0..7bbe4a7208e 100644
--- a/nix/finite-semigroups.nix
+++ b/nix/finite-semigroups.nix
@@ -7,7 +7,12 @@
         revNum = 0;
         sha256 = "e25244f75172f43df5f31691cb0d58dedbd1682e0e58790391fffae237cba600";
         };
-      default = "r0";
+      r1 = {
+        nix = import ../hackage/finite-semigroups-0.1.0.0-r1-c5930812e742c999363d876c60cb5f95c72b50cb46c3cd76d0f30020d27062c1.nix;
+        revNum = 1;
+        sha256 = "c5930812e742c999363d876c60cb5f95c72b50cb46c3cd76d0f30020d27062c1";
+        };
+      default = "r1";
       };
     };
   }
\ No newline at end of file
diff --git a/nix/language-toolkit.nix b/nix/language-toolkit.nix
index 6debafcb7e2..0d21c48b552 100644
--- a/nix/language-toolkit.nix
+++ b/nix/language-toolkit.nix
@@ -34,7 +34,22 @@
         revNum = 1;
         sha256 = "604e60bad5d7acf352703352001ae5ab8f1753bbd4ceded186e1ecde85503e89";
         };
-      default = "r1";
+      r2 = {
+        nix = import ../hackage/language-toolkit-1.1.0.0-r2-1d21063858b73de676b0989633393157212ba7bb588a526378572f0c70b5a97d.nix;
+        revNum = 2;
+        sha256 = "1d21063858b73de676b0989633393157212ba7bb588a526378572f0c70b5a97d";
+        };
+      r3 = {
+        nix = import ../hackage/language-toolkit-1.1.0.0-r3-a4317c77f29623120de3166845f4f0879aeb9af8fa10d8fa66899d6fec2b2954.nix;
+        revNum = 3;
+        sha256 = "a4317c77f29623120de3166845f4f0879aeb9af8fa10d8fa66899d6fec2b2954";
+        };
+      r4 = {
+        nix = import ../hackage/language-toolkit-1.1.0.0-r4-88053187798ca880d3eab8b46435d86f9c7fcdda51c2d809c0847902acc6a18e.nix;
+        revNum = 4;
+        sha256 = "88053187798ca880d3eab8b46435d86f9c7fcdda51c2d809c0847902acc6a18e";
+        };
+      default = "r4";
       };
     };
   }
\ No newline at end of file
diff --git a/nix/lucid.nix b/nix/lucid.nix
index c63fbae136c..a011f42aaeb 100644
--- a/nix/lucid.nix
+++ b/nix/lucid.nix
@@ -228,7 +228,12 @@
         revNum = 0;
         sha256 = "a8bbc65cd2b77e37140f8a89112e250a254591a8a341dc0cbb7db9db71686017";
         };
-      default = "r0";
+      r1 = {
+        nix = import ../hackage/lucid-2.11.20230408-r1-1a3bd496343dd314e2e4937ae7ae63f819a6f6ddd42a3177075712d7d35963bd.nix;
+        revNum = 1;
+        sha256 = "1a3bd496343dd314e2e4937ae7ae63f819a6f6ddd42a3177075712d7d35963bd";
+        };
+      default = "r1";
       };
     };
   "2.2" = {
diff --git a/nix/lucid2.nix b/nix/lucid2.nix
index f2ebf813e61..ff1379a39b0 100644
--- a/nix/lucid2.nix
+++ b/nix/lucid2.nix
@@ -61,7 +61,12 @@
         revNum = 0;
         sha256 = "13cac73255f752dc458361a00f2186d8c97e890735667b7a67405134bb6650bd";
         };
-      default = "r0";
+      r1 = {
+        nix = import ../hackage/lucid2-0.0.20230706-r1-15957c605d9f54f76dcdeb458c7cfd8a3e9ab4d193b3d22d5ac782b55b35da40.nix;
+        revNum = 1;
+        sha256 = "15957c605d9f54f76dcdeb458c7cfd8a3e9ab4d193b3d22d5ac782b55b35da40";
+        };
+      default = "r1";
       };
     };
   }
\ No newline at end of file
diff --git a/nix/mailtrap.nix b/nix/mailtrap.nix
new file mode 100644
index 00000000000..543e720b3db
--- /dev/null
+++ b/nix/mailtrap.nix
@@ -0,0 +1,24 @@
+{
+  "0.1.0.0" = {
+    sha256 = "f4311a825c78b4bd9cbcedacf2f778dfd943cf5def89df0244d420357dac5eaf";
+    revisions = {
+      r0 = {
+        nix = import ../hackage/mailtrap-0.1.0.0-r0-ee59840d9948d6c43081601558d94a069059d474476bfebd9e9ef6b28ac5e96e.nix;
+        revNum = 0;
+        sha256 = "ee59840d9948d6c43081601558d94a069059d474476bfebd9e9ef6b28ac5e96e";
+        };
+      default = "r0";
+      };
+    };
+  "0.1.1.0" = {
+    sha256 = "cf8a3e2639edb65d6027650924ffc02e6fdbc83cce6ff96f2819bda7b976ff9c";
+    revisions = {
+      r0 = {
+        nix = import ../hackage/mailtrap-0.1.1.0-r0-e4cafa2d82b1656c2c8ccb90242b86cfbd8be3926b69fb1a948f0c5ceba2a488.nix;
+        revNum = 0;
+        sha256 = "e4cafa2d82b1656c2c8ccb90242b86cfbd8be3926b69fb1a948f0c5ceba2a488";
+        };
+      default = "r0";
+      };
+    };
+  }
\ No newline at end of file
diff --git a/nix/predicate.nix b/nix/predicate.nix
new file mode 100644
index 00000000000..5d1d6d38312
--- /dev/null
+++ b/nix/predicate.nix
@@ -0,0 +1,24 @@
+{
+  "0.0.1" = {
+    sha256 = "9db4fd9fce48c76c9e000e58bacd0a4e18ef67feee2e7411a1047fbdc0d03e87";
+    revisions = {
+      r0 = {
+        nix = import ../hackage/predicate-0.0.1-r0-ad640ad7d7764ad5c04f5597928be88563064f3ea6c2b023e961cb560b3f5cbe.nix;
+        revNum = 0;
+        sha256 = "ad640ad7d7764ad5c04f5597928be88563064f3ea6c2b023e961cb560b3f5cbe";
+        };
+      default = "r0";
+      };
+    };
+  "0.0.2" = {
+    sha256 = "878e208529c05ce801c53e8a9601faf26a132cf71417a91b3daab5efbef90ee9";
+    revisions = {
+      r0 = {
+        nix = import ../hackage/predicate-0.0.2-r0-0c0344ea26a4f42fe24357509dd54b59f8570f35baf91ff8316f5558fd9ef653.nix;
+        revNum = 0;
+        sha256 = "0c0344ea26a4f42fe24357509dd54b59f8570f35baf91ff8316f5558fd9ef653";
+        };
+      default = "r0";
+      };
+    };
+  }
\ No newline at end of file