Automatic Update

hackage/Agda-2.6.3-r5-a668ab56534bd548c682088f595939a6b8732b46b84d7e7d808af966b5d5d4ec.nix

@@ -0,0 +1,111 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {
+      cpphs = false;
+      debug = false;
+      enable-cluster-counting = false;
+      optimise-heavily = false;
+      };
+    package = {
+      specVersion = "1.24";
+      identifier = { name = "Agda"; version = "2.6.3"; };
+      license = "LicenseRef-OtherLicense";
+      copyright = "(c) 2005-2023 The Agda Team.";
+      maintainer = "The Agda Team";
+      author = "Ulf Norell and The Agda Team, see https://agda.readthedocs.io/en/latest/team.html";
+      homepage = "http://wiki.portal.chalmers.se/agda/";
+      url = "";
+      synopsis = "A dependently typed functional programming language and proof assistant";
+      description = "Agda is a dependently typed functional programming language: It has\ninductive families, which are similar to Haskell's GADTs, but they\ncan be indexed by values and not just types. It also has\nparameterised modules, mixfix operators, Unicode characters, and an\ninteractive Emacs interface (the type checker can assist in the\ndevelopment of your code).\n\nAgda is also a proof assistant: It is an interactive system for\nwriting and checking proofs. Agda is based on intuitionistic type\ntheory, a foundational system for constructive mathematics developed\nby the Swedish logician Per Martin-Löf. It has many\nsimilarities with other proof assistants based on dependent types,\nsuch as Coq, Idris, Lean and NuPRL.\n\nThis package includes both a command-line program (agda) and an\nEmacs mode. If you want to use the Emacs mode you can set it up by\nrunning @agda-mode setup@ (see the README).\n\nNote that the Agda package does not follow the package versioning\npolicy, because it is not intended to be used by third-party\npackages.";
+      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.directory or (pkgs.buildPackages.directory or (errorHandler.setupDepError "directory")))
+        (hsPkgs.buildPackages.filepath or (pkgs.buildPackages.filepath or (errorHandler.setupDepError "filepath")))
+        (hsPkgs.buildPackages.process or (pkgs.buildPackages.process or (errorHandler.setupDepError "process")))
+        ];
+      };
+    components = {
+      "library" = {
+        depends = ((([
+          (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
+          (hsPkgs."array" or (errorHandler.buildDepError "array"))
+          (hsPkgs."async" or (errorHandler.buildDepError "async"))
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."binary" or (errorHandler.buildDepError "binary"))
+          (hsPkgs."blaze-html" or (errorHandler.buildDepError "blaze-html"))
+          (hsPkgs."boxes" or (errorHandler.buildDepError "boxes"))
+          (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+          (hsPkgs."case-insensitive" or (errorHandler.buildDepError "case-insensitive"))
+          (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+          (hsPkgs."data-hash" or (errorHandler.buildDepError "data-hash"))
+          (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
+          (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+          (hsPkgs."dlist" or (errorHandler.buildDepError "dlist"))
+          (hsPkgs."edit-distance" or (errorHandler.buildDepError "edit-distance"))
+          (hsPkgs."equivalence" or (errorHandler.buildDepError "equivalence"))
+          (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
+          (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+          (hsPkgs."gitrev" or (errorHandler.buildDepError "gitrev"))
+          (hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
+          (hsPkgs."haskeline" or (errorHandler.buildDepError "haskeline"))
+          (hsPkgs."monad-control" or (errorHandler.buildDepError "monad-control"))
+          (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+          (hsPkgs."murmur-hash" or (errorHandler.buildDepError "murmur-hash"))
+          (hsPkgs."parallel" or (errorHandler.buildDepError "parallel"))
+          (hsPkgs."pretty" or (errorHandler.buildDepError "pretty"))
+          (hsPkgs."process" or (errorHandler.buildDepError "process"))
+          (hsPkgs."regex-tdfa" or (errorHandler.buildDepError "regex-tdfa"))
+          (hsPkgs."split" or (errorHandler.buildDepError "split"))
+          (hsPkgs."stm" or (errorHandler.buildDepError "stm"))
+          (hsPkgs."STMonadTrans" or (errorHandler.buildDepError "STMonadTrans"))
+          (hsPkgs."strict" or (errorHandler.buildDepError "strict"))
+          (hsPkgs."text" or (errorHandler.buildDepError "text"))
+          (hsPkgs."time" or (errorHandler.buildDepError "time"))
+          (hsPkgs."time-compat" or (errorHandler.buildDepError "time-compat"))
+          (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
+          (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
+          (hsPkgs."uri-encode" or (errorHandler.buildDepError "uri-encode"))
+          (hsPkgs."vector" or (errorHandler.buildDepError "vector"))
+          (hsPkgs."vector-hashtables" or (errorHandler.buildDepError "vector-hashtables"))
+          (hsPkgs."zlib" or (errorHandler.buildDepError "zlib"))
+          ] ++ (pkgs.lib).optional (flags.enable-cluster-counting) (hsPkgs."text-icu" or (errorHandler.buildDepError "text-icu"))) ++ (pkgs.lib).optional (system.isWindows) (hsPkgs."Win32" or (errorHandler.buildDepError "Win32"))) ++ (pkgs.lib).optional (compiler.isGhc && (compiler.version).lt "8.4.1" || compiler.isGhc && (compiler.version).gt "8.4.3") (hsPkgs."text" or (errorHandler.buildDepError "text"))) ++ (pkgs.lib).optional (compiler.isGhc && (compiler.version).ge "8.4") (hsPkgs."ghc-compact" or (errorHandler.buildDepError "ghc-compact"));
+        build-tools = [
+          (hsPkgs.buildPackages.alex.components.exes.alex or (pkgs.buildPackages.alex or (errorHandler.buildToolDepError "alex:alex")))
+          (hsPkgs.buildPackages.happy.components.exes.happy or (pkgs.buildPackages.happy or (errorHandler.buildToolDepError "happy:happy")))
+          ] ++ (pkgs.lib).optional (flags.cpphs) (hsPkgs.buildPackages.cpphs.components.exes.cpphs or (pkgs.buildPackages.cpphs or (errorHandler.buildToolDepError "cpphs:cpphs")));
+        buildable = (if compiler.isGhc && (compiler.version).eq "8.6.1"
+          then false
+          else true) && (if system.isWindows && (compiler.isGhc && (compiler.version).eq "8.6.3")
+          then false
+          else true);
+        };
+      exes = {
+        "agda" = {
+          depends = [
+            (hsPkgs."Agda" or (errorHandler.buildDepError "Agda"))
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            ];
+          buildable = true;
+          };
+        "agda-mode" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."directory" or (errorHandler.buildDepError "directory"))
+            (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+            (hsPkgs."process" or (errorHandler.buildDepError "process"))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    }

hackage/Flint2-0.1.0.1-r0-8106fed241f41f89bde2f0e39676c905f1b1e667ba30b06a2d3636b25ef4188c.nix

@@ -0,0 +1,55 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "1.18";
+      identifier = { name = "Flint2"; version = "0.1.0.1"; };
+      license = "BSD-3-Clause";
+      copyright = "Copyright (c) 2022 Hartmut Monien";
+      maintainer = "[email protected]";
+      author = "Hartmut Monien";
+      homepage = "https://github.com/monien/Flint2#readme";
+      url = "";
+      synopsis = "Haskell bindings for the flint library for number theory";
+      description = "Please see the README on GitHub at <https://github.com/monien/Flint2#readme>";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."groups" or (errorHandler.buildDepError "groups"))
+          ];
+        libs = [
+          (pkgs."flint" or (errorHandler.sysDepError "flint"))
+          (pkgs."gmp" or (errorHandler.sysDepError "gmp"))
+          ];
+        pkgconfig = [
+          (pkgconfPkgs."flint" or (errorHandler.pkgConfDepError "flint"))
+          (pkgconfPkgs."gmp" or (errorHandler.pkgConfDepError "gmp"))
+          ];
+        build-tools = [
+          (hsPkgs.buildPackages.hsc2hs.components.exes.hsc2hs or (pkgs.buildPackages.hsc2hs or (errorHandler.buildToolDepError "hsc2hs:hsc2hs")))
+          ];
+        buildable = true;
+        };
+      tests = {
+        "Flint2-test" = {
+          depends = [
+            (hsPkgs."Flint2" or (errorHandler.buildDepError "Flint2"))
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    }

hackage/binary-orphans-1.0.4.1-r3-9d2bdc3fdbe43fad20d659e562fed229222c8c4caaca74c8f27b5b813aa7ae20.nix

@@ -0,0 +1,60 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "1.12";
+      identifier = { name = "binary-orphans"; version = "1.0.4.1"; };
+      license = "BSD-3-Clause";
+      copyright = "";
+      maintainer = "Oleg Grenrus <[email protected]>";
+      author = "Oleg Grenrus <[email protected]>";
+      homepage = "";
+      url = "";
+      synopsis = "Compatibility package for binary; provides instances";
+      description = "This package provides instances defined in later versions of @binary@ package\n\nPrior version 1 this packages provided instances for other packages.\nThat functionality is moved to [binary-instances](https://hackage.haskell.org/package/binary-instances) package.";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = ((([
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."binary" or (errorHandler.buildDepError "binary"))
+          (hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
+          ] ++ (pkgs.lib).optionals (!(compiler.isGhc && (compiler.version).ge "7.10")) [
+          (hsPkgs."nats" or (errorHandler.buildDepError "nats"))
+          (hsPkgs."void" or (errorHandler.buildDepError "void"))
+          ]) ++ (pkgs.lib).optionals (!(compiler.isGhc && (compiler.version).ge "8.0")) [
+          (hsPkgs."fail" or (errorHandler.buildDepError "fail"))
+          (hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups"))
+          ]) ++ (pkgs.lib).optional (!(compiler.isGhc && (compiler.version).ge "9.2")) (hsPkgs."OneTuple" or (errorHandler.buildDepError "OneTuple"))) ++ (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;
+        };
+      tests = {
+        "binary-orphans-test" = {
+          depends = (([
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."binary" or (errorHandler.buildDepError "binary"))
+            (hsPkgs."binary-orphans" or (errorHandler.buildDepError "binary-orphans"))
+            (hsPkgs."OneTuple" or (errorHandler.buildDepError "OneTuple"))
+            (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
+            (hsPkgs."quickcheck-instances" or (errorHandler.buildDepError "quickcheck-instances"))
+            (hsPkgs."tagged" or (errorHandler.buildDepError "tagged"))
+            (hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
+            (hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck"))
+            ] ++ (pkgs.lib).optional (!(compiler.isGhc && (compiler.version).ge "8.0")) (hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups"))) ++ (pkgs.lib).optionals (!(compiler.isGhc && (compiler.version).ge "7.10")) [
+            (hsPkgs."nats" or (errorHandler.buildDepError "nats"))
+            (hsPkgs."void" or (errorHandler.buildDepError "void"))
+            ]) ++ (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;
+          };
+        };
+      };
+    }

hackage/bytestring-strict-builder-0.4.5.7-r0-7f7f0393ed9098e47aa090ae8b64a9664d1956eada03dbf98211004ed18f003a.nix

@@ -0,0 +1,56 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "3.0";
+      identifier = { name = "bytestring-strict-builder"; version = "0.4.5.7"; };
+      license = "MIT";
+      copyright = "(c) 2017, Nikita Volkov";
+      maintainer = "Nikita Volkov <[email protected]>";
+      author = "Nikita Volkov <[email protected]>";
+      homepage = "https://github.com/nikita-volkov/bytestring-strict-builder";
+      url = "";
+      synopsis = "An efficient strict bytestring builder";
+      description = "According to \n<https://github.com/nikita-volkov/bytestring-builders-benchmark the competition benchmarks>, \nthis library provides on average the fastest builder of strict bytestrings. \n.\nPractical benchmarks have proven it to be highly performant as well.\nThe encoders from the \\\"postgresql-binary\\\" library have shown\na stable performance improvement by factors of up to 10 after the migration\nfrom the standard builder to \\\"bytestring-strict-builder\\\".";
+      buildType = "Simple";
+      };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+          ];
+        buildable = true;
+        };
+      tests = {
+        "tests" = {
+          depends = [
+            (hsPkgs."bytestring-strict-builder" or (errorHandler.buildDepError "bytestring-strict-builder"))
+            (hsPkgs."quickcheck-instances" or (errorHandler.buildDepError "quickcheck-instances"))
+            (hsPkgs."rerebase" or (errorHandler.buildDepError "rerebase"))
+            (hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
+            (hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck"))
+            ];
+          buildable = true;
+          };
+        };
+      benchmarks = {
+        "benchmarks" = {
+          depends = [
+            (hsPkgs."bytestring-strict-builder" or (errorHandler.buildDepError "bytestring-strict-builder"))
+            (hsPkgs."criterion" or (errorHandler.buildDepError "criterion"))
+            (hsPkgs."rerebase" or (errorHandler.buildDepError "rerebase"))
+            ];
+          buildable = true;
+          };
+        };
+      };
+    }