diff --git a/default.nix b/default.nix index be443182661..9be01eb4f6c 100644 --- a/default.nix +++ b/default.nix @@ -9915,6 +9915,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec { "liquid-prelude" = import ./nix/liquid-prelude.nix; "liquid-vector" = import ./nix/liquid-vector.nix; "liquidhaskell" = import ./nix/liquidhaskell.nix; + "liquidhaskell-boot" = import ./nix/liquidhaskell-boot.nix; "liquidhaskell-cabal" = import ./nix/liquidhaskell-cabal.nix; "liquidhaskell-cabal-demo" = import ./nix/liquidhaskell-cabal-demo.nix; "lispparser" = import ./nix/lispparser.nix; @@ -10976,6 +10977,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec { "mysql-haskell" = import ./nix/mysql-haskell.nix; "mysql-haskell-nem" = import ./nix/mysql-haskell-nem.nix; "mysql-haskell-openssl" = import ./nix/mysql-haskell-openssl.nix; + "mysql-json-table" = import ./nix/mysql-json-table.nix; "mysql-pure" = import ./nix/mysql-pure.nix; "mysql-simple" = import ./nix/mysql-simple.nix; "mysql-simple-quasi" = import ./nix/mysql-simple-quasi.nix; diff --git a/hackage/Cabal-3.10.2.0-r0-6451397fa4458772abaa0e3d41988300c4b8ba5ddb7d13ca743ac0211462651e.nix b/hackage/Cabal-3.10.2.0-r0-6451397fa4458772abaa0e3d41988300c4b8ba5ddb7d13ca743ac0211462651e.nix new file mode 100644 index 00000000000..6ae85cb6736 --- /dev/null +++ b/hackage/Cabal-3.10.2.0-r0-6451397fa4458772abaa0e3d41988300c4b8ba5ddb7d13ca743ac0211462651e.nix @@ -0,0 +1,49 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.2"; + identifier = { name = "Cabal"; version = "3.10.2.0"; }; + license = "BSD-3-Clause"; + copyright = "2003-2023, Cabal Development Team (see AUTHORS file)"; + maintainer = "cabal-devel@haskell.org"; + author = "Cabal Development Team "; + homepage = "http://www.haskell.org/cabal/"; + url = ""; + synopsis = "A framework for packaging Haskell software"; + description = "The Haskell Common Architecture for Building Applications and\nLibraries: a framework defining a common interface for authors to more\neasily build their Haskell applications in a portable way.\n\nThe Haskell Cabal is part of a larger infrastructure for distributing,\norganizing, and cataloging Haskell libraries and tools."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."Cabal-syntax" or (errorHandler.buildDepError "Cabal-syntax")) + (hsPkgs."array" or (errorHandler.buildDepError "array")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."pretty" or (errorHandler.buildDepError "pretty")) + (hsPkgs."process" or (errorHandler.buildDepError "process")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."parsec" or (errorHandler.buildDepError "parsec")) + ] ++ (if system.isWindows + then [ (hsPkgs."Win32" or (errorHandler.buildDepError "Win32")) ] + else [ (hsPkgs."unix" or (errorHandler.buildDepError "unix")) ]); + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/Cabal-syntax-3.10.2.0-r0-e745710a77525a6a03d5eecbe00e894d36f05432caa6946778dae464eba1593a.nix b/hackage/Cabal-syntax-3.10.2.0-r0-e745710a77525a6a03d5eecbe00e894d36f05432caa6946778dae464eba1593a.nix new file mode 100644 index 00000000000..5b4f3616ee6 --- /dev/null +++ b/hackage/Cabal-syntax-3.10.2.0-r0-e745710a77525a6a03d5eecbe00e894d36f05432caa6946778dae464eba1593a.nix @@ -0,0 +1,48 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.2"; + identifier = { name = "Cabal-syntax"; version = "3.10.2.0"; }; + license = "BSD-3-Clause"; + copyright = "2003-2023, Cabal Development Team (see AUTHORS file)"; + maintainer = "cabal-devel@haskell.org"; + author = "Cabal Development Team "; + homepage = "http://www.haskell.org/cabal/"; + url = ""; + synopsis = "A library for working with .cabal files"; + description = "This library provides tools for reading and manipulating the .cabal file\nformat."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."array" or (errorHandler.buildDepError "array")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."binary" or (errorHandler.buildDepError "binary")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."parsec" or (errorHandler.buildDepError "parsec")) + (hsPkgs."pretty" or (errorHandler.buildDepError "pretty")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + ] ++ (if system.isWindows + then [ (hsPkgs."Win32" or (errorHandler.buildDepError "Win32")) ] + else [ (hsPkgs."unix" or (errorHandler.buildDepError "unix")) ]); + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/PSQueue-1.2.0-r1-460457e5591ad4ec9d3332bb03798765fd1b79d4f6bcc3e9a71969cf7349d79e.nix b/hackage/PSQueue-1.2.0-r1-460457e5591ad4ec9d3332bb03798765fd1b79d4f6bcc3e9a71969cf7349d79e.nix new file mode 100644 index 00000000000..acb7ea86f65 --- /dev/null +++ b/hackage/PSQueue-1.2.0-r1-460457e5591ad4ec9d3332bb03798765fd1b79d4f6bcc3e9a71969cf7349d79e.nix @@ -0,0 +1,41 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.0"; + identifier = { name = "PSQueue"; version = "1.2.0"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "Teo Camarasu "; + author = "Ralf Hinze"; + homepage = ""; + url = ""; + synopsis = "Priority Search Queue"; + description = "A /priority search queue/ efficiently supports the\noperations of both a search tree and a priority queue. A\n'Binding' is a product of a key and a priority. Bindings\ncan be inserted, deleted, modified and queried in\nlogarithmic time, and the binding with the least priority\ncan be retrieved in constant time. A queue can be built\nfrom a list of bindings, sorted by keys, in linear time."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ]; + buildable = true; + }; + tests = { + "test" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."PSQueue" or (errorHandler.buildDepError "PSQueue")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/VulkanMemoryAllocator-0.11.0.1-r0-8c3cbf3679dacbcf364a0775377e50599690ff2c25063e1d64a6be7135b72740.nix b/hackage/VulkanMemoryAllocator-0.11.0.1-r0-8c3cbf3679dacbcf364a0775377e50599690ff2c25063e1d64a6be7135b72740.nix new file mode 100644 index 00000000000..6ff72c4291e --- /dev/null +++ b/hackage/VulkanMemoryAllocator-0.11.0.1-r0-8c3cbf3679dacbcf364a0775377e50599690ff2c25063e1d64a6be7135b72740.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.0.1"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "Ellie Hermaszewska "; + 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; + }; + }; + } \ No newline at end of file diff --git a/hackage/cmark-gfm-0.2.6-r1-8672b9388f5ddfa8ece691e59b4272fa807a2ddf0698970cd73af9bebb98058d.nix b/hackage/cmark-gfm-0.2.6-r1-8672b9388f5ddfa8ece691e59b4272fa807a2ddf0698970cd73af9bebb98058d.nix new file mode 100644 index 00000000000..1599e399f11 --- /dev/null +++ b/hackage/cmark-gfm-0.2.6-r1-8672b9388f5ddfa8ece691e59b4272fa807a2ddf0698970cd73af9bebb98058d.nix @@ -0,0 +1,66 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = { pkgconfig = false; }; + package = { + specVersion = "1.12"; + identifier = { name = "cmark-gfm"; version = "0.2.6"; }; + license = "BSD-3-Clause"; + copyright = "(C) 2015--17 John MacFarlane, (C) 2017--19 Ashe Connor"; + maintainer = "ashe@kivikakk.ee"; + author = "Asherah Connor"; + homepage = "https://github.com/kivikakk/cmark-gfm-hs"; + url = ""; + synopsis = "Fast, accurate GitHub Flavored Markdown parser and renderer"; + description = "This package provides Haskell bindings for\n, the reference\nparser for , a fully\nspecified variant of Markdown. It includes sources for\nlibcmark-gfm (0.29.0.gfm.13) and does not require prior installation of the\nC library."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + ] ++ (pkgs.lib).optional (compiler.isGhc && (compiler.version).lt "7.6") (hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim")); + libs = (pkgs.lib).optionals (flags.pkgconfig) [ + (pkgs."cmark-gfm" or (errorHandler.sysDepError "cmark-gfm")) + (pkgs."cmark-gfm-extensions" or (errorHandler.sysDepError "cmark-gfm-extensions")) + ]; + buildable = true; + }; + tests = { + "test-cmark-gfm" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."cmark-gfm" or (errorHandler.buildDepError "cmark-gfm")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) + ]; + buildable = true; + }; + }; + benchmarks = { + "bench-cmark-gfm" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."cmark-gfm" or (errorHandler.buildDepError "cmark-gfm")) + (hsPkgs."criterion" or (errorHandler.buildDepError "criterion")) + (hsPkgs."sundown" or (errorHandler.buildDepError "sundown")) + (hsPkgs."cheapskate" or (errorHandler.buildDepError "cheapskate")) + (hsPkgs."markdown" or (errorHandler.buildDepError "markdown")) + (hsPkgs."discount" or (errorHandler.buildDepError "discount")) + (hsPkgs."blaze-html" or (errorHandler.buildDepError "blaze-html")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/di-monad-1.3.3-r0-e359e15ba57a4de82fdfedfc634ed2d06f0e7d2665a0197e4198416e2f073736.nix b/hackage/di-monad-1.3.3-r0-e359e15ba57a4de82fdfedfc634ed2d06f0e7d2665a0197e4198416e2f073736.nix new file mode 100644 index 00000000000..1b8f44172af --- /dev/null +++ b/hackage/di-monad-1.3.3-r0-e359e15ba57a4de82fdfedfc634ed2d06f0e7d2665a0197e4198416e2f073736.nix @@ -0,0 +1,58 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = { + monad-control = true; + pipes = true; + pipes-safe = true; + primitive = true; + streaming = true; + transformers-base = true; + unliftio-core = true; + }; + package = { + specVersion = "1.18"; + identifier = { name = "di-monad"; version = "1.3.3"; }; + license = "BSD-3-Clause"; + copyright = "Renzo Carbonara 2017-2018"; + maintainer = "renλren.zone"; + author = "Renzo Carbonara"; + homepage = "https://github.com/k0001/di"; + url = ""; + synopsis = "mtl flavoured typeful hierarchical structured logging for di-core."; + description = "mtl flavoured typeful hierarchical structured logging for di-core."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = (((((([ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."di-core" or (errorHandler.buildDepError "di-core")) + (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + ] ++ (pkgs.lib).optionals (flags.monad-control) [ + (hsPkgs."monad-control" or (errorHandler.buildDepError "monad-control")) + (hsPkgs."transformers-base" or (errorHandler.buildDepError "transformers-base")) + ]) ++ (pkgs.lib).optional (flags.pipes) (hsPkgs."pipes" or (errorHandler.buildDepError "pipes"))) ++ (pkgs.lib).optionals (flags.pipes-safe) [ + (hsPkgs."pipes-safe" or (errorHandler.buildDepError "pipes-safe")) + (hsPkgs."pipes" or (errorHandler.buildDepError "pipes")) + (hsPkgs."monad-control" or (errorHandler.buildDepError "monad-control")) + (hsPkgs."transformers-base" or (errorHandler.buildDepError "transformers-base")) + ]) ++ (pkgs.lib).optional (flags.primitive) (hsPkgs."primitive" or (errorHandler.buildDepError "primitive"))) ++ (pkgs.lib).optionals (flags.streaming) [ + (hsPkgs."streaming" or (errorHandler.buildDepError "streaming")) + (hsPkgs."transformers-base" or (errorHandler.buildDepError "transformers-base")) + ]) ++ (pkgs.lib).optional (flags.transformers-base) (hsPkgs."transformers-base" or (errorHandler.buildDepError "transformers-base"))) ++ (pkgs.lib).optional (flags.unliftio-core) (hsPkgs."unliftio-core" or (errorHandler.buildDepError "unliftio-core")); + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/di-monad-1.3.4-r0-ffc0e9fb1a5fb3a6bcd0fef01c7afeb1452910bb875000fbde4688835cb19fe2.nix b/hackage/di-monad-1.3.4-r0-ffc0e9fb1a5fb3a6bcd0fef01c7afeb1452910bb875000fbde4688835cb19fe2.nix new file mode 100644 index 00000000000..a82750fc643 --- /dev/null +++ b/hackage/di-monad-1.3.4-r0-ffc0e9fb1a5fb3a6bcd0fef01c7afeb1452910bb875000fbde4688835cb19fe2.nix @@ -0,0 +1,58 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = { + monad-control = true; + pipes = true; + pipes-safe = true; + primitive = true; + streaming = true; + transformers-base = true; + unliftio-core = true; + }; + package = { + specVersion = "1.18"; + identifier = { name = "di-monad"; version = "1.3.4"; }; + license = "BSD-3-Clause"; + copyright = "Renzo Carbonara 2017-2018"; + maintainer = "renλren.zone"; + author = "Renzo Carbonara"; + homepage = "https://github.com/k0001/di"; + url = ""; + synopsis = "mtl flavoured typeful hierarchical structured logging for di-core."; + description = "mtl flavoured typeful hierarchical structured logging for di-core."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = (((((([ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."di-core" or (errorHandler.buildDepError "di-core")) + (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + ] ++ (pkgs.lib).optionals (flags.monad-control) [ + (hsPkgs."monad-control" or (errorHandler.buildDepError "monad-control")) + (hsPkgs."transformers-base" or (errorHandler.buildDepError "transformers-base")) + ]) ++ (pkgs.lib).optional (flags.pipes) (hsPkgs."pipes" or (errorHandler.buildDepError "pipes"))) ++ (pkgs.lib).optionals (flags.pipes-safe) [ + (hsPkgs."pipes-safe" or (errorHandler.buildDepError "pipes-safe")) + (hsPkgs."pipes" or (errorHandler.buildDepError "pipes")) + (hsPkgs."monad-control" or (errorHandler.buildDepError "monad-control")) + (hsPkgs."transformers-base" or (errorHandler.buildDepError "transformers-base")) + ]) ++ (pkgs.lib).optional (flags.primitive) (hsPkgs."primitive" or (errorHandler.buildDepError "primitive"))) ++ (pkgs.lib).optionals (flags.streaming) [ + (hsPkgs."streaming" or (errorHandler.buildDepError "streaming")) + (hsPkgs."transformers-base" or (errorHandler.buildDepError "transformers-base")) + ]) ++ (pkgs.lib).optional (flags.transformers-base) (hsPkgs."transformers-base" or (errorHandler.buildDepError "transformers-base"))) ++ (pkgs.lib).optional (flags.unliftio-core) (hsPkgs."unliftio-core" or (errorHandler.buildDepError "unliftio-core")); + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/fgl-5.8.2.0-r0-9bc966528db0a9bd57c63dd3cb2bbe08e1a2d2de7ac7f517aaaa5d79607f759e.nix b/hackage/fgl-5.8.2.0-r0-9bc966528db0a9bd57c63dd3cb2bbe08e1a2d2de7ac7f517aaaa5d79607f759e.nix new file mode 100644 index 00000000000..1dc8d312dc4 --- /dev/null +++ b/hackage/fgl-5.8.2.0-r0-9bc966528db0a9bd57c63dd3cb2bbe08e1a2d2de7ac7f517aaaa5d79607f759e.nix @@ -0,0 +1,65 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = { containers042 = true; }; + package = { + specVersion = "1.10"; + identifier = { name = "fgl"; version = "5.8.2.0"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "athas@sigkill.dk"; + author = "Martin Erwig, Ivan Lazar Miljenovic"; + homepage = ""; + url = ""; + synopsis = "Martin Erwig's Functional Graph Library"; + description = "An inductive representation of manipulating graph data structures.\n\nOriginal website can be found at ."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = ([ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."array" or (errorHandler.buildDepError "array")) + ] ++ (if flags.containers042 + then [ + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + ] + else [ + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + ])) ++ (pkgs.lib).optional (compiler.isGhc && (compiler.version).ge "7.2" && (compiler.isGhc && (compiler.version).lt "7.6")) (hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim")); + buildable = true; + }; + tests = { + "fgl-tests" = { + depends = [ + (hsPkgs."fgl" or (errorHandler.buildDepError "fgl")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + ]; + buildable = true; + }; + }; + benchmarks = { + "fgl-benchmark" = { + depends = [ + (hsPkgs."fgl" or (errorHandler.buildDepError "fgl")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."microbench" or (errorHandler.buildDepError "microbench")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + ]; + buildable = if flags.containers042 then true else false; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/fractionizer-0.16.0.0-r0-67bb35b8b546350b506a92e182d8f6ce3ba8a66e2d8dbc06ce93e6eef10376b7.nix b/hackage/fractionizer-0.16.0.0-r0-67bb35b8b546350b506a92e182d8f6ce3ba8a66e2d8dbc06ce93e6eef10376b7.nix new file mode 100644 index 00000000000..1183fa356f2 --- /dev/null +++ b/hackage/fractionizer-0.16.0.0-r0-67bb35b8b546350b506a92e182d8f6ce3ba8a66e2d8dbc06ce93e6eef10376b7.nix @@ -0,0 +1,31 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.4"; + identifier = { name = "fractionizer"; version = "0.16.0.0"; }; + license = "MIT"; + copyright = "Oleksandr Zhabenko"; + maintainer = "oleksandr.zhabenko@yahoo.com"; + author = "Oleksandr-Zhabenko"; + homepage = ""; + url = ""; + synopsis = "Numbers in the range [0.005, 1] as a sum of 2, 3, 4 or 5 unit fractions of special types."; + description = "Inspired by the ancient Egyptian mathematics. See the ideas description and formulation in the [related draft paper.](https://www.academia.edu/100514742/Fraction_approximation_for_the_range_of_0_005_1_related_to_music_melody_composing_and_using_Haskell_and_unit_fractions)"; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/freckle-app-1.10.2.0-r0-7af4749b3db64fd98b1939eff7179247e1d1564205ac309680a090b420779010.nix b/hackage/freckle-app-1.10.2.0-r0-7af4749b3db64fd98b1939eff7179247e1d1564205ac309680a090b420779010.nix new file mode 100644 index 00000000000..d5ddad94810 --- /dev/null +++ b/hackage/freckle-app-1.10.2.0-r0-7af4749b3db64fd98b1939eff7179247e1d1564205ac309680a090b420779010.nix @@ -0,0 +1,144 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.18"; + identifier = { name = "freckle-app"; version = "1.10.2.0"; }; + license = "MIT"; + copyright = ""; + maintainer = "Freckle Education"; + author = ""; + homepage = "https://github.com/freckle/freckle-app#readme"; + url = ""; + synopsis = "Haskell application toolkit used at Freckle"; + description = "Please see README.md"; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."Blammo" or (errorHandler.buildDepError "Blammo")) + (hsPkgs."Glob" or (errorHandler.buildDepError "Glob")) + (hsPkgs."MonadRandom" or (errorHandler.buildDepError "MonadRandom")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."aws-xray-client-persistent" or (errorHandler.buildDepError "aws-xray-client-persistent")) + (hsPkgs."aws-xray-client-wai" or (errorHandler.buildDepError "aws-xray-client-wai")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bcp47" or (errorHandler.buildDepError "bcp47")) + (hsPkgs."bugsnag" or (errorHandler.buildDepError "bugsnag")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."case-insensitive" or (errorHandler.buildDepError "case-insensitive")) + (hsPkgs."cassava" or (errorHandler.buildDepError "cassava")) + (hsPkgs."conduit" or (errorHandler.buildDepError "conduit")) + (hsPkgs."conduit-extra" or (errorHandler.buildDepError "conduit-extra")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."cookie" or (errorHandler.buildDepError "cookie")) + (hsPkgs."datadog" or (errorHandler.buildDepError "datadog")) + (hsPkgs."doctest" or (errorHandler.buildDepError "doctest")) + (hsPkgs."dotenv" or (errorHandler.buildDepError "dotenv")) + (hsPkgs."ekg-core" or (errorHandler.buildDepError "ekg-core")) + (hsPkgs."envparse" or (errorHandler.buildDepError "envparse")) + (hsPkgs."errors" or (errorHandler.buildDepError "errors")) + (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) + (hsPkgs."extra" or (errorHandler.buildDepError "extra")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."hs-opentelemetry-api" or (errorHandler.buildDepError "hs-opentelemetry-api")) + (hsPkgs."hs-opentelemetry-instrumentation-persistent" or (errorHandler.buildDepError "hs-opentelemetry-instrumentation-persistent")) + (hsPkgs."hs-opentelemetry-instrumentation-wai" or (errorHandler.buildDepError "hs-opentelemetry-instrumentation-wai")) + (hsPkgs."hs-opentelemetry-propagator-datadog" or (errorHandler.buildDepError "hs-opentelemetry-propagator-datadog")) + (hsPkgs."hs-opentelemetry-sdk" or (errorHandler.buildDepError "hs-opentelemetry-sdk")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."hspec-core" or (errorHandler.buildDepError "hspec-core")) + (hsPkgs."hspec-expectations-lifted" or (errorHandler.buildDepError "hspec-expectations-lifted")) + (hsPkgs."hspec-junit-formatter" or (errorHandler.buildDepError "hspec-junit-formatter")) + (hsPkgs."http-client" or (errorHandler.buildDepError "http-client")) + (hsPkgs."http-conduit" or (errorHandler.buildDepError "http-conduit")) + (hsPkgs."http-link-header" or (errorHandler.buildDepError "http-link-header")) + (hsPkgs."http-types" or (errorHandler.buildDepError "http-types")) + (hsPkgs."hw-kafka-client" or (errorHandler.buildDepError "hw-kafka-client")) + (hsPkgs."immortal" or (errorHandler.buildDepError "immortal")) + (hsPkgs."lens" or (errorHandler.buildDepError "lens")) + (hsPkgs."memcache" or (errorHandler.buildDepError "memcache")) + (hsPkgs."monad-control" or (errorHandler.buildDepError "monad-control")) + (hsPkgs."monad-validate" or (errorHandler.buildDepError "monad-validate")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."network-uri" or (errorHandler.buildDepError "network-uri")) + (hsPkgs."nonempty-containers" or (errorHandler.buildDepError "nonempty-containers")) + (hsPkgs."path-pieces" or (errorHandler.buildDepError "path-pieces")) + (hsPkgs."persistent" or (errorHandler.buildDepError "persistent")) + (hsPkgs."persistent-postgresql" or (errorHandler.buildDepError "persistent-postgresql")) + (hsPkgs."postgresql-simple" or (errorHandler.buildDepError "postgresql-simple")) + (hsPkgs."primitive" or (errorHandler.buildDepError "primitive")) + (hsPkgs."pureMD5" or (errorHandler.buildDepError "pureMD5")) + (hsPkgs."resource-pool" or (errorHandler.buildDepError "resource-pool")) + (hsPkgs."resourcet" or (errorHandler.buildDepError "resourcet")) + (hsPkgs."retry" or (errorHandler.buildDepError "retry")) + (hsPkgs."safe" or (errorHandler.buildDepError "safe")) + (hsPkgs."scientist" or (errorHandler.buildDepError "scientist")) + (hsPkgs."semigroupoids" or (errorHandler.buildDepError "semigroupoids")) + (hsPkgs."serialise" or (errorHandler.buildDepError "serialise")) + (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."transformers-base" or (errorHandler.buildDepError "transformers-base")) + (hsPkgs."typed-process" or (errorHandler.buildDepError "typed-process")) + (hsPkgs."unliftio" or (errorHandler.buildDepError "unliftio")) + (hsPkgs."unliftio-core" or (errorHandler.buildDepError "unliftio-core")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + (hsPkgs."wai" or (errorHandler.buildDepError "wai")) + (hsPkgs."wai-extra" or (errorHandler.buildDepError "wai-extra")) + (hsPkgs."yaml" or (errorHandler.buildDepError "yaml")) + (hsPkgs."yesod-core" or (errorHandler.buildDepError "yesod-core")) + (hsPkgs."yesod-test" or (errorHandler.buildDepError "yesod-test")) + ]; + buildable = true; + }; + tests = { + "doctest" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."freckle-app" or (errorHandler.buildDepError "freckle-app")) + ]; + buildable = true; + }; + "spec" = { + depends = [ + (hsPkgs."Blammo" or (errorHandler.buildDepError "Blammo")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bugsnag" or (errorHandler.buildDepError "bugsnag")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."cassava" or (errorHandler.buildDepError "cassava")) + (hsPkgs."conduit" or (errorHandler.buildDepError "conduit")) + (hsPkgs."errors" or (errorHandler.buildDepError "errors")) + (hsPkgs."freckle-app" or (errorHandler.buildDepError "freckle-app")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."http-types" or (errorHandler.buildDepError "http-types")) + (hsPkgs."lens" or (errorHandler.buildDepError "lens")) + (hsPkgs."lens-aeson" or (errorHandler.buildDepError "lens-aeson")) + (hsPkgs."memcache" or (errorHandler.buildDepError "memcache")) + (hsPkgs."monad-validate" or (errorHandler.buildDepError "monad-validate")) + (hsPkgs."nonempty-containers" or (errorHandler.buildDepError "nonempty-containers")) + (hsPkgs."postgresql-simple" or (errorHandler.buildDepError "postgresql-simple")) + (hsPkgs."unliftio" or (errorHandler.buildDepError "unliftio")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + (hsPkgs."wai" or (errorHandler.buildDepError "wai")) + (hsPkgs."wai-extra" or (errorHandler.buildDepError "wai-extra")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/generics-sop-0.5.1.4-r0-db1929b3c61a6ed4cb5fe99c5a6a1baf0c4e36846d5a3dbb5052f39cc042fcb2.nix b/hackage/generics-sop-0.5.1.4-r0-db1929b3c61a6ed4cb5fe99c5a6a1baf0c4e36846d5a3dbb5052f39cc042fcb2.nix new file mode 100644 index 00000000000..5fe1b434faa --- /dev/null +++ b/hackage/generics-sop-0.5.1.4-r0-db1929b3c61a6ed4cb5fe99c5a6a1baf0c4e36846d5a3dbb5052f39cc042fcb2.nix @@ -0,0 +1,58 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "generics-sop"; version = "0.5.1.4"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "andres@well-typed.com"; + author = "Edsko de Vries , Andres Löh "; + homepage = ""; + url = ""; + synopsis = "Generic Programming using True Sums of Products"; + description = "A library to support the definition of generic functions.\nDatatypes are viewed in a uniform, structured way:\nthe choice between constructors is represented using an n-ary\nsum, and the arguments of each constructor are represented using\nan n-ary product.\n\nThe module \"Generics.SOP\" is the main module of this library and contains\nmore detailed documentation.\n\nSince version 0.4.0.0, this package is now based on\n@@. The core package\ncontains all the functionality of n-ary sums and products, whereas this\npackage provides the datatype-generic programming support on top.\n\nExamples of using this library are provided by the following\npackages:\n\n* @@ basic examples,\n\n* @@ generic pretty printing,\n\n* @@ generically computed lenses,\n\n* @@ generic JSON conversions.\n\nA detailed description of the ideas behind this library is provided by\nthe paper:\n\n* Edsko de Vries and Andres Löh.\n.\nWorkshop on Generic Programming (WGP) 2014.\n"; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."sop-core" or (errorHandler.buildDepError "sop-core")) + (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) + (hsPkgs."th-abstraction" or (errorHandler.buildDepError "th-abstraction")) + (hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim")) + ]; + buildable = true; + }; + tests = { + "generics-sop-examples" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."generics-sop" or (errorHandler.buildDepError "generics-sop")) + ]; + buildable = true; + }; + }; + benchmarks = { + "generics-sop-bench" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."criterion" or (errorHandler.buildDepError "criterion")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."generics-sop" or (errorHandler.buildDepError "generics-sop")) + (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/hgettext-0.1.40.1-r1-a5fa0fbff54c203e917a9e048ab542544a7db2b0141034a45bd508f73539391f.nix b/hackage/hgettext-0.1.40.1-r1-a5fa0fbff54c203e917a9e048ab542544a7db2b0141034a45bd508f73539391f.nix new file mode 100644 index 00000000000..d4e90dcd634 --- /dev/null +++ b/hackage/hgettext-0.1.40.1-r1-a5fa0fbff54c203e917a9e048ab542544a7db2b0141034a45bd508f73539391f.nix @@ -0,0 +1,58 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.12"; + identifier = { name = "hgettext"; version = "0.1.40.1"; }; + license = "BSD-3-Clause"; + copyright = "2009 Vasyl Pasternak"; + maintainer = "https://github.com/haskell-hvr/hgettext"; + author = "Vasyl Pasternak, Herbert Valerio Riedel, Nikola Hadžić"; + homepage = ""; + url = ""; + synopsis = "Bindings to libintl.h (gettext, bindtextdomain)"; + description = "This package provides bindings to the @gettext@ internationalization and localization (i18n) library.\n\nThis package provides support for custom @Setup.hs@ scripts via the \"Distribution.Simple.I18N.GetText\" module.\n\nA user-contributed tutorial can be found in the [Haskell Wiki](https://wiki.haskell.org/Internationalization_of_Haskell_programs_using_gettext)."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."process" or (errorHandler.buildDepError "process")) + (hsPkgs."setlocale" or (errorHandler.buildDepError "setlocale")) + ]; + libs = (pkgs.lib).optional (system.isWindows) (pkgs."libintl" or (errorHandler.sysDepError "libintl")); + buildable = true; + }; + exes = { + "hgettext" = { + depends = [ + (hsPkgs."hgettext" or (errorHandler.buildDepError "hgettext")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."cpphs" or (errorHandler.buildDepError "cpphs")) + (hsPkgs."haskell-src-exts" or (errorHandler.buildDepError "haskell-src-exts")) + (hsPkgs."uniplate" or (errorHandler.buildDepError "uniplate")) + (hsPkgs."split" or (errorHandler.buildDepError "split")) + (hsPkgs."extra" or (errorHandler.buildDepError "extra")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/hpc-codecov-0.4.2.0-r0-6d34d5955e03edd35d7e4ac98ddd377c135e495d9bed5791d8fcc813cdb2a341.nix b/hackage/hpc-codecov-0.4.2.0-r0-6d34d5955e03edd35d7e4ac98ddd377c135e495d9bed5791d8fcc813cdb2a341.nix new file mode 100644 index 00000000000..1b5c0655690 --- /dev/null +++ b/hackage/hpc-codecov-0.4.2.0-r0-6d34d5955e03edd35d7e4ac98ddd377c135e495d9bed5791d8fcc813cdb2a341.nix @@ -0,0 +1,63 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.0"; + identifier = { name = "hpc-codecov"; version = "0.4.2.0"; }; + license = "BSD-3-Clause"; + copyright = "(c) 2022 8c6794b6"; + maintainer = "8c6794b6@gmail.com"; + author = "8c6794b6"; + homepage = "https://github.com/8c6794b6/hpc-codecov#readme"; + url = ""; + synopsis = "Generate codecov report from hpc data"; + description = "The hpc-codecov package contains an executable and library codes for\ngenerating JSON coverage report or\n tracefile report\nfrom @.tix@ and @.mix@ files made with\n. See the\n for\nmore info."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."array" or (errorHandler.buildDepError "array")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."hpc" or (errorHandler.buildDepError "hpc")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + ]; + buildable = true; + }; + exes = { + "hpc-codecov" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."hpc-codecov" or (errorHandler.buildDepError "hpc-codecov")) + ]; + buildable = true; + }; + }; + tests = { + "test-main" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."hpc-codecov" or (errorHandler.buildDepError "hpc-codecov")) + (hsPkgs."process" or (errorHandler.buildDepError "process")) + (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) + (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/hreader-1.1.1-r0-0acc6d0b452453209ea0482b4f9edef72fd69e796ab4f8a3afb4ebb95ae77cf9.nix b/hackage/hreader-1.1.1-r0-0acc6d0b452453209ea0482b4f9edef72fd69e796ab4f8a3afb4ebb95ae77cf9.nix new file mode 100644 index 00000000000..ce177769b23 --- /dev/null +++ b/hackage/hreader-1.1.1-r0-0acc6d0b452453209ea0482b4f9edef72fd69e796ab4f8a3afb4ebb95ae77cf9.nix @@ -0,0 +1,52 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "hreader"; version = "1.1.1"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "s9gf4ult@gmail.com"; + author = "Aleksey Uimanov"; + homepage = "https://github.com/s9gf4ult/hreader"; + url = ""; + synopsis = "Generalization of MonadReader and ReaderT using hset"; + description = ""; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) + (hsPkgs."hset" or (errorHandler.buildDepError "hset")) + (hsPkgs."mmorph" or (errorHandler.buildDepError "mmorph")) + (hsPkgs."monad-control" or (errorHandler.buildDepError "monad-control")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."tagged" or (errorHandler.buildDepError "tagged")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."transformers-base" or (errorHandler.buildDepError "transformers-base")) + ]; + buildable = true; + }; + tests = { + "examples" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."hreader" or (errorHandler.buildDepError "hreader")) + (hsPkgs."hset" or (errorHandler.buildDepError "hset")) + (hsPkgs."transformers-base" or (errorHandler.buildDepError "transformers-base")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/jacobi-elliptic-0.1.3.0-r0-183252453bdc2ed4cc4e4fa9bdb5ccdb0c0b97d0e08be0e8f1ac963e9cf26a4c.nix b/hackage/jacobi-elliptic-0.1.3.0-r0-183252453bdc2ed4cc4e4fa9bdb5ccdb0c0b97d0e08be0e8f1ac963e9cf26a4c.nix new file mode 100644 index 00000000000..acad5ad446e --- /dev/null +++ b/hackage/jacobi-elliptic-0.1.3.0-r0-183252453bdc2ed4cc4e4fa9bdb5ccdb0c0b97d0e08be0e8f1ac963e9cf26a4c.nix @@ -0,0 +1,47 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "jacobi-elliptic"; version = "0.1.3.0"; }; + license = "BSD-3-Clause"; + copyright = "2023 Stéphane Laurent"; + maintainer = "laurent_step@outlook.fr"; + author = "Stéphane Laurent"; + homepage = "https://github.com/stla/jacobi-elliptic#readme"; + url = ""; + synopsis = "Neville Theta Functions and Jacobi Elliptic Functions"; + description = "Evaluation of the Neville theta functions and the Jacobi elliptic functions."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."jacobi-theta" or (errorHandler.buildDepError "jacobi-theta")) + (hsPkgs."elliptic-integrals" or (errorHandler.buildDepError "elliptic-integrals")) + ]; + 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."jacobi-elliptic" or (errorHandler.buildDepError "jacobi-elliptic")) + (hsPkgs."elliptic-integrals" or (errorHandler.buildDepError "elliptic-integrals")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/jacobi-theta-0.2.1.0-r0-a97a3e57236f9e05d2d12b13ba0d775fb26bb6b70b447bdca0d2639ea8699936.nix b/hackage/jacobi-theta-0.2.1.0-r0-a97a3e57236f9e05d2d12b13ba0d775fb26bb6b70b447bdca0d2639ea8699936.nix new file mode 100644 index 00000000000..20d7ae2b2aa --- /dev/null +++ b/hackage/jacobi-theta-0.2.1.0-r0-a97a3e57236f9e05d2d12b13ba0d775fb26bb6b70b447bdca0d2639ea8699936.nix @@ -0,0 +1,42 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "jacobi-theta"; version = "0.2.1.0"; }; + license = "BSD-3-Clause"; + copyright = "2023 Stéphane Laurent"; + maintainer = "laurent_step@outlook.fr"; + author = "Stéphane Laurent"; + homepage = "https://github.com/stla/jacobi-theta#readme"; + url = ""; + synopsis = "Jacobi Theta Functions"; + description = "Evaluation of the Jacobi theta functions."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ]; + 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."jacobi-theta" or (errorHandler.buildDepError "jacobi-theta")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/jacobi-theta-0.2.1.1-r0-e464d92796da5d14159e07aee23e14d479e555fbd8fc0d7a7c3dfb57c63d190d.nix b/hackage/jacobi-theta-0.2.1.1-r0-e464d92796da5d14159e07aee23e14d479e555fbd8fc0d7a7c3dfb57c63d190d.nix new file mode 100644 index 00000000000..b02061f669b --- /dev/null +++ b/hackage/jacobi-theta-0.2.1.1-r0-e464d92796da5d14159e07aee23e14d479e555fbd8fc0d7a7c3dfb57c63d190d.nix @@ -0,0 +1,42 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "jacobi-theta"; version = "0.2.1.1"; }; + license = "BSD-3-Clause"; + copyright = "2023 Stéphane Laurent"; + maintainer = "laurent_step@outlook.fr"; + author = "Stéphane Laurent"; + homepage = "https://github.com/stla/jacobi-theta#readme"; + url = ""; + synopsis = "Jacobi Theta Functions"; + description = "Evaluation of the Jacobi theta functions."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ]; + 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."jacobi-theta" or (errorHandler.buildDepError "jacobi-theta")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/liquid-fixpoint-0.9.2.5-r0-4fa5c333c1238c776002dbb4840270478789a73eae0a5712a5d859e4bbd8ece5.nix b/hackage/liquid-fixpoint-0.9.2.5-r0-4fa5c333c1238c776002dbb4840270478789a73eae0a5712a5d859e4bbd8ece5.nix new file mode 100644 index 00000000000..ac50ad2671a --- /dev/null +++ b/hackage/liquid-fixpoint-0.9.2.5-r0-4fa5c333c1238c776002dbb4840270478789a73eae0a5712a5d859e4bbd8ece5.nix @@ -0,0 +1,116 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = { link-z3-as-a-library = false; devel = false; }; + package = { + specVersion = "2.4"; + identifier = { name = "liquid-fixpoint"; version = "0.9.2.5"; }; + license = "BSD-3-Clause"; + copyright = "2010-17 Ranjit Jhala, University of California, San Diego."; + maintainer = "jhala@cs.ucsd.edu"; + author = "Ranjit Jhala, Niki Vazou, Eric Seidel"; + homepage = "https://github.com/ucsd-progsys/liquid-fixpoint#readme"; + url = ""; + synopsis = "Predicate Abstraction-based Horn-Clause/Implication Constraint Solver"; + description = "This package implements an SMTLIB based Horn-Clause\\/Logical Implication constraint\nsolver used for Liquid Types.\n\nThe package includes:\n\n1. Types for Expressions, Predicates, Constraints, Solutions\n2. Code for solving constraints\n\nRequirements\n\nIn addition to the .cabal dependencies you require\n\n* A Z3 () or CVC4 () binary."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = ([ + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."ansi-terminal" or (errorHandler.buildDepError "ansi-terminal")) + (hsPkgs."array" or (errorHandler.buildDepError "array")) + (hsPkgs."async" or (errorHandler.buildDepError "async")) + (hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."binary" or (errorHandler.buildDepError "binary")) + (hsPkgs."boxes" or (errorHandler.buildDepError "boxes")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."cereal" or (errorHandler.buildDepError "cereal")) + (hsPkgs."cmdargs" or (errorHandler.buildDepError "cmdargs")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."fgl" or (errorHandler.buildDepError "fgl")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."intern" or (errorHandler.buildDepError "intern")) + (hsPkgs."lens-family" or (errorHandler.buildDepError "lens-family")) + (hsPkgs."megaparsec" or (errorHandler.buildDepError "megaparsec")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."parallel" or (errorHandler.buildDepError "parallel")) + (hsPkgs."parser-combinators" or (errorHandler.buildDepError "parser-combinators")) + (hsPkgs."pretty" or (errorHandler.buildDepError "pretty")) + (hsPkgs."process" or (errorHandler.buildDepError "process")) + (hsPkgs."typed-process" or (errorHandler.buildDepError "typed-process")) + (hsPkgs."rest-rewrite" or (errorHandler.buildDepError "rest-rewrite")) + (hsPkgs."smtlib-backends" or (errorHandler.buildDepError "smtlib-backends")) + (hsPkgs."smtlib-backends-process" or (errorHandler.buildDepError "smtlib-backends-process")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + (hsPkgs."store" or (errorHandler.buildDepError "store")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + (hsPkgs."syb" or (errorHandler.buildDepError "syb")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + ] ++ (pkgs.lib).optional (flags.link-z3-as-a-library) (hsPkgs."smtlib-backends-z3" or (errorHandler.buildDepError "smtlib-backends-z3"))) ++ (pkgs.lib).optional (!system.isWindows) (hsPkgs."ascii-progress" or (errorHandler.buildDepError "ascii-progress")); + buildable = true; + }; + exes = { + "fixpoint" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."liquid-fixpoint" or (errorHandler.buildDepError "liquid-fixpoint")) + ]; + buildable = true; + }; + }; + tests = { + "test" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative")) + (hsPkgs."process" or (errorHandler.buildDepError "process")) + (hsPkgs."typed-process" or (errorHandler.buildDepError "typed-process")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + (hsPkgs."tagged" or (errorHandler.buildDepError "tagged")) + (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) + (hsPkgs."tasty-ant-xml" or (errorHandler.buildDepError "tasty-ant-xml")) + (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) + (hsPkgs."tasty-rerun" or (errorHandler.buildDepError "tasty-rerun")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + ]; + build-tools = [ + (hsPkgs.buildPackages.liquid-fixpoint.components.exes.fixpoint or (pkgs.buildPackages.fixpoint or (errorHandler.buildToolDepError "liquid-fixpoint:fixpoint"))) + ]; + buildable = true; + }; + "tasty" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."liquid-fixpoint" or (errorHandler.buildDepError "liquid-fixpoint")) + (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) + (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) + (hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/liquid-parallel-3.2.2.0.2-r0-b2a6e6b9a49081e3c9c6fb1d828e2e974f54c2ce46da5da396da5c5cf8cc2204.nix b/hackage/liquid-parallel-3.2.2.0.2-r0-b2a6e6b9a49081e3c9c6fb1d828e2e974f54c2ce46da5da396da5c5cf8cc2204.nix new file mode 100644 index 00000000000..bb9db0af544 --- /dev/null +++ b/hackage/liquid-parallel-3.2.2.0.2-r0-b2a6e6b9a49081e3c9c6fb1d828e2e974f54c2ce46da5da396da5c5cf8cc2204.nix @@ -0,0 +1,40 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.24"; + identifier = { name = "liquid-parallel"; version = "3.2.2.0.2"; }; + license = "BSD-3-Clause"; + copyright = "2010-19 Ranjit Jhala & Niki Vazou & Eric L. Seidel, University of California, San Diego."; + maintainer = "Ranjit Jhala "; + author = "Ranjit Jhala, Niki Vazou, Eric Seidel"; + homepage = "https://github.com/ucsd-progsys/liquidhaskell"; + url = ""; + synopsis = "LiquidHaskell specs for the parallel package"; + description = "LiquidHaskell specs for the parallel package."; + 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"))) + (hsPkgs.buildPackages.liquidhaskell-boot or (pkgs.buildPackages.liquidhaskell-boot or (errorHandler.setupDepError "liquidhaskell-boot"))) + ]; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."parallel" or (errorHandler.buildDepError "parallel")) + (hsPkgs."liquidhaskell" or (errorHandler.buildDepError "liquidhaskell")) + ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/liquid-platform-0.9.2.5-r0-09c167c6ab41fa1b9614d4eb79c7bf5c3e69fcf5b71051c306099da15d9706dd.nix b/hackage/liquid-platform-0.9.2.5-r0-09c167c6ab41fa1b9614d4eb79c7bf5c3e69fcf5b71051c306099da15d9706dd.nix new file mode 100644 index 00000000000..379a64b20eb --- /dev/null +++ b/hackage/liquid-platform-0.9.2.5-r0-09c167c6ab41fa1b9614d4eb79c7bf5c3e69fcf5b71051c306099da15d9706dd.nix @@ -0,0 +1,45 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = { devel = false; }; + package = { + specVersion = "1.22"; + identifier = { name = "liquid-platform"; version = "0.9.2.5"; }; + license = "BSD-3-Clause"; + copyright = "2010-19 Ranjit Jhala & Niki Vazou & Eric L. Seidel, University of California, San Diego."; + maintainer = "Ranjit Jhala "; + author = "Ranjit Jhala, Niki Vazou, Eric Seidel"; + homepage = "https://github.com/ucsd-progsys/liquidhaskell"; + url = ""; + synopsis = "A battery-included platform for LiquidHaskell"; + description = "A battery-included platform for LiquidHaskell."; + buildType = "Simple"; + }; + components = { + exes = { + "liquidhaskell" = { + depends = (pkgs.lib).optionals (!(compiler.isGhc && (compiler.version).lt "8.10.1")) [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."liquid-prelude" or (errorHandler.buildDepError "liquid-prelude")) + (hsPkgs."liquid-vector" or (errorHandler.buildDepError "liquid-vector")) + (hsPkgs."liquidhaskell" or (errorHandler.buildDepError "liquidhaskell")) + (hsPkgs."liquidhaskell-boot" or (errorHandler.buildDepError "liquidhaskell-boot")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."process" or (errorHandler.buildDepError "process")) + (hsPkgs."cmdargs" or (errorHandler.buildDepError "cmdargs")) + ]; + buildable = if compiler.isGhc && (compiler.version).lt "8.10.1" + then false + else true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/liquid-prelude-0.9.2.5-r0-4b9b14acb69f935e34ef52a51cb69d5d90bf2676cdec1346a71d8c6388b7e05f.nix b/hackage/liquid-prelude-0.9.2.5-r0-4b9b14acb69f935e34ef52a51cb69d5d90bf2676cdec1346a71d8c6388b7e05f.nix new file mode 100644 index 00000000000..e840b779e7c --- /dev/null +++ b/hackage/liquid-prelude-0.9.2.5-r0-4b9b14acb69f935e34ef52a51cb69d5d90bf2676cdec1346a71d8c6388b7e05f.nix @@ -0,0 +1,42 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.24"; + identifier = { name = "liquid-prelude"; version = "0.9.2.5"; }; + license = "BSD-3-Clause"; + copyright = "2010-19 Ranjit Jhala & Niki Vazou & Eric L. Seidel, University of California, San Diego."; + maintainer = "Ranjit Jhala "; + author = "Ranjit Jhala, Niki Vazou, Eric Seidel"; + homepage = "https://github.com/ucsd-progsys/liquidhaskell"; + url = ""; + synopsis = "General utility modules for LiquidHaskell"; + description = "General utility modules for LiquidHaskell."; + 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"))) + (hsPkgs.buildPackages.liquidhaskell-boot or (pkgs.buildPackages.liquidhaskell-boot or (errorHandler.setupDepError "liquidhaskell-boot"))) + ]; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."liquidhaskell" or (errorHandler.buildDepError "liquidhaskell")) + ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/liquid-vector-0.12.3.1.2-r0-940268dec6a7902408b85377c3abca72831d119ad89d1e3f870374db0ab0eb4a.nix b/hackage/liquid-vector-0.12.3.1.2-r0-940268dec6a7902408b85377c3abca72831d119ad89d1e3f870374db0ab0eb4a.nix new file mode 100644 index 00000000000..de86ff4511f --- /dev/null +++ b/hackage/liquid-vector-0.12.3.1.2-r0-940268dec6a7902408b85377c3abca72831d119ad89d1e3f870374db0ab0eb4a.nix @@ -0,0 +1,40 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.24"; + identifier = { name = "liquid-vector"; version = "0.12.3.1.2"; }; + license = "BSD-3-Clause"; + copyright = "2010-19 Ranjit Jhala & Niki Vazou & Eric L. Seidel, University of California, San Diego."; + maintainer = "Ranjit Jhala "; + author = "Ranjit Jhala, Niki Vazou, Eric Seidel"; + homepage = "https://github.com/ucsd-progsys/liquidhaskell"; + url = ""; + synopsis = "LiquidHaskell specs for the vector package"; + description = "LiquidHaskell specs for the vector package."; + 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"))) + (hsPkgs.buildPackages.liquidhaskell-boot or (pkgs.buildPackages.liquidhaskell-boot or (errorHandler.setupDepError "liquidhaskell-boot"))) + ]; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + (hsPkgs."liquidhaskell" or (errorHandler.buildDepError "liquidhaskell")) + ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/liquidhaskell-0.9.2.5.0-r0-b99cdfc3e6d2cadeeb00b4a54809a82183dcfb92b512e7b6b0068fe7a0736d4c.nix b/hackage/liquidhaskell-0.9.2.5.0-r0-b99cdfc3e6d2cadeeb00b4a54809a82183dcfb92b512e7b6b0068fe7a0736d4c.nix new file mode 100644 index 00000000000..d052c9f60a5 --- /dev/null +++ b/hackage/liquidhaskell-0.9.2.5.0-r0-b99cdfc3e6d2cadeeb00b4a54809a82183dcfb92b512e7b6b0068fe7a0736d4c.nix @@ -0,0 +1,42 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = { devel = false; }; + package = { + specVersion = "2.4"; + identifier = { name = "liquidhaskell"; version = "0.9.2.5.0"; }; + license = "BSD-3-Clause"; + copyright = "2010-19 Ranjit Jhala & Niki Vazou & Eric L. Seidel, University of California, San Diego."; + maintainer = "Ranjit Jhala "; + author = "Ranjit Jhala, Niki Vazou, Eric Seidel"; + homepage = "https://github.com/ucsd-progsys/liquidhaskell"; + url = ""; + synopsis = "Liquid Types for Haskell"; + description = "Liquid Types for Haskell."; + 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"))) + (hsPkgs.buildPackages.liquidhaskell-boot or (pkgs.buildPackages.liquidhaskell-boot or (errorHandler.setupDepError "liquidhaskell-boot"))) + ]; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."liquidhaskell-boot" or (errorHandler.buildDepError "liquidhaskell-boot")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim")) + ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/liquidhaskell-boot-0.9.2.5.0-r0-cc7d589ea4217dc7a647f3a9c15e58d220a9991a9407316a999c9a173a952b69.nix b/hackage/liquidhaskell-boot-0.9.2.5.0-r0-cc7d589ea4217dc7a647f3a9c15e58d220a9991a9407316a999c9a173a952b69.nix new file mode 100644 index 00000000000..5d474b71e87 --- /dev/null +++ b/hackage/liquidhaskell-boot-0.9.2.5.0-r0-cc7d589ea4217dc7a647f3a9c15e58d220a9991a9407316a999c9a173a952b69.nix @@ -0,0 +1,104 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = { devel = false; }; + package = { + specVersion = "2.4"; + identifier = { name = "liquidhaskell-boot"; version = "0.9.2.5.0"; }; + license = "BSD-3-Clause"; + copyright = "2010-19 Ranjit Jhala & Niki Vazou & Eric L. Seidel, University of California, San Diego."; + maintainer = "Ranjit Jhala "; + author = "Ranjit Jhala, Niki Vazou, Eric Seidel"; + homepage = "https://github.com/ucsd-progsys/liquidhaskell"; + url = ""; + synopsis = "Liquid Types for Haskell"; + description = "This package provides a plugin to verify Haskell programs.\nBut most likely you should be using the [liquidhaskell package](https://hackage.haskell.org/package/liquidhaskell)\ninstead, which rexports this plugin together with necessary\nspecifications for definitions in the boot libraries."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."Diff" or (errorHandler.buildDepError "Diff")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."binary" or (errorHandler.buildDepError "binary")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal")) + (hsPkgs."cereal" or (errorHandler.buildDepError "cereal")) + (hsPkgs."cmdargs" or (errorHandler.buildDepError "cmdargs")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."data-default" or (errorHandler.buildDepError "data-default")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."fingertree" or (errorHandler.buildDepError "fingertree")) + (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) + (hsPkgs."ghc" or (errorHandler.buildDepError "ghc")) + (hsPkgs."ghc-boot" or (errorHandler.buildDepError "ghc-boot")) + (hsPkgs."ghc-paths" or (errorHandler.buildDepError "ghc-paths")) + (hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim")) + (hsPkgs."gitrev" or (errorHandler.buildDepError "gitrev")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."hscolour" or (errorHandler.buildDepError "hscolour")) + (hsPkgs."liquid-fixpoint" or (errorHandler.buildDepError "liquid-fixpoint")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative")) + (hsPkgs."githash" or (errorHandler.buildDepError "githash")) + (hsPkgs."megaparsec" or (errorHandler.buildDepError "megaparsec")) + (hsPkgs."pretty" or (errorHandler.buildDepError "pretty")) + (hsPkgs."split" or (errorHandler.buildDepError "split")) + (hsPkgs."syb" or (errorHandler.buildDepError "syb")) + (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) + (hsPkgs."th-compat" or (errorHandler.buildDepError "th-compat")) + (hsPkgs."temporary" or (errorHandler.buildDepError "temporary")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + (hsPkgs."free" or (errorHandler.buildDepError "free")) + (hsPkgs."recursion-schemes" or (errorHandler.buildDepError "recursion-schemes")) + (hsPkgs."data-fix" or (errorHandler.buildDepError "data-fix")) + (hsPkgs."extra" or (errorHandler.buildDepError "extra")) + ]; + buildable = true; + }; + tests = { + "ghc-api-tests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."ghc" or (errorHandler.buildDepError "ghc")) + (hsPkgs."ghc-paths" or (errorHandler.buildDepError "ghc-paths")) + (hsPkgs."liquidhaskell-boot" or (errorHandler.buildDepError "liquidhaskell-boot")) + (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) + (hsPkgs."tasty-ant-xml" or (errorHandler.buildDepError "tasty-ant-xml")) + (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + ]; + buildable = true; + }; + "liquidhaskell-parser" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."liquid-fixpoint" or (errorHandler.buildDepError "liquid-fixpoint")) + (hsPkgs."liquidhaskell-boot" or (errorHandler.buildDepError "liquidhaskell-boot")) + (hsPkgs."megaparsec" or (errorHandler.buildDepError "megaparsec")) + (hsPkgs."syb" or (errorHandler.buildDepError "syb")) + (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) + (hsPkgs."tasty-ant-xml" or (errorHandler.buildDepError "tasty-ant-xml")) + (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/math-functions-0.3.4.3-r0-acfae1b294286a08fde1820f0d606cdd4c2957a6e07df8808924bb49ec835c3f.nix b/hackage/math-functions-0.3.4.3-r0-acfae1b294286a08fde1820f0d606cdd4c2957a6e07df8808924bb49ec835c3f.nix new file mode 100644 index 00000000000..495b76ea41e --- /dev/null +++ b/hackage/math-functions-0.3.4.3-r0-acfae1b294286a08fde1820f0d606cdd4c2957a6e07df8808924bb49ec835c3f.nix @@ -0,0 +1,69 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = { system-expm1 = true; system-erf = true; }; + package = { + specVersion = "1.10"; + identifier = { name = "math-functions"; version = "0.3.4.3"; }; + license = "BSD-2-Clause"; + copyright = ""; + maintainer = "Alexey Khudyakov "; + author = "Bryan O'Sullivan ,\nAlexey Khudyakov "; + homepage = "https://github.com/haskell/math-functions"; + url = ""; + synopsis = "Collection of tools for numeric computations"; + description = "This library contain collection of various utilities for numerical\ncomputing. So far there're special mathematical functions,\ncompensated summation algorithm, summation of series, root finding\nfor real functions, polynomial summation and Chebyshev\npolynomials."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."data-default-class" or (errorHandler.buildDepError "data-default-class")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + (hsPkgs."primitive" or (errorHandler.buildDepError "primitive")) + ]; + buildable = true; + }; + tests = { + "math-function-tests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."math-functions" or (errorHandler.buildDepError "math-functions")) + (hsPkgs."data-default-class" or (errorHandler.buildDepError "data-default-class")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."primitive" or (errorHandler.buildDepError "primitive")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + (hsPkgs."vector-th-unbox" or (errorHandler.buildDepError "vector-th-unbox")) + (hsPkgs."erf" or (errorHandler.buildDepError "erf")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) + (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) + (hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) + ]; + buildable = true; + }; + }; + benchmarks = { + "math-functions-bench" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."math-functions" or (errorHandler.buildDepError "math-functions")) + (hsPkgs."data-default-class" or (errorHandler.buildDepError "data-default-class")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + (hsPkgs."random" or (errorHandler.buildDepError "random")) + (hsPkgs."tasty-bench" or (errorHandler.buildDepError "tasty-bench")) + ]; + buildable = if compiler.isGhcjs && true then false else true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/mime-types-0.1.2.0-r0-3ddd330c16da943651db37e237d44dc0593ef9b1a63d39e98a48811644615bf6.nix b/hackage/mime-types-0.1.2.0-r0-3ddd330c16da943651db37e237d44dc0593ef9b1a63d39e98a48811644615bf6.nix new file mode 100644 index 00000000000..9cf6eeaa19f --- /dev/null +++ b/hackage/mime-types-0.1.2.0-r0-3ddd330c16da943651db37e237d44dc0593ef9b1a63d39e98a48811644615bf6.nix @@ -0,0 +1,36 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "mime-types"; version = "0.1.2.0"; }; + license = "MIT"; + copyright = ""; + maintainer = "michael@snoyman.com"; + author = "Michael Snoyman"; + homepage = "https://github.com/yesodweb/wai"; + url = ""; + synopsis = "Basic mime-type handling types and functions"; + description = "API docs and the README are available at ."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/mysql-json-table-0.1.0.0-r0-609994f9d78ba2ce140313a799f597d32a2f00b0e1de998c0c363d38fdd0d6b7.nix b/hackage/mysql-json-table-0.1.0.0-r0-609994f9d78ba2ce140313a799f597d32a2f00b0e1de998c0c363d38fdd0d6b7.nix new file mode 100644 index 00000000000..45ca64ab891 --- /dev/null +++ b/hackage/mysql-json-table-0.1.0.0-r0-609994f9d78ba2ce140313a799f597d32a2f00b0e1de998c0c363d38fdd0d6b7.nix @@ -0,0 +1,49 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.18"; + identifier = { name = "mysql-json-table"; version = "0.1.0.0"; }; + license = "MIT"; + copyright = ""; + maintainer = "Daniel Casanueva (daniel.casanueva `at` proton.me)"; + author = "Daniel Casanueva (daniel.casanueva `at` proton.me)"; + homepage = "https://gitlab.com/daniel-casanueva/haskell/mysql-json-table"; + url = ""; + synopsis = "Using MySQL to store id-to-json tables."; + description = "Visit the homepage for more information, or read the readme."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."mysql" or (errorHandler.buildDepError "mysql")) + (hsPkgs."mysql-simple" or (errorHandler.buildDepError "mysql-simple")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."conduit" or (errorHandler.buildDepError "conduit")) + ]; + buildable = true; + }; + exes = { + "mysql-json-table-test" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."mysql-simple" or (errorHandler.buildDepError "mysql-simple")) + (hsPkgs."mysql-json-table" or (errorHandler.buildDepError "mysql-json-table")) + (hsPkgs."conduit" or (errorHandler.buildDepError "conduit")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/patat-0.10.1.1-r0-bbf78e146a353bc5daa8ac7ad20303040e95f49a1a80f2be60988ab511b236f8.nix b/hackage/patat-0.10.1.1-r0-bbf78e146a353bc5daa8ac7ad20303040e95f49a1a80f2be60988ab511b236f8.nix new file mode 100644 index 00000000000..8fbd8f06bee --- /dev/null +++ b/hackage/patat-0.10.1.1-r0-bbf78e146a353bc5daa8ac7ad20303040e95f49a1a80f2be60988ab511b236f8.nix @@ -0,0 +1,97 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = { patat-make-man = false; }; + package = { + specVersion = "1.10"; + identifier = { name = "patat"; version = "0.10.1.1"; }; + license = "GPL-2.0-only"; + copyright = "2016 Jasper Van der Jeugt"; + maintainer = "Jasper Van der Jeugt "; + author = "Jasper Van der Jeugt "; + homepage = "http://github.com/jaspervdj/patat"; + url = ""; + synopsis = "Terminal-based presentations using Pandoc"; + description = "Terminal-based presentations using Pandoc."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."ansi-terminal" or (errorHandler.buildDepError "ansi-terminal")) + (hsPkgs."ansi-wl-pprint" or (errorHandler.buildDepError "ansi-wl-pprint")) + (hsPkgs."async" or (errorHandler.buildDepError "async")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."base64-bytestring" or (errorHandler.buildDepError "base64-bytestring")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."colour" or (errorHandler.buildDepError "colour")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative")) + (hsPkgs."pandoc" or (errorHandler.buildDepError "pandoc")) + (hsPkgs."pandoc-types" or (errorHandler.buildDepError "pandoc-types")) + (hsPkgs."process" or (errorHandler.buildDepError "process")) + (hsPkgs."random" or (errorHandler.buildDepError "random")) + (hsPkgs."skylighting" or (errorHandler.buildDepError "skylighting")) + (hsPkgs."terminal-size" or (errorHandler.buildDepError "terminal-size")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + (hsPkgs."yaml" or (errorHandler.buildDepError "yaml")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + (hsPkgs."wcwidth" or (errorHandler.buildDepError "wcwidth")) + (hsPkgs."network-uri" or (errorHandler.buildDepError "network-uri")) + (hsPkgs."network" or (errorHandler.buildDepError "network")) + ] ++ (pkgs.lib).optional (compiler.isGhc && (compiler.version).lt "8.0") (hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups")); + buildable = true; + }; + exes = { + "patat" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."patat" or (errorHandler.buildDepError "patat")) + ]; + buildable = true; + }; + "patat-make-man" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."doctemplates" or (errorHandler.buildDepError "doctemplates")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."pandoc" or (errorHandler.buildDepError "pandoc")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + ]; + buildable = if flags.patat-make-man then true else false; + }; + }; + tests = { + "patat-tests" = { + depends = [ + (hsPkgs."patat" or (errorHandler.buildDepError "patat")) + (hsPkgs."ansi-terminal" or (errorHandler.buildDepError "ansi-terminal")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."pandoc" or (errorHandler.buildDepError "pandoc")) + (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) + (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) + (hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/path-0.9.4-r0-81586d7c2c7661ecf9d11e05727892de68bd7de844be0c71cdfc6812184d5619.nix b/hackage/path-0.9.4-r0-81586d7c2c7661ecf9d11e05727892de68bd7de844be0c71cdfc6812184d5619.nix new file mode 100644 index 00000000000..3f9fed505bd --- /dev/null +++ b/hackage/path-0.9.4-r0-81586d7c2c7661ecf9d11e05727892de68bd7de844be0c71cdfc6812184d5619.nix @@ -0,0 +1,72 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = { dev = false; }; + package = { + specVersion = "1.18"; + identifier = { name = "path"; version = "0.9.4"; }; + license = "BSD-3-Clause"; + copyright = "2015–2018 FP Complete"; + maintainer = "Chris Done "; + author = "Chris Done "; + homepage = ""; + url = ""; + synopsis = "Support for well-typed paths"; + description = "Support for well-typed paths."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) + ]; + buildable = true; + }; + tests = { + "test" = { + depends = [ + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."path" or (errorHandler.buildDepError "path")) + (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) + ]; + buildable = true; + }; + "validity-test" = { + depends = [ + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."genvalidity" or (errorHandler.buildDepError "genvalidity")) + (hsPkgs."genvalidity-property" or (errorHandler.buildDepError "genvalidity-property")) + (hsPkgs."genvalidity-hspec" or (errorHandler.buildDepError "genvalidity-hspec")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."path" or (errorHandler.buildDepError "path")) + (hsPkgs."validity" or (errorHandler.buildDepError "validity")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/path-0.9.5-r0-3bdc437c4b120b90c222adf8324cbbe4fc35f7272a872dc4d003ea9292c56d1e.nix b/hackage/path-0.9.5-r0-3bdc437c4b120b90c222adf8324cbbe4fc35f7272a872dc4d003ea9292c56d1e.nix new file mode 100644 index 00000000000..65bd334e248 --- /dev/null +++ b/hackage/path-0.9.5-r0-3bdc437c4b120b90c222adf8324cbbe4fc35f7272a872dc4d003ea9292c56d1e.nix @@ -0,0 +1,72 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = { dev = false; }; + package = { + specVersion = "1.18"; + identifier = { name = "path"; version = "0.9.5"; }; + license = "BSD-3-Clause"; + copyright = "2015–2018 FP Complete"; + maintainer = "Chris Done "; + author = "Chris Done "; + homepage = ""; + url = ""; + synopsis = "Support for well-typed paths"; + description = "Support for well-typed paths."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) + ]; + buildable = true; + }; + tests = { + "test" = { + depends = [ + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."path" or (errorHandler.buildDepError "path")) + (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) + ]; + buildable = true; + }; + "validity-test" = { + depends = [ + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."genvalidity" or (errorHandler.buildDepError "genvalidity")) + (hsPkgs."genvalidity-property" or (errorHandler.buildDepError "genvalidity-property")) + (hsPkgs."genvalidity-hspec" or (errorHandler.buildDepError "genvalidity-hspec")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."path" or (errorHandler.buildDepError "path")) + (hsPkgs."validity" or (errorHandler.buildDepError "validity")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/primitive-unaligned-0.1.1.2-r4-ae321521fd2522d312fb029e38f590cc664b86be10c2b1e0c8aee82f7c2f4879.nix b/hackage/primitive-unaligned-0.1.1.2-r4-ae321521fd2522d312fb029e38f590cc664b86be10c2b1e0c8aee82f7c2f4879.nix new file mode 100644 index 00000000000..8ea0f7591f2 --- /dev/null +++ b/hackage/primitive-unaligned-0.1.1.2-r4-ae321521fd2522d312fb029e38f590cc664b86be10c2b1e0c8aee82f7c2f4879.nix @@ -0,0 +1,44 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.2"; + identifier = { name = "primitive-unaligned"; version = "0.1.1.2"; }; + license = "BSD-3-Clause"; + copyright = "2019 Andrew Martin"; + maintainer = "Andrew Martin "; + author = "Andrew Martin"; + homepage = "https://github.com/haskell-primitive/primitive-unaligned"; + url = ""; + synopsis = "Unaligned access to primitive arrays"; + description = "Unaligned access to primitive arrays. The offsets are given in bytes rather than elements."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."primitive" or (errorHandler.buildDepError "primitive")) + ]; + buildable = true; + }; + tests = { + "unit" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."primitive-unaligned" or (errorHandler.buildDepError "primitive-unaligned")) + (hsPkgs."primitive" or (errorHandler.buildDepError "primitive")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/sayable-1.2.1.0-r0-64e0832395bfc8d6c9dfa05935edfac9c799c1bc03383e6c18081ffd8d6856b1.nix b/hackage/sayable-1.2.1.0-r0-64e0832395bfc8d6c9dfa05935edfac9c799c1bc03383e6c18081ffd8d6856b1.nix new file mode 100644 index 00000000000..cf449512b88 --- /dev/null +++ b/hackage/sayable-1.2.1.0-r0-64e0832395bfc8d6c9dfa05935edfac9c799c1bc03383e6c18081ffd8d6856b1.nix @@ -0,0 +1,52 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.4"; + identifier = { name = "sayable"; version = "1.2.1.0"; }; + license = "ISC"; + copyright = "Galois Inc., 2023"; + maintainer = "kquick@galois.com"; + author = "Kevin Quick"; + homepage = ""; + url = ""; + synopsis = "Data structures, classes and operators for constructing context-adjusted pretty output"; + description = "\nThis package provides a set of data structures, classes and operators that\nfacilitate the construction of a Prettyprinter Doc object. The difference\nbetween this an Prettyprinter is:\n\n* Additional \"saytag\" parameter that can be used to control the Doc rendering.\n\n* Brevity of syntax (using operators) designed to enhance conversion of\narguments and readability of messages and conversion"; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter")) + ]; + buildable = true; + }; + tests = { + "sayableTests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter")) + (hsPkgs."sayable" or (errorHandler.buildDepError "sayable")) + (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) + (hsPkgs."tasty-ant-xml" or (errorHandler.buildDepError "tasty-ant-xml")) + (hsPkgs."tasty-hspec" or (errorHandler.buildDepError "tasty-hspec")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/sayable-1.2.2.0-r0-9eaaa96743c60ea8498a4e901f01acf0a2717bb5c3a85d4cf7c015ce80f7b5bc.nix b/hackage/sayable-1.2.2.0-r0-9eaaa96743c60ea8498a4e901f01acf0a2717bb5c3a85d4cf7c015ce80f7b5bc.nix new file mode 100644 index 00000000000..649b21f85f3 --- /dev/null +++ b/hackage/sayable-1.2.2.0-r0-9eaaa96743c60ea8498a4e901f01acf0a2717bb5c3a85d4cf7c015ce80f7b5bc.nix @@ -0,0 +1,52 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.4"; + identifier = { name = "sayable"; version = "1.2.2.0"; }; + license = "ISC"; + copyright = "Galois Inc., 2023"; + maintainer = "kquick@galois.com"; + author = "Kevin Quick"; + homepage = ""; + url = ""; + synopsis = "Data structures, classes and operators for constructing context-adjusted pretty output"; + description = "\nThis package provides a set of data structures, classes and operators that\nfacilitate the construction of a Prettyprinter Doc object. The difference\nbetween this an Prettyprinter is:\n\n* Additional \"saytag\" parameter that can be used to control the Doc rendering.\n\n* Brevity of syntax (using operators) designed to enhance conversion of\narguments and readability of messages and conversion"; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter")) + ]; + buildable = true; + }; + tests = { + "sayableTests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter")) + (hsPkgs."sayable" or (errorHandler.buildDepError "sayable")) + (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) + (hsPkgs."tasty-ant-xml" or (errorHandler.buildDepError "tasty-ant-xml")) + (hsPkgs."tasty-hspec" or (errorHandler.buildDepError "tasty-hspec")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/sop-core-0.5.0.2-r3-9d857199f5eab3e2467be69336568d147fa24116a0999000100e4f0739719966.nix b/hackage/sop-core-0.5.0.2-r3-9d857199f5eab3e2467be69336568d147fa24116a0999000100e4f0739719966.nix new file mode 100644 index 00000000000..1e3f61fcf4c --- /dev/null +++ b/hackage/sop-core-0.5.0.2-r3-9d857199f5eab3e2467be69336568d147fa24116a0999000100e4f0739719966.nix @@ -0,0 +1,34 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "sop-core"; version = "0.5.0.2"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "andres@well-typed.com"; + author = "Edsko de Vries , Andres Löh "; + homepage = ""; + url = ""; + synopsis = "True Sums of Products"; + description = "Implementation of n-ary sums and n-ary products.\n\nThe module \"Data.SOP\" is the main module of this library and contains\nmore detailed documentation.\n\nThe main use case of this package is to serve as the core of\n@@.\n\nA detailed description of the ideas behind this library is provided by\nthe paper:\n\n* Edsko de Vries and Andres Löh.\n.\nWorkshop on Generic Programming (WGP) 2014.\n"; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/vulkan-3.26-r0-78fc460056585da05e44633076583b18c41e91cf1b53386f60f7a23a5ff408c7.nix b/hackage/vulkan-3.26-r0-78fc460056585da05e44633076583b18c41e91cf1b53386f60f7a23a5ff408c7.nix new file mode 100644 index 00000000000..0439cdeaf17 --- /dev/null +++ b/hackage/vulkan-3.26-r0-78fc460056585da05e44633076583b18c41e91cf1b53386f60f7a23a5ff408c7.nix @@ -0,0 +1,59 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = { + generic-instances = false; + safe-foreign-calls = false; + trace-calls = false; + }; + package = { + specVersion = "2.2"; + identifier = { name = "vulkan"; version = "3.26"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "Ellie Hermaszewska "; + author = ""; + homepage = "https://github.com/expipiplus1/vulkan#readme"; + url = ""; + synopsis = "Bindings to the Vulkan graphics API."; + description = "Please see [the readme](https://github.com/expipiplus1/vulkan/#readme)"; + 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")) + ]; + libs = (pkgs.lib).optional (system.isWindows) (pkgs."vulkan-1" or (errorHandler.sysDepError "vulkan-1")) ++ (pkgs.lib).optional (system.isOsx) (pkgs."vulkan" or (errorHandler.sysDepError "vulkan")); + pkgconfig = (pkgs.lib).optional (!system.isWindows && !system.isOsx) (pkgconfPkgs."vulkan" or (errorHandler.pkgConfDepError "vulkan")); + buildable = true; + }; + tests = { + "test" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."inline-c" or (errorHandler.buildDepError "inline-c")) + (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) + (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) + (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) + (hsPkgs."vulkan" or (errorHandler.buildDepError "vulkan")) + ]; + build-tools = [ + (hsPkgs.buildPackages.tasty-discover.components.exes.tasty-discover or (pkgs.buildPackages.tasty-discover or (errorHandler.buildToolDepError "tasty-discover:tasty-discover"))) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/weierstrass-functions-0.1.5.0-r0-7111de52594214bf077e5e59fbebf81f223e465c358c0e295e23fed8418e73be.nix b/hackage/weierstrass-functions-0.1.5.0-r0-7111de52594214bf077e5e59fbebf81f223e465c358c0e295e23fed8418e73be.nix new file mode 100644 index 00000000000..0401d29787a --- /dev/null +++ b/hackage/weierstrass-functions-0.1.5.0-r0-7111de52594214bf077e5e59fbebf81f223e465c358c0e295e23fed8418e73be.nix @@ -0,0 +1,48 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "weierstrass-functions"; version = "0.1.5.0"; }; + license = "BSD-3-Clause"; + copyright = "2023 Stéphane Laurent"; + maintainer = "laurent_step@outlook.fr"; + author = "Stéphane Laurent"; + homepage = "https://github.com/stla/weierstrass-functions#readme"; + url = ""; + synopsis = "Weierstrass Elliptic Functions"; + description = "Evaluation of Weierstrass elliptic functions and some related functions."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."jacobi-theta" or (errorHandler.buildDepError "jacobi-theta")) + (hsPkgs."elliptic-integrals" or (errorHandler.buildDepError "elliptic-integrals")) + (hsPkgs."gamma" or (errorHandler.buildDepError "gamma")) + ]; + 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."weierstrass-functions" or (errorHandler.buildDepError "weierstrass-functions")) + (hsPkgs."gamma" or (errorHandler.buildDepError "gamma")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/index-state-hashes.nix b/index-state-hashes.nix index b59c8c011e3..987d67dd024 100644 --- a/index-state-hashes.nix +++ b/index-state-hashes.nix @@ -1661,4 +1661,5 @@ "2023-10-16T00:00:00Z" = "10c9c5be92561eb16f796572aca87065cf61bac99f1942b937eaf1517bdeed4c"; "2023-10-17T00:00:00Z" = "69671172b93e4ae376b3b013a84105c0862df4f1f53e74a2c6cdbe56d3b1152d"; "2023-10-18T00:00:00Z" = "2a504deb3fe95a612c624ceb470aef39d75ffc776952ffddb451d15b0e7a419a"; + "2023-10-19T00:00:00Z" = "ed881810624a052bc78e7d9862bce68816e0494de7080f3612dd380da700047a"; } diff --git a/nix/_Cabal-syntax.nix b/nix/_Cabal-syntax.nix index 566c8e85aff..a804f41eeca 100644 --- a/nix/_Cabal-syntax.nix +++ b/nix/_Cabal-syntax.nix @@ -10,6 +10,17 @@ default = "r0"; }; }; + "3.10.2.0" = { + sha256 = "7acf1c519a31cd9010c16f6346e71fd827336811d5f127ddcb2dca3c52265248"; + revisions = { + r0 = { + nix = import ../hackage/Cabal-syntax-3.10.2.0-r0-e745710a77525a6a03d5eecbe00e894d36f05432caa6946778dae464eba1593a.nix; + revNum = 0; + sha256 = "e745710a77525a6a03d5eecbe00e894d36f05432caa6946778dae464eba1593a"; + }; + default = "r0"; + }; + }; "3.6.0.0" = { sha256 = "ca25e5fc601397565fa857f1aa477740fac7f43d659e77c4d9b1485dca239251"; revisions = { diff --git a/nix/_Cabal.nix b/nix/_Cabal.nix index d2394d131ba..aa84c4e5542 100644 --- a/nix/_Cabal.nix +++ b/nix/_Cabal.nix @@ -786,6 +786,17 @@ default = "r0"; }; }; + "3.10.2.0" = { + sha256 = "4c23ee01a987d49449ec76a01812415972a2c2c28a69e1b0861b0c254970565b"; + revisions = { + r0 = { + nix = import ../hackage/Cabal-3.10.2.0-r0-6451397fa4458772abaa0e3d41988300c4b8ba5ddb7d13ca743ac0211462651e.nix; + revNum = 0; + sha256 = "6451397fa4458772abaa0e3d41988300c4b8ba5ddb7d13ca743ac0211462651e"; + }; + default = "r0"; + }; + }; "3.2.0.0" = { sha256 = "f2053a57c66457cfe48db906f0bdf98eb717a12c3c16a98561921f15035de66f"; revisions = { diff --git a/nix/_P_S_Queue.nix b/nix/_P_S_Queue.nix index 7e28f33558f..b906b141df3 100644 --- a/nix/_P_S_Queue.nix +++ b/nix/_P_S_Queue.nix @@ -76,7 +76,12 @@ revNum = 0; sha256 = "51773d4085ad0aa911c409d8330f662e6e7512753e2e8a3a04b260df719942d1"; }; - default = "r0"; + r1 = { + nix = import ../hackage/PSQueue-1.2.0-r1-460457e5591ad4ec9d3332bb03798765fd1b79d4f6bcc3e9a71969cf7349d79e.nix; + revNum = 1; + sha256 = "460457e5591ad4ec9d3332bb03798765fd1b79d4f6bcc3e9a71969cf7349d79e"; + }; + default = "r1"; }; }; } \ No newline at end of file diff --git a/nix/_Vulkan_Memory_Allocator.nix b/nix/_Vulkan_Memory_Allocator.nix index 755f9dcc302..c99a0524539 100644 --- a/nix/_Vulkan_Memory_Allocator.nix +++ b/nix/_Vulkan_Memory_Allocator.nix @@ -98,6 +98,17 @@ default = "r0"; }; }; + "0.11.0.1" = { + sha256 = "d5256ebe9bdeeb0939776d626cb845d894f4eaaea6647b550dd16a2498ce0f6d"; + revisions = { + r0 = { + nix = import ../hackage/VulkanMemoryAllocator-0.11.0.1-r0-8c3cbf3679dacbcf364a0775377e50599690ff2c25063e1d64a6be7135b72740.nix; + revNum = 0; + sha256 = "8c3cbf3679dacbcf364a0775377e50599690ff2c25063e1d64a6be7135b72740"; + }; + default = "r0"; + }; + }; "0.2.0.0" = { sha256 = "cd044c84436975b5ec300b4d342de2c423c139db5270a1796f9f99a0fdb6a293"; revisions = { diff --git a/nix/cmark-gfm.nix b/nix/cmark-gfm.nix index a982894da8a..b27714fef70 100644 --- a/nix/cmark-gfm.nix +++ b/nix/cmark-gfm.nix @@ -177,7 +177,12 @@ revNum = 0; sha256 = "962ccd7bce9a3bdd9badeb45c2f4827b7566dc691288a4b80c38a35059078434"; }; - default = "r0"; + r1 = { + nix = import ../hackage/cmark-gfm-0.2.6-r1-8672b9388f5ddfa8ece691e59b4272fa807a2ddf0698970cd73af9bebb98058d.nix; + revNum = 1; + sha256 = "8672b9388f5ddfa8ece691e59b4272fa807a2ddf0698970cd73af9bebb98058d"; + }; + default = "r1"; }; }; } \ No newline at end of file diff --git a/nix/di-monad.nix b/nix/di-monad.nix index 0531274e4a9..377dc4ce5d4 100644 --- a/nix/di-monad.nix +++ b/nix/di-monad.nix @@ -87,4 +87,26 @@ default = "r0"; }; }; + "1.3.3" = { + sha256 = "8cd92a0c5c54e7715894635b8b5adf3a6ec7480e6fece4ff8fb77e99c2e2d090"; + revisions = { + r0 = { + nix = import ../hackage/di-monad-1.3.3-r0-e359e15ba57a4de82fdfedfc634ed2d06f0e7d2665a0197e4198416e2f073736.nix; + revNum = 0; + sha256 = "e359e15ba57a4de82fdfedfc634ed2d06f0e7d2665a0197e4198416e2f073736"; + }; + default = "r0"; + }; + }; + "1.3.4" = { + sha256 = "320ead17214c7b269e3128112d6b47b73cff0ccbf7ac923d3c59ca41959027ba"; + revisions = { + r0 = { + nix = import ../hackage/di-monad-1.3.4-r0-ffc0e9fb1a5fb3a6bcd0fef01c7afeb1452910bb875000fbde4688835cb19fe2.nix; + revNum = 0; + sha256 = "ffc0e9fb1a5fb3a6bcd0fef01c7afeb1452910bb875000fbde4688835cb19fe2"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/fgl.nix b/nix/fgl.nix index a7ca767138a..45aa137479b 100644 --- a/nix/fgl.nix +++ b/nix/fgl.nix @@ -388,4 +388,15 @@ default = "r1"; }; }; + "5.8.2.0" = { + sha256 = "44cf0cf720f1d3fb31689cab219adf9b1a5367b3fbf4bd6678f4d156f3e8c3b6"; + revisions = { + r0 = { + nix = import ../hackage/fgl-5.8.2.0-r0-9bc966528db0a9bd57c63dd3cb2bbe08e1a2d2de7ac7f517aaaa5d79607f759e.nix; + revNum = 0; + sha256 = "9bc966528db0a9bd57c63dd3cb2bbe08e1a2d2de7ac7f517aaaa5d79607f759e"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/fractionizer.nix b/nix/fractionizer.nix index e5688d9a8ba..e8b602067c4 100644 --- a/nix/fractionizer.nix +++ b/nix/fractionizer.nix @@ -98,6 +98,17 @@ default = "r0"; }; }; + "0.16.0.0" = { + sha256 = "286882727d510515ca9bfac34591b37d4c225e111cb5bc5870172e00d027ca77"; + revisions = { + r0 = { + nix = import ../hackage/fractionizer-0.16.0.0-r0-67bb35b8b546350b506a92e182d8f6ce3ba8a66e2d8dbc06ce93e6eef10376b7.nix; + revNum = 0; + sha256 = "67bb35b8b546350b506a92e182d8f6ce3ba8a66e2d8dbc06ce93e6eef10376b7"; + }; + default = "r0"; + }; + }; "0.2.0.0" = { sha256 = "9d3b2e401d75f942e926b85546ef37347ed585d853ed09f144588b3582ca1ae3"; revisions = { diff --git a/nix/freckle-app.nix b/nix/freckle-app.nix index af66c7a0ebb..29a23654dae 100644 --- a/nix/freckle-app.nix +++ b/nix/freckle-app.nix @@ -245,6 +245,17 @@ default = "r1"; }; }; + "1.10.2.0" = { + sha256 = "b59a65b2e826eb5961583b820274cea83d5bf4572f0ebee19a43847f492aa8a1"; + revisions = { + r0 = { + nix = import ../hackage/freckle-app-1.10.2.0-r0-7af4749b3db64fd98b1939eff7179247e1d1564205ac309680a090b420779010.nix; + revNum = 0; + sha256 = "7af4749b3db64fd98b1939eff7179247e1d1564205ac309680a090b420779010"; + }; + default = "r0"; + }; + }; "1.2.0.0" = { sha256 = "3baf18719abfba1a7ae0327d917ed9174823d5b6c89397fc7fedf274b1f01b62"; revisions = { diff --git a/nix/generics-sop.nix b/nix/generics-sop.nix index 505dbd3cb2b..61710334795 100644 --- a/nix/generics-sop.nix +++ b/nix/generics-sop.nix @@ -318,4 +318,15 @@ default = "r0"; }; }; + "0.5.1.4" = { + sha256 = "616a1c2176097469f9514e76d979fffdbc12d569f44fd01deb14377c7888797e"; + revisions = { + r0 = { + nix = import ../hackage/generics-sop-0.5.1.4-r0-db1929b3c61a6ed4cb5fe99c5a6a1baf0c4e36846d5a3dbb5052f39cc042fcb2.nix; + revNum = 0; + sha256 = "db1929b3c61a6ed4cb5fe99c5a6a1baf0c4e36846d5a3dbb5052f39cc042fcb2"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/hgettext.nix b/nix/hgettext.nix index a1da56d6ab0..d7c41051327 100644 --- a/nix/hgettext.nix +++ b/nix/hgettext.nix @@ -114,7 +114,12 @@ revNum = 0; sha256 = "3b6fb8fd1c761fdf22d0d4dab1e3766c4ed1f8550f09e72aba57051e36f26286"; }; - default = "r0"; + r1 = { + nix = import ../hackage/hgettext-0.1.40.1-r1-a5fa0fbff54c203e917a9e048ab542544a7db2b0141034a45bd508f73539391f.nix; + revNum = 1; + sha256 = "a5fa0fbff54c203e917a9e048ab542544a7db2b0141034a45bd508f73539391f"; + }; + default = "r1"; }; }; "0.1.5" = { diff --git a/nix/hpc-codecov.nix b/nix/hpc-codecov.nix index 080c323abf3..646c396e603 100644 --- a/nix/hpc-codecov.nix +++ b/nix/hpc-codecov.nix @@ -76,4 +76,15 @@ default = "r0"; }; }; + "0.4.2.0" = { + sha256 = "0dff36b55fd48d35a19151ce58650485610960592e21b27f528c8ac3533fdded"; + revisions = { + r0 = { + nix = import ../hackage/hpc-codecov-0.4.2.0-r0-6d34d5955e03edd35d7e4ac98ddd377c135e495d9bed5791d8fcc813cdb2a341.nix; + revNum = 0; + sha256 = "6d34d5955e03edd35d7e4ac98ddd377c135e495d9bed5791d8fcc813cdb2a341"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/hreader.nix b/nix/hreader.nix index 5406327a482..8ffdef07858 100644 --- a/nix/hreader.nix +++ b/nix/hreader.nix @@ -117,4 +117,15 @@ default = "r1"; }; }; + "1.1.1" = { + sha256 = "7b636219f6e823ecc1ebca069d1707e02b68f6a81698deb1a2891a02bc9fa82a"; + revisions = { + r0 = { + nix = import ../hackage/hreader-1.1.1-r0-0acc6d0b452453209ea0482b4f9edef72fd69e796ab4f8a3afb4ebb95ae77cf9.nix; + revNum = 0; + sha256 = "0acc6d0b452453209ea0482b4f9edef72fd69e796ab4f8a3afb4ebb95ae77cf9"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/jacobi-elliptic.nix b/nix/jacobi-elliptic.nix index e35392889bc..36ee78433e6 100644 --- a/nix/jacobi-elliptic.nix +++ b/nix/jacobi-elliptic.nix @@ -32,4 +32,15 @@ default = "r0"; }; }; + "0.1.3.0" = { + sha256 = "af49402b25fa21aab9bd307e8d5ef35ac379af14bdb4d602a28b38f67572368e"; + revisions = { + r0 = { + nix = import ../hackage/jacobi-elliptic-0.1.3.0-r0-183252453bdc2ed4cc4e4fa9bdb5ccdb0c0b97d0e08be0e8f1ac963e9cf26a4c.nix; + revNum = 0; + sha256 = "183252453bdc2ed4cc4e4fa9bdb5ccdb0c0b97d0e08be0e8f1ac963e9cf26a4c"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/jacobi-theta.nix b/nix/jacobi-theta.nix index d4869ee61b6..6b45597a469 100644 --- a/nix/jacobi-theta.nix +++ b/nix/jacobi-theta.nix @@ -54,4 +54,26 @@ default = "r0"; }; }; + "0.2.1.0" = { + sha256 = "0ed9e54914945ecaacd4583eb0e07d147fd94c923d5d8d81ebf48c609d167261"; + revisions = { + r0 = { + nix = import ../hackage/jacobi-theta-0.2.1.0-r0-a97a3e57236f9e05d2d12b13ba0d775fb26bb6b70b447bdca0d2639ea8699936.nix; + revNum = 0; + sha256 = "a97a3e57236f9e05d2d12b13ba0d775fb26bb6b70b447bdca0d2639ea8699936"; + }; + default = "r0"; + }; + }; + "0.2.1.1" = { + sha256 = "a13f911d3f38fabc9888cdb5f1c8e78983940272f7ac510b505133d5a0699caa"; + revisions = { + r0 = { + nix = import ../hackage/jacobi-theta-0.2.1.1-r0-e464d92796da5d14159e07aee23e14d479e555fbd8fc0d7a7c3dfb57c63d190d.nix; + revNum = 0; + sha256 = "e464d92796da5d14159e07aee23e14d479e555fbd8fc0d7a7c3dfb57c63d190d"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/liquid-fixpoint.nix b/nix/liquid-fixpoint.nix index a8919b601ab..1e7208bbf54 100644 --- a/nix/liquid-fixpoint.nix +++ b/nix/liquid-fixpoint.nix @@ -294,6 +294,17 @@ default = "r0"; }; }; + "0.9.2.5" = { + sha256 = "58b6fa092c8a2752facce17b8763c0784b5a90a994a3b2edb0d5b1f0fb412445"; + revisions = { + r0 = { + nix = import ../hackage/liquid-fixpoint-0.9.2.5-r0-4fa5c333c1238c776002dbb4840270478789a73eae0a5712a5d859e4bbd8ece5.nix; + revNum = 0; + sha256 = "4fa5c333c1238c776002dbb4840270478789a73eae0a5712a5d859e4bbd8ece5"; + }; + default = "r0"; + }; + }; "8.10.7" = { sha256 = "d5bf111f6e0c3d27a102bdcf21ac0ab54560da70a8a54a68d024ed393082f10b"; revisions = { diff --git a/nix/liquid-parallel.nix b/nix/liquid-parallel.nix index 652c061eff2..7f40dae1ea4 100644 --- a/nix/liquid-parallel.nix +++ b/nix/liquid-parallel.nix @@ -21,4 +21,15 @@ default = "r0"; }; }; + "3.2.2.0.2" = { + sha256 = "2f1406215f765aa83ceda6e28c85fed02a6c65e899f59b3fe50e423a9bcb2e28"; + revisions = { + r0 = { + nix = import ../hackage/liquid-parallel-3.2.2.0.2-r0-b2a6e6b9a49081e3c9c6fb1d828e2e974f54c2ce46da5da396da5c5cf8cc2204.nix; + revNum = 0; + sha256 = "b2a6e6b9a49081e3c9c6fb1d828e2e974f54c2ce46da5da396da5c5cf8cc2204"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/liquid-platform.nix b/nix/liquid-platform.nix index 343e7beb8fb..632d496c60c 100644 --- a/nix/liquid-platform.nix +++ b/nix/liquid-platform.nix @@ -32,4 +32,15 @@ default = "r0"; }; }; + "0.9.2.5" = { + sha256 = "fc40c457c1ae392e59e7492249a527af0b763d2c3068b8fa6d0c560cbd5d2b91"; + revisions = { + r0 = { + nix = import ../hackage/liquid-platform-0.9.2.5-r0-09c167c6ab41fa1b9614d4eb79c7bf5c3e69fcf5b71051c306099da15d9706dd.nix; + revNum = 0; + sha256 = "09c167c6ab41fa1b9614d4eb79c7bf5c3e69fcf5b71051c306099da15d9706dd"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/liquid-prelude.nix b/nix/liquid-prelude.nix index c6a439ed3e2..4481dee96e5 100644 --- a/nix/liquid-prelude.nix +++ b/nix/liquid-prelude.nix @@ -32,4 +32,15 @@ default = "r0"; }; }; + "0.9.2.5" = { + sha256 = "ed778aa7c20f60b61f7a876b75cf6fd5b445a00af648afd6af4433df05fa638c"; + revisions = { + r0 = { + nix = import ../hackage/liquid-prelude-0.9.2.5-r0-4b9b14acb69f935e34ef52a51cb69d5d90bf2676cdec1346a71d8c6388b7e05f.nix; + revNum = 0; + sha256 = "4b9b14acb69f935e34ef52a51cb69d5d90bf2676cdec1346a71d8c6388b7e05f"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/liquid-vector.nix b/nix/liquid-vector.nix index 44814772977..48dfe881ac5 100644 --- a/nix/liquid-vector.nix +++ b/nix/liquid-vector.nix @@ -21,4 +21,15 @@ default = "r0"; }; }; + "0.12.3.1.2" = { + sha256 = "2a16e723d3c25c991a74c33630095e9f78ad776e73f4b3f59947201eb22e80dd"; + revisions = { + r0 = { + nix = import ../hackage/liquid-vector-0.12.3.1.2-r0-940268dec6a7902408b85377c3abca72831d119ad89d1e3f870374db0ab0eb4a.nix; + revNum = 0; + sha256 = "940268dec6a7902408b85377c3abca72831d119ad89d1e3f870374db0ab0eb4a"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/liquidhaskell-boot.nix b/nix/liquidhaskell-boot.nix new file mode 100644 index 00000000000..1a2fae7fc9b --- /dev/null +++ b/nix/liquidhaskell-boot.nix @@ -0,0 +1,13 @@ +{ + "0.9.2.5.0" = { + sha256 = "df0b94999b757e8b7503a5a8ce09536f387f6846a3ac2fe210beb9e775bc6882"; + revisions = { + r0 = { + nix = import ../hackage/liquidhaskell-boot-0.9.2.5.0-r0-cc7d589ea4217dc7a647f3a9c15e58d220a9991a9407316a999c9a173a952b69.nix; + revNum = 0; + sha256 = "cc7d589ea4217dc7a647f3a9c15e58d220a9991a9407316a999c9a173a952b69"; + }; + default = "r0"; + }; + }; + } \ No newline at end of file diff --git a/nix/liquidhaskell.nix b/nix/liquidhaskell.nix index 76f21f761ed..511db4f3406 100644 --- a/nix/liquidhaskell.nix +++ b/nix/liquidhaskell.nix @@ -413,4 +413,15 @@ default = "r1"; }; }; + "0.9.2.5.0" = { + sha256 = "35664a0b70e79f0f6697cc314e28e20de343b9103fa4e9d227c9bf15e144a0a8"; + revisions = { + r0 = { + nix = import ../hackage/liquidhaskell-0.9.2.5.0-r0-b99cdfc3e6d2cadeeb00b4a54809a82183dcfb92b512e7b6b0068fe7a0736d4c.nix; + revNum = 0; + sha256 = "b99cdfc3e6d2cadeeb00b4a54809a82183dcfb92b512e7b6b0068fe7a0736d4c"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/math-functions.nix b/nix/math-functions.nix index 966104c5756..a1144ef0d69 100644 --- a/nix/math-functions.nix +++ b/nix/math-functions.nix @@ -303,4 +303,15 @@ default = "r0"; }; }; + "0.3.4.3" = { + sha256 = "4d86d5b5e87ecca61fe6a64bc91662ddb18209933a1492e4429868b692db2966"; + revisions = { + r0 = { + nix = import ../hackage/math-functions-0.3.4.3-r0-acfae1b294286a08fde1820f0d606cdd4c2957a6e07df8808924bb49ec835c3f.nix; + revNum = 0; + sha256 = "acfae1b294286a08fde1820f0d606cdd4c2957a6e07df8808924bb49ec835c3f"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/mime-types.nix b/nix/mime-types.nix index 4ad0cead0d2..5d633be3941 100644 --- a/nix/mime-types.nix +++ b/nix/mime-types.nix @@ -120,4 +120,15 @@ default = "r0"; }; }; + "0.1.2.0" = { + sha256 = "013ae48a4c1726a4f91a64e882f3fe1fb903a7d4b8c14da51286fe5e4b974f61"; + revisions = { + r0 = { + nix = import ../hackage/mime-types-0.1.2.0-r0-3ddd330c16da943651db37e237d44dc0593ef9b1a63d39e98a48811644615bf6.nix; + revNum = 0; + sha256 = "3ddd330c16da943651db37e237d44dc0593ef9b1a63d39e98a48811644615bf6"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/mysql-json-table.nix b/nix/mysql-json-table.nix new file mode 100644 index 00000000000..b6e549dc378 --- /dev/null +++ b/nix/mysql-json-table.nix @@ -0,0 +1,13 @@ +{ + "0.1.0.0" = { + sha256 = "ac636b3c54130288e0f5eeeb7b4f785980808bd70866e20e323048be9fec84d5"; + revisions = { + r0 = { + nix = import ../hackage/mysql-json-table-0.1.0.0-r0-609994f9d78ba2ce140313a799f597d32a2f00b0e1de998c0c363d38fdd0d6b7.nix; + revNum = 0; + sha256 = "609994f9d78ba2ce140313a799f597d32a2f00b0e1de998c0c363d38fdd0d6b7"; + }; + default = "r0"; + }; + }; + } \ No newline at end of file diff --git a/nix/patat.nix b/nix/patat.nix index bc78d6ba1a5..9086ce7bee9 100644 --- a/nix/patat.nix +++ b/nix/patat.nix @@ -37,6 +37,17 @@ default = "r1"; }; }; + "0.10.1.1" = { + sha256 = "f16e93a4199c301ad18fc48d3ae8eb49f6fb64f4550e6629e199249a6dc6ae59"; + revisions = { + r0 = { + nix = import ../hackage/patat-0.10.1.1-r0-bbf78e146a353bc5daa8ac7ad20303040e95f49a1a80f2be60988ab511b236f8.nix; + revNum = 0; + sha256 = "bbf78e146a353bc5daa8ac7ad20303040e95f49a1a80f2be60988ab511b236f8"; + }; + default = "r0"; + }; + }; "0.2.0.0" = { sha256 = "2dcddc275cac9a6aced791650467316987f8664096cad83b0e06fb28375ece2a"; revisions = { diff --git a/nix/path.nix b/nix/path.nix index 6ce5f61e2c3..248c8f42413 100644 --- a/nix/path.nix +++ b/nix/path.nix @@ -397,4 +397,26 @@ default = "r0"; }; }; + "0.9.4" = { + sha256 = "935b6ca542814739b2ef8ce865bcd4b975ed015762de5793ae11272b776cf67f"; + revisions = { + r0 = { + nix = import ../hackage/path-0.9.4-r0-81586d7c2c7661ecf9d11e05727892de68bd7de844be0c71cdfc6812184d5619.nix; + revNum = 0; + sha256 = "81586d7c2c7661ecf9d11e05727892de68bd7de844be0c71cdfc6812184d5619"; + }; + default = "r0"; + }; + }; + "0.9.5" = { + sha256 = "2d3fd700915feefa74a86fafb1a2bcf24bf8e3f6536c029d2d117e5869dcc433"; + revisions = { + r0 = { + nix = import ../hackage/path-0.9.5-r0-3bdc437c4b120b90c222adf8324cbbe4fc35f7272a872dc4d003ea9292c56d1e.nix; + revNum = 0; + sha256 = "3bdc437c4b120b90c222adf8324cbbe4fc35f7272a872dc4d003ea9292c56d1e"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/primitive-unaligned.nix b/nix/primitive-unaligned.nix index 9abfd3eb986..1bfac36803b 100644 --- a/nix/primitive-unaligned.nix +++ b/nix/primitive-unaligned.nix @@ -54,7 +54,12 @@ revNum = 3; sha256 = "2a87c22e40ec3609457dc606dee646d788b6659ab25aa9d6cc76ff01ce6d8d9d"; }; - default = "r3"; + r4 = { + nix = import ../hackage/primitive-unaligned-0.1.1.2-r4-ae321521fd2522d312fb029e38f590cc664b86be10c2b1e0c8aee82f7c2f4879.nix; + revNum = 4; + sha256 = "ae321521fd2522d312fb029e38f590cc664b86be10c2b1e0c8aee82f7c2f4879"; + }; + default = "r4"; }; }; } \ No newline at end of file diff --git a/nix/sayable.nix b/nix/sayable.nix index 40cf590d64b..c6a2cd18feb 100644 --- a/nix/sayable.nix +++ b/nix/sayable.nix @@ -54,4 +54,26 @@ default = "r0"; }; }; + "1.2.1.0" = { + sha256 = "4ee2c6c3ede96260f09c7b66a1ef8343b114cad923a059cdaa0993af241cc680"; + revisions = { + r0 = { + nix = import ../hackage/sayable-1.2.1.0-r0-64e0832395bfc8d6c9dfa05935edfac9c799c1bc03383e6c18081ffd8d6856b1.nix; + revNum = 0; + sha256 = "64e0832395bfc8d6c9dfa05935edfac9c799c1bc03383e6c18081ffd8d6856b1"; + }; + default = "r0"; + }; + }; + "1.2.2.0" = { + sha256 = "b878d83438a08c17881643c0c5417cfcbbaf97583e7fe939254e23fd916bbb36"; + revisions = { + r0 = { + nix = import ../hackage/sayable-1.2.2.0-r0-9eaaa96743c60ea8498a4e901f01acf0a2717bb5c3a85d4cf7c015ce80f7b5bc.nix; + revNum = 0; + sha256 = "9eaaa96743c60ea8498a4e901f01acf0a2717bb5c3a85d4cf7c015ce80f7b5bc"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/sop-core.nix b/nix/sop-core.nix index e8371f41a78..42aab0673e4 100644 --- a/nix/sop-core.nix +++ b/nix/sop-core.nix @@ -65,7 +65,12 @@ revNum = 2; sha256 = "2f6ac799b1b4438db1ead14a39d7586cfaf00c3cbab0c219184c67ae61376335"; }; - default = "r2"; + r3 = { + nix = import ../hackage/sop-core-0.5.0.2-r3-9d857199f5eab3e2467be69336568d147fa24116a0999000100e4f0739719966.nix; + revNum = 3; + sha256 = "9d857199f5eab3e2467be69336568d147fa24116a0999000100e4f0739719966"; + }; + default = "r3"; }; }; } \ No newline at end of file diff --git a/nix/vulkan.nix b/nix/vulkan.nix index 0ae7f63e613..722fcc62654 100644 --- a/nix/vulkan.nix +++ b/nix/vulkan.nix @@ -681,6 +681,17 @@ default = "r0"; }; }; + "3.26" = { + sha256 = "3edadae016bcc206cd8233f090118673afb59540869a452c1e833a3f81ef3caa"; + revisions = { + r0 = { + nix = import ../hackage/vulkan-3.26-r0-78fc460056585da05e44633076583b18c41e91cf1b53386f60f7a23a5ff408c7.nix; + revNum = 0; + sha256 = "78fc460056585da05e44633076583b18c41e91cf1b53386f60f7a23a5ff408c7"; + }; + default = "r0"; + }; + }; "3.3" = { sha256 = "33c0ff3485e8e269cfa4b9514ab64b5edc55c7f3c7a0deb7b3d376a25d82aca3"; revisions = { diff --git a/nix/weierstrass-functions.nix b/nix/weierstrass-functions.nix index e7de9d52419..1bf934a35af 100644 --- a/nix/weierstrass-functions.nix +++ b/nix/weierstrass-functions.nix @@ -65,4 +65,15 @@ default = "r0"; }; }; + "0.1.5.0" = { + sha256 = "7fa1db540d6653a9a214b601c45a4583170029bd4da4fd2a58e531c97de005a0"; + revisions = { + r0 = { + nix = import ../hackage/weierstrass-functions-0.1.5.0-r0-7111de52594214bf077e5e59fbebf81f223e465c358c0e295e23fed8418e73be.nix; + revNum = 0; + sha256 = "7111de52594214bf077e5e59fbebf81f223e465c358c0e295e23fed8418e73be"; + }; + default = "r0"; + }; + }; } \ No newline at end of file