Automatic Update

input-output-hk · Oct 18, 2023 · db5a770 · db5a770
1 parent 164b8c0
commit db5a770
Show file tree

Hide file tree

Showing 46 changed files with 1,630 additions and 7 deletions.
diff --git a/default.nix b/default.nix
@@ -1536,6 +1536,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
   "agda-unused" = import ./nix/agda-unused.nix;
   "agda2hs" = import ./nix/agda2hs.nix;
   "agda2lagda" = import ./nix/agda2lagda.nix;
+  "agda2train" = import ./nix/agda2train.nix;
   "agentx" = import ./nix/agentx.nix;
   "agreeing" = import ./nix/agreeing.nix;
   "agum" = import ./nix/agum.nix;
@@ -6398,6 +6399,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
   "gi-xlib" = import ./nix/gi-xlib.nix;
   "giak" = import ./nix/giak.nix;
   "gibbon" = import ./nix/gibbon.nix;
+  "gigaparsec" = import ./nix/gigaparsec.nix;
   "gimlh" = import ./nix/gimlh.nix;
   "ginger" = import ./nix/ginger.nix;
   "gingersnap" = import ./nix/gingersnap.nix;
@@ -13694,6 +13696,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
   "sasl" = import ./nix/sasl.nix;
   "sat" = import ./nix/sat.nix;
   "sat-micro-hs" = import ./nix/sat-micro-hs.nix;
+  "sat-simple" = import ./nix/sat-simple.nix;
   "satchmo" = import ./nix/satchmo.nix;
   "satchmo-backends" = import ./nix/satchmo-backends.nix;
   "satchmo-examples" = import ./nix/satchmo-examples.nix;

diff --git a/...llocator-0.10.5.1-r0-0b513cf288d2e6835b096ad2146a35a641199d3866b411acb86bf9dd66c004c2.nix b/...llocator-0.10.5.1-r0-0b513cf288d2e6835b096ad2146a35a641199d3866b411acb86bf9dd66c004c2.nix
@@ -0,0 +1,52 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {
+      generic-instances = false;
+      safe-foreign-calls = false;
+      vma-ndebug = false;
+      vma-recording = false;
+      };
+    package = {
+      specVersion = "2.2";
+      identifier = { name = "VulkanMemoryAllocator"; version = "0.10.5.1"; };
+      license = "BSD-3-Clause";
+      copyright = "";
+      maintainer = "Ellie Hermaszewska <live.long.and.prosper@monoid.al>";
+      author = "";
+      homepage = "https://github.com/expipiplus1/vulkan#readme";
+      url = "";
+      synopsis = "Bindings to the VulkanMemoryAllocator library";
+      description = "";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+          (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
+          (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+          (hsPkgs."vulkan" or (errorHandler.buildDepError "vulkan"))
+          ] ++ (pkgs.lib).optional (compiler.isGhc && (compiler.version).ge "9.4") (hsPkgs."system-cxx-std-lib" or (errorHandler.buildDepError "system-cxx-std-lib"));
+        libs = (pkgs.lib).optionals (!(compiler.isGhc && (compiler.version).ge "9.4")) ((((pkgs.lib).optional (system.isLinux) (pkgs."stdc++" or (errorHandler.sysDepError "stdc++")) ++ (pkgs.lib).optional (system.isOsx || system.isFreebsd) (pkgs."c++" or (errorHandler.sysDepError "c++"))) ++ (pkgs.lib).optionals (system.isOpenbsd) [
+          (pkgs."c++" or (errorHandler.sysDepError "c++"))
+          (pkgs."c++abi" or (errorHandler.sysDepError "c++abi"))
+          (pkgs."pthread" or (errorHandler.sysDepError "pthread"))
+          ]) ++ (pkgs.lib).optionals (system.isWindows) (if compiler.isGhc && (compiler.version).lt "9.3"
+          then [ (pkgs."stdc++" or (errorHandler.sysDepError "stdc++")) ]
+          else [
+            (pkgs."c++" or (errorHandler.sysDepError "c++"))
+            (pkgs."c++abi" or (errorHandler.sysDepError "c++abi"))
+            ]));
+        buildable = true;
+        };
+      };
+    }
diff --git a/...oryAllocator-0.11-r0-1429082945285aa499072333891ae406207342037dc860ef5991e290028fa292.nix b/...oryAllocator-0.11-r0-1429082945285aa499072333891ae406207342037dc860ef5991e290028fa292.nix
@@ -0,0 +1,52 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {
+      generic-instances = false;
+      safe-foreign-calls = false;
+      vma-ndebug = false;
+      vma-recording = false;
+      };
+    package = {
+      specVersion = "2.2";
+      identifier = { name = "VulkanMemoryAllocator"; version = "0.11"; };
+      license = "BSD-3-Clause";
+      copyright = "";
+      maintainer = "Ellie Hermaszewska <live.long.and.prosper@monoid.al>";
+      author = "";
+      homepage = "https://github.com/expipiplus1/vulkan#readme";
+      url = "";
+      synopsis = "Bindings to the VulkanMemoryAllocator library";
+      description = "";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+          (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
+          (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+          (hsPkgs."vulkan" or (errorHandler.buildDepError "vulkan"))
+          ] ++ (pkgs.lib).optional (compiler.isGhc && (compiler.version).ge "9.4") (hsPkgs."system-cxx-std-lib" or (errorHandler.buildDepError "system-cxx-std-lib"));
+        libs = (pkgs.lib).optionals (!(compiler.isGhc && (compiler.version).ge "9.4")) ((((pkgs.lib).optional (system.isLinux) (pkgs."stdc++" or (errorHandler.sysDepError "stdc++")) ++ (pkgs.lib).optional (system.isOsx || system.isFreebsd) (pkgs."c++" or (errorHandler.sysDepError "c++"))) ++ (pkgs.lib).optionals (system.isOpenbsd) [
+          (pkgs."c++" or (errorHandler.sysDepError "c++"))
+          (pkgs."c++abi" or (errorHandler.sysDepError "c++abi"))
+          (pkgs."pthread" or (errorHandler.sysDepError "pthread"))
+          ]) ++ (pkgs.lib).optionals (system.isWindows) (if compiler.isGhc && (compiler.version).lt "9.3"
+          then [ (pkgs."stdc++" or (errorHandler.sysDepError "stdc++")) ]
+          else [
+            (pkgs."c++" or (errorHandler.sysDepError "c++"))
+            (pkgs."c++abi" or (errorHandler.sysDepError "c++abi"))
+            ]));
+        buildable = true;
+        };
+      };
+    }
diff --git a/...gda2train-0.0.1.0-r0-16e7b49a9e7aeb70adb6ba0ba0a7ddb72b172fb5e6af850b25d6a6c6c72f36c3.nix b/...gda2train-0.0.1.0-r0-16e7b49a9e7aeb70adb6ba0ba0a7ddb72b172fb5e6af850b25d6a6c6c72f36c3.nix
@@ -0,0 +1,48 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "2.4";
+      identifier = { name = "agda2train"; version = "0.0.1.0"; };
+      license = "BSD-3-Clause";
+      copyright = "(c) 2023 Orestis Melkonian";
+      maintainer = "melkon.or@gmail.com";
+      author = "Orestis Melkonian";
+      homepage = "http://github.com/omelkonian/agda2train/";
+      url = "";
+      synopsis = "Agda backend to generate training data for machine learning purposes.";
+      description = "-";
+      buildType = "Simple";
+      };
+    components = {
+      exes = {
+        "agda2train" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."Agda" or (errorHandler.buildDepError "Agda"))
+            (hsPkgs."pretty" or (errorHandler.buildDepError "pretty"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
+            (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+            (hsPkgs."aeson-pretty" or (errorHandler.buildDepError "aeson-pretty"))
+            (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+            (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+            (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+            (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+            (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
+            (hsPkgs."async" or (errorHandler.buildDepError "async"))
+            (hsPkgs."file-embed" or (errorHandler.buildDepError "file-embed"))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    }
diff --git a/...gda2train-0.0.2.0-r0-651ec54c6e47a3edecffeac92d14fcddbd24bd429cec8e2642039b70068099d9.nix b/...gda2train-0.0.2.0-r0-651ec54c6e47a3edecffeac92d14fcddbd24bd429cec8e2642039b70068099d9.nix
@@ -0,0 +1,48 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "2.4";
+      identifier = { name = "agda2train"; version = "0.0.2.0"; };
+      license = "BSD-3-Clause";
+      copyright = "(c) 2023 Orestis Melkonian";
+      maintainer = "melkon.or@gmail.com";
+      author = "Orestis Melkonian";
+      homepage = "https://github.com/omelkonian/agda2train/";
+      url = "";
+      synopsis = "Agda backend to generate training data for machine learning purposes.";
+      description = "Compiles Agda modules to JSON files, containing information about\nthe imported scope of each module, its definitions and information about each\nsub-term appearing in the code (i.e. context, goal type, term).";
+      buildType = "Simple";
+      };
+    components = {
+      exes = {
+        "agda2train" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."Agda" or (errorHandler.buildDepError "Agda"))
+            (hsPkgs."pretty" or (errorHandler.buildDepError "pretty"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
+            (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+            (hsPkgs."aeson-pretty" or (errorHandler.buildDepError "aeson-pretty"))
+            (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+            (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+            (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+            (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+            (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
+            (hsPkgs."async" or (errorHandler.buildDepError "async"))
+            (hsPkgs."file-embed" or (errorHandler.buildDepError "file-embed"))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    }
diff --git a/...gda2train-0.0.3.0-r0-c3e974c70dcbc97fd526ba65937eaf8860d1ba4de6edc54b2d062b6b2e710332.nix b/...gda2train-0.0.3.0-r0-c3e974c70dcbc97fd526ba65937eaf8860d1ba4de6edc54b2d062b6b2e710332.nix
@@ -0,0 +1,64 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "2.4";
+      identifier = { name = "agda2train"; version = "0.0.3.0"; };
+      license = "BSD-3-Clause";
+      copyright = "(c) 2023 Orestis Melkonian";
+      maintainer = "melkon.or@gmail.com";
+      author = "Orestis Melkonian";
+      homepage = "https://github.com/omelkonian/agda2train/";
+      url = "";
+      synopsis = "Agda backend to generate training data for machine learning purposes.";
+      description = "Compiles Agda modules to JSON files, containing information about\nthe imported scope of each module, its definitions and information about each\nsub-term appearing in the code (i.e. context, goal type, term).";
+      buildType = "Simple";
+      };
+    components = {
+      sublibs = {
+        "agda2train-lib" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."Agda" or (errorHandler.buildDepError "Agda"))
+            (hsPkgs."pretty" or (errorHandler.buildDepError "pretty"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+            (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+            (hsPkgs."async" or (errorHandler.buildDepError "async"))
+            (hsPkgs."file-embed" or (errorHandler.buildDepError "file-embed"))
+            ];
+          buildable = true;
+          };
+        };
+      exes = {
+        "agda2train" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."Agda" or (errorHandler.buildDepError "Agda"))
+            (hsPkgs."pretty" or (errorHandler.buildDepError "pretty"))
+            (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+            (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+            (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+            (hsPkgs."async" or (errorHandler.buildDepError "async"))
+            (hsPkgs."file-embed" or (errorHandler.buildDepError "file-embed"))
+            (hsPkgs."agda2train".components.sublibs.agda2train-lib or (errorHandler.buildDepError "agda2train:agda2train-lib"))
+            (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
+            (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+            (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+            (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+            (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
+            (hsPkgs."aeson-pretty" or (errorHandler.buildDepError "aeson-pretty"))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    }
diff --git a/...y-instances-1.0.4-r3-6b712725244a92a89038b4a6fabaa5d7835cc2bf33d644d1d937433a62d306c6.nix b/...y-instances-1.0.4-r3-6b712725244a92a89038b4a6fabaa5d7835cc2bf33d644d1d937433a62d306c6.nix
@@ -0,0 +1,72 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "1.10";
+      identifier = { name = "binary-instances"; version = "1.0.4"; };
+      license = "BSD-3-Clause";
+      copyright = "";
+      maintainer = "Oleg Grenrus <oleg.grenrus@iki.fi>";
+      author = "Oleg Grenrus <oleg.grenrus@iki.fi>";
+      homepage = "https://github.com/haskellari/binary-instances#readme";
+      url = "";
+      synopsis = "Orphan instances for binary";
+      description = "`binary-instances` defines orphan instances for types in some popular packages.";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."binary" or (errorHandler.buildDepError "binary"))
+          (hsPkgs."binary-orphans" or (errorHandler.buildDepError "binary-orphans"))
+          (hsPkgs."case-insensitive" or (errorHandler.buildDepError "case-insensitive"))
+          (hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
+          (hsPkgs."primitive" or (errorHandler.buildDepError "primitive"))
+          (hsPkgs."scientific" or (errorHandler.buildDepError "scientific"))
+          (hsPkgs."tagged" or (errorHandler.buildDepError "tagged"))
+          (hsPkgs."text" or (errorHandler.buildDepError "text"))
+          (hsPkgs."text-binary" or (errorHandler.buildDepError "text-binary"))
+          (hsPkgs."time-compat" or (errorHandler.buildDepError "time-compat"))
+          (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
+          (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+          (hsPkgs."vector-binary-instances" or (errorHandler.buildDepError "vector-binary-instances"))
+          ];
+        buildable = true;
+        };
+      tests = {
+        "binary-instances-test" = {
+          depends = [
+            (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."binary" or (errorHandler.buildDepError "binary"))
+            (hsPkgs."binary-instances" or (errorHandler.buildDepError "binary-instances"))
+            (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+            (hsPkgs."case-insensitive" or (errorHandler.buildDepError "case-insensitive"))
+            (hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
+            (hsPkgs."primitive" or (errorHandler.buildDepError "primitive"))
+            (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
+            (hsPkgs."quickcheck-instances" or (errorHandler.buildDepError "quickcheck-instances"))
+            (hsPkgs."scientific" or (errorHandler.buildDepError "scientific"))
+            (hsPkgs."tagged" or (errorHandler.buildDepError "tagged"))
+            (hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
+            (hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck"))
+            (hsPkgs."text" or (errorHandler.buildDepError "text"))
+            (hsPkgs."time-compat" or (errorHandler.buildDepError "time-compat"))
+            (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
+            (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+            ] ++ (pkgs.lib).optional (compiler.isGhc && ((compiler.version).ge "8.0" && (compiler.version).lt "9.4")) (hsPkgs."data-array-byte" or (errorHandler.buildDepError "data-array-byte"));
+          buildable = true;
+          };
+        };
+      };
+    }