diff --git a/default.nix b/default.nix
index 122cfaf63ea..9f92a179cff 100644
--- a/default.nix
+++ b/default.nix
@@ -16656,6 +16656,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
   "versioning" = import ./nix/versioning.nix;
   "versioning-servant" = import ./nix/versioning-servant.nix;
   "versions" = import ./nix/versions.nix;
+  "vertexenum" = import ./nix/vertexenum.nix;
   "vessel" = import ./nix/vessel.nix;
   "vflow-types" = import ./nix/vflow-types.nix;
   "vformat" = import ./nix/vformat.nix;
diff --git a/hackage/fp-ieee-0.1.0.3-r0-d91417fb9100df89563d4d949b2952df1c8a5860ac7dfd39ef76b4f8c3dc9662.nix b/hackage/fp-ieee-0.1.0.3-r0-d91417fb9100df89563d4d949b2952df1c8a5860ac7dfd39ef76b4f8c3dc9662.nix
new file mode 100644
index 00000000000..59fdb0e41d5
--- /dev/null
+++ b/hackage/fp-ieee-0.1.0.3-r0-d91417fb9100df89563d4d949b2952df1c8a5860ac7dfd39ef76b4f8c3dc9662.nix
@@ -0,0 +1,77 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {
+      pure-hs = false;
+      sse4_1 = false;
+      fma3 = false;
+      f16c = false;
+      float128 = false;
+      half = false;
+      integer-gmp = true;
+      ghc-bignum = true;
+      };
+    package = {
+      specVersion = "2.2";
+      identifier = { name = "fp-ieee"; version = "0.1.0.3"; };
+      license = "BSD-3-Clause";
+      copyright = "2020-2023 ARATA Mizuki";
+      maintainer = "minorinoki@gmail.com";
+      author = "ARATA Mizuki";
+      homepage = "https://github.com/minoki/haskell-floating-point#readme";
+      url = "";
+      synopsis = "IEEE 754-2019 compliant operations";
+      description = "Please see the README on GitHub at <https://github.com/minoki/haskell-floating-point/tree/master/fp-ieee#readme>";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = ((([
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."integer-logarithms" or (errorHandler.buildDepError "integer-logarithms"))
+          ] ++ (pkgs.lib).optional (flags.float128) (hsPkgs."float128" or (errorHandler.buildDepError "float128"))) ++ (pkgs.lib).optional (flags.half) (hsPkgs."half" or (errorHandler.buildDepError "half"))) ++ (pkgs.lib).optional (flags.integer-gmp && (compiler.isGhc && (compiler.version).lt "9.0.0")) (hsPkgs."integer-gmp" or (errorHandler.buildDepError "integer-gmp"))) ++ (pkgs.lib).optional (flags.ghc-bignum && (compiler.isGhc && (compiler.version).ge "9.0.0")) (hsPkgs."ghc-bignum" or (errorHandler.buildDepError "ghc-bignum"));
+        buildable = true;
+        };
+      tests = {
+        "fp-ieee-doctests" = {
+          depends = ([
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."doctest" or (errorHandler.buildDepError "doctest"))
+            (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
+            ] ++ (pkgs.lib).optional (flags.float128) (hsPkgs."float128" or (errorHandler.buildDepError "float128"))) ++ (pkgs.lib).optional (flags.half) (hsPkgs."half" or (errorHandler.buildDepError "half"));
+          buildable = if compiler.isGhc && (compiler.version).ge "9.8"
+            then false
+            else true;
+          };
+        "fp-ieee-test" = {
+          depends = ([
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
+            (hsPkgs."fp-ieee" or (errorHandler.buildDepError "fp-ieee"))
+            (hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
+            (hsPkgs."hspec-core" or (errorHandler.buildDepError "hspec-core"))
+            (hsPkgs."integer-logarithms" or (errorHandler.buildDepError "integer-logarithms"))
+            (hsPkgs."random" or (errorHandler.buildDepError "random"))
+            ] ++ (pkgs.lib).optional (flags.float128) (hsPkgs."float128" or (errorHandler.buildDepError "float128"))) ++ (pkgs.lib).optional (flags.half) (hsPkgs."half" or (errorHandler.buildDepError "half"));
+          buildable = true;
+          };
+        };
+      benchmarks = {
+        "fp-ieee-benchmark" = {
+          depends = ([
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."fp-ieee" or (errorHandler.buildDepError "fp-ieee"))
+            (hsPkgs."tasty-bench" or (errorHandler.buildDepError "tasty-bench"))
+            ] ++ (pkgs.lib).optional (flags.float128) (hsPkgs."float128" or (errorHandler.buildDepError "float128"))) ++ (pkgs.lib).optional (flags.half) (hsPkgs."half" or (errorHandler.buildDepError "half"));
+          buildable = true;
+          };
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/generic-monoid-0.1.0.1-r3-980227585bf51b2a60c413ef028d6387c0061b126b8f3aad184a2a48b21fce5f.nix b/hackage/generic-monoid-0.1.0.1-r3-980227585bf51b2a60c413ef028d6387c0061b126b8f3aad184a2a48b21fce5f.nix
new file mode 100644
index 00000000000..d477197615e
--- /dev/null
+++ b/hackage/generic-monoid-0.1.0.1-r3-980227585bf51b2a60c413ef028d6387c0061b126b8f3aad184a2a48b21fce5f.nix
@@ -0,0 +1,31 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "1.10";
+      identifier = { name = "generic-monoid"; version = "0.1.0.1"; };
+      license = "BSD-3-Clause";
+      copyright = "2018 Luke Clifton";
+      maintainer = "lukec@themk.net";
+      author = "Luke Clifton";
+      homepage = "";
+      url = "";
+      synopsis = "Derive monoid instances for product types.";
+      description = "Using GHC's generics, allow for deriving `Monoid` and `Semigroup` instances for your product types.";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ];
+        buildable = true;
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/half-0.3.1-r1-f43f16671b42bdc92b4be9e0b0ce1bcff817c928d0a50f13a6264a24586c1a7c.nix b/hackage/half-0.3.1-r1-f43f16671b42bdc92b4be9e0b0ce1bcff817c928d0a50f13a6264a24586c1a7c.nix
new file mode 100644
index 00000000000..746aab72046
--- /dev/null
+++ b/hackage/half-0.3.1-r1-f43f16671b42bdc92b4be9e0b0ce1bcff817c928d0a50f13a6264a24586c1a7c.nix
@@ -0,0 +1,50 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "1.10";
+      identifier = { name = "half"; version = "0.3.1"; };
+      license = "BSD-3-Clause";
+      copyright = "Copyright (C) 2014 Edward A. Kmett";
+      maintainer = "Edward A. Kmett <ekmett@gmail.com>";
+      author = "Edward A. Kmett";
+      homepage = "http://github.com/ekmett/half";
+      url = "";
+      synopsis = "Half-precision floating-point";
+      description = "Half-precision floating-point.";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."binary" or (errorHandler.buildDepError "binary"))
+          (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
+          (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
+          ] ++ (pkgs.lib).optional (compiler.isGhc && (compiler.version).lt "7.6") (hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim"));
+        buildable = true;
+        };
+      tests = {
+        "spec" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."binary" or (errorHandler.buildDepError "binary"))
+            (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+            (hsPkgs."half" or (errorHandler.buildDepError "half"))
+            (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
+            (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework"))
+            (hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2"))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/hasql-1.6.3.4-r0-3d639a1b4885f8beb5cf3794371c6f02aad36c3bdb4f23f34d01fad2ea47f6db.nix b/hackage/hasql-1.6.3.4-r0-3d639a1b4885f8beb5cf3794371c6f02aad36c3bdb4f23f34d01fad2ea47f6db.nix
new file mode 100644
index 00000000000..56d6ebf3bc5
--- /dev/null
+++ b/hackage/hasql-1.6.3.4-r0-3d639a1b4885f8beb5cf3794371c6f02aad36c3bdb4f23f34d01fad2ea47f6db.nix
@@ -0,0 +1,91 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "3.0";
+      identifier = { name = "hasql"; version = "1.6.3.4"; };
+      license = "MIT";
+      copyright = "(c) 2014, Nikita Volkov";
+      maintainer = "Nikita Volkov <nikita.y.volkov@mail.ru>";
+      author = "Nikita Volkov <nikita.y.volkov@mail.ru>";
+      homepage = "https://github.com/nikita-volkov/hasql";
+      url = "";
+      synopsis = "An efficient PostgreSQL driver with a flexible mapping API";
+      description = "Root of the \\\"hasql\\\" ecosystem.\nFor details and tutorials see\n<https://github.com/nikita-volkov/hasql the readme>.\nThe API comes free from all kinds of exceptions. All error-reporting is explicit and is presented using the 'Either' type.";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+          (hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec"))
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+          (hsPkgs."bytestring-strict-builder" or (errorHandler.buildDepError "bytestring-strict-builder"))
+          (hsPkgs."contravariant" or (errorHandler.buildDepError "contravariant"))
+          (hsPkgs."dlist" or (errorHandler.buildDepError "dlist"))
+          (hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
+          (hsPkgs."hashtables" or (errorHandler.buildDepError "hashtables"))
+          (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+          (hsPkgs."network-ip" or (errorHandler.buildDepError "network-ip"))
+          (hsPkgs."postgresql-binary" or (errorHandler.buildDepError "postgresql-binary"))
+          (hsPkgs."postgresql-libpq" or (errorHandler.buildDepError "postgresql-libpq"))
+          (hsPkgs."profunctors" or (errorHandler.buildDepError "profunctors"))
+          (hsPkgs."scientific" or (errorHandler.buildDepError "scientific"))
+          (hsPkgs."text" or (errorHandler.buildDepError "text"))
+          (hsPkgs."text-builder" or (errorHandler.buildDepError "text-builder"))
+          (hsPkgs."time" or (errorHandler.buildDepError "time"))
+          (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
+          (hsPkgs."uuid" or (errorHandler.buildDepError "uuid"))
+          (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+          ];
+        buildable = true;
+        };
+      tests = {
+        "tasty" = {
+          depends = [
+            (hsPkgs."contravariant-extras" or (errorHandler.buildDepError "contravariant-extras"))
+            (hsPkgs."hasql" or (errorHandler.buildDepError "hasql"))
+            (hsPkgs."quickcheck-instances" or (errorHandler.buildDepError "quickcheck-instances"))
+            (hsPkgs."rerebase" or (errorHandler.buildDepError "rerebase"))
+            (hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
+            (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit"))
+            (hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck"))
+            ];
+          buildable = true;
+          };
+        "threads-test" = {
+          depends = [
+            (hsPkgs."hasql" or (errorHandler.buildDepError "hasql"))
+            (hsPkgs."rerebase" or (errorHandler.buildDepError "rerebase"))
+            ];
+          buildable = true;
+          };
+        "profiling" = {
+          depends = [
+            (hsPkgs."hasql" or (errorHandler.buildDepError "hasql"))
+            (hsPkgs."rerebase" or (errorHandler.buildDepError "rerebase"))
+            ];
+          buildable = true;
+          };
+        };
+      benchmarks = {
+        "benchmarks" = {
+          depends = [
+            (hsPkgs."gauge" or (errorHandler.buildDepError "gauge"))
+            (hsPkgs."hasql" or (errorHandler.buildDepError "hasql"))
+            (hsPkgs."rerebase" or (errorHandler.buildDepError "rerebase"))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/matrix-0.3.6.3-r0-4564a4702abc3824c038bb5ae0e34ca889fc7855f2d16de0b3c041a90154cdc8.nix b/hackage/matrix-0.3.6.3-r0-4564a4702abc3824c038bb5ae0e34ca889fc7855f2d16de0b3c041a90154cdc8.nix
new file mode 100644
index 00000000000..f3d7704fce2
--- /dev/null
+++ b/hackage/matrix-0.3.6.3-r0-4564a4702abc3824c038bb5ae0e34ca889fc7855f2d16de0b3c041a90154cdc8.nix
@@ -0,0 +1,75 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "3.0";
+      identifier = { name = "matrix"; version = "0.3.6.3"; };
+      license = "MIT";
+      copyright = "";
+      maintainer = "Daniel Casanueva (daniel.casanueva `at` proton.me)";
+      author = "Daniel Casanueva";
+      homepage = "";
+      url = "";
+      synopsis = "A native implementation of matrix operations.";
+      description = "Matrix library. Basic operations and some algorithms.\n.\nUsage examples are included in the API reference generated by Haddock.\n.\nIf you want to use GSL, BLAS and LAPACK, @hmatrix@ (<http://hackage.haskell.org/package/hmatrix>)\nis the way to go.";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+          (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
+          (hsPkgs."primitive" or (errorHandler.buildDepError "primitive"))
+          (hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups"))
+          (hsPkgs."loop" or (errorHandler.buildDepError "loop"))
+          ];
+        buildable = true;
+        };
+      tests = {
+        "matrix-test" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."matrix" or (errorHandler.buildDepError "matrix"))
+            (hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
+            (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
+            (hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck"))
+            ];
+          buildable = true;
+          };
+        "matrix-examples" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."matrix" or (errorHandler.buildDepError "matrix"))
+            ];
+          buildable = true;
+          };
+        };
+      benchmarks = {
+        "matrix-mult" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."matrix" or (errorHandler.buildDepError "matrix"))
+            (hsPkgs."criterion" or (errorHandler.buildDepError "criterion"))
+            ];
+          buildable = true;
+          };
+        "matrix-rref" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."matrix" or (errorHandler.buildDepError "matrix"))
+            (hsPkgs."criterion" or (errorHandler.buildDepError "criterion"))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/quic-0.1.9-r0-b7676ef2f72da6deb33e578a99b395907fa954562e8c9e10f8e9a0932fe2bbc4.nix b/hackage/quic-0.1.9-r0-b7676ef2f72da6deb33e578a99b395907fa954562e8c9e10f8e9a0932fe2bbc4.nix
new file mode 100644
index 00000000000..6804ebab475
--- /dev/null
+++ b/hackage/quic-0.1.9-r0-b7676ef2f72da6deb33e578a99b395907fa954562e8c9e10f8e9a0932fe2bbc4.nix
@@ -0,0 +1,112 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = { devel = false; fusion = true; };
+    package = {
+      specVersion = "1.10";
+      identifier = { name = "quic"; version = "0.1.9"; };
+      license = "BSD-3-Clause";
+      copyright = "";
+      maintainer = "kazu@iij.ad.jp";
+      author = "Kazu Yamamoto";
+      homepage = "";
+      url = "";
+      synopsis = "QUIC";
+      description = "Library for QUIC: A UDP-Based Multiplexed and Secure Transport";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."array" or (errorHandler.buildDepError "array"))
+          (hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring"))
+          (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+          (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+          (hsPkgs."crypto-token" or (errorHandler.buildDepError "crypto-token"))
+          (hsPkgs."crypton" or (errorHandler.buildDepError "crypton"))
+          (hsPkgs."data-default-class" or (errorHandler.buildDepError "data-default-class"))
+          (hsPkgs."fast-logger" or (errorHandler.buildDepError "fast-logger"))
+          (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+          (hsPkgs."iproute" or (errorHandler.buildDepError "iproute"))
+          (hsPkgs."memory" or (errorHandler.buildDepError "memory"))
+          (hsPkgs."network" or (errorHandler.buildDepError "network"))
+          (hsPkgs."network-control" or (errorHandler.buildDepError "network-control"))
+          (hsPkgs."network-udp" or (errorHandler.buildDepError "network-udp"))
+          (hsPkgs."network-byte-order" or (errorHandler.buildDepError "network-byte-order"))
+          (hsPkgs."random" or (errorHandler.buildDepError "random"))
+          (hsPkgs."stm" or (errorHandler.buildDepError "stm"))
+          (hsPkgs."tls" or (errorHandler.buildDepError "tls"))
+          (hsPkgs."unix-time" or (errorHandler.buildDepError "unix-time"))
+          (hsPkgs."unliftio" or (errorHandler.buildDepError "unliftio"))
+          (hsPkgs."unliftio-core" or (errorHandler.buildDepError "unliftio-core"))
+          (hsPkgs."crypton-x509" or (errorHandler.buildDepError "crypton-x509"))
+          (hsPkgs."crypton-x509-system" or (errorHandler.buildDepError "crypton-x509-system"))
+          ];
+        buildable = true;
+        };
+      exes = {
+        "server" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring"))
+            (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+            (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+            (hsPkgs."http2" or (errorHandler.buildDepError "http2"))
+            (hsPkgs."network-byte-order" or (errorHandler.buildDepError "network-byte-order"))
+            (hsPkgs."quic" or (errorHandler.buildDepError "quic"))
+            (hsPkgs."tls" or (errorHandler.buildDepError "tls"))
+            (hsPkgs."tls-session-manager" or (errorHandler.buildDepError "tls-session-manager"))
+            (hsPkgs."unliftio" or (errorHandler.buildDepError "unliftio"))
+            ];
+          buildable = if flags.devel then true else false;
+          };
+        "client" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring"))
+            (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+            (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+            (hsPkgs."http2" or (errorHandler.buildDepError "http2"))
+            (hsPkgs."network-byte-order" or (errorHandler.buildDepError "network-byte-order"))
+            (hsPkgs."quic" or (errorHandler.buildDepError "quic"))
+            (hsPkgs."tls" or (errorHandler.buildDepError "tls"))
+            (hsPkgs."unix-time" or (errorHandler.buildDepError "unix-time"))
+            (hsPkgs."unliftio" or (errorHandler.buildDepError "unliftio"))
+            ];
+          buildable = if flags.devel then true else false;
+          };
+        };
+      tests = {
+        "spec" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
+            (hsPkgs."async" or (errorHandler.buildDepError "async"))
+            (hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring"))
+            (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."crypton" or (errorHandler.buildDepError "crypton"))
+            (hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
+            (hsPkgs."network" or (errorHandler.buildDepError "network"))
+            (hsPkgs."network-udp" or (errorHandler.buildDepError "network-udp"))
+            (hsPkgs."quic" or (errorHandler.buildDepError "quic"))
+            (hsPkgs."tls" or (errorHandler.buildDepError "tls"))
+            (hsPkgs."unix-time" or (errorHandler.buildDepError "unix-time"))
+            (hsPkgs."unliftio" or (errorHandler.buildDepError "unliftio"))
+            ];
+          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/rounded-hw-0.4.0-r0-c910d798fef75c928c71955ac08b86a13798470f5e2fb947fdb588859f0cfa2e.nix b/hackage/rounded-hw-0.4.0-r0-c910d798fef75c928c71955ac08b86a13798470f5e2fb947fdb588859f0cfa2e.nix
new file mode 100644
index 00000000000..d3a9f23fe03
--- /dev/null
+++ b/hackage/rounded-hw-0.4.0-r0-c910d798fef75c928c71955ac08b86a13798470f5e2fb947fdb588859f0cfa2e.nix
@@ -0,0 +1,96 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {
+      pure-hs = false;
+      c99 = false;
+      avx512 = false;
+      ghc-prim = true;
+      x87-long-double = false;
+      float128 = false;
+      };
+    package = {
+      specVersion = "3.0";
+      identifier = { name = "rounded-hw"; version = "0.4.0"; };
+      license = "BSD-3-Clause";
+      copyright = "2020-2023 ARATA Mizuki";
+      maintainer = "minorinoki@gmail.com";
+      author = "ARATA Mizuki";
+      homepage = "https://github.com/minoki/haskell-floating-point#readme";
+      url = "";
+      synopsis = "Directed rounding for built-in floating types";
+      description = "Please see the README on GitHub at <https://github.com/minoki/haskell-floating-point/tree/master/rounded-hw#readme>";
+      buildType = "Custom";
+      setup-depends = [
+        (hsPkgs.buildPackages.Cabal or (pkgs.buildPackages.Cabal or (errorHandler.setupDepError "Cabal")))
+        (hsPkgs.buildPackages.base or (pkgs.buildPackages.base or (errorHandler.setupDepError "base")))
+        ];
+      };
+    components = {
+      "library" = {
+        depends = ([
+          (hsPkgs."array" or (errorHandler.buildDepError "array"))
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
+          (hsPkgs."fp-ieee" or (errorHandler.buildDepError "fp-ieee"))
+          (hsPkgs."primitive" or (errorHandler.buildDepError "primitive"))
+          (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+          (hsPkgs."tagged" or (errorHandler.buildDepError "tagged"))
+          ] ++ (pkgs.lib).optional (flags.x87-long-double && (system.isI386 || system.isX86_64)) (hsPkgs."long-double" or (errorHandler.buildDepError "long-double"))) ++ (pkgs.lib).optional (flags.float128) (hsPkgs."float128" or (errorHandler.buildDepError "float128"));
+        buildable = true;
+        };
+      tests = {
+        "rounded-hw-doctests" = {
+          depends = [
+            (hsPkgs."array" or (errorHandler.buildDepError "array"))
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
+            (hsPkgs."fp-ieee" or (errorHandler.buildDepError "fp-ieee"))
+            (hsPkgs."primitive" or (errorHandler.buildDepError "primitive"))
+            (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+            (hsPkgs."doctest" or (errorHandler.buildDepError "doctest"))
+            ];
+          buildable = if compiler.isGhc && (compiler.version).ge "9.8"
+            then false
+            else true;
+          };
+        "rounded-hw-test" = {
+          depends = ([
+            (hsPkgs."array" or (errorHandler.buildDepError "array"))
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
+            (hsPkgs."fp-ieee" or (errorHandler.buildDepError "fp-ieee"))
+            (hsPkgs."primitive" or (errorHandler.buildDepError "primitive"))
+            (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+            (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
+            (hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
+            (hsPkgs."random" or (errorHandler.buildDepError "random"))
+            (hsPkgs."rounded-hw" or (errorHandler.buildDepError "rounded-hw"))
+            ] ++ (pkgs.lib).optional (flags.x87-long-double && (system.isI386 || system.isX86_64 && !system.isWindows)) (hsPkgs."long-double" or (errorHandler.buildDepError "long-double"))) ++ (pkgs.lib).optional (flags.float128) (hsPkgs."float128" or (errorHandler.buildDepError "float128"));
+          buildable = true;
+          };
+        };
+      benchmarks = {
+        "rounded-hw-benchmark" = {
+          depends = [
+            (hsPkgs."array" or (errorHandler.buildDepError "array"))
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
+            (hsPkgs."fp-ieee" or (errorHandler.buildDepError "fp-ieee"))
+            (hsPkgs."primitive" or (errorHandler.buildDepError "primitive"))
+            (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+            (hsPkgs."rounded-hw" or (errorHandler.buildDepError "rounded-hw"))
+            (hsPkgs."tasty-bench" or (errorHandler.buildDepError "tasty-bench"))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    }
\ No newline at end of file
diff --git a/hackage/vertexenum-0.1.0.0-r0-c1fd96665b505563acf3343b52c7f7c98014b55c5e93a73a565ab53be4226f34.nix b/hackage/vertexenum-0.1.0.0-r0-c1fd96665b505563acf3343b52c7f7c98014b55c5e93a73a565ab53be4226f34.nix
new file mode 100644
index 00000000000..6158e568a32
--- /dev/null
+++ b/hackage/vertexenum-0.1.0.0-r0-c1fd96665b505563acf3343b52c7f7c98014b55c5e93a73a565ab53be4226f34.nix
@@ -0,0 +1,47 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "2.2";
+      identifier = { name = "vertexenum"; 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/vertexenum#readme";
+      url = "";
+      synopsis = "Vertex enumeration";
+      description = "Vertex enumeration of convex polytopes.";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+          (hsPkgs."hmatrix-glpk" or (errorHandler.buildDepError "hmatrix-glpk"))
+          (hsPkgs."vector-space" or (errorHandler.buildDepError "vector-space"))
+          ];
+        buildable = true;
+        };
+      tests = {
+        "unit-tests" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
+            (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit"))
+            (hsPkgs."vertexenum" or (errorHandler.buildDepError "vertexenum"))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    }
\ No newline at end of file
diff --git a/index-state-hashes.nix b/index-state-hashes.nix
index 6361f4a5ecf..95fd9d29ff3 100644
--- a/index-state-hashes.nix
+++ b/index-state-hashes.nix
@@ -1692,4 +1692,5 @@
   "2023-11-16T00:00:00Z" = "3eb663b14a91cb2494f15302a298a73f7273d2ff594dcc84ff633eb4d463e83f";
   "2023-11-17T00:00:00Z" = "0610a7dd1f007ab1a7d2376f2b93db67a766be5545fd065b718c721ac72a65ee";
   "2023-11-18T00:00:00Z" = "f4c1f1f53bf717a096c6a8a287b038e836451a68a9f4639acce63a899c501bf3";
+  "2023-11-19T00:00:00Z" = "8bddcbc07829ef2bc7b32c5f7967a0c895ca58159494f775980082e8ee1f183d";
 }
diff --git a/nix/fp-ieee.nix b/nix/fp-ieee.nix
index 43daed4e9af..d367f16816c 100644
--- a/nix/fp-ieee.nix
+++ b/nix/fp-ieee.nix
@@ -32,4 +32,15 @@
       default = "r0";
       };
     };
+  "0.1.0.3" = {
+    sha256 = "efbd480ad8f153022e6dd8a70f0236056b2e69cc8ac94cec582a815c5caefcbc";
+    revisions = {
+      r0 = {
+        nix = import ../hackage/fp-ieee-0.1.0.3-r0-d91417fb9100df89563d4d949b2952df1c8a5860ac7dfd39ef76b4f8c3dc9662.nix;
+        revNum = 0;
+        sha256 = "d91417fb9100df89563d4d949b2952df1c8a5860ac7dfd39ef76b4f8c3dc9662";
+        };
+      default = "r0";
+      };
+    };
   }
\ No newline at end of file
diff --git a/nix/generic-monoid.nix b/nix/generic-monoid.nix
index 2858c16de06..0829183ea15 100644
--- a/nix/generic-monoid.nix
+++ b/nix/generic-monoid.nix
@@ -38,7 +38,12 @@
         revNum = 2;
         sha256 = "a3987d6bdc9397f85f57a6c39128e3833056701ebe1235e25bb3586c589a705c";
         };
-      default = "r2";
+      r3 = {
+        nix = import ../hackage/generic-monoid-0.1.0.1-r3-980227585bf51b2a60c413ef028d6387c0061b126b8f3aad184a2a48b21fce5f.nix;
+        revNum = 3;
+        sha256 = "980227585bf51b2a60c413ef028d6387c0061b126b8f3aad184a2a48b21fce5f";
+        };
+      default = "r3";
       };
     };
   }
\ No newline at end of file
diff --git a/nix/half.nix b/nix/half.nix
index 71543764398..91fc3130b04 100644
--- a/nix/half.nix
+++ b/nix/half.nix
@@ -147,7 +147,12 @@
         revNum = 0;
         sha256 = "5aabf5325762b2d6335b9e3f88602431af2b954e14b058bea3e93168a8e0eb53";
         };
-      default = "r0";
+      r1 = {
+        nix = import ../hackage/half-0.3.1-r1-f43f16671b42bdc92b4be9e0b0ce1bcff817c928d0a50f13a6264a24586c1a7c.nix;
+        revNum = 1;
+        sha256 = "f43f16671b42bdc92b4be9e0b0ce1bcff817c928d0a50f13a6264a24586c1a7c";
+        };
+      default = "r1";
       };
     };
   }
\ No newline at end of file
diff --git a/nix/hasql.nix b/nix/hasql.nix
index 28fe6048a87..893d435582f 100644
--- a/nix/hasql.nix
+++ b/nix/hasql.nix
@@ -1187,4 +1187,15 @@
       default = "r0";
       };
     };
+  "1.6.3.4" = {
+    sha256 = "948885b37d1f2f0642967aa7eaf98ea2e4d7b76303387e7ddc7b7e77fc76fee6";
+    revisions = {
+      r0 = {
+        nix = import ../hackage/hasql-1.6.3.4-r0-3d639a1b4885f8beb5cf3794371c6f02aad36c3bdb4f23f34d01fad2ea47f6db.nix;
+        revNum = 0;
+        sha256 = "3d639a1b4885f8beb5cf3794371c6f02aad36c3bdb4f23f34d01fad2ea47f6db";
+        };
+      default = "r0";
+      };
+    };
   }
\ No newline at end of file
diff --git a/nix/matrix.nix b/nix/matrix.nix
index 33b0ddc68e2..49324ec5156 100644
--- a/nix/matrix.nix
+++ b/nix/matrix.nix
@@ -325,4 +325,15 @@
       default = "r0";
       };
     };
+  "0.3.6.3" = {
+    sha256 = "0c8317398bdeae95fec515a7b6ccc957563dfed97e9dd1c5391333226d42f03f";
+    revisions = {
+      r0 = {
+        nix = import ../hackage/matrix-0.3.6.3-r0-4564a4702abc3824c038bb5ae0e34ca889fc7855f2d16de0b3c041a90154cdc8.nix;
+        revNum = 0;
+        sha256 = "4564a4702abc3824c038bb5ae0e34ca889fc7855f2d16de0b3c041a90154cdc8";
+        };
+      default = "r0";
+      };
+    };
   }
\ No newline at end of file
diff --git a/nix/quic.nix b/nix/quic.nix
index a87f7a6748f..80a94f6d950 100644
--- a/nix/quic.nix
+++ b/nix/quic.nix
@@ -120,4 +120,15 @@
       default = "r0";
       };
     };
+  "0.1.9" = {
+    sha256 = "2216657b64d51ea97aa934bbf7f5032c0ec15025473244962a240fabf58a6675";
+    revisions = {
+      r0 = {
+        nix = import ../hackage/quic-0.1.9-r0-b7676ef2f72da6deb33e578a99b395907fa954562e8c9e10f8e9a0932fe2bbc4.nix;
+        revNum = 0;
+        sha256 = "b7676ef2f72da6deb33e578a99b395907fa954562e8c9e10f8e9a0932fe2bbc4";
+        };
+      default = "r0";
+      };
+    };
   }
\ No newline at end of file
diff --git a/nix/rounded-hw.nix b/nix/rounded-hw.nix
index 7048f99e50e..df00a5bda22 100644
--- a/nix/rounded-hw.nix
+++ b/nix/rounded-hw.nix
@@ -37,4 +37,15 @@
       default = "r1";
       };
     };
+  "0.4.0" = {
+    sha256 = "df23578f247129bb55ef971f9badfe4471042cc82c4f19488f456c6dc5c284a0";
+    revisions = {
+      r0 = {
+        nix = import ../hackage/rounded-hw-0.4.0-r0-c910d798fef75c928c71955ac08b86a13798470f5e2fb947fdb588859f0cfa2e.nix;
+        revNum = 0;
+        sha256 = "c910d798fef75c928c71955ac08b86a13798470f5e2fb947fdb588859f0cfa2e";
+        };
+      default = "r0";
+      };
+    };
   }
\ No newline at end of file
diff --git a/nix/vertexenum.nix b/nix/vertexenum.nix
new file mode 100644
index 00000000000..2fb2dc0dfca
--- /dev/null
+++ b/nix/vertexenum.nix
@@ -0,0 +1,13 @@
+{
+  "0.1.0.0" = {
+    sha256 = "7c77966302fdc4e75431d15d4e59a0d94a94476f999ff21bf12b684b0f100c3f";
+    revisions = {
+      r0 = {
+        nix = import ../hackage/vertexenum-0.1.0.0-r0-c1fd96665b505563acf3343b52c7f7c98014b55c5e93a73a565ab53be4226f34.nix;
+        revNum = 0;
+        sha256 = "c1fd96665b505563acf3343b52c7f7c98014b55c5e93a73a565ab53be4226f34";
+        };
+      default = "r0";
+      };
+    };
+  }
\ No newline at end of file