diff --git a/hackage/agda-language-server-0.2.1-r1-3ff5bf0e61f1424797ec66115d2be5db502f05b3e8a4530338402833f61a357e.nix b/hackage/agda-language-server-0.2.1-r1-3ff5bf0e61f1424797ec66115d2be5db502f05b3e8a4530338402833f61a357e.nix new file mode 100644 index 00000000000..95e1eb7c60e --- /dev/null +++ b/hackage/agda-language-server-0.2.1-r1-3ff5bf0e61f1424797ec66115d2be5db502f05b3e8a4530338402833f61a357e.nix @@ -0,0 +1,90 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.12"; + identifier = { name = "agda-language-server"; version = "0.2.1"; }; + license = "MIT"; + copyright = "2020 Author name here :)"; + maintainer = "banacorn@gmail.com"; + author = "Ting-Gian LUA"; + homepage = "https://github.com/banacorn/agda-language-server#readme"; + url = ""; + synopsis = "An implementation of language server protocal (LSP) for Agda 2."; + description = "Please see the README on GitHub at "; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."Agda" or (errorHandler.buildDepError "Agda")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."lsp" or (errorHandler.buildDepError "lsp")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."network" or (errorHandler.buildDepError "network")) + (hsPkgs."network-simple" or (errorHandler.buildDepError "network-simple")) + (hsPkgs."process" or (errorHandler.buildDepError "process")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + (hsPkgs."strict" or (errorHandler.buildDepError "strict")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + ]; + buildable = true; + }; + exes = { + "als" = { + depends = [ + (hsPkgs."Agda" or (errorHandler.buildDepError "Agda")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."agda-language-server" or (errorHandler.buildDepError "agda-language-server")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."lsp" or (errorHandler.buildDepError "lsp")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."network" or (errorHandler.buildDepError "network")) + (hsPkgs."network-simple" or (errorHandler.buildDepError "network-simple")) + (hsPkgs."process" or (errorHandler.buildDepError "process")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + (hsPkgs."strict" or (errorHandler.buildDepError "strict")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + ]; + buildable = true; + }; + }; + tests = { + "als-test" = { + depends = [ + (hsPkgs."Agda" or (errorHandler.buildDepError "Agda")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."lsp" or (errorHandler.buildDepError "lsp")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."network" or (errorHandler.buildDepError "network")) + (hsPkgs."network-simple" or (errorHandler.buildDepError "network-simple")) + (hsPkgs."process" or (errorHandler.buildDepError "process")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + (hsPkgs."strict" or (errorHandler.buildDepError "strict")) + (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) + (hsPkgs."tasty-golden" or (errorHandler.buildDepError "tasty-golden")) + (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) + (hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/bookhound-0.2.0-r0-59ff9c7d29c3075dde536b9409f4b12bc8ee1ff5c299c26dbac690eda95bae7e.nix b/hackage/bookhound-0.2.0-r0-59ff9c7d29c3075dde536b9409f4b12bc8ee1ff5c299c26dbac690eda95bae7e.nix new file mode 100644 index 00000000000..1b6608b43c8 --- /dev/null +++ b/hackage/bookhound-0.2.0-r0-59ff9c7d29c3075dde536b9409f4b12bc8ee1ff5c299c26dbac690eda95bae7e.nix @@ -0,0 +1,56 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.12"; + identifier = { name = "bookhound"; version = "0.2.0"; }; + license = "LicenseRef-LGPL"; + copyright = "2021 Alberto Perez Lopez"; + maintainer = "albertoperez1994@gmail.com"; + author = "Alberto Perez Lopez"; + homepage = "https://github.com/albertprz/bookhound#readme"; + url = ""; + synopsis = "Simple Parser Combinators"; + description = "Please see the README on GitHub at "; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + ]; + buildable = true; + }; + tests = { + "test" = { + depends = [ + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bookhound" or (errorHandler.buildDepError "bookhound")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."quickcheck-instances" or (errorHandler.buildDepError "quickcheck-instances")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + ]; + build-tools = [ + (hsPkgs.buildPackages.hspec-discover.components.exes.hspec-discover or (pkgs.buildPackages.hspec-discover or (errorHandler.buildToolDepError "hspec-discover:hspec-discover"))) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/bookhound-0.2.1-r0-9be2a243b62d5fcefeaf7bfef31d310570c7a4f9850d35796370ba61cb08369b.nix b/hackage/bookhound-0.2.1-r0-9be2a243b62d5fcefeaf7bfef31d310570c7a4f9850d35796370ba61cb08369b.nix new file mode 100644 index 00000000000..088db853de8 --- /dev/null +++ b/hackage/bookhound-0.2.1-r0-9be2a243b62d5fcefeaf7bfef31d310570c7a4f9850d35796370ba61cb08369b.nix @@ -0,0 +1,56 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.12"; + identifier = { name = "bookhound"; version = "0.2.1"; }; + license = "LicenseRef-LGPL"; + copyright = "2021 Alberto Perez Lopez"; + maintainer = "albertoperez1994@gmail.com"; + author = "Alberto Perez Lopez"; + homepage = "https://github.com/albertprz/bookhound#readme"; + url = ""; + synopsis = "Simple Parser Combinators"; + description = "Please see the README on GitHub at "; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + ]; + buildable = true; + }; + tests = { + "test" = { + depends = [ + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bookhound" or (errorHandler.buildDepError "bookhound")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."quickcheck-instances" or (errorHandler.buildDepError "quickcheck-instances")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + ]; + build-tools = [ + (hsPkgs.buildPackages.hspec-discover.components.exes.hspec-discover or (pkgs.buildPackages.hspec-discover or (errorHandler.buildToolDepError "hspec-discover:hspec-discover"))) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/bookhound-0.2.2-r0-4d440796d7f99e5971734c6ebde01c02adb4f768e8f740ca16cef96b3507e14e.nix b/hackage/bookhound-0.2.2-r0-4d440796d7f99e5971734c6ebde01c02adb4f768e8f740ca16cef96b3507e14e.nix new file mode 100644 index 00000000000..16c76e6288a --- /dev/null +++ b/hackage/bookhound-0.2.2-r0-4d440796d7f99e5971734c6ebde01c02adb4f768e8f740ca16cef96b3507e14e.nix @@ -0,0 +1,56 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.12"; + identifier = { name = "bookhound"; version = "0.2.2"; }; + license = "LicenseRef-LGPL"; + copyright = "2021 Alberto Perez Lopez"; + maintainer = "albertoperez1994@gmail.com"; + author = "Alberto Perez Lopez"; + homepage = "https://github.com/albertprz/bookhound#readme"; + url = ""; + synopsis = "Simple Parser Combinators"; + description = "Please see the README on GitHub at "; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + ]; + buildable = true; + }; + tests = { + "test" = { + depends = [ + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bookhound" or (errorHandler.buildDepError "bookhound")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."quickcheck-instances" or (errorHandler.buildDepError "quickcheck-instances")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + ]; + build-tools = [ + (hsPkgs.buildPackages.hspec-discover.components.exes.hspec-discover or (pkgs.buildPackages.hspec-discover or (errorHandler.buildToolDepError "hspec-discover:hspec-discover"))) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/constraints-extras-0.4.0.0-r2-9c9b79ddf3063a1dd73cfc07a350710895319ce68c413a6ccce995e52653f360.nix b/hackage/constraints-extras-0.4.0.0-r2-9c9b79ddf3063a1dd73cfc07a350710895319ce68c413a6ccce995e52653f360.nix new file mode 100644 index 00000000000..7dfb7f5ded5 --- /dev/null +++ b/hackage/constraints-extras-0.4.0.0-r2-9c9b79ddf3063a1dd73cfc07a350710895319ce68c413a6ccce995e52653f360.nix @@ -0,0 +1,46 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = { build-readme = true; }; + package = { + specVersion = "2.0"; + identifier = { name = "constraints-extras"; version = "0.4.0.0"; }; + license = "BSD-3-Clause"; + copyright = "Obsidian Systems LLC"; + maintainer = "maintainer@obsidian.systems"; + author = "Cale Gibbard, Ali Abrar"; + homepage = "https://github.com/obsidiansystems/constraints-extras"; + url = ""; + synopsis = "Utility package for constraints"; + description = "Convenience functions and TH for working with constraints. See for example usage."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."constraints" or (errorHandler.buildDepError "constraints")) + (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) + ]; + buildable = true; + }; + exes = { + "readme" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."constraints" or (errorHandler.buildDepError "constraints")) + (hsPkgs."constraints-extras" or (errorHandler.buildDepError "constraints-extras")) + ]; + buildable = if !flags.build-readme then false else true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/delaunayNd-0.1.0.2-r0-c1eaaaf1b73274360fbeb2e2c5e9ee1607f2143a4d7bc4bcbc31911f987d21ec.nix b/hackage/delaunayNd-0.1.0.2-r0-c1eaaaf1b73274360fbeb2e2c5e9ee1607f2143a4d7bc4bcbc31911f987d21ec.nix new file mode 100644 index 00000000000..93f2e29ac01 --- /dev/null +++ b/hackage/delaunayNd-0.1.0.2-r0-c1eaaaf1b73274360fbeb2e2c5e9ee1607f2143a4d7bc4bcbc31911f987d21ec.nix @@ -0,0 +1,39 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.2"; + identifier = { name = "delaunayNd"; version = "0.1.0.2"; }; + license = "GPL-3.0-only"; + copyright = "2023 Stéphane Laurent"; + maintainer = "laurent_step@outlook.fr"; + author = "Stéphane Laurent"; + homepage = "https://github.com/stla/delaunayNd#readme"; + url = ""; + synopsis = "Delaunay tessellation"; + description = "This library performs the Delaunay tessellation in arbitrary dimension.\n\nIt uses the C library 'qhull'.\n\nFor examples, look at the README file."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."extra" or (errorHandler.buildDepError "extra")) + (hsPkgs."ilist" or (errorHandler.buildDepError "ilist")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."insert-ordered-containers" or (errorHandler.buildDepError "insert-ordered-containers")) + (hsPkgs."Unique" or (errorHandler.buildDepError "Unique")) + ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/dependent-sum-0.7.2.0-r2-f1060345439b6949eae5a6b3cdb35c7189ff360f7b4d5fa617e4f1e0f847c424.nix b/hackage/dependent-sum-0.7.2.0-r2-f1060345439b6949eae5a6b3cdb35c7189ff360f7b4d5fa617e4f1e0f847c424.nix new file mode 100644 index 00000000000..c7480e2b00b --- /dev/null +++ b/hackage/dependent-sum-0.7.2.0-r2-f1060345439b6949eae5a6b3cdb35c7189ff360f7b4d5fa617e4f1e0f847c424.nix @@ -0,0 +1,35 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.22"; + identifier = { name = "dependent-sum"; version = "0.7.2.0"; }; + license = "LicenseRef-PublicDomain"; + copyright = ""; + maintainer = "Obsidian Systems, LLC "; + author = "James Cook "; + homepage = "https://github.com/obsidiansystems/dependent-sum"; + url = ""; + synopsis = "Dependent sum type"; + description = "A dependent sum is a generalization of a\nparticular way of thinking about the @Either@\ntype. @Either a b@ can be thought of as a\n2-tuple @(tag, value)@, where the value of the\ntag determines the type of the value. In\nparticular, either @tag = Left@ and @value :: a@\nor @tag = Right@ and @value :: b@.\n\nThis package allows you to define your own\ndependent sum types by using your own \\\"tag\\\"\ntypes."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."constraints-extras" or (errorHandler.buildDepError "constraints-extras")) + (hsPkgs."some" or (errorHandler.buildDepError "some")) + ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/exception-hierarchy-0.1.0.9-r0-626f778b99ab9dcd7ff4790a1b9af56124648a50fa4144c2b8b166f594760972.nix b/hackage/exception-hierarchy-0.1.0.9-r0-626f778b99ab9dcd7ff4790a1b9af56124648a50fa4144c2b8b166f594760972.nix new file mode 100644 index 00000000000..f99ed65fb68 --- /dev/null +++ b/hackage/exception-hierarchy-0.1.0.9-r0-626f778b99ab9dcd7ff4790a1b9af56124648a50fa4144c2b8b166f594760972.nix @@ -0,0 +1,34 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "exception-hierarchy"; version = "0.1.0.9"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "Yoshikuni Jujo "; + author = "Yoshikuni Jujo "; + homepage = "yet"; + url = ""; + synopsis = "Exception type hierarchy with TemplateHaskell"; + description = "see sample code in samples/"; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) + ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/hnix-0.17.0-r0-57e172f915d70be2dd88c6377caebe8bd63337123ffef42df49b05dc0b1f168b.nix b/hackage/hnix-0.17.0-r0-57e172f915d70be2dd88c6377caebe8bd63337123ffef42df49b05dc0b1f168b.nix new file mode 100644 index 00000000000..15b6be303b4 --- /dev/null +++ b/hackage/hnix-0.17.0-r0-57e172f915d70be2dd88c6377caebe8bd63337123ffef42df49b05dc0b1f168b.nix @@ -0,0 +1,171 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = { optimize = true; profiling = false; }; + package = { + specVersion = "2.2"; + identifier = { name = "hnix"; version = "0.17.0"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "johnw@newartisans.com"; + author = "John Wiegley"; + homepage = "https://github.com/haskell-nix/hnix#readme"; + url = ""; + synopsis = "Haskell implementation of the Nix language"; + description = "Haskell implementation of the Nix language."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."data-fix" or (errorHandler.buildDepError "data-fix")) + (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative")) + (hsPkgs."relude" or (errorHandler.buildDepError "relude")) + (hsPkgs."serialise" or (errorHandler.buildDepError "serialise")) + (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."array" or (errorHandler.buildDepError "array")) + (hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring")) + (hsPkgs."binary" or (errorHandler.buildDepError "binary")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."cryptonite" or (errorHandler.buildDepError "cryptonite")) + (hsPkgs."comonad" or (errorHandler.buildDepError "comonad")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."deriving-compat" or (errorHandler.buildDepError "deriving-compat")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."extra" or (errorHandler.buildDepError "extra")) + (hsPkgs."free" or (errorHandler.buildDepError "free")) + (hsPkgs."gitrev" or (errorHandler.buildDepError "gitrev")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."hashing" or (errorHandler.buildDepError "hashing")) + (hsPkgs."hnix-store-core" or (errorHandler.buildDepError "hnix-store-core")) + (hsPkgs."hnix-store-remote" or (errorHandler.buildDepError "hnix-store-remote")) + (hsPkgs."http-client" or (errorHandler.buildDepError "http-client")) + (hsPkgs."http-client-tls" or (errorHandler.buildDepError "http-client-tls")) + (hsPkgs."http-types" or (errorHandler.buildDepError "http-types")) + (hsPkgs."lens-family" or (errorHandler.buildDepError "lens-family")) + (hsPkgs."lens-family-core" or (errorHandler.buildDepError "lens-family-core")) + (hsPkgs."lens-family-th" or (errorHandler.buildDepError "lens-family-th")) + (hsPkgs."logict" or (errorHandler.buildDepError "logict")) + (hsPkgs."megaparsec" or (errorHandler.buildDepError "megaparsec")) + (hsPkgs."monad-control" or (errorHandler.buildDepError "monad-control")) + (hsPkgs."monadlist" or (errorHandler.buildDepError "monadlist")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."neat-interpolation" or (errorHandler.buildDepError "neat-interpolation")) + (hsPkgs."parser-combinators" or (errorHandler.buildDepError "parser-combinators")) + (hsPkgs."pretty-show" or (errorHandler.buildDepError "pretty-show")) + (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter")) + (hsPkgs."process" or (errorHandler.buildDepError "process")) + (hsPkgs."ref-tf" or (errorHandler.buildDepError "ref-tf")) + (hsPkgs."regex-tdfa" or (errorHandler.buildDepError "regex-tdfa")) + (hsPkgs."scientific" or (errorHandler.buildDepError "scientific")) + (hsPkgs."semialign" or (errorHandler.buildDepError "semialign")) + (hsPkgs."some" or (errorHandler.buildDepError "some")) + (hsPkgs."split" or (errorHandler.buildDepError "split")) + (hsPkgs."syb" or (errorHandler.buildDepError "syb")) + (hsPkgs."th-lift-instances" or (errorHandler.buildDepError "th-lift-instances")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."these" or (errorHandler.buildDepError "these")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."transformers-base" or (errorHandler.buildDepError "transformers-base")) + (hsPkgs."unix-compat" or (errorHandler.buildDepError "unix-compat")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + (hsPkgs."xml" or (errorHandler.buildDepError "xml")) + ]; + buildable = true; + }; + exes = { + "hnix" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."data-fix" or (errorHandler.buildDepError "data-fix")) + (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative")) + (hsPkgs."relude" or (errorHandler.buildDepError "relude")) + (hsPkgs."serialise" or (errorHandler.buildDepError "serialise")) + (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."hnix" or (errorHandler.buildDepError "hnix")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."comonad" or (errorHandler.buildDepError "comonad")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."free" or (errorHandler.buildDepError "free")) + (hsPkgs."haskeline" or (errorHandler.buildDepError "haskeline")) + (hsPkgs."pretty-show" or (errorHandler.buildDepError "pretty-show")) + (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter")) + (hsPkgs."ref-tf" or (errorHandler.buildDepError "ref-tf")) + (hsPkgs."repline" or (errorHandler.buildDepError "repline")) + ]; + buildable = if compiler.isGhc && (compiler.version).lt "8.10" + then false + else true; + }; + }; + tests = { + "hnix-tests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."data-fix" or (errorHandler.buildDepError "data-fix")) + (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative")) + (hsPkgs."relude" or (errorHandler.buildDepError "relude")) + (hsPkgs."serialise" or (errorHandler.buildDepError "serialise")) + (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."hnix" or (errorHandler.buildDepError "hnix")) + (hsPkgs."Diff" or (errorHandler.buildDepError "Diff")) + (hsPkgs."Glob" or (errorHandler.buildDepError "Glob")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."hedgehog" or (errorHandler.buildDepError "hedgehog")) + (hsPkgs."megaparsec" or (errorHandler.buildDepError "megaparsec")) + (hsPkgs."neat-interpolation" or (errorHandler.buildDepError "neat-interpolation")) + (hsPkgs."pretty-show" or (errorHandler.buildDepError "pretty-show")) + (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter")) + (hsPkgs."process" or (errorHandler.buildDepError "process")) + (hsPkgs."split" or (errorHandler.buildDepError "split")) + (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) + (hsPkgs."tasty-hedgehog" or (errorHandler.buildDepError "tasty-hedgehog")) + (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) + (hsPkgs."tasty-th" or (errorHandler.buildDepError "tasty-th")) + (hsPkgs."unix-compat" or (errorHandler.buildDepError "unix-compat")) + ]; + buildable = true; + }; + }; + benchmarks = { + "hnix-benchmarks" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."data-fix" or (errorHandler.buildDepError "data-fix")) + (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative")) + (hsPkgs."relude" or (errorHandler.buildDepError "relude")) + (hsPkgs."serialise" or (errorHandler.buildDepError "serialise")) + (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."hnix" or (errorHandler.buildDepError "hnix")) + (hsPkgs."criterion" or (errorHandler.buildDepError "criterion")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/io-classes-1.3.1.0-r0-cf0f85fb8e41d37b44bf2b5f4187e8348b3968ff7ca421d558ed00859763b06a.nix b/hackage/io-classes-1.3.1.0-r0-cf0f85fb8e41d37b44bf2b5f4187e8348b3968ff7ca421d558ed00859763b06a.nix new file mode 100644 index 00000000000..2a4ff839f83 --- /dev/null +++ b/hackage/io-classes-1.3.1.0-r0-cf0f85fb8e41d37b44bf2b5f4187e8348b3968ff7ca421d558ed00859763b06a.nix @@ -0,0 +1,39 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = { asserts = false; }; + package = { + specVersion = "3.0"; + identifier = { name = "io-classes"; version = "1.3.1.0"; }; + license = "Apache-2.0"; + copyright = "2019-2023 Input Output Global Inc (IOG)"; + maintainer = "Duncan Coutts duncan@well-typed.com, Marcin Szamotulski coot@coot.me"; + author = "Alexander Vieth, Duncan Coutts, Marcin Szamotulski, Thomas Winant"; + homepage = ""; + url = ""; + synopsis = "Type classes for concurrency with STM, ST and timing"; + description = "IO Monad class hierarchy compatible with\n[io-sim](https://hackage.haskell.org/package/io-sim), 'base', 'async',\n'stm', 'exceptions' & 'time' packages."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."array" or (errorHandler.buildDepError "array")) + (hsPkgs."async" or (errorHandler.buildDepError "async")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/io-sim-1.3.1.0-r0-f00a1259ae61b98883157411ad1239737763b47be582cc87f3d2fb86af8c63de.nix b/hackage/io-sim-1.3.1.0-r0-f00a1259ae61b98883157411ad1239737763b47be582cc87f3d2fb86af8c63de.nix new file mode 100644 index 00000000000..3d90ff5ef53 --- /dev/null +++ b/hackage/io-sim-1.3.1.0-r0-f00a1259ae61b98883157411ad1239737763b47be582cc87f3d2fb86af8c63de.nix @@ -0,0 +1,74 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = { asserts = false; }; + package = { + specVersion = "3.0"; + identifier = { name = "io-sim"; version = "1.3.1.0"; }; + license = "Apache-2.0"; + copyright = "2022-2023 Input Output Global Inc (IOG)"; + maintainer = "Duncan Coutts duncan@well-typed.com, Marcin Szamotulski coot@coot.me"; + author = "Alexander Vieth, Duncan Coutts, John Hughes, Marcin Szamotulski"; + homepage = ""; + url = ""; + synopsis = "A pure simulator for monadic concurrency with STM."; + description = "A pure simulator monad with support of concurency (base, async), stm,\nsynchronous and asynchronous exceptions, timeouts & delays, dynamic traces,\nand more."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."io-classes" or (errorHandler.buildDepError "io-classes")) + (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."nothunks" or (errorHandler.buildDepError "nothunks")) + (hsPkgs."psqueues" or (errorHandler.buildDepError "psqueues")) + (hsPkgs."strict-stm" or (errorHandler.buildDepError "strict-stm")) + (hsPkgs."si-timers" or (errorHandler.buildDepError "si-timers")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."quiet" or (errorHandler.buildDepError "quiet")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + ]; + buildable = true; + }; + tests = { + "test" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."array" or (errorHandler.buildDepError "array")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."io-classes" or (errorHandler.buildDepError "io-classes")) + (hsPkgs."io-sim" or (errorHandler.buildDepError "io-sim")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."si-timers" or (errorHandler.buildDepError "si-timers")) + (hsPkgs."strict-stm" or (errorHandler.buildDepError "strict-stm")) + (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) + (hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) + (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + ]; + buildable = true; + }; + }; + benchmarks = { + "bench" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."criterion" or (errorHandler.buildDepError "criterion")) + (hsPkgs."io-classes" or (errorHandler.buildDepError "io-classes")) + (hsPkgs."io-sim" or (errorHandler.buildDepError "io-sim")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/io-sim-1.3.1.0-r1-65a406a6a9446fdcfec8adc1a6aa9c55c223742d6ae120d8c16ea53e8cde3609.nix b/hackage/io-sim-1.3.1.0-r1-65a406a6a9446fdcfec8adc1a6aa9c55c223742d6ae120d8c16ea53e8cde3609.nix new file mode 100644 index 00000000000..3d90ff5ef53 --- /dev/null +++ b/hackage/io-sim-1.3.1.0-r1-65a406a6a9446fdcfec8adc1a6aa9c55c223742d6ae120d8c16ea53e8cde3609.nix @@ -0,0 +1,74 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = { asserts = false; }; + package = { + specVersion = "3.0"; + identifier = { name = "io-sim"; version = "1.3.1.0"; }; + license = "Apache-2.0"; + copyright = "2022-2023 Input Output Global Inc (IOG)"; + maintainer = "Duncan Coutts duncan@well-typed.com, Marcin Szamotulski coot@coot.me"; + author = "Alexander Vieth, Duncan Coutts, John Hughes, Marcin Szamotulski"; + homepage = ""; + url = ""; + synopsis = "A pure simulator for monadic concurrency with STM."; + description = "A pure simulator monad with support of concurency (base, async), stm,\nsynchronous and asynchronous exceptions, timeouts & delays, dynamic traces,\nand more."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."io-classes" or (errorHandler.buildDepError "io-classes")) + (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."nothunks" or (errorHandler.buildDepError "nothunks")) + (hsPkgs."psqueues" or (errorHandler.buildDepError "psqueues")) + (hsPkgs."strict-stm" or (errorHandler.buildDepError "strict-stm")) + (hsPkgs."si-timers" or (errorHandler.buildDepError "si-timers")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."quiet" or (errorHandler.buildDepError "quiet")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + ]; + buildable = true; + }; + tests = { + "test" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."array" or (errorHandler.buildDepError "array")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."io-classes" or (errorHandler.buildDepError "io-classes")) + (hsPkgs."io-sim" or (errorHandler.buildDepError "io-sim")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."si-timers" or (errorHandler.buildDepError "si-timers")) + (hsPkgs."strict-stm" or (errorHandler.buildDepError "strict-stm")) + (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) + (hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) + (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + ]; + buildable = true; + }; + }; + benchmarks = { + "bench" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."criterion" or (errorHandler.buildDepError "criterion")) + (hsPkgs."io-classes" or (errorHandler.buildDepError "io-classes")) + (hsPkgs."io-sim" or (errorHandler.buildDepError "io-sim")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/mappings-0.2.0.0-r0-5340c08ad311fc4d90562feebc674ca20746fdd0c436bd8c791cd25109ec35c4.nix b/hackage/mappings-0.2.0.0-r0-5340c08ad311fc4d90562feebc674ca20746fdd0c436bd8c791cd25109ec35c4.nix new file mode 100644 index 00000000000..4cdf4c6e3b8 --- /dev/null +++ b/hackage/mappings-0.2.0.0-r0-5340c08ad311fc4d90562feebc674ca20746fdd0c436bd8c791cd25109ec35c4.nix @@ -0,0 +1,67 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.2"; + identifier = { name = "mappings"; version = "0.2.0.0"; }; + license = "BSD-3-Clause"; + copyright = "2023 James Cranch"; + maintainer = "j.d.cranch@sheffield.ac.uk"; + author = "James Cranch"; + homepage = "https://github.com/jcranch/mapping#readme"; + url = ""; + synopsis = "Types which represent functions k -> v"; + description = "Please read README.md on github"; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."cond" or (errorHandler.buildDepError "cond")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."formatting" or (errorHandler.buildDepError "formatting")) + (hsPkgs."indexed-traversable" or (errorHandler.buildDepError "indexed-traversable")) + (hsPkgs."partialord" or (errorHandler.buildDepError "partialord")) + ]; + buildable = true; + }; + exes = { + "view" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."cond" or (errorHandler.buildDepError "cond")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."formatting" or (errorHandler.buildDepError "formatting")) + (hsPkgs."indexed-traversable" or (errorHandler.buildDepError "indexed-traversable")) + (hsPkgs."mappings" or (errorHandler.buildDepError "mappings")) + (hsPkgs."partialord" or (errorHandler.buildDepError "partialord")) + ]; + buildable = true; + }; + }; + tests = { + "mapping" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."cond" or (errorHandler.buildDepError "cond")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."formatting" or (errorHandler.buildDepError "formatting")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."indexed-traversable" or (errorHandler.buildDepError "indexed-traversable")) + (hsPkgs."mappings" or (errorHandler.buildDepError "mappings")) + (hsPkgs."partialord" or (errorHandler.buildDepError "partialord")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/nix-derivation-1.1.3-r0-85efc092e899e7fa81bdfdac044a1fadc01751eeff596c077b86caf584c711c1.nix b/hackage/nix-derivation-1.1.3-r0-85efc092e899e7fa81bdfdac044a1fadc01751eeff596c077b86caf584c711c1.nix new file mode 100644 index 00000000000..5ec42bd3bef --- /dev/null +++ b/hackage/nix-derivation-1.1.3-r0-85efc092e899e7fa81bdfdac044a1fadc01751eeff596c077b86caf584c711c1.nix @@ -0,0 +1,86 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "nix-derivation"; version = "1.1.3"; }; + license = "BSD-3-Clause"; + copyright = "2017 Gabriella Gonzalez"; + maintainer = "GenuineGabriella@gmail.com"; + author = "Gabriella Gonzalez"; + homepage = ""; + url = ""; + synopsis = "Parse and render *.drv files"; + description = "Use this package to parse and render Nix derivation files (i.e. *.drv files)\n\nThis package also provides a @pretty-derivation@ executable which reads a\nderivation on standard input and outputs the pretty-printed Haskell\nrepresentation on standard output"; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + ]; + buildable = true; + }; + exes = { + "pretty-derivation" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec")) + (hsPkgs."pretty-show" or (errorHandler.buildDepError "pretty-show")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."nix-derivation" or (errorHandler.buildDepError "nix-derivation")) + ]; + buildable = true; + }; + }; + tests = { + "example" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec")) + (hsPkgs."nix-derivation" or (errorHandler.buildDepError "nix-derivation")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + ]; + buildable = true; + }; + "property" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec")) + (hsPkgs."nix-derivation" or (errorHandler.buildDepError "nix-derivation")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + ]; + buildable = true; + }; + }; + benchmarks = { + "benchmark" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec")) + (hsPkgs."criterion" or (errorHandler.buildDepError "criterion")) + (hsPkgs."nix-derivation" or (errorHandler.buildDepError "nix-derivation")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/openapi3-3.2.4-r0-fee67671d71b082226f82e33516e903d451e9b9095f23c58d792970d58820381.nix b/hackage/openapi3-3.2.4-r0-fee67671d71b082226f82e33516e903d451e9b9095f23c58d792970d58820381.nix new file mode 100644 index 00000000000..9bc301aecb0 --- /dev/null +++ b/hackage/openapi3-3.2.4-r0-fee67671d71b082226f82e33516e903d451e9b9095f23c58d792970d58820381.nix @@ -0,0 +1,114 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "openapi3"; version = "3.2.4"; }; + license = "BSD-3-Clause"; + copyright = "(c) 2015-2016, GetShopTV, (c) 2020, Biocad"; + maintainer = "nickolay@getshoptv.com, kolmax94@gmail.com"; + author = "Nickolay Kudasov, Maxim Koltsov"; + homepage = "https://github.com/biocad/openapi3"; + url = ""; + synopsis = "OpenAPI 3.0 data model"; + description = "This library is intended to be used for decoding and encoding OpenAPI 3.0 API\nspecifications as well as manipulating them.\n\nThe original OpenAPI 3.0 specification is available at http://swagger.io/specification/."; + buildType = "Custom"; + setup-depends = [ + (hsPkgs.buildPackages.base or (pkgs.buildPackages.base or (errorHandler.setupDepError "base"))) + (hsPkgs.buildPackages.Cabal or (pkgs.buildPackages.Cabal or (errorHandler.setupDepError "Cabal"))) + (hsPkgs.buildPackages.cabal-doctest or (pkgs.buildPackages.cabal-doctest or (errorHandler.setupDepError "cabal-doctest"))) + ]; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) + (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."base-compat-batteries" or (errorHandler.buildDepError "base-compat-batteries")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."aeson-pretty" or (errorHandler.buildDepError "aeson-pretty")) + (hsPkgs."cookie" or (errorHandler.buildDepError "cookie")) + (hsPkgs."generics-sop" or (errorHandler.buildDepError "generics-sop")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."http-media" or (errorHandler.buildDepError "http-media")) + (hsPkgs."insert-ordered-containers" or (errorHandler.buildDepError "insert-ordered-containers")) + (hsPkgs."lens" or (errorHandler.buildDepError "lens")) + (hsPkgs."optics-core" or (errorHandler.buildDepError "optics-core")) + (hsPkgs."optics-th" or (errorHandler.buildDepError "optics-th")) + (hsPkgs."scientific" or (errorHandler.buildDepError "scientific")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + (hsPkgs."uuid-types" or (errorHandler.buildDepError "uuid-types")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + ]; + buildable = true; + }; + exes = { + "example" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."lens" or (errorHandler.buildDepError "lens")) + (hsPkgs."openapi3" or (errorHandler.buildDepError "openapi3")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + ]; + buildable = true; + }; + }; + tests = { + "spec" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."base-compat-batteries" or (errorHandler.buildDepError "base-compat-batteries")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."insert-ordered-containers" or (errorHandler.buildDepError "insert-ordered-containers")) + (hsPkgs."lens" or (errorHandler.buildDepError "lens")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."openapi3" or (errorHandler.buildDepError "openapi3")) + (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) + (hsPkgs."quickcheck-instances" or (errorHandler.buildDepError "quickcheck-instances")) + (hsPkgs."utf8-string" or (errorHandler.buildDepError "utf8-string")) + ]; + build-tools = [ + (hsPkgs.buildPackages.hspec-discover.components.exes.hspec-discover or (pkgs.buildPackages.hspec-discover or (errorHandler.buildToolDepError "hspec-discover:hspec-discover"))) + ]; + buildable = true; + }; + "doctests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."doctest" or (errorHandler.buildDepError "doctest")) + (hsPkgs."Glob" or (errorHandler.buildDepError "Glob")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."openapi3" or (errorHandler.buildDepError "openapi3")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/optparse-generic-1.5.2-r0-81b995aeecaf343f3f0c279bd252411b66c43c721ca8d5a5aab0e05f01a7c66e.nix b/hackage/optparse-generic-1.5.2-r0-81b995aeecaf343f3f0c279bd252411b66c43c721ca8d5a5aab0e05f01a7c66e.nix new file mode 100644 index 00000000000..c528d6293d3 --- /dev/null +++ b/hackage/optparse-generic-1.5.2-r0-81b995aeecaf343f3f0c279bd252411b66c43c721ca8d5a5aab0e05f01a7c66e.nix @@ -0,0 +1,62 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "optparse-generic"; version = "1.5.2"; }; + license = "BSD-3-Clause"; + copyright = "2016 Gabriella Gonzalez"; + maintainer = "GenuineGabriella@gmail.com"; + author = "Gabriella Gonzalez"; + homepage = ""; + url = ""; + synopsis = "Auto-generate a command-line parser for your datatype"; + description = "This library auto-generates an @optparse-applicative@-compatible\n@Parser@ from any data type that derives the @Generic@ interface.\n\nSee the documentation in \"Options.Generic\" for an example of how to use\nthis library"; + buildType = "Simple"; + }; + components = { + "library" = { + depends = ([ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."transformers-compat" or (errorHandler.buildDepError "transformers-compat")) + (hsPkgs."Only" or (errorHandler.buildDepError "Only")) + (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."void" or (errorHandler.buildDepError "void")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + ] ++ (pkgs.lib).optional (compiler.isGhc && (compiler.version).lt "8.0") (hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups"))) ++ (pkgs.lib).optionals (compiler.isGhc && (compiler.version).lt "7.8") [ + (hsPkgs."singletons" or (errorHandler.buildDepError "singletons")) + (hsPkgs."tagged" or (errorHandler.buildDepError "tagged")) + (hsPkgs."th-desugar" or (errorHandler.buildDepError "th-desugar")) + ]; + buildable = true; + }; + exes = { + "optparse-generic-example-unwrap-options" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."optparse-generic" or (errorHandler.buildDepError "optparse-generic")) + ]; + buildable = true; + }; + "optparse-generic-example-unwrap-with-help" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."optparse-generic" or (errorHandler.buildDepError "optparse-generic")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/pandoc-link-context-1.4.1.0-r0-91e8919c3fa556bead9f335355d5366bbcc8520aaf63a15087f0db831cb461cc.nix b/hackage/pandoc-link-context-1.4.1.0-r0-91e8919c3fa556bead9f335355d5366bbcc8520aaf63a15087f0db831cb461cc.nix new file mode 100644 index 00000000000..e8015905d6f --- /dev/null +++ b/hackage/pandoc-link-context-1.4.1.0-r0-91e8919c3fa556bead9f335355d5366bbcc8520aaf63a15087f0db831cb461cc.nix @@ -0,0 +1,37 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.2"; + identifier = { name = "pandoc-link-context"; version = "1.4.1.0"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "srid@srid.ca"; + author = "Sridhar Ratnakumar"; + homepage = ""; + url = ""; + synopsis = "Extract \"contextual links\" from Pandoc"; + description = "A library to pull out all links with their surrounding context in your Pandoc documents. Useful for software dealing with wiki-links and Zettelkasten."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."pandoc-types" or (errorHandler.buildDepError "pandoc-types")) + (hsPkgs."relude" or (errorHandler.buildDepError "relude")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/pipes-safe-2.3.5-r2-5efa3607d5744ffd174e33ed41cffd1840374b140ef0558601610594f193de13.nix b/hackage/pipes-safe-2.3.5-r2-5efa3607d5744ffd174e33ed41cffd1840374b140ef0558601610594f193de13.nix new file mode 100644 index 00000000000..59bbb162cb8 --- /dev/null +++ b/hackage/pipes-safe-2.3.5-r2-5efa3607d5744ffd174e33ed41cffd1840374b140ef0558601610594f193de13.nix @@ -0,0 +1,41 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "pipes-safe"; version = "2.3.5"; }; + license = "BSD-3-Clause"; + copyright = "2013, 2014 Gabriella Gonzalez"; + maintainer = "GenuineGabriella@gmail.com"; + author = "Gabriella Gonzalez"; + homepage = ""; + url = ""; + synopsis = "Safety for the pipes ecosystem"; + description = "This package adds resource management and exception handling to the @pipes@\necosystem.\n\nNotable features include:\n\n* /Resource Safety/: Guarantee finalization using @finally@, @bracket@ and\nmore\n\n* /Exception Safety/: Even against asynchronous exceptions!\n\n* /Laziness/: Only acquire resources when you need them\n\n* /Promptness/: Finalize resources early when you are done with them\n\n* /Native Exception Handling/: Catch and resume from exceptions inside pipes\n\n* /No Buy-in/: Mix resource-safe pipes with unmanaged pipes using @hoist@"; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."transformers-base" or (errorHandler.buildDepError "transformers-base")) + (hsPkgs."monad-control" or (errorHandler.buildDepError "monad-control")) + (hsPkgs."primitive" or (errorHandler.buildDepError "primitive")) + (hsPkgs."pipes" or (errorHandler.buildDepError "pipes")) + ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/postgresql-simple-url-0.2.1.0-r9-84ea66d3b5add41becb9ae6e2a4e38147566524c86e0f7bbb3acc0cd485dffa1.nix b/hackage/postgresql-simple-url-0.2.1.0-r9-84ea66d3b5add41becb9ae6e2a4e38147566524c86e0f7bbb3acc0cd485dffa1.nix new file mode 100644 index 00000000000..57ebe00f47c --- /dev/null +++ b/hackage/postgresql-simple-url-0.2.1.0-r9-84ea66d3b5add41becb9ae6e2a4e38147566524c86e0f7bbb3acc0cd485dffa1.nix @@ -0,0 +1,48 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "postgresql-simple-url"; version = "0.2.1.0"; }; + license = "MIT"; + copyright = "Copyright © 2014-2018 Futurice OY, Oleg Grenrus"; + maintainer = "Oleg Grenrus "; + author = "Oleg Grenrus"; + homepage = "https://github.com/futurice/postgresql-simple-url"; + url = ""; + synopsis = "Parse postgres:// url into ConnectInfo"; + description = "The 'Database.PostgreSQL.Simple.URL' module in this package exports\ntwo helper functions 'parseDatabaseUrl' and 'urlToConnectInfo' to\nconstruct 'ConnectInfo' from URI (or string).\n\n@\n>>> parseDatabaseUrl \"postgres://foo:bar@example.com:2345/database\"\nJust (ConnectInfo \"example.com\" 2345 \"foo\" \"bar\" \"database\")\n@"; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."network-uri" or (errorHandler.buildDepError "network-uri")) + (hsPkgs."postgresql-simple" or (errorHandler.buildDepError "postgresql-simple")) + (hsPkgs."split" or (errorHandler.buildDepError "split")) + ]; + buildable = true; + }; + tests = { + "test" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."postgresql-simple" or (errorHandler.buildDepError "postgresql-simple")) + (hsPkgs."postgresql-simple-url" or (errorHandler.buildDepError "postgresql-simple-url")) + (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) + (hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/regression-simple-0.2.1-r1-a6338a5a048db419cde21fb403df9f4df3508145f939350a15b3e0b9d8ee39d7.nix b/hackage/regression-simple-0.2.1-r1-a6338a5a048db419cde21fb403df9f4df3508145f939350a15b3e0b9d8ee39d7.nix new file mode 100644 index 00000000000..5e38e80044d --- /dev/null +++ b/hackage/regression-simple-0.2.1-r1-a6338a5a048db419cde21fb403df9f4df3508145f939350a15b3e0b9d8ee39d7.nix @@ -0,0 +1,56 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.4"; + identifier = { name = "regression-simple"; version = "0.2.1"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "Oleg Grenrus "; + author = ""; + homepage = "https://github.com/phadej/regression-simple"; + url = ""; + synopsis = "Simple linear and quadratic regression"; + description = "A simple package with a module for\n\n* linear and quadratic regression\n\n* linear and quadratic zeros formula\n\n* some 2d and 3d linear algebra\n\nAll specialized to @Double@."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + ] ++ (pkgs.lib).optional (!(compiler.isGhc && (compiler.version).ge "8.0")) (hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups")); + buildable = true; + }; + tests = { + "generate-test-data" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."splitmix" or (errorHandler.buildDepError "splitmix")) + ]; + buildable = true; + }; + "regression-simple-tests" = { + depends = ([ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."regression-simple" or (errorHandler.buildDepError "regression-simple")) + (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) + (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) + ] ++ (pkgs.lib).optionals (compiler.isGhc && (compiler.version).ge "7.4") [ + (hsPkgs."ad" or (errorHandler.buildDepError "ad")) + (hsPkgs."math-functions" or (errorHandler.buildDepError "math-functions")) + (hsPkgs."statistics" or (errorHandler.buildDepError "statistics")) + ]) ++ (pkgs.lib).optional (!(compiler.isGhc && (compiler.version).ge "8.0")) (hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups")); + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/skew-list-0.1-r2-4f43be2bd35dfef02bef498ebab116ccabafaaca983d4beb0ea338d3dc5a15ce.nix b/hackage/skew-list-0.1-r2-4f43be2bd35dfef02bef498ebab116ccabafaaca983d4beb0ea338d3dc5a15ce.nix new file mode 100644 index 00000000000..7c1c6a0dfcf --- /dev/null +++ b/hackage/skew-list-0.1-r2-4f43be2bd35dfef02bef498ebab116ccabafaaca983d4beb0ea338d3dc5a15ce.nix @@ -0,0 +1,65 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.2"; + identifier = { name = "skew-list"; version = "0.1"; }; + license = "BSD-3-Clause"; + copyright = "(c) 2022 Oleg Grenrus"; + maintainer = "Oleg.Grenrus "; + author = "Oleg Grenrus "; + homepage = "https://github.com/phadej/skew-list"; + url = ""; + synopsis = "Random access lists: skew binary"; + description = "This package provides ordinary random access list, 'SkewList'\nimplemented using skew binary approach.\n\nIt's worth comparing to ordinary lists, binary random access list (as in @ral@ package) and vectors (@vector@ package)\nacross two operations: indexing and consing.\n\n+------------------------------+------------+----------+\n| | Consing | Indexing |\n+------------------------------+------------+----------+\n| Ordinary list, @[a]@ | O(1) | O(n) |\n+------------------------------+------------+----------+\n| Binary list, @RAList a@ | O(log n) | O(log n) |\n+------------------------------+------------+----------+\n| Vector, @Vector@ | O(n) | O(1) |\n+------------------------------+------------+----------+\n| Sequence, @Seq@ | O(1) | O(log n) |\n+------------------------------+------------+----------+\n| Skew binary list, @SkewList@ | O(1) | O(log n) |\n+------------------------------+------------+----------+\n\n@SkewList@ improves upon ordinary list, the cons operation is still\nconstant time (though with higher constant factor), but indexing\ncan be done in a logarithmic time.\n\nBinary list cons is slower, as it might need to walk over whole\n/log n/ sized structure.\n\n@Vector@ is the other end of trade-off spectrum: indexing is constant time\noperation, but consing a new element will need to copy whole spine.\n\n@Seq@ from \"Data.Sequence\" has similar (but amortized) complexity bounds for\ncons and index as @SkewList@. However (it seems) that indexing is quicker for\n@SkewList@ in practice. Also @SkewList@ has strict spine.\nOn the other hand, @Seq@ has quick append if you need that.\n\nIf you need both: fast consing and index, consider using @SkewList@."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."indexed-traversable" or (errorHandler.buildDepError "indexed-traversable")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."strict" or (errorHandler.buildDepError "strict")) + ]; + buildable = true; + }; + tests = { + "skew-list-tests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."indexed-traversable" or (errorHandler.buildDepError "indexed-traversable")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."skew-list" or (errorHandler.buildDepError "skew-list")) + (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 = { + "skew-list-bench" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."criterion" or (errorHandler.buildDepError "criterion")) + (hsPkgs."ral" or (errorHandler.buildDepError "ral")) + (hsPkgs."skew-list" or (errorHandler.buildDepError "skew-list")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/smtlib-backends-0.3-r1-69977f97a8db2c11e97bde92fff7e86e793c1fb23827b284bf89938ee463fbf0.nix b/hackage/smtlib-backends-0.3-r1-69977f97a8db2c11e97bde92fff7e86e793c1fb23827b284bf89938ee463fbf0.nix new file mode 100644 index 00000000000..0be810d10dc --- /dev/null +++ b/hackage/smtlib-backends-0.3-r1-69977f97a8db2c11e97bde92fff7e86e793c1fb23827b284bf89938ee463fbf0.nix @@ -0,0 +1,34 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "smtlib-backends"; version = "0.3"; }; + license = "MIT"; + copyright = ""; + maintainer = "quentin.aristote@tweag.io"; + author = "Quentin Aristote"; + homepage = ""; + url = ""; + synopsis = "Low-level functions for SMT-LIB-based interaction with SMT solvers. "; + description = "This library provides an extensible interface for interacting with SMT solvers\nusing SMT-LIB. The smtlib-backends-process package provides a backend that\nruns solvers as external processes, and the smtlib-backends-z3 package\nprovides a backend that uses inlined calls to Z3's C API."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/smtlib-backends-process-0.3-r1-3eee93e91f41c8a2fb2699e95b502a24d8053485ccf7749e2766683d1ebfe11d.nix b/hackage/smtlib-backends-process-0.3-r1-3eee93e91f41c8a2fb2699e95b502a24d8053485ccf7749e2766683d1ebfe11d.nix new file mode 100644 index 00000000000..625d0fc4797 --- /dev/null +++ b/hackage/smtlib-backends-process-0.3-r1-3eee93e91f41c8a2fb2699e95b502a24d8053485ccf7749e2766683d1ebfe11d.nix @@ -0,0 +1,52 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "smtlib-backends-process"; version = "0.3"; }; + license = "MIT"; + copyright = ""; + maintainer = "quentin.aristote@tweag.io"; + author = "Quentin Aristote"; + homepage = ""; + url = ""; + synopsis = "An SMT-LIB backend running solvers as external processes."; + description = "This library implements an SMT-LIB backend (in the sense of the\nsmtlib-backends package) which runs solvers as external processes."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."process" or (errorHandler.buildDepError "process")) + (hsPkgs."smtlib-backends" or (errorHandler.buildDepError "smtlib-backends")) + ]; + buildable = true; + }; + tests = { + "test" = { + depends = [ + (hsPkgs."async" or (errorHandler.buildDepError "async")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."process" or (errorHandler.buildDepError "process")) + (hsPkgs."smtlib-backends" or (errorHandler.buildDepError "smtlib-backends")) + (hsPkgs."smtlib-backends-process" or (errorHandler.buildDepError "smtlib-backends-process")) + (hsPkgs."smtlib-backends-tests" or (errorHandler.buildDepError "smtlib-backends-tests")) + (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/smtlib-backends-tests-0.3-r1-4d03fd8125851b35f49084c21e7906c9105fc53ccfe75824c63586fb5872ab46.nix b/hackage/smtlib-backends-tests-0.3-r1-4d03fd8125851b35f49084c21e7906c9105fc53ccfe75824c63586fb5872ab46.nix new file mode 100644 index 00000000000..f8815c07ebe --- /dev/null +++ b/hackage/smtlib-backends-tests-0.3-r1-4d03fd8125851b35f49084c21e7906c9105fc53ccfe75824c63586fb5872ab46.nix @@ -0,0 +1,36 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "smtlib-backends-tests"; version = "0.3"; }; + license = "MIT"; + copyright = ""; + maintainer = "quentin.aristote@tweag.io"; + author = "Quentin Aristote"; + homepage = ""; + url = ""; + synopsis = "Testing SMT-LIB backends."; + description = "This library provides common functions and values used for testing SMT-LIB\nbackends, as provided by the smtlib-backends library."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."smtlib-backends" or (errorHandler.buildDepError "smtlib-backends")) + (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/smtlib-backends-z3-0.3-r1-b748fafd29eed0ea3f9e3924053c080196fad1eee5a73abc2f52e91f1dc19224.nix b/hackage/smtlib-backends-z3-0.3-r1-b748fafd29eed0ea3f9e3924053c080196fad1eee5a73abc2f52e91f1dc19224.nix new file mode 100644 index 00000000000..a78f98e7006 --- /dev/null +++ b/hackage/smtlib-backends-z3-0.3-r1-b748fafd29eed0ea3f9e3924053c080196fad1eee5a73abc2f52e91f1dc19224.nix @@ -0,0 +1,56 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "smtlib-backends-z3"; version = "0.3"; }; + license = "MIT"; + copyright = ""; + maintainer = "quentin.aristote@tweag.io"; + author = "Quentin Aristote"; + homepage = ""; + url = ""; + synopsis = "An SMT-LIB backend implemented using Z3's C API."; + description = "This library implements an SMT-LIB backend (in the sense of the smtlib-backends\npackage) using inlined calls to Z3's C API. It is thus in particular faster\nthan the standard backends relying on running solvers as external processes, as\nthe OS doesn't need to spawn processes and handle pipes between them."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."smtlib-backends" or (errorHandler.buildDepError "smtlib-backends")) + ]; + libs = if system.isOsx || system.isWindows + then [ (pkgs."z3" or (errorHandler.sysDepError "z3")) ] + else [ + (pkgs."gomp" or (errorHandler.sysDepError "gomp")) + (pkgs."z3" or (errorHandler.sysDepError "z3")) + (pkgs."gomp" or (errorHandler.sysDepError "gomp")) + ]; + buildable = true; + }; + tests = { + "test" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."smtlib-backends" or (errorHandler.buildDepError "smtlib-backends")) + (hsPkgs."smtlib-backends-tests" or (errorHandler.buildDepError "smtlib-backends-tests")) + (hsPkgs."smtlib-backends-z3" or (errorHandler.buildDepError "smtlib-backends-z3")) + (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/vertexenum-0.1.1.0-r0-eb96d4dffbe95e316774a3907afcd7d4434b78f4d4d4fe1bd0e3752cf586a419.nix b/hackage/vertexenum-0.1.1.0-r0-eb96d4dffbe95e316774a3907afcd7d4434b78f4d4d4fe1bd0e3752cf586a419.nix new file mode 100644 index 00000000000..8d93c3af5f2 --- /dev/null +++ b/hackage/vertexenum-0.1.1.0-r0-eb96d4dffbe95e316774a3907afcd7d4434b78f4d4d4fe1bd0e3752cf586a419.nix @@ -0,0 +1,47 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.2"; + identifier = { name = "vertexenum"; version = "0.1.1.0"; }; + license = "GPL-3.0-only"; + copyright = "2023 Stéphane Laurent"; + maintainer = "laurent_step@outlook.fr"; + author = "Stéphane Laurent"; + homepage = "https://github.com/stla/vertexenum#readme"; + url = ""; + synopsis = "Vertex enumeration"; + description = "Vertex enumeration of convex polytopes given by linear inequalities."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."hmatrix-glpk" or (errorHandler.buildDepError "hmatrix-glpk")) + (hsPkgs."vector-space" or (errorHandler.buildDepError "vector-space")) + ]; + buildable = true; + }; + tests = { + "unit-tests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) + (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) + (hsPkgs."vertexenum" or (errorHandler.buildDepError "vertexenum")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/index-state-hashes.nix b/index-state-hashes.nix index faa62734279..f3a458463cf 100644 --- a/index-state-hashes.nix +++ b/index-state-hashes.nix @@ -1694,4 +1694,5 @@ "2023-11-18T00:00:00Z" = "f4c1f1f53bf717a096c6a8a287b038e836451a68a9f4639acce63a899c501bf3"; "2023-11-19T00:00:00Z" = "8bddcbc07829ef2bc7b32c5f7967a0c895ca58159494f775980082e8ee1f183d"; "2023-11-20T00:00:00Z" = "57bb4f2b5961aaad56087229b9937b8e3bbec74fb32caaac36daba78f9f9718c"; + "2023-11-21T00:00:00Z" = "267b82fe50948b6fb21b5378128c044deb62edb1405f6c3f9c0f666bd4487066"; } diff --git a/nix/agda-language-server.nix b/nix/agda-language-server.nix index 73759b0fdd9..dabdc1e40e6 100644 --- a/nix/agda-language-server.nix +++ b/nix/agda-language-server.nix @@ -29,7 +29,12 @@ revNum = 0; sha256 = "ea651b19ea29455c1ecd2359764fb9c83cd9e04094cf4d94241ae4e650672815"; }; - default = "r0"; + r1 = { + nix = import ../hackage/agda-language-server-0.2.1-r1-3ff5bf0e61f1424797ec66115d2be5db502f05b3e8a4530338402833f61a357e.nix; + revNum = 1; + sha256 = "3ff5bf0e61f1424797ec66115d2be5db502f05b3e8a4530338402833f61a357e"; + }; + default = "r1"; }; }; } \ No newline at end of file diff --git a/nix/bookhound.nix b/nix/bookhound.nix index ce0dce3c610..c5a20669c7b 100644 --- a/nix/bookhound.nix +++ b/nix/bookhound.nix @@ -296,4 +296,37 @@ default = "r0"; }; }; + "0.2.0" = { + sha256 = "e11bea0919ad892723e1d2b38acb621b1847dca4343164b60ed2b1e7acb0693f"; + revisions = { + r0 = { + nix = import ../hackage/bookhound-0.2.0-r0-59ff9c7d29c3075dde536b9409f4b12bc8ee1ff5c299c26dbac690eda95bae7e.nix; + revNum = 0; + sha256 = "59ff9c7d29c3075dde536b9409f4b12bc8ee1ff5c299c26dbac690eda95bae7e"; + }; + default = "r0"; + }; + }; + "0.2.1" = { + sha256 = "fd1d2a125d5ebe4946852542d61015cbd83210741310212a094dc4e801ed47db"; + revisions = { + r0 = { + nix = import ../hackage/bookhound-0.2.1-r0-9be2a243b62d5fcefeaf7bfef31d310570c7a4f9850d35796370ba61cb08369b.nix; + revNum = 0; + sha256 = "9be2a243b62d5fcefeaf7bfef31d310570c7a4f9850d35796370ba61cb08369b"; + }; + default = "r0"; + }; + }; + "0.2.2" = { + sha256 = "0644a2a3845763dc9e0fa6e88dd007fcb603c78b3735d79bbe3f59d25c52cb53"; + revisions = { + r0 = { + nix = import ../hackage/bookhound-0.2.2-r0-4d440796d7f99e5971734c6ebde01c02adb4f768e8f740ca16cef96b3507e14e.nix; + revNum = 0; + sha256 = "4d440796d7f99e5971734c6ebde01c02adb4f768e8f740ca16cef96b3507e14e"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/constraints-extras.nix b/nix/constraints-extras.nix index 4026c50e852..4139417eee3 100644 --- a/nix/constraints-extras.nix +++ b/nix/constraints-extras.nix @@ -260,7 +260,12 @@ revNum = 1; sha256 = "0e8f22d1e1fabf1f6625f44319967aecf53cd8a0d5844492f309d338a05aaab9"; }; - default = "r1"; + r2 = { + nix = import ../hackage/constraints-extras-0.4.0.0-r2-9c9b79ddf3063a1dd73cfc07a350710895319ce68c413a6ccce995e52653f360.nix; + revNum = 2; + sha256 = "9c9b79ddf3063a1dd73cfc07a350710895319ce68c413a6ccce995e52653f360"; + }; + default = "r2"; }; }; } \ No newline at end of file diff --git a/nix/delaunay_Nd.nix b/nix/delaunay_Nd.nix index 566b799812d..80c8dda5d11 100644 --- a/nix/delaunay_Nd.nix +++ b/nix/delaunay_Nd.nix @@ -21,4 +21,15 @@ default = "r0"; }; }; + "0.1.0.2" = { + sha256 = "1bf18d5f31b896fdb1d18ba377a5c7105cd6c182878089bb4420bab1649df207"; + revisions = { + r0 = { + nix = import ../hackage/delaunayNd-0.1.0.2-r0-c1eaaaf1b73274360fbeb2e2c5e9ee1607f2143a4d7bc4bcbc31911f987d21ec.nix; + revNum = 0; + sha256 = "c1eaaaf1b73274360fbeb2e2c5e9ee1607f2143a4d7bc4bcbc31911f987d21ec"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/dependent-sum.nix b/nix/dependent-sum.nix index 6d94e72847f..1f6e3552f4a 100644 --- a/nix/dependent-sum.nix +++ b/nix/dependent-sum.nix @@ -295,7 +295,12 @@ revNum = 1; sha256 = "16215db5d1f62897ace34167726f7a9b51a91ce5be12e4de456ffb673a9acb63"; }; - default = "r1"; + r2 = { + nix = import ../hackage/dependent-sum-0.7.2.0-r2-f1060345439b6949eae5a6b3cdb35c7189ff360f7b4d5fa617e4f1e0f847c424.nix; + revNum = 2; + sha256 = "f1060345439b6949eae5a6b3cdb35c7189ff360f7b4d5fa617e4f1e0f847c424"; + }; + default = "r2"; }; }; } \ No newline at end of file diff --git a/nix/exception-hierarchy.nix b/nix/exception-hierarchy.nix index 2cf5e8fea52..b4dabdaafb8 100644 --- a/nix/exception-hierarchy.nix +++ b/nix/exception-hierarchy.nix @@ -109,4 +109,15 @@ default = "r0"; }; }; + "0.1.0.9" = { + sha256 = "ef5038849dcba72a3d2525d40bd757b04a213f36462d88ccb2aefaea66c0f476"; + revisions = { + r0 = { + nix = import ../hackage/exception-hierarchy-0.1.0.9-r0-626f778b99ab9dcd7ff4790a1b9af56124648a50fa4144c2b8b166f594760972.nix; + revNum = 0; + sha256 = "626f778b99ab9dcd7ff4790a1b9af56124648a50fa4144c2b8b166f594760972"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/hnix.nix b/nix/hnix.nix index 2ecb59d4a7f..37e9d6f1fcc 100644 --- a/nix/hnix.nix +++ b/nix/hnix.nix @@ -334,6 +334,17 @@ default = "r0"; }; }; + "0.17.0" = { + sha256 = "67d8a0620266844d431a44b7c414e2e14b7a29ae5446aa0f25b448ae6259d32e"; + revisions = { + r0 = { + nix = import ../hackage/hnix-0.17.0-r0-57e172f915d70be2dd88c6377caebe8bd63337123ffef42df49b05dc0b1f168b.nix; + revNum = 0; + sha256 = "57e172f915d70be2dd88c6377caebe8bd63337123ffef42df49b05dc0b1f168b"; + }; + default = "r0"; + }; + }; "0.2.0" = { sha256 = "5205de4269dcb2d07f78289a5ca494316d130dbe438c9fa47ee34108987d5e09"; revisions = { diff --git a/nix/io-classes.nix b/nix/io-classes.nix index 7e39794e8bf..a47f48eff26 100644 --- a/nix/io-classes.nix +++ b/nix/io-classes.nix @@ -54,4 +54,15 @@ default = "r0"; }; }; + "1.3.1.0" = { + sha256 = "09fe17c1b9a75639d0fa8a844ee0ad2783540f4aa89c8b0b04ee99670fe8f4e1"; + revisions = { + r0 = { + nix = import ../hackage/io-classes-1.3.1.0-r0-cf0f85fb8e41d37b44bf2b5f4187e8348b3968ff7ca421d558ed00859763b06a.nix; + revNum = 0; + sha256 = "cf0f85fb8e41d37b44bf2b5f4187e8348b3968ff7ca421d558ed00859763b06a"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/io-sim.nix b/nix/io-sim.nix index 46d48743311..beb3e5094bb 100644 --- a/nix/io-sim.nix +++ b/nix/io-sim.nix @@ -54,4 +54,20 @@ default = "r0"; }; }; + "1.3.1.0" = { + sha256 = "125025b5208c531ee6688a2e584ccd5559f2152e3f7d47473d8e4d5fe0783119"; + revisions = { + r0 = { + nix = import ../hackage/io-sim-1.3.1.0-r0-f00a1259ae61b98883157411ad1239737763b47be582cc87f3d2fb86af8c63de.nix; + revNum = 0; + sha256 = "f00a1259ae61b98883157411ad1239737763b47be582cc87f3d2fb86af8c63de"; + }; + r1 = { + nix = import ../hackage/io-sim-1.3.1.0-r1-65a406a6a9446fdcfec8adc1a6aa9c55c223742d6ae120d8c16ea53e8cde3609.nix; + revNum = 1; + sha256 = "65a406a6a9446fdcfec8adc1a6aa9c55c223742d6ae120d8c16ea53e8cde3609"; + }; + default = "r1"; + }; + }; } \ No newline at end of file diff --git a/nix/mappings.nix b/nix/mappings.nix index c8b96bd8b28..5b063fb0af9 100644 --- a/nix/mappings.nix +++ b/nix/mappings.nix @@ -32,4 +32,15 @@ default = "r0"; }; }; + "0.2.0.0" = { + sha256 = "ae40c9c0934e3b9bcf6e052a37f423bbe8e23bb58d3af4f7a0b68da3abf96120"; + revisions = { + r0 = { + nix = import ../hackage/mappings-0.2.0.0-r0-5340c08ad311fc4d90562feebc674ca20746fdd0c436bd8c791cd25109ec35c4.nix; + revNum = 0; + sha256 = "5340c08ad311fc4d90562feebc674ca20746fdd0c436bd8c791cd25109ec35c4"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/nix-derivation.nix b/nix/nix-derivation.nix index e0b302153b8..4b8023a6eed 100644 --- a/nix/nix-derivation.nix +++ b/nix/nix-derivation.nix @@ -95,4 +95,15 @@ default = "r4"; }; }; + "1.1.3" = { + sha256 = "ab4dd7540c5f39abcf0486e35441a7115f36d76611cc2278db8b43f9c783b985"; + revisions = { + r0 = { + nix = import ../hackage/nix-derivation-1.1.3-r0-85efc092e899e7fa81bdfdac044a1fadc01751eeff596c077b86caf584c711c1.nix; + revNum = 0; + sha256 = "85efc092e899e7fa81bdfdac044a1fadc01751eeff596c077b86caf584c711c1"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/openapi3.nix b/nix/openapi3.nix index 277ba2c264a..d70df7c25e7 100644 --- a/nix/openapi3.nix +++ b/nix/openapi3.nix @@ -158,4 +158,15 @@ default = "r4"; }; }; + "3.2.4" = { + sha256 = "dbcb90464b4712a03c37fa3fcaca3a6784ace2794d85730a8a8c5d9b3ea14ba0"; + revisions = { + r0 = { + nix = import ../hackage/openapi3-3.2.4-r0-fee67671d71b082226f82e33516e903d451e9b9095f23c58d792970d58820381.nix; + revNum = 0; + sha256 = "fee67671d71b082226f82e33516e903d451e9b9095f23c58d792970d58820381"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/optparse-generic.nix b/nix/optparse-generic.nix index 8cb1981e8f2..0bea314142d 100644 --- a/nix/optparse-generic.nix +++ b/nix/optparse-generic.nix @@ -335,4 +335,15 @@ default = "r0"; }; }; + "1.5.2" = { + sha256 = "c7b451f32d34124aab838fadaab4cf2e271e558ddc13a702458b6c790a2e8a35"; + revisions = { + r0 = { + nix = import ../hackage/optparse-generic-1.5.2-r0-81b995aeecaf343f3f0c279bd252411b66c43c721ca8d5a5aab0e05f01a7c66e.nix; + revNum = 0; + sha256 = "81b995aeecaf343f3f0c279bd252411b66c43c721ca8d5a5aab0e05f01a7c66e"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/pandoc-link-context.nix b/nix/pandoc-link-context.nix index 32b4058a40d..9573c498dd6 100644 --- a/nix/pandoc-link-context.nix +++ b/nix/pandoc-link-context.nix @@ -32,4 +32,15 @@ default = "r0"; }; }; + "1.4.1.0" = { + sha256 = "fd7b0143c019f1cf8b3e0e7856f0e938895ef1587c4d029da70228bd0f5c9805"; + revisions = { + r0 = { + nix = import ../hackage/pandoc-link-context-1.4.1.0-r0-91e8919c3fa556bead9f335355d5366bbcc8520aaf63a15087f0db831cb461cc.nix; + revNum = 0; + sha256 = "91e8919c3fa556bead9f335355d5366bbcc8520aaf63a15087f0db831cb461cc"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/pipes-safe.nix b/nix/pipes-safe.nix index cffa40aac91..41f90f47601 100644 --- a/nix/pipes-safe.nix +++ b/nix/pipes-safe.nix @@ -313,7 +313,12 @@ revNum = 1; sha256 = "aca973a5a3ea85b33e6f6c7415a2c7c50f41a4edc6ca108b0512fc90689cbb35"; }; - default = "r1"; + r2 = { + nix = import ../hackage/pipes-safe-2.3.5-r2-5efa3607d5744ffd174e33ed41cffd1840374b140ef0558601610594f193de13.nix; + revNum = 2; + sha256 = "5efa3607d5744ffd174e33ed41cffd1840374b140ef0558601610594f193de13"; + }; + default = "r2"; }; }; } \ No newline at end of file diff --git a/nix/postgresql-simple-url.nix b/nix/postgresql-simple-url.nix index fe66cbabe9a..2a7ce99ad23 100644 --- a/nix/postgresql-simple-url.nix +++ b/nix/postgresql-simple-url.nix @@ -120,7 +120,12 @@ revNum = 8; sha256 = "3cf0b5eefb97e0da066ba9bc694e4eb582fac908dd8c876d6d645bcd9fbb438e"; }; - default = "r8"; + r9 = { + nix = import ../hackage/postgresql-simple-url-0.2.1.0-r9-84ea66d3b5add41becb9ae6e2a4e38147566524c86e0f7bbb3acc0cd485dffa1.nix; + revNum = 9; + sha256 = "84ea66d3b5add41becb9ae6e2a4e38147566524c86e0f7bbb3acc0cd485dffa1"; + }; + default = "r9"; }; }; } \ No newline at end of file diff --git a/nix/regression-simple.nix b/nix/regression-simple.nix index 9284a095bee..da4c35d93aa 100644 --- a/nix/regression-simple.nix +++ b/nix/regression-simple.nix @@ -40,7 +40,12 @@ revNum = 0; sha256 = "f2322a4bdbf37c660b079bf48bb9f1fc67fa622a2195322d2c3115f1893e08b9"; }; - default = "r0"; + r1 = { + nix = import ../hackage/regression-simple-0.2.1-r1-a6338a5a048db419cde21fb403df9f4df3508145f939350a15b3e0b9d8ee39d7.nix; + revNum = 1; + sha256 = "a6338a5a048db419cde21fb403df9f4df3508145f939350a15b3e0b9d8ee39d7"; + }; + default = "r1"; }; }; } \ No newline at end of file diff --git a/nix/skew-list.nix b/nix/skew-list.nix index 72933598b93..1887906b46d 100644 --- a/nix/skew-list.nix +++ b/nix/skew-list.nix @@ -12,7 +12,12 @@ revNum = 1; sha256 = "5d81ffe85408415208fce3a2ef9aa99dda060d420c46c5825e7d05468c66a43c"; }; - default = "r1"; + r2 = { + nix = import ../hackage/skew-list-0.1-r2-4f43be2bd35dfef02bef498ebab116ccabafaaca983d4beb0ea338d3dc5a15ce.nix; + revNum = 2; + sha256 = "4f43be2bd35dfef02bef498ebab116ccabafaaca983d4beb0ea338d3dc5a15ce"; + }; + default = "r2"; }; }; } \ No newline at end of file diff --git a/nix/smtlib-backends-process.nix b/nix/smtlib-backends-process.nix index 3b9a6507e8f..1e3480e76d5 100644 --- a/nix/smtlib-backends-process.nix +++ b/nix/smtlib-backends-process.nix @@ -23,7 +23,12 @@ revNum = 0; sha256 = "d4d7d02859383e0a43db2d8ce7ef01deffe1bcd356b2ff8626925c3a1c8db922"; }; - default = "r0"; + r1 = { + nix = import ../hackage/smtlib-backends-process-0.3-r1-3eee93e91f41c8a2fb2699e95b502a24d8053485ccf7749e2766683d1ebfe11d.nix; + revNum = 1; + sha256 = "3eee93e91f41c8a2fb2699e95b502a24d8053485ccf7749e2766683d1ebfe11d"; + }; + default = "r1"; }; }; } \ No newline at end of file diff --git a/nix/smtlib-backends-tests.nix b/nix/smtlib-backends-tests.nix index f9a6df1b193..d13a9717fd0 100644 --- a/nix/smtlib-backends-tests.nix +++ b/nix/smtlib-backends-tests.nix @@ -18,7 +18,12 @@ revNum = 0; sha256 = "fb6a19ddd2c5f65d37a520a464007ed77c2bf1dc848f89396cb2575832724e99"; }; - default = "r0"; + r1 = { + nix = import ../hackage/smtlib-backends-tests-0.3-r1-4d03fd8125851b35f49084c21e7906c9105fc53ccfe75824c63586fb5872ab46.nix; + revNum = 1; + sha256 = "4d03fd8125851b35f49084c21e7906c9105fc53ccfe75824c63586fb5872ab46"; + }; + default = "r1"; }; }; } \ No newline at end of file diff --git a/nix/smtlib-backends-z3.nix b/nix/smtlib-backends-z3.nix index 5de29166b95..a825b5e873b 100644 --- a/nix/smtlib-backends-z3.nix +++ b/nix/smtlib-backends-z3.nix @@ -23,7 +23,12 @@ revNum = 0; sha256 = "cca514fa7349a34becb659ff747ec144b7d1902fec2826ff3a51f81388e1eafd"; }; - default = "r0"; + r1 = { + nix = import ../hackage/smtlib-backends-z3-0.3-r1-b748fafd29eed0ea3f9e3924053c080196fad1eee5a73abc2f52e91f1dc19224.nix; + revNum = 1; + sha256 = "b748fafd29eed0ea3f9e3924053c080196fad1eee5a73abc2f52e91f1dc19224"; + }; + default = "r1"; }; }; } \ No newline at end of file diff --git a/nix/smtlib-backends.nix b/nix/smtlib-backends.nix index bed23eb9240..538fbb45653 100644 --- a/nix/smtlib-backends.nix +++ b/nix/smtlib-backends.nix @@ -23,7 +23,12 @@ revNum = 0; sha256 = "917d88540a9ede7beedbe2ed13b492acddbce394d30ccf5d0ef4f4fba9aa2c12"; }; - default = "r0"; + r1 = { + nix = import ../hackage/smtlib-backends-0.3-r1-69977f97a8db2c11e97bde92fff7e86e793c1fb23827b284bf89938ee463fbf0.nix; + revNum = 1; + sha256 = "69977f97a8db2c11e97bde92fff7e86e793c1fb23827b284bf89938ee463fbf0"; + }; + default = "r1"; }; }; } \ No newline at end of file diff --git a/nix/vertexenum.nix b/nix/vertexenum.nix index 2fb2dc0dfca..05357e4fe4d 100644 --- a/nix/vertexenum.nix +++ b/nix/vertexenum.nix @@ -10,4 +10,15 @@ default = "r0"; }; }; + "0.1.1.0" = { + sha256 = "18ddb8a7ef66723cc247610ab19e0492d354dde1fb8878d98a34eb5be81f41ac"; + revisions = { + r0 = { + nix = import ../hackage/vertexenum-0.1.1.0-r0-eb96d4dffbe95e316774a3907afcd7d4434b78f4d4d4fe1bd0e3752cf586a419.nix; + revNum = 0; + sha256 = "eb96d4dffbe95e316774a3907afcd7d4434b78f4d4d4fe1bd0e3752cf586a419"; + }; + default = "r0"; + }; + }; } \ No newline at end of file