From b9c0b664720089cb644aac601fe0e359f2fab116 Mon Sep 17 00:00:00 2001 From: IOHK Date: Sat, 5 Oct 2024 00:27:35 +0000 Subject: [PATCH] Automatic Update --- ...fdb7dab9b668f56d7cb4c780935271160f4e6c.nix | 50 +++++ ...7edefaca0b96e5416ed6e56d14008d9a7f5299.nix | 33 ++++ ...8da33d0f2250e58d7a3fe6ecd45ed591c1e5d2.nix | 47 +++++ ...7dba7e653d211b50d712b932d87db143945b69.nix | 47 +++++ ...ebd1debc45181a82ef5745a3bb545dd48447c8.nix | 47 +++++ ...cdb86a773a0aeedd49e8b66f19ec623c7a0af0.nix | 176 ++++++++++++++++++ ...8e7fa37fac96a52a847705b0c14bc473ebdffc.nix | 36 ++++ ...0f2c79565193dbbee0620e4419ba1a0c483d32.nix | 59 ++++++ ...1485276797299fa1ae97402517a542f0fce870.nix | 44 +++++ ...61dbac244c8c3c2f9dc6dd5cb533c77be0a424.nix | 83 +++++++++ ...7a314c44e3a80757f7012f85a5f4e0b78f248f.nix | 86 +++++++++ ...7309759e9698e9997e254bd4e65d200edb70d6.nix | 41 ++++ index-state-hashes.nix | 1 + nix/agda2hs.nix | 11 ++ nix/bluefin-internal.nix | 23 ++- nix/bluefin.nix | 11 ++ nix/eo-phi-normalizer.nix | 11 ++ nix/fused-effects-random.nix | 11 ++ nix/github-workflow-commands.nix | 11 ++ nix/interval-functor.nix | 11 ++ nix/mcmc.nix | 11 ++ nix/opaleye.nix | 11 ++ nix/sgf.nix | 11 ++ 23 files changed, 871 insertions(+), 1 deletion(-) create mode 100644 hackage/agda2hs-1.3-r0-47eeb0674bf6f06b31df6f618cfdb7dab9b668f56d7cb4c780935271160f4e6c.nix create mode 100644 hackage/bluefin-0.0.8.0-r0-da4c1d9633f1fea637fda84c2d7edefaca0b96e5416ed6e56d14008d9a7f5299.nix create mode 100644 hackage/bluefin-internal-0.0.7.0-r1-1abcb5c105ad1c5f160c907f768da33d0f2250e58d7a3fe6ecd45ed591c1e5d2.nix create mode 100644 hackage/bluefin-internal-0.0.8.0-r0-b7dbfe80a7da67112b5ee7787e7dba7e653d211b50d712b932d87db143945b69.nix create mode 100644 hackage/bluefin-internal-0.0.8.0-r1-f962ee8df545f7b55b6d534bf7ebd1debc45181a82ef5745a3bb545dd48447c8.nix create mode 100644 hackage/eo-phi-normalizer-1.1.0-r0-71b63bb2ae3bb05bbe9d1303b7cdb86a773a0aeedd49e8b66f19ec623c7a0af0.nix create mode 100644 hackage/fused-effects-random-1.1.0.1-r0-fbfbecd9d2a4679e285cfd79e68e7fa37fac96a52a847705b0c14bc473ebdffc.nix create mode 100644 hackage/github-workflow-commands-0.0.1.0-r0-81df036a9f7a312e588c25911e0f2c79565193dbbee0620e4419ba1a0c483d32.nix create mode 100644 hackage/interval-functor-0.0.0.1-r0-dc5f113b5e364e8caa1bd8dcf91485276797299fa1ae97402517a542f0fce870.nix create mode 100644 hackage/mcmc-0.8.3.0-r0-146472ebef980ab65e87d988a261dbac244c8c3c2f9dc6dd5cb533c77be0a424.nix create mode 100644 hackage/opaleye-0.10.4.0-r0-0165672acb41d4aca9f87abbc87a314c44e3a80757f7012f85a5f4e0b78f248f.nix create mode 100644 hackage/sgf-0.1.3.3-r0-cf6ccc1b50dc3644d6f92cde3d7309759e9698e9997e254bd4e65d200edb70d6.nix diff --git a/hackage/agda2hs-1.3-r0-47eeb0674bf6f06b31df6f618cfdb7dab9b668f56d7cb4c780935271160f4e6c.nix b/hackage/agda2hs-1.3-r0-47eeb0674bf6f06b31df6f618cfdb7dab9b668f56d7cb4c780935271160f4e6c.nix new file mode 100644 index 00000000000..914ad8f0e58 --- /dev/null +++ b/hackage/agda2hs-1.3-r0-47eeb0674bf6f06b31df6f618cfdb7dab9b668f56d7cb4c780935271160f4e6c.nix @@ -0,0 +1,50 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.4"; + identifier = { name = "agda2hs"; version = "1.3"; }; + license = "BSD-3-Clause"; + copyright = "2024 Ulf Norell, Jesper Cockx, Orestis Melkonian, Sára Juhošová, James Chapman, Lucas Escot, Henry Blanchette, Viktor Csimma, Aleksander Wolska, Paul Bittner, Andreas Källberg, Bohdan Liesnikov, and Jakob Naucke"; + maintainer = "jesper@sikanda.be"; + author = "Ulf Norell, Jesper Cockx, Orestis Melkonian, Sára Juhošová, James Chapman, Lucas Escot, Henry Blanchette, Viktor Csimma, Aleksander Wolska, Paul Bittner, Andreas Källberg, Bohdan Liesnikov, and Jakob Naucke"; + homepage = ""; + url = ""; + synopsis = "Compiling Agda code to readable Haskell."; + description = "Produces verified and readable Haskell code by extracting it from a\n(lightly annotated) Agda program.\nThe tool is implemented as an Agda backend, which means that `agda2hs` is a\nfully functional Agda compiler."; + buildType = "Simple"; + }; + components = { + exes = { + "agda2hs" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."Agda" or (errorHandler.buildDepError "Agda")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."monad-control" or (errorHandler.buildDepError "monad-control")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."haskell-src-exts" or (errorHandler.buildDepError "haskell-src-exts")) + (hsPkgs."syb" or (errorHandler.buildDepError "syb")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."yaml" or (errorHandler.buildDepError "yaml")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/bluefin-0.0.8.0-r0-da4c1d9633f1fea637fda84c2d7edefaca0b96e5416ed6e56d14008d9a7f5299.nix b/hackage/bluefin-0.0.8.0-r0-da4c1d9633f1fea637fda84c2d7edefaca0b96e5416ed6e56d14008d9a7f5299.nix new file mode 100644 index 00000000000..464815097ef --- /dev/null +++ b/hackage/bluefin-0.0.8.0-r0-da4c1d9633f1fea637fda84c2d7edefaca0b96e5416ed6e56d14008d9a7f5299.nix @@ -0,0 +1,33 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "3.0"; + identifier = { name = "bluefin"; version = "0.0.8.0"; }; + license = "MIT"; + copyright = ""; + maintainer = "Tom Ellis"; + author = "Tom Ellis"; + homepage = "https://github.com/tomjaguarpaw/bluefin"; + url = ""; + synopsis = "The Bluefin effect system"; + description = "The Bluefin effect system"; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."bluefin-internal" or (errorHandler.buildDepError "bluefin-internal")) + ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/bluefin-internal-0.0.7.0-r1-1abcb5c105ad1c5f160c907f768da33d0f2250e58d7a3fe6ecd45ed591c1e5d2.nix b/hackage/bluefin-internal-0.0.7.0-r1-1abcb5c105ad1c5f160c907f768da33d0f2250e58d7a3fe6ecd45ed591c1e5d2.nix new file mode 100644 index 00000000000..34a27b4ba0f --- /dev/null +++ b/hackage/bluefin-internal-0.0.7.0-r1-1abcb5c105ad1c5f160c907f768da33d0f2250e58d7a3fe6ecd45ed591c1e5d2.nix @@ -0,0 +1,47 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "3.0"; + identifier = { name = "bluefin-internal"; version = "0.0.7.0"; }; + license = "MIT"; + copyright = ""; + maintainer = "Tom Ellis"; + author = "Tom Ellis"; + homepage = "https://github.com/tomjaguarpaw/bluefin"; + url = ""; + synopsis = "The Bluefin effect system, internals"; + description = "The Bluefin effect system, internals"; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."async" or (errorHandler.buildDepError "async")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."unliftio-core" or (errorHandler.buildDepError "unliftio-core")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."transformers-base" or (errorHandler.buildDepError "transformers-base")) + (hsPkgs."monad-control" or (errorHandler.buildDepError "monad-control")) + ]; + buildable = true; + }; + tests = { + "bluefin-test" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bluefin-internal" or (errorHandler.buildDepError "bluefin-internal")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/bluefin-internal-0.0.8.0-r0-b7dbfe80a7da67112b5ee7787e7dba7e653d211b50d712b932d87db143945b69.nix b/hackage/bluefin-internal-0.0.8.0-r0-b7dbfe80a7da67112b5ee7787e7dba7e653d211b50d712b932d87db143945b69.nix new file mode 100644 index 00000000000..d6c7809a4f1 --- /dev/null +++ b/hackage/bluefin-internal-0.0.8.0-r0-b7dbfe80a7da67112b5ee7787e7dba7e653d211b50d712b932d87db143945b69.nix @@ -0,0 +1,47 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "3.0"; + identifier = { name = "bluefin-internal"; version = "0.0.8.0"; }; + license = "MIT"; + copyright = ""; + maintainer = "Tom Ellis"; + author = "Tom Ellis"; + homepage = "https://github.com/tomjaguarpaw/bluefin"; + url = ""; + synopsis = "The Bluefin effect system, internals"; + description = "The Bluefin effect system, internals"; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."async" or (errorHandler.buildDepError "async")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."unliftio-core" or (errorHandler.buildDepError "unliftio-core")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."transformers-base" or (errorHandler.buildDepError "transformers-base")) + (hsPkgs."monad-control" or (errorHandler.buildDepError "monad-control")) + ]; + buildable = true; + }; + tests = { + "bluefin-test" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bluefin-internal" or (errorHandler.buildDepError "bluefin-internal")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/bluefin-internal-0.0.8.0-r1-f962ee8df545f7b55b6d534bf7ebd1debc45181a82ef5745a3bb545dd48447c8.nix b/hackage/bluefin-internal-0.0.8.0-r1-f962ee8df545f7b55b6d534bf7ebd1debc45181a82ef5745a3bb545dd48447c8.nix new file mode 100644 index 00000000000..d6c7809a4f1 --- /dev/null +++ b/hackage/bluefin-internal-0.0.8.0-r1-f962ee8df545f7b55b6d534bf7ebd1debc45181a82ef5745a3bb545dd48447c8.nix @@ -0,0 +1,47 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "3.0"; + identifier = { name = "bluefin-internal"; version = "0.0.8.0"; }; + license = "MIT"; + copyright = ""; + maintainer = "Tom Ellis"; + author = "Tom Ellis"; + homepage = "https://github.com/tomjaguarpaw/bluefin"; + url = ""; + synopsis = "The Bluefin effect system, internals"; + description = "The Bluefin effect system, internals"; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."async" or (errorHandler.buildDepError "async")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."unliftio-core" or (errorHandler.buildDepError "unliftio-core")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."transformers-base" or (errorHandler.buildDepError "transformers-base")) + (hsPkgs."monad-control" or (errorHandler.buildDepError "monad-control")) + ]; + buildable = true; + }; + tests = { + "bluefin-test" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bluefin-internal" or (errorHandler.buildDepError "bluefin-internal")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/eo-phi-normalizer-1.1.0-r0-71b63bb2ae3bb05bbe9d1303b7cdb86a773a0aeedd49e8b66f19ec623c7a0af0.nix b/hackage/eo-phi-normalizer-1.1.0-r0-71b63bb2ae3bb05bbe9d1303b7cdb86a773a0aeedd49e8b66f19ec623c7a0af0.nix new file mode 100644 index 00000000000..e4ea2c7c196 --- /dev/null +++ b/hackage/eo-phi-normalizer-1.1.0-r0-71b63bb2ae3bb05bbe9d1303b7cdb86a773a0aeedd49e8b66f19ec623c7a0af0.nix @@ -0,0 +1,176 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.24"; + identifier = { name = "eo-phi-normalizer"; version = "1.1.0"; }; + license = "BSD-3-Clause"; + copyright = "2023-2024 EO/Polystat Development Team"; + maintainer = "nickolay.kudasov@gmail.com"; + author = "EO/Polystat Development Team"; + homepage = "https://github.com/objectionary/eo-phi-normalizer#readme"; + url = ""; + synopsis = "Command line normalizer of 𝜑-calculus expressions."; + description = "Please see the README on GitHub at "; + buildType = "Custom"; + setup-depends = [ + (hsPkgs.pkgsBuildBuild.Cabal or (pkgs.pkgsBuildBuild.Cabal or (errorHandler.setupDepError "Cabal"))) + (hsPkgs.pkgsBuildBuild.PyF or (pkgs.pkgsBuildBuild.PyF or (errorHandler.setupDepError "PyF"))) + (hsPkgs.pkgsBuildBuild.base or (pkgs.pkgsBuildBuild.base or (errorHandler.setupDepError "base"))) + (hsPkgs.pkgsBuildBuild.process or (pkgs.pkgsBuildBuild.process or (errorHandler.setupDepError "process"))) + ]; + }; + components = { + "library" = { + depends = [ + (hsPkgs."PyF" or (errorHandler.buildDepError "PyF")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."array" or (errorHandler.buildDepError "array")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."blaze-html" or (errorHandler.buildDepError "blaze-html")) + (hsPkgs."blaze-markup" or (errorHandler.buildDepError "blaze-markup")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."cereal" or (errorHandler.buildDepError "cereal")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."file-embed" or (errorHandler.buildDepError "file-embed")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."generic-lens" or (errorHandler.buildDepError "generic-lens")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."lens" or (errorHandler.buildDepError "lens")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."regex-compat" or (errorHandler.buildDepError "regex-compat")) + (hsPkgs."scientific" or (errorHandler.buildDepError "scientific")) + (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + (hsPkgs."yaml" or (errorHandler.buildDepError "yaml")) + ]; + build-tools = [ + (hsPkgs.pkgsBuildBuild.BNFC.components.exes.bnfc or (pkgs.pkgsBuildBuild.bnfc or (errorHandler.buildToolDepError "BNFC:bnfc"))) + (hsPkgs.pkgsBuildBuild.alex.components.exes.alex or (pkgs.pkgsBuildBuild.alex or (errorHandler.buildToolDepError "alex:alex"))) + (hsPkgs.pkgsBuildBuild.happy.components.exes.happy or (pkgs.pkgsBuildBuild.happy or (errorHandler.buildToolDepError "happy:happy"))) + ]; + buildable = true; + }; + exes = { + "normalizer" = { + depends = [ + (hsPkgs."PyF" or (errorHandler.buildDepError "PyF")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."aeson-pretty" or (errorHandler.buildDepError "aeson-pretty")) + (hsPkgs."array" or (errorHandler.buildDepError "array")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."blaze-html" or (errorHandler.buildDepError "blaze-html")) + (hsPkgs."blaze-markup" or (errorHandler.buildDepError "blaze-markup")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."cereal" or (errorHandler.buildDepError "cereal")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."eo-phi-normalizer" or (errorHandler.buildDepError "eo-phi-normalizer")) + (hsPkgs."file-embed" or (errorHandler.buildDepError "file-embed")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."generic-lens" or (errorHandler.buildDepError "generic-lens")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."lens" or (errorHandler.buildDepError "lens")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative")) + (hsPkgs."regex-compat" or (errorHandler.buildDepError "regex-compat")) + (hsPkgs."scientific" or (errorHandler.buildDepError "scientific")) + (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + (hsPkgs."with-utf8" or (errorHandler.buildDepError "with-utf8")) + (hsPkgs."yaml" or (errorHandler.buildDepError "yaml")) + ]; + build-tools = [ + (hsPkgs.pkgsBuildBuild.BNFC.components.exes.bnfc or (pkgs.pkgsBuildBuild.bnfc or (errorHandler.buildToolDepError "BNFC:bnfc"))) + (hsPkgs.pkgsBuildBuild.alex.components.exes.alex or (pkgs.pkgsBuildBuild.alex or (errorHandler.buildToolDepError "alex:alex"))) + (hsPkgs.pkgsBuildBuild.happy.components.exes.happy or (pkgs.pkgsBuildBuild.happy or (errorHandler.buildToolDepError "happy:happy"))) + ]; + buildable = true; + }; + }; + tests = { + "doctests" = { + depends = [ + (hsPkgs."PyF" or (errorHandler.buildDepError "PyF")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."array" or (errorHandler.buildDepError "array")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."blaze-html" or (errorHandler.buildDepError "blaze-html")) + (hsPkgs."blaze-markup" or (errorHandler.buildDepError "blaze-markup")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."cereal" or (errorHandler.buildDepError "cereal")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."doctest-parallel" or (errorHandler.buildDepError "doctest-parallel")) + (hsPkgs."eo-phi-normalizer" or (errorHandler.buildDepError "eo-phi-normalizer")) + (hsPkgs."file-embed" or (errorHandler.buildDepError "file-embed")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."generic-lens" or (errorHandler.buildDepError "generic-lens")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."lens" or (errorHandler.buildDepError "lens")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."regex-compat" or (errorHandler.buildDepError "regex-compat")) + (hsPkgs."scientific" or (errorHandler.buildDepError "scientific")) + (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + (hsPkgs."yaml" or (errorHandler.buildDepError "yaml")) + ]; + build-tools = [ + (hsPkgs.pkgsBuildBuild.BNFC.components.exes.bnfc or (pkgs.pkgsBuildBuild.bnfc or (errorHandler.buildToolDepError "BNFC:bnfc"))) + (hsPkgs.pkgsBuildBuild.alex.components.exes.alex or (pkgs.pkgsBuildBuild.alex or (errorHandler.buildToolDepError "alex:alex"))) + (hsPkgs.pkgsBuildBuild.happy.components.exes.happy or (pkgs.pkgsBuildBuild.happy or (errorHandler.buildToolDepError "happy:happy"))) + ]; + buildable = true; + }; + "spec" = { + depends = [ + (hsPkgs."PyF" or (errorHandler.buildDepError "PyF")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."array" or (errorHandler.buildDepError "array")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."blaze-html" or (errorHandler.buildDepError "blaze-html")) + (hsPkgs."blaze-markup" or (errorHandler.buildDepError "blaze-markup")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."cereal" or (errorHandler.buildDepError "cereal")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."eo-phi-normalizer" or (errorHandler.buildDepError "eo-phi-normalizer")) + (hsPkgs."file-embed" or (errorHandler.buildDepError "file-embed")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."generic-lens" or (errorHandler.buildDepError "generic-lens")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."hspec-discover" or (errorHandler.buildDepError "hspec-discover")) + (hsPkgs."lens" or (errorHandler.buildDepError "lens")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."regex-compat" or (errorHandler.buildDepError "regex-compat")) + (hsPkgs."scientific" or (errorHandler.buildDepError "scientific")) + (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + (hsPkgs."with-utf8" or (errorHandler.buildDepError "with-utf8")) + (hsPkgs."yaml" or (errorHandler.buildDepError "yaml")) + ]; + build-tools = [ + (hsPkgs.pkgsBuildBuild.BNFC.components.exes.bnfc or (pkgs.pkgsBuildBuild.bnfc or (errorHandler.buildToolDepError "BNFC:bnfc"))) + (hsPkgs.pkgsBuildBuild.alex.components.exes.alex or (pkgs.pkgsBuildBuild.alex or (errorHandler.buildToolDepError "alex:alex"))) + (hsPkgs.pkgsBuildBuild.happy.components.exes.happy or (pkgs.pkgsBuildBuild.happy or (errorHandler.buildToolDepError "happy:happy"))) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/fused-effects-random-1.1.0.1-r0-fbfbecd9d2a4679e285cfd79e68e7fa37fac96a52a847705b0c14bc473ebdffc.nix b/hackage/fused-effects-random-1.1.0.1-r0-fbfbecd9d2a4679e285cfd79e68e7fa37fac96a52a847705b0c14bc473ebdffc.nix new file mode 100644 index 00000000000..51fe86f815d --- /dev/null +++ b/hackage/fused-effects-random-1.1.0.1-r0-fbfbecd9d2a4679e285cfd79e68e7fa37fac96a52a847705b0c14bc473ebdffc.nix @@ -0,0 +1,36 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "3.0"; + identifier = { name = "fused-effects-random"; version = "1.1.0.1"; }; + license = "BSD-3-Clause"; + copyright = "2019-2024 Rob Rix"; + maintainer = "robrix@github.com"; + author = "Rob Rix"; + homepage = "https://github.com/fused-effects/fused-effects-random"; + url = ""; + synopsis = "Random number generation for fused-effects."; + description = "Random number generation as an effect using fused-effects."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."fused-effects" or (errorHandler.buildDepError "fused-effects")) + (hsPkgs."random" or (errorHandler.buildDepError "random")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/github-workflow-commands-0.0.1.0-r0-81df036a9f7a312e588c25911e0f2c79565193dbbee0620e4419ba1a0c483d32.nix b/hackage/github-workflow-commands-0.0.1.0-r0-81df036a9f7a312e588c25911e0f2c79565193dbbee0620e4419ba1a0c483d32.nix new file mode 100644 index 00000000000..b3d79a2f679 --- /dev/null +++ b/hackage/github-workflow-commands-0.0.1.0-r0-81df036a9f7a312e588c25911e0f2c79565193dbbee0620e4419ba1a0c483d32.nix @@ -0,0 +1,59 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.18"; + identifier = { name = "github-workflow-commands"; version = "0.0.1.0"; }; + license = "MIT"; + copyright = ""; + maintainer = "Freckle Education"; + author = ""; + homepage = "https://github.com/freckle/github-workflow-commands#readme"; + url = ""; + synopsis = "GitHub Actions workflow commands"; + description = "For printing workflow commands in GitHub Actions.\n\nSee https://docs.github.com/en/actions/using-workflows/workflow-commands-for-github-actions"; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."MonadRandom" or (errorHandler.buildDepError "MonadRandom")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."lens" or (errorHandler.buildDepError "lens")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + ]; + buildable = true; + }; + tests = { + "readme" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."github-workflow-commands" or (errorHandler.buildDepError "github-workflow-commands")) + (hsPkgs."lens" or (errorHandler.buildDepError "lens")) + (hsPkgs."markdown-unlit" or (errorHandler.buildDepError "markdown-unlit")) + ]; + buildable = true; + }; + "spec" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."github-workflow-commands" or (errorHandler.buildDepError "github-workflow-commands")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."hspec-junit-formatter" or (errorHandler.buildDepError "hspec-junit-formatter")) + (hsPkgs."lens" or (errorHandler.buildDepError "lens")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/interval-functor-0.0.0.1-r0-dc5f113b5e364e8caa1bd8dcf91485276797299fa1ae97402517a542f0fce870.nix b/hackage/interval-functor-0.0.0.1-r0-dc5f113b5e364e8caa1bd8dcf91485276797299fa1ae97402517a542f0fce870.nix new file mode 100644 index 00000000000..4ca08446f96 --- /dev/null +++ b/hackage/interval-functor-0.0.0.1-r0-dc5f113b5e364e8caa1bd8dcf91485276797299fa1ae97402517a542f0fce870.nix @@ -0,0 +1,44 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "3.0"; + identifier = { name = "interval-functor"; version = "0.0.0.1"; }; + license = "BSD-3-Clause"; + copyright = "2018-2020 Rob Rix"; + maintainer = "rob.rix@me.com"; + author = "Rob Rix"; + homepage = "https://github.com/robrix/interval-functor"; + url = ""; + synopsis = "Intervals of functors."; + description = "Closed intervals in spaces described by a functor."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + ]; + buildable = true; + }; + tests = { + "test" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."hedgehog" or (errorHandler.buildDepError "hedgehog")) + (hsPkgs."interval-functor" or (errorHandler.buildDepError "interval-functor")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/mcmc-0.8.3.0-r0-146472ebef980ab65e87d988a261dbac244c8c3c2f9dc6dd5cb533c77be0a424.nix b/hackage/mcmc-0.8.3.0-r0-146472ebef980ab65e87d988a261dbac244c8c3c2f9dc6dd5cb533c77be0a424.nix new file mode 100644 index 00000000000..c815a1f9271 --- /dev/null +++ b/hackage/mcmc-0.8.3.0-r0-146472ebef980ab65e87d988a261dbac244c8c3c2f9dc6dd5cb533c77be0a424.nix @@ -0,0 +1,83 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "3.0"; + identifier = { name = "mcmc"; version = "0.8.3.0"; }; + license = "GPL-3.0-or-later"; + copyright = "2021 Dominik Schrempf"; + maintainer = "dominik.schrempf@gmail.com"; + author = "Dominik Schrempf"; + homepage = "https://github.com/dschrempf/mcmc#readme"; + url = ""; + synopsis = "Sample from a posterior using Markov chain Monte Carlo"; + description = "Please see the README on GitHub at "; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."ad" or (errorHandler.buildDepError "ad")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."async" or (errorHandler.buildDepError "async")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."circular" or (errorHandler.buildDepError "circular")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."covariance" or (errorHandler.buildDepError "covariance")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."dirichlet" or (errorHandler.buildDepError "dirichlet")) + (hsPkgs."hmatrix" or (errorHandler.buildDepError "hmatrix")) + (hsPkgs."log-domain" or (errorHandler.buildDepError "log-domain")) + (hsPkgs."math-functions" or (errorHandler.buildDepError "math-functions")) + (hsPkgs."microlens" or (errorHandler.buildDepError "microlens")) + (hsPkgs."mwc-random" or (errorHandler.buildDepError "mwc-random")) + (hsPkgs."parallel" or (errorHandler.buildDepError "parallel")) + (hsPkgs."primitive" or (errorHandler.buildDepError "primitive")) + (hsPkgs."random" or (errorHandler.buildDepError "random")) + (hsPkgs."splitmix" or (errorHandler.buildDepError "splitmix")) + (hsPkgs."statistics" or (errorHandler.buildDepError "statistics")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + (hsPkgs."zlib" or (errorHandler.buildDepError "zlib")) + ]; + buildable = true; + }; + tests = { + "mcmc-test" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."mcmc" or (errorHandler.buildDepError "mcmc")) + (hsPkgs."random" or (errorHandler.buildDepError "random")) + (hsPkgs."statistics" or (errorHandler.buildDepError "statistics")) + ]; + buildable = true; + }; + }; + benchmarks = { + "mcmc-bench" = { + depends = [ + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."criterion" or (errorHandler.buildDepError "criterion")) + (hsPkgs."fixed-vector" or (errorHandler.buildDepError "fixed-vector")) + (hsPkgs."math-functions" or (errorHandler.buildDepError "math-functions")) + (hsPkgs."mcmc" or (errorHandler.buildDepError "mcmc")) + (hsPkgs."random" or (errorHandler.buildDepError "random")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/opaleye-0.10.4.0-r0-0165672acb41d4aca9f87abbc87a314c44e3a80757f7012f85a5f4e0b78f248f.nix b/hackage/opaleye-0.10.4.0-r0-0165672acb41d4aca9f87abbc87a314c44e3a80757f7012f85a5f4e0b78f248f.nix new file mode 100644 index 00000000000..20cf6b32f57 --- /dev/null +++ b/hackage/opaleye-0.10.4.0-r0-0165672acb41d4aca9f87abbc87a314c44e3a80757f7012f85a5f4e0b78f248f.nix @@ -0,0 +1,86 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.18"; + identifier = { name = "opaleye"; version = "0.10.4.0"; }; + license = "BSD-3-Clause"; + copyright = "Copyright (c) 2014-2018 Purely Agile Limited; 2019-2024 Tom Ellis"; + maintainer = "Tom Ellis"; + author = ""; + homepage = "https://github.com/tomjaguarpaw/haskell-opaleye"; + url = ""; + synopsis = "An SQL-generating DSL targeting PostgreSQL"; + description = "An SQL-generating DSL targeting PostgreSQL. Allows\nPostgres queries to be written within Haskell in a\ntypesafe and composable fashion."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring")) + (hsPkgs."case-insensitive" or (errorHandler.buildDepError "case-insensitive")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."contravariant" or (errorHandler.buildDepError "contravariant")) + (hsPkgs."postgresql-simple" or (errorHandler.buildDepError "postgresql-simple")) + (hsPkgs."pretty" or (errorHandler.buildDepError "pretty")) + (hsPkgs."product-profunctors" or (errorHandler.buildDepError "product-profunctors")) + (hsPkgs."profunctors" or (errorHandler.buildDepError "profunctors")) + (hsPkgs."scientific" or (errorHandler.buildDepError "scientific")) + (hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."time-compat" or (errorHandler.buildDepError "time-compat")) + (hsPkgs."time-locale-compat" or (errorHandler.buildDepError "time-locale-compat")) + (hsPkgs."uuid-types" or (errorHandler.buildDepError "uuid-types")) + (hsPkgs."void" or (errorHandler.buildDepError "void")) + ]; + buildable = true; + }; + tests = { + "test" = { + depends = [ + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."contravariant" or (errorHandler.buildDepError "contravariant")) + (hsPkgs."dotenv" or (errorHandler.buildDepError "dotenv")) + (hsPkgs."multiset" or (errorHandler.buildDepError "multiset")) + (hsPkgs."postgresql-simple" or (errorHandler.buildDepError "postgresql-simple")) + (hsPkgs."profunctors" or (errorHandler.buildDepError "profunctors")) + (hsPkgs."product-profunctors" or (errorHandler.buildDepError "product-profunctors")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time-compat" or (errorHandler.buildDepError "time-compat")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."hspec-discover" or (errorHandler.buildDepError "hspec-discover")) + (hsPkgs."opaleye" or (errorHandler.buildDepError "opaleye")) + ]; + buildable = true; + }; + "tutorial" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."postgresql-simple" or (errorHandler.buildDepError "postgresql-simple")) + (hsPkgs."profunctors" or (errorHandler.buildDepError "profunctors")) + (hsPkgs."product-profunctors" or (errorHandler.buildDepError "product-profunctors")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."opaleye" or (errorHandler.buildDepError "opaleye")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/sgf-0.1.3.3-r0-cf6ccc1b50dc3644d6f92cde3d7309759e9698e9997e254bd4e65d200edb70d6.nix b/hackage/sgf-0.1.3.3-r0-cf6ccc1b50dc3644d6f92cde3d7309759e9698e9997e254bd4e65d200edb70d6.nix new file mode 100644 index 00000000000..fb1b389ecfd --- /dev/null +++ b/hackage/sgf-0.1.3.3-r0-cf6ccc1b50dc3644d6f92cde3d7309759e9698e9997e254bd4e65d200edb70d6.nix @@ -0,0 +1,41 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "sgf"; version = "0.1.3.3"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "Toni Cebrián ancechu@gmail.com "; + author = "Daniel Wagner daniel@wagner-home.com"; + homepage = "https://github.com/tonicebrian/sgf"; + url = ""; + synopsis = "SGF (Smart Game Format) parser"; + description = "This is a parser for the go\\/igo\\/weiqi\\/baduk fragment of the SGF format.\nEncodings latin-1, utf-8, and ascii are supported, and the parser strives\nto be robust to minor errors, especially those made by the most common SGF\neditors. There are plans to support other games and pretty-printing in\nfuture releases."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."encoding" or (errorHandler.buildDepError "encoding")) + (hsPkgs."extensible-exceptions" or (errorHandler.buildDepError "extensible-exceptions")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."split" or (errorHandler.buildDepError "split")) + (hsPkgs."parsec" or (errorHandler.buildDepError "parsec")) + ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/index-state-hashes.nix b/index-state-hashes.nix index 18b4da384d8..17398f361a6 100644 --- a/index-state-hashes.nix +++ b/index-state-hashes.nix @@ -2013,4 +2013,5 @@ "2024-10-02T00:00:00Z" = "15bc6da1bdf1b556f38a5cf1ab5d379225de7a5ac32cd92a92e54799ee70e3da"; "2024-10-03T00:00:00Z" = "a2d9a97530549726915e32f3b3801889de04790a2e6375787b9aa91cd9cde6ae"; "2024-10-04T00:00:00Z" = "7b210752daf852d164fab6dd50985d65adbeca5f24c090fb35680adea692d643"; + "2024-10-05T00:00:00Z" = "cd323e291971fdba1d9bbd42bb4c599aebb731a4899f5bf2655766ff6e0f2a85"; } diff --git a/nix/agda2hs.nix b/nix/agda2hs.nix index 21b2a65d567..eef1eeb18eb 100644 --- a/nix/agda2hs.nix +++ b/nix/agda2hs.nix @@ -32,4 +32,15 @@ default = "r0"; }; }; + "1.3" = { + sha256 = "b3c50d6bf1fb3ade15f841ae7dfeaa5c08d8294e45f686fd58516ae8b1af2e6e"; + revisions = { + r0 = { + nix = import ../hackage/agda2hs-1.3-r0-47eeb0674bf6f06b31df6f618cfdb7dab9b668f56d7cb4c780935271160f4e6c.nix; + revNum = 0; + sha256 = "47eeb0674bf6f06b31df6f618cfdb7dab9b668f56d7cb4c780935271160f4e6c"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/bluefin-internal.nix b/nix/bluefin-internal.nix index 1cf64f40cec..8fd00408a52 100644 --- a/nix/bluefin-internal.nix +++ b/nix/bluefin-internal.nix @@ -111,7 +111,28 @@ revNum = 0; sha256 = "e5378e52fd294173bcf1b608deaab5055719b97c8da9ab19ca7fd3031b8e1b59"; }; - default = "r0"; + r1 = { + nix = import ../hackage/bluefin-internal-0.0.7.0-r1-1abcb5c105ad1c5f160c907f768da33d0f2250e58d7a3fe6ecd45ed591c1e5d2.nix; + revNum = 1; + sha256 = "1abcb5c105ad1c5f160c907f768da33d0f2250e58d7a3fe6ecd45ed591c1e5d2"; + }; + default = "r1"; + }; + }; + "0.0.8.0" = { + sha256 = "d79cb2cbc56be4c32e1609e200c9496bfdd0d034b663bf3e3916175128c5d0ce"; + revisions = { + r0 = { + nix = import ../hackage/bluefin-internal-0.0.8.0-r0-b7dbfe80a7da67112b5ee7787e7dba7e653d211b50d712b932d87db143945b69.nix; + revNum = 0; + sha256 = "b7dbfe80a7da67112b5ee7787e7dba7e653d211b50d712b932d87db143945b69"; + }; + r1 = { + nix = import ../hackage/bluefin-internal-0.0.8.0-r1-f962ee8df545f7b55b6d534bf7ebd1debc45181a82ef5745a3bb545dd48447c8.nix; + revNum = 1; + sha256 = "f962ee8df545f7b55b6d534bf7ebd1debc45181a82ef5745a3bb545dd48447c8"; + }; + default = "r1"; }; }; } \ No newline at end of file diff --git a/nix/bluefin.nix b/nix/bluefin.nix index 3528ebaec26..bd394ac9a5f 100644 --- a/nix/bluefin.nix +++ b/nix/bluefin.nix @@ -161,4 +161,15 @@ default = "r1"; }; }; + "0.0.8.0" = { + sha256 = "08ba2a6f9ceb1c2ac0d60c69aa3fbb8e9204e600b8beb082261cf64c055aff99"; + revisions = { + r0 = { + nix = import ../hackage/bluefin-0.0.8.0-r0-da4c1d9633f1fea637fda84c2d7edefaca0b96e5416ed6e56d14008d9a7f5299.nix; + revNum = 0; + sha256 = "da4c1d9633f1fea637fda84c2d7edefaca0b96e5416ed6e56d14008d9a7f5299"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/eo-phi-normalizer.nix b/nix/eo-phi-normalizer.nix index a77ebefa951..a2498f2badb 100644 --- a/nix/eo-phi-normalizer.nix +++ b/nix/eo-phi-normalizer.nix @@ -76,4 +76,15 @@ default = "r0"; }; }; + "1.1.0" = { + sha256 = "80284ab61096893afa1a20015c333b09cf14302b11bcf0c2164cb9345f03f1f7"; + revisions = { + r0 = { + nix = import ../hackage/eo-phi-normalizer-1.1.0-r0-71b63bb2ae3bb05bbe9d1303b7cdb86a773a0aeedd49e8b66f19ec623c7a0af0.nix; + revNum = 0; + sha256 = "71b63bb2ae3bb05bbe9d1303b7cdb86a773a0aeedd49e8b66f19ec623c7a0af0"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/fused-effects-random.nix b/nix/fused-effects-random.nix index ff6b6baa0b9..a8324e4e6d4 100644 --- a/nix/fused-effects-random.nix +++ b/nix/fused-effects-random.nix @@ -21,4 +21,15 @@ default = "r0"; }; }; + "1.1.0.1" = { + sha256 = "b6f0bdd360a9f6489630fce7272505d0797c19a8e9ed003fc4d9241c854d45e8"; + revisions = { + r0 = { + nix = import ../hackage/fused-effects-random-1.1.0.1-r0-fbfbecd9d2a4679e285cfd79e68e7fa37fac96a52a847705b0c14bc473ebdffc.nix; + revNum = 0; + sha256 = "fbfbecd9d2a4679e285cfd79e68e7fa37fac96a52a847705b0c14bc473ebdffc"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/github-workflow-commands.nix b/nix/github-workflow-commands.nix index ae50f726a03..651d6f6012b 100644 --- a/nix/github-workflow-commands.nix +++ b/nix/github-workflow-commands.nix @@ -10,4 +10,15 @@ default = "r0"; }; }; + "0.0.1.0" = { + sha256 = "5e94372c9332bedd11aab627faa809db1c2772fdec5d0b76b5345f31d5c181a7"; + revisions = { + r0 = { + nix = import ../hackage/github-workflow-commands-0.0.1.0-r0-81df036a9f7a312e588c25911e0f2c79565193dbbee0620e4419ba1a0c483d32.nix; + revNum = 0; + sha256 = "81df036a9f7a312e588c25911e0f2c79565193dbbee0620e4419ba1a0c483d32"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/interval-functor.nix b/nix/interval-functor.nix index 7cfec97f9cf..669702500d0 100644 --- a/nix/interval-functor.nix +++ b/nix/interval-functor.nix @@ -10,4 +10,15 @@ default = "r0"; }; }; + "0.0.0.1" = { + sha256 = "91030f1e3fb5ef2c93f9f0b32c3c2cff3e00da87bb348017ab74d8e8ba4a7b5b"; + revisions = { + r0 = { + nix = import ../hackage/interval-functor-0.0.0.1-r0-dc5f113b5e364e8caa1bd8dcf91485276797299fa1ae97402517a542f0fce870.nix; + revNum = 0; + sha256 = "dc5f113b5e364e8caa1bd8dcf91485276797299fa1ae97402517a542f0fce870"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/mcmc.nix b/nix/mcmc.nix index 2f02f1fcfab..7db64c3a648 100644 --- a/nix/mcmc.nix +++ b/nix/mcmc.nix @@ -241,4 +241,15 @@ default = "r0"; }; }; + "0.8.3.0" = { + sha256 = "f9c4b12fd04f698140bdf99a20479c9a452c9e208f5d627c2f36afff792a92dc"; + revisions = { + r0 = { + nix = import ../hackage/mcmc-0.8.3.0-r0-146472ebef980ab65e87d988a261dbac244c8c3c2f9dc6dd5cb533c77be0a424.nix; + revNum = 0; + sha256 = "146472ebef980ab65e87d988a261dbac244c8c3c2f9dc6dd5cb533c77be0a424"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/opaleye.nix b/nix/opaleye.nix index 3215442df67..6f0d4af490a 100644 --- a/nix/opaleye.nix +++ b/nix/opaleye.nix @@ -123,6 +123,17 @@ default = "r1"; }; }; + "0.10.4.0" = { + sha256 = "e942197402e453eb72995431fdfdbc67c501c48546f0d92d1be91152e30c529b"; + revisions = { + r0 = { + nix = import ../hackage/opaleye-0.10.4.0-r0-0165672acb41d4aca9f87abbc87a314c44e3a80757f7012f85a5f4e0b78f248f.nix; + revNum = 0; + sha256 = "0165672acb41d4aca9f87abbc87a314c44e3a80757f7012f85a5f4e0b78f248f"; + }; + default = "r0"; + }; + }; "0.2" = { sha256 = "87082b4175eae2fe8c7cef21c601ac67f4f76899160129ba3e963389b27e1423"; revisions = { diff --git a/nix/sgf.nix b/nix/sgf.nix index a80648054ac..d661525b265 100644 --- a/nix/sgf.nix +++ b/nix/sgf.nix @@ -65,4 +65,15 @@ default = "r0"; }; }; + "0.1.3.3" = { + sha256 = "5605dbbc59c6bd8d3700a3b34b80b855b7d9f6262f1d4cd5691ede07c0f6b573"; + revisions = { + r0 = { + nix = import ../hackage/sgf-0.1.3.3-r0-cf6ccc1b50dc3644d6f92cde3d7309759e9698e9997e254bd4e65d200edb70d6.nix; + revNum = 0; + sha256 = "cf6ccc1b50dc3644d6f92cde3d7309759e9698e9997e254bd4e65d200edb70d6"; + }; + default = "r0"; + }; + }; } \ No newline at end of file