diff --git a/default.nix b/default.nix
index 161c7df1f4f..e14c5f8493e 100644
--- a/default.nix
+++ b/default.nix
@@ -792,6 +792,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
   "Metrics" = import ./nix/_Metrics.nix;
   "Mhailist" = import ./nix/_Mhailist.nix;
   "Michelangelo" = import ./nix/_Michelangelo.nix;
+  "MicroHs" = import ./nix/_Micro_Hs.nix;
   "MicrosoftTranslator" = import ./nix/_Microsoft_Translator.nix;
   "MiniAgda" = import ./nix/_Mini_Agda.nix;
   "MissingH" = import ./nix/_Missing_H.nix;
@@ -3988,6 +3989,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
   "convertible" = import ./nix/convertible.nix;
   "convertible-ascii" = import ./nix/convertible-ascii.nix;
   "convertible-text" = import ./nix/convertible-text.nix;
+  "convexHullNd" = import ./nix/convex_Hull_Nd.nix;
   "cookbook" = import ./nix/cookbook.nix;
   "cookie" = import ./nix/cookie.nix;
   "cookie-tray" = import ./nix/cookie-tray.nix;
diff --git a/hackage/MicroHs-0.8-r0-52bdc9c5067041783428335af6c36910ae7c85ab8b2810c24da47195b85db4c6.nix b/hackage/MicroHs-0.8-r0-52bdc9c5067041783428335af6c36910ae7c85ab8b2810c24da47195b85db4c6.nix
new file mode 100644
index 00000000000..bbfa2d26e42
--- /dev/null
+++ b/hackage/MicroHs-0.8-r0-52bdc9c5067041783428335af6c36910ae7c85ab8b2810c24da47195b85db4c6.nix
@@ -0,0 +1,43 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "3.0";
+      identifier = { name = "MicroHs"; version = "0.8"; };
+      license = "Apache-2.0";
+      copyright = "2023 Lennart Augustsson";
+      maintainer = "lennart@augustsson.net";
+      author = "lennart@augustsson.net";
+      homepage = "";
+      url = "";
+      synopsis = "A compiler for a subset of Haskell";
+      description = "A compiler for a subset of Haskell.\nThe compiler translates to combinators and can compile itself.";
+      buildType = "Simple";
+      };
+    components = {
+      exes = {
+        "mhs" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
+            (hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim"))
+            (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+            (hsPkgs."time" or (errorHandler.buildDepError "time"))
+            (hsPkgs."pretty" or (errorHandler.buildDepError "pretty"))
+            (hsPkgs."process" or (errorHandler.buildDepError "process"))
+            (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/composition-extra-2.1.0-r0-aa6048510f8f00818c6fc15a63268ce28da5facadf71aeea02a4c1069e87c797.nix b/hackage/composition-extra-2.1.0-r0-aa6048510f8f00818c6fc15a63268ce28da5facadf71aeea02a4c1069e87c797.nix
new file mode 100644
index 00000000000..87fce1f24c1
--- /dev/null
+++ b/hackage/composition-extra-2.1.0-r0-aa6048510f8f00818c6fc15a63268ce28da5facadf71aeea02a4c1069e87c797.nix
@@ -0,0 +1,35 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "1.10";
+      identifier = { name = "composition-extra"; version = "2.1.0"; };
+      license = "BSD-3-Clause";
+      copyright = "";
+      maintainer = "athan.clark@gmail.com";
+      author = "Athan Clark";
+      homepage = "";
+      url = "";
+      synopsis = "Combinators for unorthodox structure composition";
+      description = "Increase the unreadability of your code through operators";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."contravariant" or (errorHandler.buildDepError "contravariant"))
+          (hsPkgs."composition" or (errorHandler.buildDepError "composition"))
+          ];
+        buildable = true;
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/convexHullNd-0.1.0.0-r0-d60aa422ad89b6da13602e7a59a72479a875404b3a47ef3e154d08f63c27d1cb.nix b/hackage/convexHullNd-0.1.0.0-r0-d60aa422ad89b6da13602e7a59a72479a875404b3a47ef3e154d08f63c27d1cb.nix
new file mode 100644
index 00000000000..ef5092f3d86
--- /dev/null
+++ b/hackage/convexHullNd-0.1.0.0-r0-d60aa422ad89b6da13602e7a59a72479a875404b3a47ef3e154d08f63c27d1cb.nix
@@ -0,0 +1,40 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "2.2";
+      identifier = { name = "convexHullNd"; version = "0.1.0.0"; };
+      license = "GPL-3.0-only";
+      copyright = "2023 Stéphane Laurent";
+      maintainer = "laurent_step@outlook.fr";
+      author = "Stéphane Laurent";
+      homepage = "https://github.com/stla/convexHullNd#readme";
+      url = "";
+      synopsis = "Convex hull";
+      description = "Computes the convex hull of a set of points in arbitrary dimension.\n\nThis library uses the C library 'qhull'.\n\nFor examples, look at the README file.";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+          (hsPkgs."extra" or (errorHandler.buildDepError "extra"))
+          (hsPkgs."ilist" or (errorHandler.buildDepError "ilist"))
+          (hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
+          (hsPkgs."insert-ordered-containers" or (errorHandler.buildDepError "insert-ordered-containers"))
+          (hsPkgs."Unique" or (errorHandler.buildDepError "Unique"))
+          (hsPkgs."regex-compat" or (errorHandler.buildDepError "regex-compat"))
+          ];
+        buildable = true;
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/json-spec-0.2.1.2-r0-194dd7516268a84b93f03cb2cae8f24f8ec4d26e777c8b3353c81198387312ce.nix b/hackage/json-spec-0.2.1.2-r0-194dd7516268a84b93f03cb2cae8f24f8ec4d26e777c8b3353c81198387312ce.nix
new file mode 100644
index 00000000000..7cc42815c77
--- /dev/null
+++ b/hackage/json-spec-0.2.1.2-r0-194dd7516268a84b93f03cb2cae8f24f8ec4d26e777c8b3353c81198387312ce.nix
@@ -0,0 +1,56 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "3.0";
+      identifier = { name = "json-spec"; version = "0.2.1.2"; };
+      license = "MIT";
+      copyright = "";
+      maintainer = "rick@owensmurray.com";
+      author = "Rick Owens";
+      homepage = "https://github.com/owensmurray/json-spec";
+      url = "";
+      synopsis = "Type-level JSON specification";
+      description = "= Motivation\nThis package provides a way to specify the shape of\nyour JSON data at the type level. The particular use\ncases we focus on are enabling (but not providing\nin this package):\n\n1. Auto-generating documentation to ensure it\n   is correct.\n2. Auto-generating client code in front-end languages\n   to ensure it is correct.\n\nThere are already tools available to achieve this,\nbut they all have one major drawback: they rely on\ngenerically derived Aeson instances. Some people\nstrongly object to using generically derived Aeson\ninstances for encoding/decoding http api data because\nof how brittle it is. It can be surprisingly easy\naccidentally break your API without noticing because\nyou don't realize that a small change to some type\nsomewhere affects the API representation. Avoiding\nthis requires very strict discipline about how you\norganize and maintain your code. E.g. you will see\na lot of comments like\n\n> --| BEWARE, Changing any of the types in this file will change the API\n> -- representation!!\n> module My.API (...) where\n\nBut then the types in this api might reference\ntypes in in other modules where it isn't as obvious\nthat you might be changing the api when you make\nan update.\n\nI have even seen people go so far as to mandate\nthat /every/ type appearing on the API must be\nin some similar \\\"API\\\" module. This usually ends\nbadly because you end up with a bunch of seemingly\nspurious (and quite tedious) translations between\nbetween \\\"business\\\" types and almost identical\n\\\"API\\\" types.\n\nThe other option is to simply not use generically\nderived instances and code all or some of your\n'ToJSON'/'FromJSON' instances by hand. That\n(sometimes) helps solve the problem of making it a\nlittle more obvious when you are making a breaking\napi change. And it definitely helps with the ability\nto update the haskell type for some business purpose\nwhile keeping the encoding backwards compatible.\n\nThe problem now though is that you can't take\nadvantage of any of the above tooling without\nwriting every instance by hand. Writing all the\nindividual instances by hand defeat's the purpose\nbecause you are back to being unsure whether they\nare all in sync!\n\nThe approach this library takes is to take a cue\nfrom `servant` and provide a way to specify the\nJSON encoding at the type level. You must manually\nspecify the encoding, but you only have to do so\nonce (at the type level). Other tools can then\ninspect the type using either type families or\ntype classes to generate the appropriate artifacts\nor behavior. Aeson integration (provided by this\npackage) works by using a type family to transform\nthe spec into a new Haskell type whose structure\nis analogous to the specification. You are then\nrequired to transform your regular business\nvalue into a value of this \\\"structural type\\\"\n(I strongly recommend using type holes to make this\neasier). Values of the structural type will always\nencode into specification-complient JSON.\n\n= Example\n\n> data User = User\n>   { name :: Text\n>   , lastLogin :: UTCTime\n>   }\n>   deriving stock (Show, Eq)\n>   deriving (ToJSON, FromJSON) via (SpecJSON User)\n> instance HasJsonEncodingSpec User where\n>   type EncodingSpec User =\n>     JsonObject\n>       '[ '(\"name\", JsonString)\n>        , '(\"last-login\", JsonDateTime)\n>        ]\n>   toJSONStructure user =\n>     (Field @\"name\" (name user),\n>     (Field @\"last-login\" (lastLogin user),\n>     ()))\n> instance HasJsonDecodingSpec User where\n>   type DecodingSpec User = EncodingSpec User\n>   fromJSONStructure\n>       (Field @\"name\" name,\n>       (Field @\"last-login\" lastLogin,\n>       ()))\n>     =\n>       pure User { name , lastLogin }";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+          (hsPkgs."scientific" or (errorHandler.buildDepError "scientific"))
+          (hsPkgs."text" or (errorHandler.buildDepError "text"))
+          (hsPkgs."time" or (errorHandler.buildDepError "time"))
+          (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+          ];
+        buildable = true;
+        };
+      tests = {
+        "jsonspec" = {
+          depends = [
+            (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."scientific" or (errorHandler.buildDepError "scientific"))
+            (hsPkgs."text" or (errorHandler.buildDepError "text"))
+            (hsPkgs."time" or (errorHandler.buildDepError "time"))
+            (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+            (hsPkgs."json-spec" or (errorHandler.buildDepError "json-spec"))
+            (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+            (hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/json-spec-0.2.1.3-r0-7b06a8fb14c4cbd2515e16be19540ef12b763c777fb02e5fa6bc226874ec30aa.nix b/hackage/json-spec-0.2.1.3-r0-7b06a8fb14c4cbd2515e16be19540ef12b763c777fb02e5fa6bc226874ec30aa.nix
new file mode 100644
index 00000000000..3e36b8f882f
--- /dev/null
+++ b/hackage/json-spec-0.2.1.3-r0-7b06a8fb14c4cbd2515e16be19540ef12b763c777fb02e5fa6bc226874ec30aa.nix
@@ -0,0 +1,56 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "3.0";
+      identifier = { name = "json-spec"; version = "0.2.1.3"; };
+      license = "MIT";
+      copyright = "";
+      maintainer = "rick@owensmurray.com";
+      author = "Rick Owens";
+      homepage = "https://github.com/owensmurray/json-spec";
+      url = "";
+      synopsis = "Type-level JSON specification";
+      description = "= Motivation\nThis package provides a way to specify the shape of\nyour JSON data at the type level. The particular use\ncases we focus on are enabling (but not providing\nin this package):\n\n1. Auto-generating documentation to ensure it\n   is correct.\n2. Auto-generating client code in front-end languages\n   to ensure it is correct.\n\nThere are already tools available to achieve this,\nbut they all have one major drawback: they rely on\ngenerically derived Aeson instances. Some people\nstrongly object to using generically derived Aeson\ninstances for encoding/decoding http api data because\nof how brittle it is. It can be surprisingly easy\naccidentally break your API without noticing because\nyou don't realize that a small change to some type\nsomewhere affects the API representation. Avoiding\nthis requires very strict discipline about how you\norganize and maintain your code. E.g. you will see\na lot of comments like\n\n> --| BEWARE, Changing any of the types in this file will change the API\n> -- representation!!\n> module My.API (...) where\n\nBut then the types in this api might reference\ntypes in in other modules where it isn't as obvious\nthat you might be changing the api when you make\nan update.\n\nI have even seen people go so far as to mandate\nthat /every/ type appearing on the API must be\nin some similar \\\"API\\\" module. This usually ends\nbadly because you end up with a bunch of seemingly\nspurious (and quite tedious) translations between\nbetween \\\"business\\\" types and almost identical\n\\\"API\\\" types.\n\nThe other option is to simply not use generically\nderived instances and code all or some of your\n'ToJSON'/'FromJSON' instances by hand. That\n(sometimes) helps solve the problem of making it a\nlittle more obvious when you are making a breaking\napi change. And it definitely helps with the ability\nto update the haskell type for some business purpose\nwhile keeping the encoding backwards compatible.\n\nThe problem now though is that you can't take\nadvantage of any of the above tooling without\nwriting every instance by hand. Writing all the\nindividual instances by hand defeat's the purpose\nbecause you are back to being unsure whether they\nare all in sync!\n\nThe approach this library takes is to take a cue\nfrom `servant` and provide a way to specify the\nJSON encoding at the type level. You must manually\nspecify the encoding, but you only have to do so\nonce (at the type level). Other tools can then\ninspect the type using either type families or\ntype classes to generate the appropriate artifacts\nor behavior. Aeson integration (provided by this\npackage) works by using a type family to transform\nthe spec into a new Haskell type whose structure\nis analogous to the specification. You are then\nrequired to transform your regular business\nvalue into a value of this \\\"structural type\\\"\n(I strongly recommend using type holes to make this\neasier). Values of the structural type will always\nencode into specification-complient JSON.\n\n= Example\n\n> data User = User\n>   { name :: Text\n>   , lastLogin :: UTCTime\n>   }\n>   deriving stock (Show, Eq)\n>   deriving (ToJSON, FromJSON) via (SpecJSON User)\n> instance HasJsonEncodingSpec User where\n>   type EncodingSpec User =\n>     JsonObject\n>       '[ '(\"name\", JsonString)\n>        , '(\"last-login\", JsonDateTime)\n>        ]\n>   toJSONStructure user =\n>     (Field @\"name\" (name user),\n>     (Field @\"last-login\" (lastLogin user),\n>     ()))\n> instance HasJsonDecodingSpec User where\n>   type DecodingSpec User = EncodingSpec User\n>   fromJSONStructure\n>       (Field @\"name\" name,\n>       (Field @\"last-login\" lastLogin,\n>       ()))\n>     =\n>       pure User { name , lastLogin }";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+          (hsPkgs."scientific" or (errorHandler.buildDepError "scientific"))
+          (hsPkgs."text" or (errorHandler.buildDepError "text"))
+          (hsPkgs."time" or (errorHandler.buildDepError "time"))
+          (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+          ];
+        buildable = true;
+        };
+      tests = {
+        "jsonspec" = {
+          depends = [
+            (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."scientific" or (errorHandler.buildDepError "scientific"))
+            (hsPkgs."text" or (errorHandler.buildDepError "text"))
+            (hsPkgs."time" or (errorHandler.buildDepError "time"))
+            (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+            (hsPkgs."json-spec" or (errorHandler.buildDepError "json-spec"))
+            (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+            (hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/lsp-types-1.4.0.1-r2-2552b14b90419c39a6b15266cb2657dc1aa0faee35aeb1ff313b51403ac16a0b.nix b/hackage/lsp-types-1.4.0.1-r2-2552b14b90419c39a6b15266cb2657dc1aa0faee35aeb1ff313b51403ac16a0b.nix
new file mode 100644
index 00000000000..06cedc8faee
--- /dev/null
+++ b/hackage/lsp-types-1.4.0.1-r2-2552b14b90419c39a6b15266cb2657dc1aa0faee35aeb1ff313b51403ac16a0b.nix
@@ -0,0 +1,56 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "2.2";
+      identifier = { name = "lsp-types"; version = "1.4.0.1"; };
+      license = "MIT";
+      copyright = "Alan Zimmerman, 2016-2021";
+      maintainer = "alan.zimm@gmail.com";
+      author = "Alan Zimmerman";
+      homepage = "https://github.com/haskell/lsp";
+      url = "";
+      synopsis = "Haskell library for the Microsoft Language Server Protocol, data types";
+      description = "An implementation of the types to allow language implementors to\nsupport the Language Server Protocol for their specific language.";
+      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."data-default" or (errorHandler.buildDepError "data-default"))
+          (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
+          (hsPkgs."Diff" or (errorHandler.buildDepError "Diff"))
+          (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+          (hsPkgs."dlist" or (errorHandler.buildDepError "dlist"))
+          (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+          (hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
+          (hsPkgs."hslogger" or (errorHandler.buildDepError "hslogger"))
+          (hsPkgs."lens" or (errorHandler.buildDepError "lens"))
+          (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+          (hsPkgs."network-uri" or (errorHandler.buildDepError "network-uri"))
+          (hsPkgs."mod" or (errorHandler.buildDepError "mod"))
+          (hsPkgs."rope-utf16-splay" or (errorHandler.buildDepError "rope-utf16-splay"))
+          (hsPkgs."scientific" or (errorHandler.buildDepError "scientific"))
+          (hsPkgs."some" or (errorHandler.buildDepError "some"))
+          (hsPkgs."text" or (errorHandler.buildDepError "text"))
+          (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
+          (hsPkgs."temporary" or (errorHandler.buildDepError "temporary"))
+          (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
+          ];
+        buildable = true;
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/lsp-types-1.5.0.0-r1-5cd09e82b8de14aa7396aa7007af251b6d33e80db094485704ff3cd8f8707085.nix b/hackage/lsp-types-1.5.0.0-r1-5cd09e82b8de14aa7396aa7007af251b6d33e80db094485704ff3cd8f8707085.nix
new file mode 100644
index 00000000000..d6b1316c69c
--- /dev/null
+++ b/hackage/lsp-types-1.5.0.0-r1-5cd09e82b8de14aa7396aa7007af251b6d33e80db094485704ff3cd8f8707085.nix
@@ -0,0 +1,51 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "2.2";
+      identifier = { name = "lsp-types"; version = "1.5.0.0"; };
+      license = "MIT";
+      copyright = "Alan Zimmerman, 2016-2021";
+      maintainer = "alan.zimm@gmail.com";
+      author = "Alan Zimmerman";
+      homepage = "https://github.com/haskell/lsp";
+      url = "";
+      synopsis = "Haskell library for the Microsoft Language Server Protocol, data types";
+      description = "An implementation of the types to allow language implementors to\nsupport the Language Server Protocol for their specific language.";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+          (hsPkgs."binary" or (errorHandler.buildDepError "binary"))
+          (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+          (hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
+          (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
+          (hsPkgs."Diff" or (errorHandler.buildDepError "Diff"))
+          (hsPkgs."dlist" or (errorHandler.buildDepError "dlist"))
+          (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+          (hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
+          (hsPkgs."lens" or (errorHandler.buildDepError "lens"))
+          (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+          (hsPkgs."network-uri" or (errorHandler.buildDepError "network-uri"))
+          (hsPkgs."mod" or (errorHandler.buildDepError "mod"))
+          (hsPkgs."scientific" or (errorHandler.buildDepError "scientific"))
+          (hsPkgs."some" or (errorHandler.buildDepError "some"))
+          (hsPkgs."text" or (errorHandler.buildDepError "text"))
+          (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
+          (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
+          ];
+        buildable = true;
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/lsp-types-1.6.0.0-r1-c9ee8757b4734a9ef5d12573ae9beb5de863825de92f94b635057af08b96b0df.nix b/hackage/lsp-types-1.6.0.0-r1-c9ee8757b4734a9ef5d12573ae9beb5de863825de92f94b635057af08b96b0df.nix
new file mode 100644
index 00000000000..d2af837dc15
--- /dev/null
+++ b/hackage/lsp-types-1.6.0.0-r1-c9ee8757b4734a9ef5d12573ae9beb5de863825de92f94b635057af08b96b0df.nix
@@ -0,0 +1,75 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = { force-ospath = false; };
+    package = {
+      specVersion = "2.2";
+      identifier = { name = "lsp-types"; version = "1.6.0.0"; };
+      license = "MIT";
+      copyright = "Alan Zimmerman, 2016-2021";
+      maintainer = "alan.zimm@gmail.com";
+      author = "Alan Zimmerman";
+      homepage = "https://github.com/haskell/lsp";
+      url = "";
+      synopsis = "Haskell library for the Microsoft Language Server Protocol, data types";
+      description = "An implementation of the types to allow language implementors to\nsupport the Language Server Protocol for their specific language.";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+          (hsPkgs."binary" or (errorHandler.buildDepError "binary"))
+          (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+          (hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
+          (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
+          (hsPkgs."Diff" or (errorHandler.buildDepError "Diff"))
+          (hsPkgs."dlist" or (errorHandler.buildDepError "dlist"))
+          (hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
+          (hsPkgs."lens" or (errorHandler.buildDepError "lens"))
+          (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+          (hsPkgs."network-uri" or (errorHandler.buildDepError "network-uri"))
+          (hsPkgs."mod" or (errorHandler.buildDepError "mod"))
+          (hsPkgs."scientific" or (errorHandler.buildDepError "scientific"))
+          (hsPkgs."some" or (errorHandler.buildDepError "some"))
+          (hsPkgs."text" or (errorHandler.buildDepError "text"))
+          (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
+          (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
+          (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
+          (hsPkgs."safe" or (errorHandler.buildDepError "safe"))
+          ] ++ [
+          (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+          ];
+        buildable = true;
+        };
+      tests = {
+        "lsp-types-test" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
+            (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+            (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+            (hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
+            (hsPkgs."lsp-types" or (errorHandler.buildDepError "lsp-types"))
+            (hsPkgs."lens" or (errorHandler.buildDepError "lens"))
+            (hsPkgs."network-uri" or (errorHandler.buildDepError "network-uri"))
+            (hsPkgs."quickcheck-instances" or (errorHandler.buildDepError "quickcheck-instances"))
+            (hsPkgs."text" or (errorHandler.buildDepError "text"))
+            (hsPkgs."tuple" or (errorHandler.buildDepError "tuple"))
+            ];
+          build-tools = [
+            (hsPkgs.buildPackages.hspec-discover.components.exes.hspec-discover or (pkgs.buildPackages.hspec-discover or (errorHandler.buildToolDepError "hspec-discover:hspec-discover")))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/ogma-cli-1.1.0-r0-f39b31b60cbbaf0dd5d1c1231665809170bb9b857d9bd7c1cc95ae86e43b9964.nix b/hackage/ogma-cli-1.1.0-r0-f39b31b60cbbaf0dd5d1c1231665809170bb9b857d9bd7c1cc95ae86e43b9964.nix
new file mode 100644
index 00000000000..7e04cdcd291
--- /dev/null
+++ b/hackage/ogma-cli-1.1.0-r0-f39b31b60cbbaf0dd5d1c1231665809170bb9b857d9bd7c1cc95ae86e43b9964.nix
@@ -0,0 +1,50 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "2.0";
+      identifier = { name = "ogma-cli"; version = "1.1.0"; };
+      license = "LicenseRef-OtherLicense";
+      copyright = "";
+      maintainer = "ivan.perezdominguez@nasa.gov";
+      author = "Ivan Perez, Alwyn Goodloe";
+      homepage = "http://nasa.gov";
+      url = "";
+      synopsis = "Ogma: Helper tool to interoperate between Copilot and other languages.";
+      description = "Ogma is a tool to facilitate the integration of safe runtime monitors into\nother systems. Ogma extends\n<https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime\nverification framework that generates hard real-time C99 code.\n\nSome use cases supported by Ogma include:\n\n- Translating requirements defined in\n<https://github.com/NASA-SW-VnV/fret NASA requirements elicitation tool FRET>\ninto corresponding monitors in Copilot.\n\n- Generating the glue code necessary to work with C\nstructs in Copilot.\n\n- Generating\n<https://cfs.gsfc.nasa.gov/ NASA Core Flight System>\napplications that use Copilot for monitoring data\nreceived from the message bus.\n\n- Generating message handlers for NASA Core Flight System\napplications to make external data in structs available\nto a Copilot monitor.\n\n- Generating\n<https://ros.org Robot Operating System (ROS 2)>\napplications that use Copilot for monitoring data\nreceived from different topics.\n\n- Generating\n<https://github.com/nasa/fprime F'>\ncomponents that use Copilot for monitoring.\n\nThe main invocation with @--help@ lists sub-commands available.\n\n>$ ogma --help\n>ogma - an anything-to-Copilot application generator\n>\n>Usage: ogma COMMAND\n>  Generate complete or partial Copilot applications from multiple languages\n>\n>Available options:\n>  -h,--help                Show this help text\n>\n>Available commands:\n>  structs                  Generate Copilot structs from C structs\n>  handlers                 Generate message handlers from C structs\n>  cfs                      Generate a complete CFS/Copilot application\n>  fprime                   Generate a complete F' monitoring component\n>  fret-component-spec      Generate a Copilot file from a FRET Component\n>                           Specification\n>  fret-reqs-db             Generate a Copilot file from a FRET Requirements\n>                           Database\n>  ros                      Generate a ROS 2 monitoring application\n\nFor further information, see:\n\n- <https://github.com/nasa/ogma The Ogma repository>.\n\n- <https://copilot-language.github.io/ The Copilot web page>.\n\n- <https://github.com/NASA-SW-VnV/fret The FRET repository>.\n\n- <https://cfs.gsfc.nasa.gov/ The NASA Core Flight System web page>.\n\n- <https://ros.org/ The Robot Operating System (ROS 2) web page>.\n\n- <https://github.com/nasa/fprime The F' repository>.\n\n- \"<https://ntrs.nasa.gov/citations/20200003164 Copilot 3>\", Perez, Dedden and Goodloe. 2020.\n\n- \"<https://shemesh.larc.nasa.gov/people/cam/publications/FMAS2020_3.pdf From Requirements to Autonomous Flight>\", Dutle et al. 2020.";
+      buildType = "Simple";
+      };
+    components = {
+      exes = {
+        "ogma" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
+            (hsPkgs."ogma-core" or (errorHandler.buildDepError "ogma-core"))
+            ];
+          buildable = true;
+          };
+        };
+      tests = {
+        "test-ogma" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit"))
+            (hsPkgs."process" or (errorHandler.buildDepError "process"))
+            (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework"))
+            (hsPkgs."test-framework-hunit" or (errorHandler.buildDepError "test-framework-hunit"))
+            (hsPkgs."unix" or (errorHandler.buildDepError "unix"))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/ogma-core-1.1.0-r0-548c2f3943683468584ffc0179833a46808075130d8bf233e72e21f9b370bd64.nix b/hackage/ogma-core-1.1.0-r0-548c2f3943683468584ffc0179833a46808075130d8bf233e72e21f9b370bd64.nix
new file mode 100644
index 00000000000..70fc38b701d
--- /dev/null
+++ b/hackage/ogma-core-1.1.0-r0-548c2f3943683468584ffc0179833a46808075130d8bf233e72e21f9b370bd64.nix
@@ -0,0 +1,58 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "2.0";
+      identifier = { name = "ogma-core"; version = "1.1.0"; };
+      license = "LicenseRef-OtherLicense";
+      copyright = "";
+      maintainer = "ivan.perezdominguez@nasa.gov";
+      author = "Ivan Perez, Alwyn Goodloe";
+      homepage = "http://nasa.gov";
+      url = "";
+      synopsis = "Ogma: Helper tool to interoperate between Copilot and other languages.";
+      description = "Ogma is a tool to facilitate the integration of safe runtime monitors into\nother systems. Ogma extends\n<https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime\nverification framework that generates hard real-time C99 code.\n\nThis package implements the internal commands of ogma.";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+          (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+          (hsPkgs."IfElse" or (errorHandler.buildDepError "IfElse"))
+          (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+          (hsPkgs."ogma-extra" or (errorHandler.buildDepError "ogma-extra"))
+          (hsPkgs."ogma-language-c" or (errorHandler.buildDepError "ogma-language-c"))
+          (hsPkgs."ogma-language-cocospec" or (errorHandler.buildDepError "ogma-language-cocospec"))
+          (hsPkgs."ogma-language-copilot" or (errorHandler.buildDepError "ogma-language-copilot"))
+          (hsPkgs."ogma-language-fret-cs" or (errorHandler.buildDepError "ogma-language-fret-cs"))
+          (hsPkgs."ogma-language-fret-reqs" or (errorHandler.buildDepError "ogma-language-fret-reqs"))
+          (hsPkgs."ogma-language-smv" or (errorHandler.buildDepError "ogma-language-smv"))
+          ];
+        buildable = true;
+        };
+      tests = {
+        "unit-tests" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit"))
+            (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
+            (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework"))
+            (hsPkgs."test-framework-hunit" or (errorHandler.buildDepError "test-framework-hunit"))
+            (hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2"))
+            (hsPkgs."ogma-core" or (errorHandler.buildDepError "ogma-core"))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/ogma-extra-1.1.0-r0-2b1d06305830bbbdef805380b8b4de27e04be72d73aee1d5842275140bae956b.nix b/hackage/ogma-extra-1.1.0-r0-2b1d06305830bbbdef805380b8b4de27e04be72d73aee1d5842275140bae956b.nix
new file mode 100644
index 00000000000..8d3f27a1512
--- /dev/null
+++ b/hackage/ogma-extra-1.1.0-r0-2b1d06305830bbbdef805380b8b4de27e04be72d73aee1d5842275140bae956b.nix
@@ -0,0 +1,49 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "2.0";
+      identifier = { name = "ogma-extra"; version = "1.1.0"; };
+      license = "LicenseRef-OtherLicense";
+      copyright = "";
+      maintainer = "ivan.perezdominguez@nasa.gov";
+      author = "Ivan Perez, Alwyn Goodloe";
+      homepage = "http://nasa.gov";
+      url = "";
+      synopsis = "Ogma: Helper tool to interoperate between Copilot and other languages.";
+      description = "Ogma is a tool to facilitate the integration of safe runtime monitors into\nother systems. Ogma extends\n<https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime\nverification framework that generates hard real-time C99 code.\n\nThis package implements internal extensions to existing libraries\nand modules that are used in several ogma packages and their\ntesting facilities.";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+          (hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal"))
+          (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+          (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+          ];
+        buildable = true;
+        };
+      tests = {
+        "unit-tests" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
+            (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework"))
+            (hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2"))
+            (hsPkgs."ogma-extra" or (errorHandler.buildDepError "ogma-extra"))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/ogma-language-c-1.1.0-r0-c136ba3fb095aab492f26a18df1da269835935c8fafac4b6133d1ab062504e5a.nix b/hackage/ogma-language-c-1.1.0-r0-c136ba3fb095aab492f26a18df1da269835935c8fafac4b6133d1ab062504e5a.nix
new file mode 100644
index 00000000000..77e30d3447d
--- /dev/null
+++ b/hackage/ogma-language-c-1.1.0-r0-c136ba3fb095aab492f26a18df1da269835935c8fafac4b6133d1ab062504e5a.nix
@@ -0,0 +1,52 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "2.0";
+      identifier = { name = "ogma-language-c"; version = "1.1.0"; };
+      license = "LicenseRef-OtherLicense";
+      copyright = "";
+      maintainer = "ivan.perezdominguez@nasa.gov";
+      author = "Ivan Perez, Alwyn Goodloe";
+      homepage = "http://nasa.gov";
+      url = "";
+      synopsis = "Ogma: Runtime Monitor translator: C Language Frontend";
+      description = "Ogma is a tool to facilitate the integration of safe runtime monitors into\nother systems. Ogma extends\n<https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime\nverification framework that generates hard real-time C99 code.\n\nThis library contains a frontend to read C header files.";
+      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.process or (pkgs.buildPackages.process or (errorHandler.setupDepError "process")))
+        (hsPkgs.buildPackages.BNFC or (pkgs.buildPackages.BNFC or (errorHandler.setupDepError "BNFC")))
+        ];
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."array" or (errorHandler.buildDepError "array"))
+          ];
+        buildable = true;
+        };
+      tests = {
+        "unit-tests" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
+            (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework"))
+            (hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2"))
+            (hsPkgs."ogma-language-c" or (errorHandler.buildDepError "ogma-language-c"))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/ogma-language-cocospec-1.1.0-r0-c0e6d92d0ec32848ba86fbfeda4b1c76366ca757709dbd1bbea9be1484b530b0.nix b/hackage/ogma-language-cocospec-1.1.0-r0-c0e6d92d0ec32848ba86fbfeda4b1c76366ca757709dbd1bbea9be1484b530b0.nix
new file mode 100644
index 00000000000..edd8ba8fe60
--- /dev/null
+++ b/hackage/ogma-language-cocospec-1.1.0-r0-c0e6d92d0ec32848ba86fbfeda4b1c76366ca757709dbd1bbea9be1484b530b0.nix
@@ -0,0 +1,52 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "2.0";
+      identifier = { name = "ogma-language-cocospec"; version = "1.1.0"; };
+      license = "LicenseRef-OtherLicense";
+      copyright = "";
+      maintainer = "ivan.perezdominguez@nasa.gov";
+      author = "Ivan Perez, Alwyn Goodloe";
+      homepage = "http://nasa.gov";
+      url = "";
+      synopsis = "Ogma: Runtime Monitor translator: CoCoSpec Language Frontend";
+      description = "Ogma is a tool to facilitate the integration of safe runtime monitors into\nother systems. Ogma extends\n<https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime\nverification framework that generates hard real-time C99 code.\n\nThis library contains a frontend to read CoCoSpec Boolean expressions, used by\nthe tool FRET to capture requirement specifications.";
+      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.process or (pkgs.buildPackages.process or (errorHandler.setupDepError "process")))
+        (hsPkgs.buildPackages.BNFC or (pkgs.buildPackages.BNFC or (errorHandler.setupDepError "BNFC")))
+        ];
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."array" or (errorHandler.buildDepError "array"))
+          ];
+        buildable = true;
+        };
+      tests = {
+        "unit-tests" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
+            (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework"))
+            (hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2"))
+            (hsPkgs."ogma-language-cocospec" or (errorHandler.buildDepError "ogma-language-cocospec"))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/ogma-language-copilot-1.1.0-r0-73233e36fb84c4db45e02e0f34e9b46e0c115e49013bb6cc1eac5ed1efc54db6.nix b/hackage/ogma-language-copilot-1.1.0-r0-73233e36fb84c4db45e02e0f34e9b46e0c115e49013bb6cc1eac5ed1efc54db6.nix
new file mode 100644
index 00000000000..1131e07de3d
--- /dev/null
+++ b/hackage/ogma-language-copilot-1.1.0-r0-73233e36fb84c4db45e02e0f34e9b46e0c115e49013bb6cc1eac5ed1efc54db6.nix
@@ -0,0 +1,31 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "2.0";
+      identifier = { name = "ogma-language-copilot"; version = "1.1.0"; };
+      license = "LicenseRef-OtherLicense";
+      copyright = "";
+      maintainer = "ivan.perezdominguez@nasa.gov";
+      author = "Ivan Perez, Alwyn Goodloe";
+      homepage = "http://nasa.gov";
+      url = "";
+      synopsis = "Ogma: Runtime Monitor translator: Copilot Language Endpoints";
+      description = "Ogma is a tool to facilitate the integration of safe runtime monitors into\nother systems. Ogma extends\n<https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime\nverification framework that generates hard real-time C99 code.\n\nThis library contains a frontend to read Copilot monitors, a definition of Copilot\nstructs, and a backend to generate and pretty print Copilot code.";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ];
+        buildable = true;
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/ogma-language-fret-cs-1.1.0-r0-ccb6d36f808c2c78bb9fdb48aa7ec04ac71caa30b746daa078d39bbe62b6606d.nix b/hackage/ogma-language-fret-cs-1.1.0-r0-ccb6d36f808c2c78bb9fdb48aa7ec04ac71caa30b746daa078d39bbe62b6606d.nix
new file mode 100644
index 00000000000..9b7336aeb6a
--- /dev/null
+++ b/hackage/ogma-language-fret-cs-1.1.0-r0-ccb6d36f808c2c78bb9fdb48aa7ec04ac71caa30b746daa078d39bbe62b6606d.nix
@@ -0,0 +1,50 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "2.0";
+      identifier = { name = "ogma-language-fret-cs"; version = "1.1.0"; };
+      license = "LicenseRef-OtherLicense";
+      copyright = "";
+      maintainer = "ivan.perezdominguez@nasa.gov";
+      author = "Ivan Perez, Alwyn Goodloe";
+      homepage = "http://nasa.gov";
+      url = "";
+      synopsis = "Ogma: Runtime Monitor translator: FRET Component Specification Frontend";
+      description = "Ogma is a tool to facilitate the integration of safe runtime monitors into\nother systems. Ogma extends\n<https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime\nverification framework that generates hard real-time C99 code.\n\nThis library contains a frontend to read FRET Component Specifications.";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+          (hsPkgs."ogma-language-cocospec" or (errorHandler.buildDepError "ogma-language-cocospec"))
+          (hsPkgs."ogma-language-smv" or (errorHandler.buildDepError "ogma-language-smv"))
+          ];
+        buildable = true;
+        };
+      tests = {
+        "unit-tests" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+            (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
+            (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework"))
+            (hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2"))
+            (hsPkgs."ogma-extra" or (errorHandler.buildDepError "ogma-extra"))
+            (hsPkgs."ogma-language-fret-cs" or (errorHandler.buildDepError "ogma-language-fret-cs"))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/ogma-language-fret-reqs-1.1.0-r0-a4cb60e6314e68dc08c88be7da0331adabd24bb5f5abe48d205c171e6da265a6.nix b/hackage/ogma-language-fret-reqs-1.1.0-r0-a4cb60e6314e68dc08c88be7da0331adabd24bb5f5abe48d205c171e6da265a6.nix
new file mode 100644
index 00000000000..1dfb193df56
--- /dev/null
+++ b/hackage/ogma-language-fret-reqs-1.1.0-r0-a4cb60e6314e68dc08c88be7da0331adabd24bb5f5abe48d205c171e6da265a6.nix
@@ -0,0 +1,51 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "2.0";
+      identifier = { name = "ogma-language-fret-reqs"; version = "1.1.0"; };
+      license = "LicenseRef-OtherLicense";
+      copyright = "";
+      maintainer = "ivan.perezdominguez@nasa.gov";
+      author = "Ivan Perez, Alwyn Goodloe";
+      homepage = "http://nasa.gov";
+      url = "";
+      synopsis = "Ogma: Runtime Monitor translator: FRET Component Requirement DB Frontend";
+      description = "Ogma is a tool to facilitate the integration of safe runtime monitors into\nother systems. Ogma extends\n<https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime\nverification framework that generates hard real-time C99 code.\n\nThis library contains a frontend to read FRET Component Requirement Databases.";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+          (hsPkgs."text" or (errorHandler.buildDepError "text"))
+          (hsPkgs."ogma-language-cocospec" or (errorHandler.buildDepError "ogma-language-cocospec"))
+          (hsPkgs."ogma-language-smv" or (errorHandler.buildDepError "ogma-language-smv"))
+          ];
+        buildable = true;
+        };
+      tests = {
+        "unit-tests" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+            (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
+            (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework"))
+            (hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2"))
+            (hsPkgs."ogma-extra" or (errorHandler.buildDepError "ogma-extra"))
+            (hsPkgs."ogma-language-fret-reqs" or (errorHandler.buildDepError "ogma-language-fret-reqs"))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/ogma-language-smv-1.1.0-r0-ea54e6f9e3408869e1e8029d81d0efeeeddb19e267c98b50a5ef0e1122236ad4.nix b/hackage/ogma-language-smv-1.1.0-r0-ea54e6f9e3408869e1e8029d81d0efeeeddb19e267c98b50a5ef0e1122236ad4.nix
new file mode 100644
index 00000000000..3ee6f6d6674
--- /dev/null
+++ b/hackage/ogma-language-smv-1.1.0-r0-ea54e6f9e3408869e1e8029d81d0efeeeddb19e267c98b50a5ef0e1122236ad4.nix
@@ -0,0 +1,52 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "2.0";
+      identifier = { name = "ogma-language-smv"; version = "1.1.0"; };
+      license = "LicenseRef-OtherLicense";
+      copyright = "";
+      maintainer = "ivan.perezdominguez@nasa.gov";
+      author = "Ivan Perez, Alwyn Goodloe";
+      homepage = "http://nasa.gov";
+      url = "";
+      synopsis = "Ogma: Runtime Monitor translator: SMV Language Frontend";
+      description = "Ogma is a tool to facilitate the integration of safe runtime monitors into\nother systems. Ogma extends\n<https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime\nverification framework that generates hard real-time C99 code.\n\nThis library contains a frontend to read SMV Boolean expressions, used by\nthe tool FRET to capture requirement specifications.";
+      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.process or (pkgs.buildPackages.process or (errorHandler.setupDepError "process")))
+        (hsPkgs.buildPackages.BNFC or (pkgs.buildPackages.BNFC or (errorHandler.setupDepError "BNFC")))
+        ];
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."array" or (errorHandler.buildDepError "array"))
+          ];
+        buildable = true;
+        };
+      tests = {
+        "unit-tests" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
+            (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework"))
+            (hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2"))
+            (hsPkgs."ogma-language-smv" or (errorHandler.buildDepError "ogma-language-smv"))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/om-show-0.1.2.9-r0-b608782d2284c85458e206eeb0991f03fbfd819d3e0d828e18b8d8016725394b.nix b/hackage/om-show-0.1.2.9-r0-b608782d2284c85458e206eeb0991f03fbfd819d3e0d828e18b8d8016725394b.nix
new file mode 100644
index 00000000000..83b9e3c3bd5
--- /dev/null
+++ b/hackage/om-show-0.1.2.9-r0-b608782d2284c85458e206eeb0991f03fbfd819d3e0d828e18b8d8016725394b.nix
@@ -0,0 +1,35 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "3.0";
+      identifier = { name = "om-show"; version = "0.1.2.9"; };
+      license = "MIT";
+      copyright = "2021 Owens Murray, LLC.";
+      maintainer = "rick@owensmurray.com";
+      author = "Rick Owens";
+      homepage = "https://github.com/owensmurray/om-show";
+      url = "";
+      synopsis = "Utilities for showing string-like things.";
+      description = "Utilities for showing string-like things.";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."text" or (errorHandler.buildDepError "text"))
+          ];
+        buildable = true;
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/urlpath-11.0.1-r0-4163b4e1fb0deccf636db85c3f60226fa0d8d8f6802e9b5b0329fe252b763a1b.nix b/hackage/urlpath-11.0.1-r0-4163b4e1fb0deccf636db85c3f60226fa0d8d8f6802e9b5b0329fe252b763a1b.nix
new file mode 100644
index 00000000000..734c406cb52
--- /dev/null
+++ b/hackage/urlpath-11.0.1-r0-4163b4e1fb0deccf636db85c3f60226fa0d8d8f6802e9b5b0329fe252b763a1b.nix
@@ -0,0 +1,49 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "1.12";
+      identifier = { name = "urlpath"; version = "11.0.1"; };
+      license = "BSD-3-Clause";
+      copyright = "Copyright (c) 2023 Athan Clark";
+      maintainer = "athan.clark@gmail.com";
+      author = "Athan Clark";
+      homepage = "https://github.com/athanclark/urlpath#readme";
+      url = "";
+      synopsis = "Painfully simple URL deployment.";
+      description = "Please see the README on Github at <https://github.com/athanclark/urlpath#readme>";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."attoparsec-uri" or (errorHandler.buildDepError "attoparsec-uri"))
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
+          (hsPkgs."mmorph" or (errorHandler.buildDepError "mmorph"))
+          (hsPkgs."monad-control" or (errorHandler.buildDepError "monad-control"))
+          (hsPkgs."monad-control-aligned" or (errorHandler.buildDepError "monad-control-aligned"))
+          (hsPkgs."monad-logger" or (errorHandler.buildDepError "monad-logger"))
+          (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+          (hsPkgs."path" or (errorHandler.buildDepError "path"))
+          (hsPkgs."path-extra" or (errorHandler.buildDepError "path-extra"))
+          (hsPkgs."resourcet" or (errorHandler.buildDepError "resourcet"))
+          (hsPkgs."split" or (errorHandler.buildDepError "split"))
+          (hsPkgs."strict" or (errorHandler.buildDepError "strict"))
+          (hsPkgs."text" or (errorHandler.buildDepError "text"))
+          (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
+          (hsPkgs."transformers-base" or (errorHandler.buildDepError "transformers-base"))
+          (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+          ];
+        buildable = true;
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/urlpath-11.0.2-r0-07d056660d8332da8994a02d8bd4ccf662f31bd423900b160df4ca9c238e2897.nix b/hackage/urlpath-11.0.2-r0-07d056660d8332da8994a02d8bd4ccf662f31bd423900b160df4ca9c238e2897.nix
new file mode 100644
index 00000000000..1efc84c8c01
--- /dev/null
+++ b/hackage/urlpath-11.0.2-r0-07d056660d8332da8994a02d8bd4ccf662f31bd423900b160df4ca9c238e2897.nix
@@ -0,0 +1,49 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "1.12";
+      identifier = { name = "urlpath"; version = "11.0.2"; };
+      license = "BSD-3-Clause";
+      copyright = "Copyright (c) 2023 Athan Clark";
+      maintainer = "athan.clark@gmail.com";
+      author = "Athan Clark";
+      homepage = "https://github.com/athanclark/urlpath#readme";
+      url = "";
+      synopsis = "Painfully simple URL deployment.";
+      description = "Please see the README on Github at <https://github.com/athanclark/urlpath#readme>";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."attoparsec-uri" or (errorHandler.buildDepError "attoparsec-uri"))
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
+          (hsPkgs."mmorph" or (errorHandler.buildDepError "mmorph"))
+          (hsPkgs."monad-control" or (errorHandler.buildDepError "monad-control"))
+          (hsPkgs."monad-control-aligned" or (errorHandler.buildDepError "monad-control-aligned"))
+          (hsPkgs."monad-logger" or (errorHandler.buildDepError "monad-logger"))
+          (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+          (hsPkgs."path" or (errorHandler.buildDepError "path"))
+          (hsPkgs."path-extra" or (errorHandler.buildDepError "path-extra"))
+          (hsPkgs."resourcet" or (errorHandler.buildDepError "resourcet"))
+          (hsPkgs."split" or (errorHandler.buildDepError "split"))
+          (hsPkgs."strict" or (errorHandler.buildDepError "strict"))
+          (hsPkgs."text" or (errorHandler.buildDepError "text"))
+          (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
+          (hsPkgs."transformers-base" or (errorHandler.buildDepError "transformers-base"))
+          (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+          ];
+        buildable = true;
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/wavefront-0.7.1.5-r0-5c482d9f54f6bd18a81bf6cfa02269701bb41b6a73a9c7b61fdf82fce2d0d71f.nix b/hackage/wavefront-0.7.1.5-r0-5c482d9f54f6bd18a81bf6cfa02269701bb41b6a73a9c7b61fdf82fce2d0d71f.nix
new file mode 100644
index 00000000000..8fe6668ec32
--- /dev/null
+++ b/hackage/wavefront-0.7.1.5-r0-5c482d9f54f6bd18a81bf6cfa02269701bb41b6a73a9c7b61fdf82fce2d0d71f.nix
@@ -0,0 +1,40 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "1.10";
+      identifier = { name = "wavefront"; version = "0.7.1.5"; };
+      license = "BSD-3-Clause";
+      copyright = "Dimitri Sabadie";
+      maintainer = "Dimitri Sabadie <dimitri.sabadie@gmail.com>";
+      author = "Dimitri Sabadie <dimitri.sabadie@gmail.com>";
+      homepage = "https://github.com/phaazon/wavefront";
+      url = "";
+      synopsis = "Wavefront OBJ loader";
+      description = "A Wavefront OBJ loader. Currently supports polygonal information. More could\nbe added if needed (like curves and surface) if people contribute. Feel free\nto help!";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec"))
+          (hsPkgs."dlist" or (errorHandler.buildDepError "dlist"))
+          (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+          (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+          (hsPkgs."text" or (errorHandler.buildDepError "text"))
+          (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
+          (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+          ];
+        buildable = true;
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/ws-0.0.6-r0-d700da646e0b114b1b82bd7cca7fe1d4d95a251bb9034fee1eda9ac4b661fe88.nix b/hackage/ws-0.0.6-r0-d700da646e0b114b1b82bd7cca7fe1d4d95a251bb9034fee1eda9ac4b661fe88.nix
new file mode 100644
index 00000000000..fa1a286cd9e
--- /dev/null
+++ b/hackage/ws-0.0.6-r0-d700da646e0b114b1b82bd7cca7fe1d4d95a251bb9034fee1eda9ac4b661fe88.nix
@@ -0,0 +1,66 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "1.12";
+      identifier = { name = "ws"; version = "0.0.6"; };
+      license = "BSD-3-Clause";
+      copyright = "2018 Athan Clark";
+      maintainer = "athan.clark@gmail.com";
+      author = "Athan Clark";
+      homepage = "https://github.com/athanclark/ws#readme";
+      url = "";
+      synopsis = "A simple CLI utility for interacting with a websocket";
+      description = "Please see the README on Github at <https://git.localcooking.com/tooling/ws#readme>";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."async" or (errorHandler.buildDepError "async"))
+          (hsPkgs."attoparsec-uri" or (errorHandler.buildDepError "attoparsec-uri"))
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+          (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
+          (hsPkgs."haskeline" or (errorHandler.buildDepError "haskeline"))
+          (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+          (hsPkgs."network" or (errorHandler.buildDepError "network"))
+          (hsPkgs."text" or (errorHandler.buildDepError "text"))
+          (hsPkgs."websockets" or (errorHandler.buildDepError "websockets"))
+          (hsPkgs."wuss" or (errorHandler.buildDepError "wuss"))
+          ];
+        buildable = true;
+        };
+      exes = {
+        "ws" = {
+          depends = [
+            (hsPkgs."async" or (errorHandler.buildDepError "async"))
+            (hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec"))
+            (hsPkgs."attoparsec-uri" or (errorHandler.buildDepError "attoparsec-uri"))
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+            (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
+            (hsPkgs."haskeline" or (errorHandler.buildDepError "haskeline"))
+            (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+            (hsPkgs."network" or (errorHandler.buildDepError "network"))
+            (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
+            (hsPkgs."strict" or (errorHandler.buildDepError "strict"))
+            (hsPkgs."text" or (errorHandler.buildDepError "text"))
+            (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+            (hsPkgs."websockets" or (errorHandler.buildDepError "websockets"))
+            (hsPkgs."ws" or (errorHandler.buildDepError "ws"))
+            (hsPkgs."wuss" or (errorHandler.buildDepError "wuss"))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    }
\ No newline at end of file
diff --git a/index-state-hashes.nix b/index-state-hashes.nix
index 812fa2b7be3..5a5b5ea10df 100644
--- a/index-state-hashes.nix
+++ b/index-state-hashes.nix
@@ -1696,4 +1696,5 @@
   "2023-11-20T00:00:00Z" = "57bb4f2b5961aaad56087229b9937b8e3bbec74fb32caaac36daba78f9f9718c";
   "2023-11-21T00:00:00Z" = "267b82fe50948b6fb21b5378128c044deb62edb1405f6c3f9c0f666bd4487066";
   "2023-11-22T00:00:00Z" = "14cb5a6acbac7bf4247840c0f4e52d2835074373a1ea9099fab8a13b32b1ffbc";
+  "2023-11-23T00:00:00Z" = "d9e37b8ba4ab8cb3b5c940b9f7ba426ec211e568898faaedc2b99e8a754f720f";
 }
diff --git a/nix/_Micro_Hs.nix b/nix/_Micro_Hs.nix
new file mode 100644
index 00000000000..945349deb21
--- /dev/null
+++ b/nix/_Micro_Hs.nix
@@ -0,0 +1,13 @@
+{
+  "0.8" = {
+    sha256 = "7d3962e3885df37e7e54abc142a59a481106e4d5225970457f6d95367fc84c72";
+    revisions = {
+      r0 = {
+        nix = import ../hackage/MicroHs-0.8-r0-52bdc9c5067041783428335af6c36910ae7c85ab8b2810c24da47195b85db4c6.nix;
+        revNum = 0;
+        sha256 = "52bdc9c5067041783428335af6c36910ae7c85ab8b2810c24da47195b85db4c6";
+        };
+      default = "r0";
+      };
+    };
+  }
\ No newline at end of file
diff --git a/nix/composition-extra.nix b/nix/composition-extra.nix
index 8737ccb3086..a2554403309 100644
--- a/nix/composition-extra.nix
+++ b/nix/composition-extra.nix
@@ -125,4 +125,15 @@
       default = "r0";
       };
     };
+  "2.1.0" = {
+    sha256 = "da97e7642115e154832128ed319b97211d79e513d318dd2942c0c8bb468ad462";
+    revisions = {
+      r0 = {
+        nix = import ../hackage/composition-extra-2.1.0-r0-aa6048510f8f00818c6fc15a63268ce28da5facadf71aeea02a4c1069e87c797.nix;
+        revNum = 0;
+        sha256 = "aa6048510f8f00818c6fc15a63268ce28da5facadf71aeea02a4c1069e87c797";
+        };
+      default = "r0";
+      };
+    };
   }
\ No newline at end of file
diff --git a/nix/convex_Hull_Nd.nix b/nix/convex_Hull_Nd.nix
new file mode 100644
index 00000000000..7a8c0fdd37d
--- /dev/null
+++ b/nix/convex_Hull_Nd.nix
@@ -0,0 +1,13 @@
+{
+  "0.1.0.0" = {
+    sha256 = "577ec41a27ab8d8aa949e6b5feba488542d12f5a0352ecea060e93457e5ada9b";
+    revisions = {
+      r0 = {
+        nix = import ../hackage/convexHullNd-0.1.0.0-r0-d60aa422ad89b6da13602e7a59a72479a875404b3a47ef3e154d08f63c27d1cb.nix;
+        revNum = 0;
+        sha256 = "d60aa422ad89b6da13602e7a59a72479a875404b3a47ef3e154d08f63c27d1cb";
+        };
+      default = "r0";
+      };
+    };
+  }
\ No newline at end of file
diff --git a/nix/json-spec.nix b/nix/json-spec.nix
index 0c78bb1ba7b..1a71655798d 100644
--- a/nix/json-spec.nix
+++ b/nix/json-spec.nix
@@ -43,4 +43,26 @@
       default = "r0";
       };
     };
+  "0.2.1.2" = {
+    sha256 = "1eaf686da2b5982caaa34aa019e9ad2d39e3b6ee20c92b77a4f87cc7f670e8b2";
+    revisions = {
+      r0 = {
+        nix = import ../hackage/json-spec-0.2.1.2-r0-194dd7516268a84b93f03cb2cae8f24f8ec4d26e777c8b3353c81198387312ce.nix;
+        revNum = 0;
+        sha256 = "194dd7516268a84b93f03cb2cae8f24f8ec4d26e777c8b3353c81198387312ce";
+        };
+      default = "r0";
+      };
+    };
+  "0.2.1.3" = {
+    sha256 = "321f6d4ade0470136dc899558f1a37f35c6c136b76f9655667587722a8f5a709";
+    revisions = {
+      r0 = {
+        nix = import ../hackage/json-spec-0.2.1.3-r0-7b06a8fb14c4cbd2515e16be19540ef12b763c777fb02e5fa6bc226874ec30aa.nix;
+        revNum = 0;
+        sha256 = "7b06a8fb14c4cbd2515e16be19540ef12b763c777fb02e5fa6bc226874ec30aa";
+        };
+      default = "r0";
+      };
+    };
   }
\ No newline at end of file
diff --git a/nix/lsp-types.nix b/nix/lsp-types.nix
index 685851fedde..5d015cb48dc 100644
--- a/nix/lsp-types.nix
+++ b/nix/lsp-types.nix
@@ -144,7 +144,12 @@
         revNum = 1;
         sha256 = "20c0869d301419512090c93457e94b6fc5ba3b59893b9ed518a52a6a1af7be5c";
         };
-      default = "r1";
+      r2 = {
+        nix = import ../hackage/lsp-types-1.4.0.1-r2-2552b14b90419c39a6b15266cb2657dc1aa0faee35aeb1ff313b51403ac16a0b.nix;
+        revNum = 2;
+        sha256 = "2552b14b90419c39a6b15266cb2657dc1aa0faee35aeb1ff313b51403ac16a0b";
+        };
+      default = "r2";
       };
     };
   "1.5.0.0" = {
@@ -155,7 +160,12 @@
         revNum = 0;
         sha256 = "7ed97bbc9290ad6ffb9b5a8e082226783c710fff9e4ca2df4c578b065997b1ea";
         };
-      default = "r0";
+      r1 = {
+        nix = import ../hackage/lsp-types-1.5.0.0-r1-5cd09e82b8de14aa7396aa7007af251b6d33e80db094485704ff3cd8f8707085.nix;
+        revNum = 1;
+        sha256 = "5cd09e82b8de14aa7396aa7007af251b6d33e80db094485704ff3cd8f8707085";
+        };
+      default = "r1";
       };
     };
   "1.6.0.0" = {
@@ -166,7 +176,12 @@
         revNum = 0;
         sha256 = "06be28f931eff0b58bc7210f0567ae07713f98735b5a8fb8a6b7adde43d7c782";
         };
-      default = "r0";
+      r1 = {
+        nix = import ../hackage/lsp-types-1.6.0.0-r1-c9ee8757b4734a9ef5d12573ae9beb5de863825de92f94b635057af08b96b0df.nix;
+        revNum = 1;
+        sha256 = "c9ee8757b4734a9ef5d12573ae9beb5de863825de92f94b635057af08b96b0df";
+        };
+      default = "r1";
       };
     };
   "2.0.0.0" = {
diff --git a/nix/ogma-cli.nix b/nix/ogma-cli.nix
index f4016443c82..f3e1191fcad 100644
--- a/nix/ogma-cli.nix
+++ b/nix/ogma-cli.nix
@@ -65,4 +65,15 @@
       default = "r0";
       };
     };
+  "1.1.0" = {
+    sha256 = "7b9536a5dc2ba58e8039b422187dca3aeda06b28ed5a6c7241e44ffc0a73b34f";
+    revisions = {
+      r0 = {
+        nix = import ../hackage/ogma-cli-1.1.0-r0-f39b31b60cbbaf0dd5d1c1231665809170bb9b857d9bd7c1cc95ae86e43b9964.nix;
+        revNum = 0;
+        sha256 = "f39b31b60cbbaf0dd5d1c1231665809170bb9b857d9bd7c1cc95ae86e43b9964";
+        };
+      default = "r0";
+      };
+    };
   }
\ No newline at end of file
diff --git a/nix/ogma-core.nix b/nix/ogma-core.nix
index e6bc89aeffa..1fb38c84bc5 100644
--- a/nix/ogma-core.nix
+++ b/nix/ogma-core.nix
@@ -65,4 +65,15 @@
       default = "r0";
       };
     };
+  "1.1.0" = {
+    sha256 = "966b4d77195503fb896ac8d460113013fa08329d9fce847a334c56b3592a0e61";
+    revisions = {
+      r0 = {
+        nix = import ../hackage/ogma-core-1.1.0-r0-548c2f3943683468584ffc0179833a46808075130d8bf233e72e21f9b370bd64.nix;
+        revNum = 0;
+        sha256 = "548c2f3943683468584ffc0179833a46808075130d8bf233e72e21f9b370bd64";
+        };
+      default = "r0";
+      };
+    };
   }
\ No newline at end of file
diff --git a/nix/ogma-extra.nix b/nix/ogma-extra.nix
index fbf304df9b7..5107a12c1e5 100644
--- a/nix/ogma-extra.nix
+++ b/nix/ogma-extra.nix
@@ -65,4 +65,15 @@
       default = "r0";
       };
     };
+  "1.1.0" = {
+    sha256 = "e147e4224dd511187377e3a65277eab54a8618a332f006af488e4b21049859ab";
+    revisions = {
+      r0 = {
+        nix = import ../hackage/ogma-extra-1.1.0-r0-2b1d06305830bbbdef805380b8b4de27e04be72d73aee1d5842275140bae956b.nix;
+        revNum = 0;
+        sha256 = "2b1d06305830bbbdef805380b8b4de27e04be72d73aee1d5842275140bae956b";
+        };
+      default = "r0";
+      };
+    };
   }
\ No newline at end of file
diff --git a/nix/ogma-language-c.nix b/nix/ogma-language-c.nix
index d764f3e76e1..5a0749944df 100644
--- a/nix/ogma-language-c.nix
+++ b/nix/ogma-language-c.nix
@@ -65,4 +65,15 @@
       default = "r0";
       };
     };
+  "1.1.0" = {
+    sha256 = "5340664c792460a987c7dc759f64c17004ee948edaf8efeba00515d9e28426eb";
+    revisions = {
+      r0 = {
+        nix = import ../hackage/ogma-language-c-1.1.0-r0-c136ba3fb095aab492f26a18df1da269835935c8fafac4b6133d1ab062504e5a.nix;
+        revNum = 0;
+        sha256 = "c136ba3fb095aab492f26a18df1da269835935c8fafac4b6133d1ab062504e5a";
+        };
+      default = "r0";
+      };
+    };
   }
\ No newline at end of file
diff --git a/nix/ogma-language-cocospec.nix b/nix/ogma-language-cocospec.nix
index 202c00bc0d1..e481f8a246f 100644
--- a/nix/ogma-language-cocospec.nix
+++ b/nix/ogma-language-cocospec.nix
@@ -65,4 +65,15 @@
       default = "r0";
       };
     };
+  "1.1.0" = {
+    sha256 = "6ecd39c1b9e56eea3784eccc92003477dfd608f737f1aebdf2fe3175edf3882f";
+    revisions = {
+      r0 = {
+        nix = import ../hackage/ogma-language-cocospec-1.1.0-r0-c0e6d92d0ec32848ba86fbfeda4b1c76366ca757709dbd1bbea9be1484b530b0.nix;
+        revNum = 0;
+        sha256 = "c0e6d92d0ec32848ba86fbfeda4b1c76366ca757709dbd1bbea9be1484b530b0";
+        };
+      default = "r0";
+      };
+    };
   }
\ No newline at end of file
diff --git a/nix/ogma-language-copilot.nix b/nix/ogma-language-copilot.nix
index fd390212968..79c2d40fb3c 100644
--- a/nix/ogma-language-copilot.nix
+++ b/nix/ogma-language-copilot.nix
@@ -65,4 +65,15 @@
       default = "r0";
       };
     };
+  "1.1.0" = {
+    sha256 = "9bd982e3925466b7440ef03b7138623948fd13a6eafd04ada26bce0f12a1f465";
+    revisions = {
+      r0 = {
+        nix = import ../hackage/ogma-language-copilot-1.1.0-r0-73233e36fb84c4db45e02e0f34e9b46e0c115e49013bb6cc1eac5ed1efc54db6.nix;
+        revNum = 0;
+        sha256 = "73233e36fb84c4db45e02e0f34e9b46e0c115e49013bb6cc1eac5ed1efc54db6";
+        };
+      default = "r0";
+      };
+    };
   }
\ No newline at end of file
diff --git a/nix/ogma-language-fret-cs.nix b/nix/ogma-language-fret-cs.nix
index d49e2faf875..0df844a2ab8 100644
--- a/nix/ogma-language-fret-cs.nix
+++ b/nix/ogma-language-fret-cs.nix
@@ -65,4 +65,15 @@
       default = "r0";
       };
     };
+  "1.1.0" = {
+    sha256 = "e52628576879631a52ef082808e5b33363e9ccfc8e1c4b731be3b8917054792f";
+    revisions = {
+      r0 = {
+        nix = import ../hackage/ogma-language-fret-cs-1.1.0-r0-ccb6d36f808c2c78bb9fdb48aa7ec04ac71caa30b746daa078d39bbe62b6606d.nix;
+        revNum = 0;
+        sha256 = "ccb6d36f808c2c78bb9fdb48aa7ec04ac71caa30b746daa078d39bbe62b6606d";
+        };
+      default = "r0";
+      };
+    };
   }
\ No newline at end of file
diff --git a/nix/ogma-language-fret-reqs.nix b/nix/ogma-language-fret-reqs.nix
index bb2b6461283..cc5edcd41a9 100644
--- a/nix/ogma-language-fret-reqs.nix
+++ b/nix/ogma-language-fret-reqs.nix
@@ -65,4 +65,15 @@
       default = "r0";
       };
     };
+  "1.1.0" = {
+    sha256 = "460ee2b2d580a82d885bafec97bc6c30cbb5fda0603701326aa008504cce741c";
+    revisions = {
+      r0 = {
+        nix = import ../hackage/ogma-language-fret-reqs-1.1.0-r0-a4cb60e6314e68dc08c88be7da0331adabd24bb5f5abe48d205c171e6da265a6.nix;
+        revNum = 0;
+        sha256 = "a4cb60e6314e68dc08c88be7da0331adabd24bb5f5abe48d205c171e6da265a6";
+        };
+      default = "r0";
+      };
+    };
   }
\ No newline at end of file
diff --git a/nix/ogma-language-smv.nix b/nix/ogma-language-smv.nix
index 066e8478354..4ec0b1329b9 100644
--- a/nix/ogma-language-smv.nix
+++ b/nix/ogma-language-smv.nix
@@ -65,4 +65,15 @@
       default = "r0";
       };
     };
+  "1.1.0" = {
+    sha256 = "14248318f76b3c1870dc72a0b2920092b436403c1fa0a1ea6616ddbe8f808fd1";
+    revisions = {
+      r0 = {
+        nix = import ../hackage/ogma-language-smv-1.1.0-r0-ea54e6f9e3408869e1e8029d81d0efeeeddb19e267c98b50a5ef0e1122236ad4.nix;
+        revNum = 0;
+        sha256 = "ea54e6f9e3408869e1e8029d81d0efeeeddb19e267c98b50a5ef0e1122236ad4";
+        };
+      default = "r0";
+      };
+    };
   }
\ No newline at end of file
diff --git a/nix/om-show.nix b/nix/om-show.nix
index 13cbee9a226..c14539d030f 100644
--- a/nix/om-show.nix
+++ b/nix/om-show.nix
@@ -21,4 +21,15 @@
       default = "r0";
       };
     };
+  "0.1.2.9" = {
+    sha256 = "284b13392f667ddd949afd43a452b2f32bb6900a3bc1cc5748d24116103d9d94";
+    revisions = {
+      r0 = {
+        nix = import ../hackage/om-show-0.1.2.9-r0-b608782d2284c85458e206eeb0991f03fbfd819d3e0d828e18b8d8016725394b.nix;
+        revNum = 0;
+        sha256 = "b608782d2284c85458e206eeb0991f03fbfd819d3e0d828e18b8d8016725394b";
+        };
+      default = "r0";
+      };
+    };
   }
\ No newline at end of file
diff --git a/nix/urlpath.nix b/nix/urlpath.nix
index 4968976ec4d..c963a7a477a 100644
--- a/nix/urlpath.nix
+++ b/nix/urlpath.nix
@@ -147,6 +147,28 @@
       default = "r0";
       };
     };
+  "11.0.1" = {
+    sha256 = "bd58e88cddd8654df3b21b0c11a2c02efa3a274f1348bc4533ba15513e73c73c";
+    revisions = {
+      r0 = {
+        nix = import ../hackage/urlpath-11.0.1-r0-4163b4e1fb0deccf636db85c3f60226fa0d8d8f6802e9b5b0329fe252b763a1b.nix;
+        revNum = 0;
+        sha256 = "4163b4e1fb0deccf636db85c3f60226fa0d8d8f6802e9b5b0329fe252b763a1b";
+        };
+      default = "r0";
+      };
+    };
+  "11.0.2" = {
+    sha256 = "616e7698bf77ea522ca0618fe46105dba45df72184b1d8e7a8afbe59e864bef6";
+    revisions = {
+      r0 = {
+        nix = import ../hackage/urlpath-11.0.2-r0-07d056660d8332da8994a02d8bd4ccf662f31bd423900b160df4ca9c238e2897.nix;
+        revNum = 0;
+        sha256 = "07d056660d8332da8994a02d8bd4ccf662f31bd423900b160df4ca9c238e2897";
+        };
+      default = "r0";
+      };
+    };
   "2.0.0" = {
     sha256 = "79c17add515987c85793e23aafa093603fbce92f690f35c2d9b613bda8e80ba7";
     revisions = {
diff --git a/nix/wavefront.nix b/nix/wavefront.nix
index fab82165d20..9d415fc55a4 100644
--- a/nix/wavefront.nix
+++ b/nix/wavefront.nix
@@ -208,4 +208,15 @@
       default = "r0";
       };
     };
+  "0.7.1.5" = {
+    sha256 = "8aaedff39267c2f904ca3c86ecec152de94d7612cf1630287beea0ece685b24f";
+    revisions = {
+      r0 = {
+        nix = import ../hackage/wavefront-0.7.1.5-r0-5c482d9f54f6bd18a81bf6cfa02269701bb41b6a73a9c7b61fdf82fce2d0d71f.nix;
+        revNum = 0;
+        sha256 = "5c482d9f54f6bd18a81bf6cfa02269701bb41b6a73a9c7b61fdf82fce2d0d71f";
+        };
+      default = "r0";
+      };
+    };
   }
\ No newline at end of file
diff --git a/nix/ws.nix b/nix/ws.nix
index 38f936b356c..36e93d974e5 100644
--- a/nix/ws.nix
+++ b/nix/ws.nix
@@ -54,4 +54,15 @@
       default = "r0";
       };
     };
+  "0.0.6" = {
+    sha256 = "ee8c35358984227f0e5a1bb446e41d4c2fdce7259c9b5bf98868d7c9a97d7f0f";
+    revisions = {
+      r0 = {
+        nix = import ../hackage/ws-0.0.6-r0-d700da646e0b114b1b82bd7cca7fe1d4d95a251bb9034fee1eda9ac4b661fe88.nix;
+        revNum = 0;
+        sha256 = "d700da646e0b114b1b82bd7cca7fe1d4d95a251bb9034fee1eda9ac4b661fe88";
+        };
+      default = "r0";
+      };
+    };
   }
\ No newline at end of file