diff --git a/hackage/bluefin-0.0.12.1-r0-815d7b77e1b3e6062895471cf6aa7d0c61a3047f8609f888d46567751c8238a8.nix b/hackage/bluefin-0.0.12.1-r0-815d7b77e1b3e6062895471cf6aa7d0c61a3047f8609f888d46567751c8238a8.nix new file mode 100644 index 00000000000..7d80a5eab86 --- /dev/null +++ b/hackage/bluefin-0.0.12.1-r0-815d7b77e1b3e6062895471cf6aa7d0c61a3047f8609f888d46567751c8238a8.nix @@ -0,0 +1,33 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "3.0"; + identifier = { name = "bluefin"; version = "0.0.12.1"; }; + license = "MIT"; + copyright = ""; + maintainer = "Tom Ellis"; + author = "Tom Ellis"; + homepage = "https://github.com/tomjaguarpaw/bluefin"; + url = ""; + synopsis = "The Bluefin effect system"; + description = "The Bluefin effect system"; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."bluefin-internal" or (errorHandler.buildDepError "bluefin-internal")) + ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/bluefin-internal-0.0.13.0-r0-8bc735f22781859f2fb6f9087526ed44c08e361cf6547e050e87f6aba4a2f780.nix b/hackage/bluefin-internal-0.0.13.0-r0-8bc735f22781859f2fb6f9087526ed44c08e361cf6547e050e87f6aba4a2f780.nix new file mode 100644 index 00000000000..0cfd8771fd2 --- /dev/null +++ b/hackage/bluefin-internal-0.0.13.0-r0-8bc735f22781859f2fb6f9087526ed44c08e361cf6547e050e87f6aba4a2f780.nix @@ -0,0 +1,47 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "3.0"; + identifier = { name = "bluefin-internal"; version = "0.0.13.0"; }; + license = "MIT"; + copyright = ""; + maintainer = "Tom Ellis"; + author = "Tom Ellis"; + homepage = "https://github.com/tomjaguarpaw/bluefin"; + url = ""; + synopsis = "The Bluefin effect system, internals"; + description = "The Bluefin effect system, internals"; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."async" or (errorHandler.buildDepError "async")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."unliftio-core" or (errorHandler.buildDepError "unliftio-core")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."transformers-base" or (errorHandler.buildDepError "transformers-base")) + (hsPkgs."monad-control" or (errorHandler.buildDepError "monad-control")) + ]; + buildable = true; + }; + tests = { + "bluefin-test" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bluefin-internal" or (errorHandler.buildDepError "bluefin-internal")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/cabal-doctest-1.0.11-r0-86c3f54d41e1693a6b01d4b2294ce2fb0838544e1e17b3a7ae6afea6628f3d82.nix b/hackage/cabal-doctest-1.0.11-r0-86c3f54d41e1693a6b01d4b2294ce2fb0838544e1e17b3a7ae6afea6628f3d82.nix new file mode 100644 index 00000000000..d8a8d931d28 --- /dev/null +++ b/hackage/cabal-doctest-1.0.11-r0-86c3f54d41e1693a6b01d4b2294ce2fb0838544e1e17b3a7ae6afea6628f3d82.nix @@ -0,0 +1,36 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "cabal-doctest"; version = "1.0.11"; }; + license = "BSD-3-Clause"; + copyright = "(c) 2017-2020 Oleg Grenrus, 2020- package maintainers"; + maintainer = "Max Ulidtko "; + author = "Oleg Grenrus "; + homepage = "https://github.com/ulidtko/cabal-doctest"; + url = ""; + synopsis = "A Setup.hs helper for running doctests"; + description = "As of now (end of 2024), there isn't @cabal doctest@\ncommand. Yet, to properly work, @doctest@ needs plenty of configuration.\nThis library provides the common bits for writing a custom @Setup.hs@."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/hscim-0.4.0.3-r0-00d324998d35a26e48d25fe02c59d44a2bee9241ed7c0c73438936787655ecd4.nix b/hackage/hscim-0.4.0.3-r0-00d324998d35a26e48d25fe02c59d44a2bee9241ed7c0c73438936787655ecd4.nix new file mode 100644 index 00000000000..0da5553f6a7 --- /dev/null +++ b/hackage/hscim-0.4.0.3-r0-00d324998d35a26e48d25fe02c59d44a2bee9241ed7c0c73438936787655ecd4.nix @@ -0,0 +1,112 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.12"; + identifier = { name = "hscim"; version = "0.4.0.3"; }; + license = "AGPL-3.0-only"; + copyright = "(c) 2018 Wire Swiss GmbH"; + maintainer = "Wire Swiss GmbH "; + author = "Wire Swiss GmbH"; + homepage = "https://github.com/wireapp/wire-server/libs/hscim/README.md"; + url = ""; + synopsis = "hscim json schema and server implementation"; + description = "The README file will answer all the questions you might have"; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."aeson-qq" or (errorHandler.buildDepError "aeson-qq")) + (hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."case-insensitive" or (errorHandler.buildDepError "case-insensitive")) + (hsPkgs."email-validate" or (errorHandler.buildDepError "email-validate")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."hspec-expectations" or (errorHandler.buildDepError "hspec-expectations")) + (hsPkgs."hspec-wai" or (errorHandler.buildDepError "hspec-wai")) + (hsPkgs."http-api-data" or (errorHandler.buildDepError "http-api-data")) + (hsPkgs."http-media" or (errorHandler.buildDepError "http-media")) + (hsPkgs."http-types" or (errorHandler.buildDepError "http-types")) + (hsPkgs."list-t" or (errorHandler.buildDepError "list-t")) + (hsPkgs."microlens" or (errorHandler.buildDepError "microlens")) + (hsPkgs."mmorph" or (errorHandler.buildDepError "mmorph")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."network-uri" or (errorHandler.buildDepError "network-uri")) + (hsPkgs."retry" or (errorHandler.buildDepError "retry")) + (hsPkgs."scientific" or (errorHandler.buildDepError "scientific")) + (hsPkgs."servant" or (errorHandler.buildDepError "servant")) + (hsPkgs."servant-client" or (errorHandler.buildDepError "servant-client")) + (hsPkgs."servant-client-core" or (errorHandler.buildDepError "servant-client-core")) + (hsPkgs."servant-server" or (errorHandler.buildDepError "servant-server")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + (hsPkgs."stm-containers" or (errorHandler.buildDepError "stm-containers")) + (hsPkgs."string-conversions" or (errorHandler.buildDepError "string-conversions")) + (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."uuid" or (errorHandler.buildDepError "uuid")) + (hsPkgs."wai" or (errorHandler.buildDepError "wai")) + (hsPkgs."wai-extra" or (errorHandler.buildDepError "wai-extra")) + ]; + buildable = true; + }; + exes = { + "hscim-server" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."email-validate" or (errorHandler.buildDepError "email-validate")) + (hsPkgs."hscim" or (errorHandler.buildDepError "hscim")) + (hsPkgs."network-uri" or (errorHandler.buildDepError "network-uri")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + (hsPkgs."stm-containers" or (errorHandler.buildDepError "stm-containers")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."warp" or (errorHandler.buildDepError "warp")) + ]; + buildable = true; + }; + }; + tests = { + "spec" = { + depends = [ + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."email-validate" or (errorHandler.buildDepError "email-validate")) + (hsPkgs."hedgehog" or (errorHandler.buildDepError "hedgehog")) + (hsPkgs."hscim" or (errorHandler.buildDepError "hscim")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."hspec-expectations" or (errorHandler.buildDepError "hspec-expectations")) + (hsPkgs."hspec-wai" or (errorHandler.buildDepError "hspec-wai")) + (hsPkgs."http-types" or (errorHandler.buildDepError "http-types")) + (hsPkgs."hw-hspec-hedgehog" or (errorHandler.buildDepError "hw-hspec-hedgehog")) + (hsPkgs."indexed-traversable" or (errorHandler.buildDepError "indexed-traversable")) + (hsPkgs."microlens" or (errorHandler.buildDepError "microlens")) + (hsPkgs."network-uri" or (errorHandler.buildDepError "network-uri")) + (hsPkgs."servant" or (errorHandler.buildDepError "servant")) + (hsPkgs."servant-server" or (errorHandler.buildDepError "servant-server")) + (hsPkgs."stm-containers" or (errorHandler.buildDepError "stm-containers")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."wai" or (errorHandler.buildDepError "wai")) + (hsPkgs."wai-extra" or (errorHandler.buildDepError "wai-extra")) + ]; + build-tools = [ + (hsPkgs.pkgsBuildBuild.hspec-discover.components.exes.hspec-discover or (pkgs.pkgsBuildBuild.hspec-discover or (errorHandler.buildToolDepError "hspec-discover:hspec-discover"))) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/hscim-0.4.0.4-r0-64b29be4d339700ff6f94ea93bd1e27692978218212e9bec4ec4cc9b638b199e.nix b/hackage/hscim-0.4.0.4-r0-64b29be4d339700ff6f94ea93bd1e27692978218212e9bec4ec4cc9b638b199e.nix new file mode 100644 index 00000000000..6b298bf3d64 --- /dev/null +++ b/hackage/hscim-0.4.0.4-r0-64b29be4d339700ff6f94ea93bd1e27692978218212e9bec4ec4cc9b638b199e.nix @@ -0,0 +1,112 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.12"; + identifier = { name = "hscim"; version = "0.4.0.4"; }; + license = "AGPL-3.0-only"; + copyright = "(c) 2018 Wire Swiss GmbH"; + maintainer = "Wire Swiss GmbH "; + author = "Wire Swiss GmbH"; + homepage = "https://github.com/wireapp/wire-server/libs/hscim/README.md"; + url = ""; + synopsis = "hscim json schema and server implementation"; + description = "The README file will answer all the questions you might have"; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."aeson-qq" or (errorHandler.buildDepError "aeson-qq")) + (hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."case-insensitive" or (errorHandler.buildDepError "case-insensitive")) + (hsPkgs."email-validate" or (errorHandler.buildDepError "email-validate")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."hspec-expectations" or (errorHandler.buildDepError "hspec-expectations")) + (hsPkgs."hspec-wai" or (errorHandler.buildDepError "hspec-wai")) + (hsPkgs."http-api-data" or (errorHandler.buildDepError "http-api-data")) + (hsPkgs."http-media" or (errorHandler.buildDepError "http-media")) + (hsPkgs."http-types" or (errorHandler.buildDepError "http-types")) + (hsPkgs."list-t" or (errorHandler.buildDepError "list-t")) + (hsPkgs."microlens" or (errorHandler.buildDepError "microlens")) + (hsPkgs."mmorph" or (errorHandler.buildDepError "mmorph")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."network-uri" or (errorHandler.buildDepError "network-uri")) + (hsPkgs."retry" or (errorHandler.buildDepError "retry")) + (hsPkgs."scientific" or (errorHandler.buildDepError "scientific")) + (hsPkgs."servant" or (errorHandler.buildDepError "servant")) + (hsPkgs."servant-client" or (errorHandler.buildDepError "servant-client")) + (hsPkgs."servant-client-core" or (errorHandler.buildDepError "servant-client-core")) + (hsPkgs."servant-server" or (errorHandler.buildDepError "servant-server")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + (hsPkgs."stm-containers" or (errorHandler.buildDepError "stm-containers")) + (hsPkgs."string-conversions" or (errorHandler.buildDepError "string-conversions")) + (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."uuid" or (errorHandler.buildDepError "uuid")) + (hsPkgs."wai" or (errorHandler.buildDepError "wai")) + (hsPkgs."wai-extra" or (errorHandler.buildDepError "wai-extra")) + ]; + buildable = true; + }; + exes = { + "hscim-server" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."email-validate" or (errorHandler.buildDepError "email-validate")) + (hsPkgs."hscim" or (errorHandler.buildDepError "hscim")) + (hsPkgs."network-uri" or (errorHandler.buildDepError "network-uri")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + (hsPkgs."stm-containers" or (errorHandler.buildDepError "stm-containers")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."warp" or (errorHandler.buildDepError "warp")) + ]; + buildable = true; + }; + }; + tests = { + "spec" = { + depends = [ + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."email-validate" or (errorHandler.buildDepError "email-validate")) + (hsPkgs."hedgehog" or (errorHandler.buildDepError "hedgehog")) + (hsPkgs."hscim" or (errorHandler.buildDepError "hscim")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."hspec-expectations" or (errorHandler.buildDepError "hspec-expectations")) + (hsPkgs."hspec-wai" or (errorHandler.buildDepError "hspec-wai")) + (hsPkgs."http-types" or (errorHandler.buildDepError "http-types")) + (hsPkgs."hw-hspec-hedgehog" or (errorHandler.buildDepError "hw-hspec-hedgehog")) + (hsPkgs."indexed-traversable" or (errorHandler.buildDepError "indexed-traversable")) + (hsPkgs."microlens" or (errorHandler.buildDepError "microlens")) + (hsPkgs."network-uri" or (errorHandler.buildDepError "network-uri")) + (hsPkgs."servant" or (errorHandler.buildDepError "servant")) + (hsPkgs."servant-server" or (errorHandler.buildDepError "servant-server")) + (hsPkgs."stm-containers" or (errorHandler.buildDepError "stm-containers")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."wai" or (errorHandler.buildDepError "wai")) + (hsPkgs."wai-extra" or (errorHandler.buildDepError "wai-extra")) + ]; + build-tools = [ + (hsPkgs.pkgsBuildBuild.hspec-discover.components.exes.hspec-discover or (pkgs.pkgsBuildBuild.hspec-discover or (errorHandler.buildToolDepError "hspec-discover:hspec-discover"))) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/http2-5.3.7-r0-21df17c85e50d0f6305dcd4a3d7b61ed3d6fe5f7d86e8b3496a3559d8c6fb5f6.nix b/hackage/http2-5.3.7-r0-21df17c85e50d0f6305dcd4a3d7b61ed3d6fe5f7d86e8b3496a3559d8c6fb5f6.nix new file mode 100644 index 00000000000..5cfb288c70c --- /dev/null +++ b/hackage/http2-5.3.7-r0-21df17c85e50d0f6305dcd4a3d7b61ed3d6fe5f7d86e8b3496a3559d8c6fb5f6.nix @@ -0,0 +1,234 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = { devel = false; h2spec = false; }; + package = { + specVersion = "1.10"; + identifier = { name = "http2"; version = "5.3.7"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "Kazu Yamamoto "; + author = "Kazu Yamamoto "; + homepage = "https://github.com/kazu-yamamoto/http2"; + url = ""; + synopsis = "HTTP/2 library"; + description = "HTTP/2 library including frames, priority queues, HPACK, client and server."; + 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."case-insensitive" or (errorHandler.buildDepError "case-insensitive")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."http-semantics" or (errorHandler.buildDepError "http-semantics")) + (hsPkgs."http-types" or (errorHandler.buildDepError "http-types")) + (hsPkgs."iproute" or (errorHandler.buildDepError "iproute")) + (hsPkgs."network" or (errorHandler.buildDepError "network")) + (hsPkgs."network-byte-order" or (errorHandler.buildDepError "network-byte-order")) + (hsPkgs."network-control" or (errorHandler.buildDepError "network-control")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + (hsPkgs."time-manager" or (errorHandler.buildDepError "time-manager")) + (hsPkgs."unix-time" or (errorHandler.buildDepError "unix-time")) + (hsPkgs."utf8-string" or (errorHandler.buildDepError "utf8-string")) + ]; + buildable = true; + }; + exes = { + "h2c-client" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."async" or (errorHandler.buildDepError "async")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."http-types" or (errorHandler.buildDepError "http-types")) + (hsPkgs."http2" or (errorHandler.buildDepError "http2")) + (hsPkgs."network-run" or (errorHandler.buildDepError "network-run")) + (hsPkgs."unix-time" or (errorHandler.buildDepError "unix-time")) + ]; + buildable = if flags.devel then true else false; + }; + "h2c-server" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."crypton" or (errorHandler.buildDepError "crypton")) + (hsPkgs."http2" or (errorHandler.buildDepError "http2")) + (hsPkgs."http-types" or (errorHandler.buildDepError "http-types")) + (hsPkgs."network-run" or (errorHandler.buildDepError "network-run")) + ]; + buildable = if flags.devel then true else false; + }; + "hpack-encode" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."aeson-pretty" or (errorHandler.buildDepError "aeson-pretty")) + (hsPkgs."array" or (errorHandler.buildDepError "array")) + (hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."http2" or (errorHandler.buildDepError "http2")) + (hsPkgs."network-byte-order" or (errorHandler.buildDepError "network-byte-order")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + (hsPkgs."word8" or (errorHandler.buildDepError "word8")) + ]; + buildable = if flags.devel then true else false; + }; + "hpack-debug" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."array" or (errorHandler.buildDepError "array")) + (hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."http2" or (errorHandler.buildDepError "http2")) + (hsPkgs."network-byte-order" or (errorHandler.buildDepError "network-byte-order")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + (hsPkgs."word8" or (errorHandler.buildDepError "word8")) + ]; + buildable = if flags.devel then true else false; + }; + "hpack-stat" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."aeson-pretty" or (errorHandler.buildDepError "aeson-pretty")) + (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."http2" or (errorHandler.buildDepError "http2")) + (hsPkgs."network-byte-order" or (errorHandler.buildDepError "network-byte-order")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + (hsPkgs."word8" or (errorHandler.buildDepError "word8")) + ]; + buildable = if flags.devel then true else false; + }; + "frame-encode" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."aeson-pretty" or (errorHandler.buildDepError "aeson-pretty")) + (hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."http2" or (errorHandler.buildDepError "http2")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + ]; + buildable = if flags.devel then true else false; + }; + }; + tests = { + "spec" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."async" or (errorHandler.buildDepError "async")) + (hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."crypton" or (errorHandler.buildDepError "crypton")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."http-semantics" or (errorHandler.buildDepError "http-semantics")) + (hsPkgs."http-types" or (errorHandler.buildDepError "http-types")) + (hsPkgs."http2" or (errorHandler.buildDepError "http2")) + (hsPkgs."network" or (errorHandler.buildDepError "network")) + (hsPkgs."network-run" or (errorHandler.buildDepError "network-run")) + (hsPkgs."random" or (errorHandler.buildDepError "random")) + (hsPkgs."typed-process" or (errorHandler.buildDepError "typed-process")) + ]; + build-tools = [ + (hsPkgs.pkgsBuildBuild.hspec-discover.components.exes.hspec-discover or (pkgs.pkgsBuildBuild.hspec-discover or (errorHandler.buildToolDepError "hspec-discover:hspec-discover"))) + ]; + buildable = true; + }; + "spec2" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."http-types" or (errorHandler.buildDepError "http-types")) + (hsPkgs."http2" or (errorHandler.buildDepError "http2")) + (hsPkgs."network-run" or (errorHandler.buildDepError "network-run")) + (hsPkgs."typed-process" or (errorHandler.buildDepError "typed-process")) + ]; + build-tools = [ + (hsPkgs.pkgsBuildBuild.hspec-discover.components.exes.hspec-discover or (pkgs.pkgsBuildBuild.hspec-discover or (errorHandler.buildToolDepError "hspec-discover:hspec-discover"))) + ]; + buildable = if flags.h2spec then true else false; + }; + "hpack" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."http2" or (errorHandler.buildDepError "http2")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + ]; + build-tools = [ + (hsPkgs.pkgsBuildBuild.hspec-discover.components.exes.hspec-discover or (pkgs.pkgsBuildBuild.hspec-discover or (errorHandler.buildToolDepError "hspec-discover:hspec-discover"))) + ]; + buildable = true; + }; + "frame" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."Glob" or (errorHandler.buildDepError "Glob")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."aeson-pretty" or (errorHandler.buildDepError "aeson-pretty")) + (hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."http2" or (errorHandler.buildDepError "http2")) + (hsPkgs."network-byte-order" or (errorHandler.buildDepError "network-byte-order")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + ]; + build-tools = [ + (hsPkgs.pkgsBuildBuild.hspec-discover.components.exes.hspec-discover or (pkgs.pkgsBuildBuild.hspec-discover or (errorHandler.buildToolDepError "hspec-discover:hspec-discover"))) + ]; + buildable = true; + }; + }; + benchmarks = { + "header-compression" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."array" or (errorHandler.buildDepError "array")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."case-insensitive" or (errorHandler.buildDepError "case-insensitive")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."criterion" or (errorHandler.buildDepError "criterion")) + (hsPkgs."http2" or (errorHandler.buildDepError "http2")) + (hsPkgs."network-byte-order" or (errorHandler.buildDepError "network-byte-order")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/http3-0.0.21-r0-b8490fa61af70128eef67976a59603d10cfa1780e1670b0719213f20fbffd2db.nix b/hackage/http3-0.0.21-r0-b8490fa61af70128eef67976a59603d10cfa1780e1670b0719213f20fbffd2db.nix new file mode 100644 index 00000000000..0446401d652 --- /dev/null +++ b/hackage/http3-0.0.21-r0-b8490fa61af70128eef67976a59603d10cfa1780e1670b0719213f20fbffd2db.nix @@ -0,0 +1,122 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = { devel = false; }; + package = { + specVersion = "2.4"; + identifier = { name = "http3"; version = "0.0.21"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "Kazu Yamamoto "; + author = "Kazu Yamamoto "; + homepage = "https://github.com/kazu-yamamoto/http3"; + url = ""; + synopsis = "HTTP/3 library"; + description = "HTTP/3 library including frames, QPACK, client and server."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."async" or (errorHandler.buildDepError "async")) + (hsPkgs."array" or (errorHandler.buildDepError "array")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."case-insensitive" or (errorHandler.buildDepError "case-insensitive")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."http-semantics" or (errorHandler.buildDepError "http-semantics")) + (hsPkgs."http-types" or (errorHandler.buildDepError "http-types")) + (hsPkgs."http2" or (errorHandler.buildDepError "http2")) + (hsPkgs."network" or (errorHandler.buildDepError "network")) + (hsPkgs."network-byte-order" or (errorHandler.buildDepError "network-byte-order")) + (hsPkgs."quic" or (errorHandler.buildDepError "quic")) + (hsPkgs."sockaddr" or (errorHandler.buildDepError "sockaddr")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + (hsPkgs."time-manager" or (errorHandler.buildDepError "time-manager")) + ]; + buildable = true; + }; + exes = { + "h3-server" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."crypton" or (errorHandler.buildDepError "crypton")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."http-types" or (errorHandler.buildDepError "http-types")) + (hsPkgs."http2" or (errorHandler.buildDepError "http2")) + (hsPkgs."http3" or (errorHandler.buildDepError "http3")) + (hsPkgs."quic" or (errorHandler.buildDepError "quic")) + (hsPkgs."tls" or (errorHandler.buildDepError "tls")) + (hsPkgs."tls-session-manager" or (errorHandler.buildDepError "tls-session-manager")) + ]; + buildable = if flags.devel then true else false; + }; + "h3-client" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."async" or (errorHandler.buildDepError "async")) + (hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."http-types" or (errorHandler.buildDepError "http-types")) + (hsPkgs."http3" or (errorHandler.buildDepError "http3")) + (hsPkgs."quic" or (errorHandler.buildDepError "quic")) + (hsPkgs."tls" or (errorHandler.buildDepError "tls")) + (hsPkgs."unix-time" or (errorHandler.buildDepError "unix-time")) + ]; + buildable = if flags.devel then true else false; + }; + "qif" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."conduit" or (errorHandler.buildDepError "conduit")) + (hsPkgs."conduit-extra" or (errorHandler.buildDepError "conduit-extra")) + (hsPkgs."http3" or (errorHandler.buildDepError "http3")) + (hsPkgs."quic" or (errorHandler.buildDepError "quic")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + ]; + buildable = if flags.devel then true else false; + }; + }; + tests = { + "spec" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec")) + (hsPkgs."async" or (errorHandler.buildDepError "async")) + (hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."conduit" or (errorHandler.buildDepError "conduit")) + (hsPkgs."conduit-extra" or (errorHandler.buildDepError "conduit-extra")) + (hsPkgs."crypton" or (errorHandler.buildDepError "crypton")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."http-semantics" or (errorHandler.buildDepError "http-semantics")) + (hsPkgs."http-types" or (errorHandler.buildDepError "http-types")) + (hsPkgs."http2" or (errorHandler.buildDepError "http2")) + (hsPkgs."http3" or (errorHandler.buildDepError "http3")) + (hsPkgs."iproute" or (errorHandler.buildDepError "iproute")) + (hsPkgs."network" or (errorHandler.buildDepError "network")) + (hsPkgs."quic" or (errorHandler.buildDepError "quic")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + (hsPkgs."tls" or (errorHandler.buildDepError "tls")) + ]; + build-tools = [ + (hsPkgs.pkgsBuildBuild.hspec-discover.components.exes.hspec-discover or (pkgs.pkgsBuildBuild.hspec-discover or (errorHandler.buildToolDepError "hspec-discover:hspec-discover"))) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/network-run-0.4.2-r0-74e57298c0cbfe797c41ab9d4ae725f243b0407bcb058b24f6acd778ff21d283.nix b/hackage/network-run-0.4.2-r0-74e57298c0cbfe797c41ab9d4ae725f243b0407bcb058b24f6acd778ff21d283.nix new file mode 100644 index 00000000000..5f906c87efa --- /dev/null +++ b/hackage/network-run-0.4.2-r0-74e57298c0cbfe797c41ab9d4ae725f243b0407bcb058b24f6acd778ff21d283.nix @@ -0,0 +1,36 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "network-run"; version = "0.4.2"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "kazu@iij.ad.jp"; + author = "Kazu Yamamoto"; + homepage = ""; + url = ""; + synopsis = "Simple network runner library"; + description = "Simple functions to run network clients and servers."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."network" or (errorHandler.buildDepError "network")) + (hsPkgs."time-manager" or (errorHandler.buildDepError "time-manager")) + ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/ogma-cli-1.5.0-r0-39d17d647dd15d7a2ef326d096d8c2f3ea8fb4aa0106b89d49462cc6d7fe0155.nix b/hackage/ogma-cli-1.5.0-r0-39d17d647dd15d7a2ef326d096d8c2f3ea8fb4aa0106b89d49462cc6d7fe0155.nix new file mode 100644 index 00000000000..07f70149cfb --- /dev/null +++ b/hackage/ogma-cli-1.5.0-r0-39d17d647dd15d7a2ef326d096d8c2f3ea8fb4aa0106b89d49462cc6d7fe0155.nix @@ -0,0 +1,50 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.0"; + identifier = { name = "ogma-cli"; version = "1.5.0"; }; + license = "LicenseRef-OtherLicense"; + copyright = ""; + maintainer = "ivan.perezdominguez@nasa.gov"; + author = "Ivan Perez, Alwyn Goodloe"; + homepage = "https://github.com/nasa/ogma"; + url = ""; + synopsis = "Ogma: Helper tool to interoperate between Copilot and other languages."; + description = "Ogma is a tool to facilitate the integration of safe runtime monitors into\nother systems. Ogma extends\n, a high-level runtime\nverification framework that generates hard real-time C99 code.\n\nSome use cases supported by Ogma include:\n\n- Translating requirements defined in structured natural\nlanguage into monitors in Copilot.\n\n- Generating the glue code necessary to work with C\nstructs in Copilot.\n\n- Generating\n\napplications that use Copilot for monitoring data\nreceived from the message bus.\n\n- Generating message handlers for NASA Core Flight System\napplications to make external data in structs available\nto a Copilot monitor.\n\n- Generating\n\napplications that use Copilot for monitoring data\nreceived from different topics.\n\n- Generating\n\ncomponents that use Copilot for monitoring.\n\nThe main invocation with @--help@ lists sub-commands available.\n\n>$ ogma --help\n>ogma - an anything-to-Copilot application generator\n>\n>Usage: ogma COMMAND\n> Generate complete or partial Copilot applications from multiple languages\n>\n>Available options:\n> -h,--help Show this help text\n>\n>Available commands:\n> structs Generate Copilot structs from C structs\n> handlers Generate message handlers from C structs\n> cfs Generate a complete CFS/Copilot application\n> fprime Generate a complete F' monitoring component\n> ros Generate a ROS 2 monitoring application\n> standalone Generate a Copilot file from an input specification\n\nFor further information, see:\n\n- .\n\n- .\n\n- .\n\n- .\n\n- .\n\n- \"\", Perez, Dedden and Goodloe. 2020.\n\n- \"\", Dutle et al. 2020."; + buildType = "Simple"; + }; + components = { + exes = { + "ogma" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative")) + (hsPkgs."ogma-core" or (errorHandler.buildDepError "ogma-core")) + ]; + buildable = true; + }; + }; + tests = { + "test-ogma" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) + (hsPkgs."process" or (errorHandler.buildDepError "process")) + (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework")) + (hsPkgs."test-framework-hunit" or (errorHandler.buildDepError "test-framework-hunit")) + (hsPkgs."unix" or (errorHandler.buildDepError "unix")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/ogma-core-1.5.0-r0-5bfdc404bda6cc8f5ac11d302d03ebd726d7363341dac4844b5435cf9d98dcae.nix b/hackage/ogma-core-1.5.0-r0-5bfdc404bda6cc8f5ac11d302d03ebd726d7363341dac4844b5435cf9d98dcae.nix new file mode 100644 index 00000000000..3af4d3d428a --- /dev/null +++ b/hackage/ogma-core-1.5.0-r0-5bfdc404bda6cc8f5ac11d302d03ebd726d7363341dac4844b5435cf9d98dcae.nix @@ -0,0 +1,59 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.0"; + identifier = { name = "ogma-core"; version = "1.5.0"; }; + license = "LicenseRef-OtherLicense"; + copyright = ""; + maintainer = "ivan.perezdominguez@nasa.gov"; + author = "Ivan Perez, Alwyn Goodloe"; + homepage = "https://github.com/nasa/ogma"; + url = ""; + synopsis = "Ogma: Helper tool to interoperate between Copilot and other languages."; + description = "Ogma is a tool to facilitate the integration of safe runtime monitors into\nother systems. Ogma extends\n, a high-level runtime\nverification framework that generates hard real-time C99 code.\n\nThis package implements the internal commands of ogma."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."ogma-extra" or (errorHandler.buildDepError "ogma-extra")) + (hsPkgs."ogma-language-c" or (errorHandler.buildDepError "ogma-language-c")) + (hsPkgs."ogma-language-cocospec" or (errorHandler.buildDepError "ogma-language-cocospec")) + (hsPkgs."ogma-language-copilot" or (errorHandler.buildDepError "ogma-language-copilot")) + (hsPkgs."ogma-language-jsonspec" or (errorHandler.buildDepError "ogma-language-jsonspec")) + (hsPkgs."ogma-language-smv" or (errorHandler.buildDepError "ogma-language-smv")) + (hsPkgs."ogma-spec" or (errorHandler.buildDepError "ogma-spec")) + ]; + buildable = true; + }; + tests = { + "unit-tests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework")) + (hsPkgs."test-framework-hunit" or (errorHandler.buildDepError "test-framework-hunit")) + (hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2")) + (hsPkgs."ogma-core" or (errorHandler.buildDepError "ogma-core")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/ogma-extra-1.5.0-r0-f6ad87375dca8000b052d7a36834386cafaf8c4909514221962a4cb4bc3908f6.nix b/hackage/ogma-extra-1.5.0-r0-f6ad87375dca8000b052d7a36834386cafaf8c4909514221962a4cb4bc3908f6.nix new file mode 100644 index 00000000000..c4b0aa0aa92 --- /dev/null +++ b/hackage/ogma-extra-1.5.0-r0-f6ad87375dca8000b052d7a36834386cafaf8c4909514221962a4cb4bc3908f6.nix @@ -0,0 +1,52 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.0"; + identifier = { name = "ogma-extra"; version = "1.5.0"; }; + license = "LicenseRef-OtherLicense"; + copyright = ""; + maintainer = "ivan.perezdominguez@nasa.gov"; + author = "Ivan Perez, Alwyn Goodloe"; + homepage = "https://github.com/nasa/ogma"; + url = ""; + synopsis = "Ogma: Helper tool to interoperate between Copilot and other languages."; + description = "Ogma is a tool to facilitate the integration of safe runtime monitors into\nother systems. Ogma extends\n, a high-level runtime\nverification framework that generates hard real-time C99 code.\n\nThis package implements internal extensions to existing libraries\nand modules that are used in several ogma packages and their\ntesting facilities."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."microstache" or (errorHandler.buildDepError "microstache")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + ]; + buildable = true; + }; + tests = { + "unit-tests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework")) + (hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2")) + (hsPkgs."ogma-extra" or (errorHandler.buildDepError "ogma-extra")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/ogma-language-c-1.5.0-r0-eb478a0f0e880dc41f0955e4dce72275608b9f4a0940aa66f3d30f7f5b7ebfb8.nix b/hackage/ogma-language-c-1.5.0-r0-eb478a0f0e880dc41f0955e4dce72275608b9f4a0940aa66f3d30f7f5b7ebfb8.nix new file mode 100644 index 00000000000..5384de55131 --- /dev/null +++ b/hackage/ogma-language-c-1.5.0-r0-eb478a0f0e880dc41f0955e4dce72275608b9f4a0940aa66f3d30f7f5b7ebfb8.nix @@ -0,0 +1,52 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.0"; + identifier = { name = "ogma-language-c"; version = "1.5.0"; }; + license = "LicenseRef-OtherLicense"; + copyright = ""; + maintainer = "ivan.perezdominguez@nasa.gov"; + author = "Ivan Perez, Alwyn Goodloe"; + homepage = "https://github.com/nasa/ogma"; + url = ""; + synopsis = "Ogma: Runtime Monitor translator: C Language Frontend"; + description = "Ogma is a tool to facilitate the integration of safe runtime monitors into\nother systems. Ogma extends\n, a high-level runtime\nverification framework that generates hard real-time C99 code.\n\nThis library contains a frontend to read C header files."; + buildType = "Custom"; + setup-depends = [ + (hsPkgs.pkgsBuildBuild.base or (pkgs.pkgsBuildBuild.base or (errorHandler.setupDepError "base"))) + (hsPkgs.pkgsBuildBuild.Cabal or (pkgs.pkgsBuildBuild.Cabal or (errorHandler.setupDepError "Cabal"))) + (hsPkgs.pkgsBuildBuild.process or (pkgs.pkgsBuildBuild.process or (errorHandler.setupDepError "process"))) + (hsPkgs.pkgsBuildBuild.BNFC or (pkgs.pkgsBuildBuild.BNFC or (errorHandler.setupDepError "BNFC"))) + ]; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."array" or (errorHandler.buildDepError "array")) + ]; + buildable = true; + }; + tests = { + "unit-tests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework")) + (hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2")) + (hsPkgs."ogma-language-c" or (errorHandler.buildDepError "ogma-language-c")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/ogma-language-cocospec-1.5.0-r0-f963b2a2e0fff2fac094839dfc96db6d3295db1d171f01edffeae411d933f9f2.nix b/hackage/ogma-language-cocospec-1.5.0-r0-f963b2a2e0fff2fac094839dfc96db6d3295db1d171f01edffeae411d933f9f2.nix new file mode 100644 index 00000000000..0516557046d --- /dev/null +++ b/hackage/ogma-language-cocospec-1.5.0-r0-f963b2a2e0fff2fac094839dfc96db6d3295db1d171f01edffeae411d933f9f2.nix @@ -0,0 +1,52 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.0"; + identifier = { name = "ogma-language-cocospec"; version = "1.5.0"; }; + license = "LicenseRef-OtherLicense"; + copyright = ""; + maintainer = "ivan.perezdominguez@nasa.gov"; + author = "Ivan Perez, Alwyn Goodloe"; + homepage = "https://github.com/nasa/ogma"; + url = ""; + synopsis = "Ogma: Runtime Monitor translator: CoCoSpec Language Frontend"; + description = "Ogma is a tool to facilitate the integration of safe runtime monitors into\nother systems. Ogma extends\n, a high-level runtime\nverification framework that generates hard real-time C99 code.\n\nThis library contains a frontend to read CoCoSpec Boolean expressions, used by\nthe tool FRET to capture requirement specifications."; + buildType = "Custom"; + setup-depends = [ + (hsPkgs.pkgsBuildBuild.base or (pkgs.pkgsBuildBuild.base or (errorHandler.setupDepError "base"))) + (hsPkgs.pkgsBuildBuild.Cabal or (pkgs.pkgsBuildBuild.Cabal or (errorHandler.setupDepError "Cabal"))) + (hsPkgs.pkgsBuildBuild.process or (pkgs.pkgsBuildBuild.process or (errorHandler.setupDepError "process"))) + (hsPkgs.pkgsBuildBuild.BNFC or (pkgs.pkgsBuildBuild.BNFC or (errorHandler.setupDepError "BNFC"))) + ]; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."array" or (errorHandler.buildDepError "array")) + ]; + buildable = true; + }; + tests = { + "unit-tests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework")) + (hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2")) + (hsPkgs."ogma-language-cocospec" or (errorHandler.buildDepError "ogma-language-cocospec")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/ogma-language-copilot-1.5.0-r0-e7fd4b3d711d17be6939fd6820bbe1c50aad50b331b2a1ee2cb021454ef16f2d.nix b/hackage/ogma-language-copilot-1.5.0-r0-e7fd4b3d711d17be6939fd6820bbe1c50aad50b331b2a1ee2cb021454ef16f2d.nix new file mode 100644 index 00000000000..8bed7c6315b --- /dev/null +++ b/hackage/ogma-language-copilot-1.5.0-r0-e7fd4b3d711d17be6939fd6820bbe1c50aad50b331b2a1ee2cb021454ef16f2d.nix @@ -0,0 +1,31 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.0"; + identifier = { name = "ogma-language-copilot"; version = "1.5.0"; }; + license = "LicenseRef-OtherLicense"; + copyright = ""; + maintainer = "ivan.perezdominguez@nasa.gov"; + author = "Ivan Perez, Alwyn Goodloe"; + homepage = "https://github.com/nasa/ogma"; + url = ""; + synopsis = "Ogma: Runtime Monitor translator: Copilot Language Endpoints"; + description = "Ogma is a tool to facilitate the integration of safe runtime monitors into\nother systems. Ogma extends\n, a high-level runtime\nverification framework that generates hard real-time C99 code.\n\nThis library contains a frontend to read Copilot monitors, a definition of Copilot\nstructs, and a backend to generate and pretty print Copilot code."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/ogma-language-jsonspec-1.5.0-r0-c848533cb17795a1552731e36040bd90c469b96b4c5873192a29c359d25487f0.nix b/hackage/ogma-language-jsonspec-1.5.0-r0-c848533cb17795a1552731e36040bd90c469b96b4c5873192a29c359d25487f0.nix new file mode 100644 index 00000000000..0682f80ca3c --- /dev/null +++ b/hackage/ogma-language-jsonspec-1.5.0-r0-c848533cb17795a1552731e36040bd90c469b96b4c5873192a29c359d25487f0.nix @@ -0,0 +1,39 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.0"; + identifier = { name = "ogma-language-jsonspec"; version = "1.5.0"; }; + license = "LicenseRef-OtherLicense"; + copyright = ""; + maintainer = "ivan.perezdominguez@nasa.gov"; + author = "Ivan Perez, Alwyn Goodloe"; + homepage = "https://github.com/nasa/ogma"; + url = ""; + synopsis = "Ogma: Runtime Monitor translator: JSON Frontend"; + description = "Ogma is a tool to facilitate the integration of safe runtime monitors into\nother systems. Ogma extends\n, a high-level runtime\nverification framework that generates hard real-time C99 code.\n\nThis library contains a frontend to read specifications from JSON files."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."jsonpath" or (errorHandler.buildDepError "jsonpath")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."megaparsec" or (errorHandler.buildDepError "megaparsec")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."ogma-spec" or (errorHandler.buildDepError "ogma-spec")) + ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/ogma-language-smv-1.5.0-r0-f2a3890b345aa47075fea41c9984808c672e435f20ca31d9f8f0750f2c6e87e4.nix b/hackage/ogma-language-smv-1.5.0-r0-f2a3890b345aa47075fea41c9984808c672e435f20ca31d9f8f0750f2c6e87e4.nix new file mode 100644 index 00000000000..802a1651f60 --- /dev/null +++ b/hackage/ogma-language-smv-1.5.0-r0-f2a3890b345aa47075fea41c9984808c672e435f20ca31d9f8f0750f2c6e87e4.nix @@ -0,0 +1,52 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.0"; + identifier = { name = "ogma-language-smv"; version = "1.5.0"; }; + license = "LicenseRef-OtherLicense"; + copyright = ""; + maintainer = "ivan.perezdominguez@nasa.gov"; + author = "Ivan Perez, Alwyn Goodloe"; + homepage = "https://github.com/nasa/ogma"; + url = ""; + synopsis = "Ogma: Runtime Monitor translator: SMV Language Frontend"; + description = "Ogma is a tool to facilitate the integration of safe runtime monitors into\nother systems. Ogma extends\n, a high-level runtime\nverification framework that generates hard real-time C99 code.\n\nThis library contains a frontend to read SMV Boolean expressions, used by\nthe tool FRET to capture requirement specifications."; + buildType = "Custom"; + setup-depends = [ + (hsPkgs.pkgsBuildBuild.base or (pkgs.pkgsBuildBuild.base or (errorHandler.setupDepError "base"))) + (hsPkgs.pkgsBuildBuild.Cabal or (pkgs.pkgsBuildBuild.Cabal or (errorHandler.setupDepError "Cabal"))) + (hsPkgs.pkgsBuildBuild.process or (pkgs.pkgsBuildBuild.process or (errorHandler.setupDepError "process"))) + (hsPkgs.pkgsBuildBuild.BNFC or (pkgs.pkgsBuildBuild.BNFC or (errorHandler.setupDepError "BNFC"))) + ]; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."array" or (errorHandler.buildDepError "array")) + ]; + buildable = true; + }; + tests = { + "unit-tests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework")) + (hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2")) + (hsPkgs."ogma-language-smv" or (errorHandler.buildDepError "ogma-language-smv")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/ogma-spec-1.5.0-r0-89153f01ebe66f1c3a4e20d843a23da89e48358726162f6f59460d463bba2cc4.nix b/hackage/ogma-spec-1.5.0-r0-89153f01ebe66f1c3a4e20d843a23da89e48358726162f6f59460d463bba2cc4.nix new file mode 100644 index 00000000000..b4a9a290151 --- /dev/null +++ b/hackage/ogma-spec-1.5.0-r0-89153f01ebe66f1c3a4e20d843a23da89e48358726162f6f59460d463bba2cc4.nix @@ -0,0 +1,31 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.0"; + identifier = { name = "ogma-spec"; version = "1.5.0"; }; + license = "LicenseRef-OtherLicense"; + copyright = ""; + maintainer = "ivan.perezdominguez@nasa.gov"; + author = "Ivan Perez, Alwyn Goodloe"; + homepage = "https://github.com/nasa/ogma"; + url = ""; + synopsis = "Ogma: Runtime Monitor translator: JSON Frontend"; + description = "Ogma is a tool to facilitate the integration of safe runtime monitors into\nother systems. Ogma extends\n, a high-level runtime\nverification framework that generates hard real-time C99 code.\n\nThis library contains an abstract representation of an Ogma specification."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/quic-0.2.6-r0-20bc5a813a0df9eca8e50b05ff6f0134d154c41404b1866a628fd4eec840a21a.nix b/hackage/quic-0.2.6-r0-20bc5a813a0df9eca8e50b05ff6f0134d154c41404b1866a628fd4eec840a21a.nix new file mode 100644 index 00000000000..c808f8ae911 --- /dev/null +++ b/hackage/quic-0.2.6-r0-20bc5a813a0df9eca8e50b05ff6f0134d154c41404b1866a628fd4eec840a21a.nix @@ -0,0 +1,108 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = { devel = false; fusion = true; }; + package = { + specVersion = "1.10"; + identifier = { name = "quic"; version = "0.2.6"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "kazu@iij.ad.jp"; + author = "Kazu Yamamoto"; + homepage = ""; + url = ""; + synopsis = "QUIC"; + description = "Library for QUIC: A UDP-Based Multiplexed and Secure Transport"; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."async" or (errorHandler.buildDepError "async")) + (hsPkgs."array" or (errorHandler.buildDepError "array")) + (hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."crypto-token" or (errorHandler.buildDepError "crypto-token")) + (hsPkgs."crypton" or (errorHandler.buildDepError "crypton")) + (hsPkgs."memory" or (errorHandler.buildDepError "memory")) + (hsPkgs."crypton-x509" or (errorHandler.buildDepError "crypton-x509")) + (hsPkgs."crypton-x509-system" or (errorHandler.buildDepError "crypton-x509-system")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + (hsPkgs."data-default" or (errorHandler.buildDepError "data-default")) + (hsPkgs."fast-logger" or (errorHandler.buildDepError "fast-logger")) + (hsPkgs."unix-time" or (errorHandler.buildDepError "unix-time")) + (hsPkgs."iproute" or (errorHandler.buildDepError "iproute")) + (hsPkgs."network" or (errorHandler.buildDepError "network")) + (hsPkgs."network-byte-order" or (errorHandler.buildDepError "network-byte-order")) + (hsPkgs."network-control" or (errorHandler.buildDepError "network-control")) + (hsPkgs."random" or (errorHandler.buildDepError "random")) + (hsPkgs."serialise" or (errorHandler.buildDepError "serialise")) + (hsPkgs."tls" or (errorHandler.buildDepError "tls")) + ]; + buildable = true; + }; + exes = { + "quic-server" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."http2" or (errorHandler.buildDepError "http2")) + (hsPkgs."network-byte-order" or (errorHandler.buildDepError "network-byte-order")) + (hsPkgs."quic" or (errorHandler.buildDepError "quic")) + (hsPkgs."tls" or (errorHandler.buildDepError "tls")) + (hsPkgs."tls-session-manager" or (errorHandler.buildDepError "tls-session-manager")) + ]; + buildable = if flags.devel then true else false; + }; + "quic-client" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."async" or (errorHandler.buildDepError "async")) + (hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."http2" or (errorHandler.buildDepError "http2")) + (hsPkgs."network-byte-order" or (errorHandler.buildDepError "network-byte-order")) + (hsPkgs."quic" or (errorHandler.buildDepError "quic")) + (hsPkgs."tls" or (errorHandler.buildDepError "tls")) + (hsPkgs."unix-time" or (errorHandler.buildDepError "unix-time")) + ]; + buildable = if flags.devel then true else false; + }; + }; + tests = { + "spec" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."async" or (errorHandler.buildDepError "async")) + (hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."crypton" or (errorHandler.buildDepError "crypton")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."network" or (errorHandler.buildDepError "network")) + (hsPkgs."quic" or (errorHandler.buildDepError "quic")) + (hsPkgs."tls" or (errorHandler.buildDepError "tls")) + (hsPkgs."unix-time" or (errorHandler.buildDepError "unix-time")) + ]; + build-tools = [ + (hsPkgs.pkgsBuildBuild.hspec-discover.components.exes.hspec-discover or (pkgs.pkgsBuildBuild.hspec-discover or (errorHandler.buildToolDepError "hspec-discover:hspec-discover"))) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/rawlock-0.1.1.0-r0-b1c301f20b98e21ff8d4a10ed689abb6153eb7d38a8c9c86651d932ebb2e739c.nix b/hackage/rawlock-0.1.1.0-r0-b1c301f20b98e21ff8d4a10ed689abb6153eb7d38a8c9c86651d932ebb2e739c.nix new file mode 100644 index 00000000000..89323504a5d --- /dev/null +++ b/hackage/rawlock-0.1.1.0-r0-b1c301f20b98e21ff8d4a10ed689abb6153eb7d38a8c9c86651d932ebb2e739c.nix @@ -0,0 +1,53 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "3.0"; + identifier = { name = "rawlock"; version = "0.1.1.0"; }; + license = "Apache-2.0"; + copyright = "2024 INTERSECT"; + maintainer = "operations@iohk.io"; + author = "IOG Engineering Team"; + homepage = ""; + url = ""; + synopsis = "A writer-biased RAW lock."; + description = "A writer-biased RAW lock.\n\nIt allows for multiple readers to run concurrently with at most one\nappender, or a single writer running on isolation.\n\nThe code is safe in the presence of async exceptions, meaning that each\nactor will cleanup after itself if an exception is received."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."io-classes" or (errorHandler.buildDepError "io-classes")) + (hsPkgs."nothunks" or (errorHandler.buildDepError "nothunks")) + (hsPkgs."strict-mvar" or (errorHandler.buildDepError "strict-mvar")) + (hsPkgs."strict-stm" or (errorHandler.buildDepError "strict-stm")) + ]; + buildable = true; + }; + tests = { + "rawlock-test" = { + depends = [ + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."io-classes" or (errorHandler.buildDepError "io-classes")) + (hsPkgs."io-sim" or (errorHandler.buildDepError "io-sim")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."rawlock" or (errorHandler.buildDepError "rawlock")) + (hsPkgs."strict-stm" or (errorHandler.buildDepError "strict-stm")) + (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/rawlock-0.1.1.0-r1-30fea5a44ed6226c646638ff5a44c1877a282742d39023ea03c5f00fb97387bf.nix b/hackage/rawlock-0.1.1.0-r1-30fea5a44ed6226c646638ff5a44c1877a282742d39023ea03c5f00fb97387bf.nix new file mode 100644 index 00000000000..89323504a5d --- /dev/null +++ b/hackage/rawlock-0.1.1.0-r1-30fea5a44ed6226c646638ff5a44c1877a282742d39023ea03c5f00fb97387bf.nix @@ -0,0 +1,53 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "3.0"; + identifier = { name = "rawlock"; version = "0.1.1.0"; }; + license = "Apache-2.0"; + copyright = "2024 INTERSECT"; + maintainer = "operations@iohk.io"; + author = "IOG Engineering Team"; + homepage = ""; + url = ""; + synopsis = "A writer-biased RAW lock."; + description = "A writer-biased RAW lock.\n\nIt allows for multiple readers to run concurrently with at most one\nappender, or a single writer running on isolation.\n\nThe code is safe in the presence of async exceptions, meaning that each\nactor will cleanup after itself if an exception is received."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."io-classes" or (errorHandler.buildDepError "io-classes")) + (hsPkgs."nothunks" or (errorHandler.buildDepError "nothunks")) + (hsPkgs."strict-mvar" or (errorHandler.buildDepError "strict-mvar")) + (hsPkgs."strict-stm" or (errorHandler.buildDepError "strict-stm")) + ]; + buildable = true; + }; + tests = { + "rawlock-test" = { + depends = [ + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."io-classes" or (errorHandler.buildDepError "io-classes")) + (hsPkgs."io-sim" or (errorHandler.buildDepError "io-sim")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."rawlock" or (errorHandler.buildDepError "rawlock")) + (hsPkgs."strict-stm" or (errorHandler.buildDepError "strict-stm")) + (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/time-manager-0.1.3-r0-b3e2b9bb4beb465eb3abe5dc4b65fb248fec8127fd6774c5bc8153c70b978cbd.nix b/hackage/time-manager-0.1.3-r0-b3e2b9bb4beb465eb3abe5dc4b65fb248fec8127fd6774c5bc8153c70b978cbd.nix new file mode 100644 index 00000000000..04c22545db1 --- /dev/null +++ b/hackage/time-manager-0.1.3-r0-b3e2b9bb4beb465eb3abe5dc4b65fb248fec8127fd6774c5bc8153c70b978cbd.nix @@ -0,0 +1,34 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "time-manager"; version = "0.1.3"; }; + license = "MIT"; + copyright = ""; + maintainer = "kazu@iij.ad.jp"; + author = "Michael Snoyman and Kazu Yamamoto"; + homepage = "http://github.com/yesodweb/wai"; + url = ""; + synopsis = "Scalable timer"; + description = "Scalable timer functions provided by a timer manager."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."auto-update" or (errorHandler.buildDepError "auto-update")) + ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/warp-3.4.6-r0-25f12751dc653363c5bc036468868dc3e54a5b4312b33b71d9cbfd6e09b9ad85.nix b/hackage/warp-3.4.6-r0-25f12751dc653363c5bc036468868dc3e54a5b4312b33b71d9cbfd6e09b9ad85.nix new file mode 100644 index 00000000000..e691f66982e --- /dev/null +++ b/hackage/warp-3.4.6-r0-25f12751dc653363c5bc036468868dc3e54a5b4312b33b71d9cbfd6e09b9ad85.nix @@ -0,0 +1,156 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = { + network-bytestring = false; + allow-sendfilefd = true; + warp-debug = false; + x509 = true; + }; + package = { + specVersion = "1.10"; + identifier = { name = "warp"; version = "3.4.6"; }; + license = "MIT"; + copyright = ""; + maintainer = "michael@snoyman.com"; + author = "Michael Snoyman, Kazu Yamamoto, Matt Brown"; + homepage = "http://github.com/yesodweb/wai"; + url = ""; + synopsis = "A fast, light-weight web server for WAI applications."; + description = "HTTP\\/1.0, HTTP\\/1.1 and HTTP\\/2 are supported.\nFor HTTP\\/2, Warp supports direct and ALPN (in TLS)\nbut not upgrade.\nAPI docs and the README are available at\n."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = ((([ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."array" or (errorHandler.buildDepError "array")) + (hsPkgs."auto-update" or (errorHandler.buildDepError "auto-update")) + (hsPkgs."async" or (errorHandler.buildDepError "async")) + (hsPkgs."bsb-http-chunked" or (errorHandler.buildDepError "bsb-http-chunked")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."case-insensitive" or (errorHandler.buildDepError "case-insensitive")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."http-date" or (errorHandler.buildDepError "http-date")) + (hsPkgs."http-types" or (errorHandler.buildDepError "http-types")) + (hsPkgs."http2" or (errorHandler.buildDepError "http2")) + (hsPkgs."iproute" or (errorHandler.buildDepError "iproute")) + (hsPkgs."recv" or (errorHandler.buildDepError "recv")) + (hsPkgs."simple-sendfile" or (errorHandler.buildDepError "simple-sendfile")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + (hsPkgs."streaming-commons" or (errorHandler.buildDepError "streaming-commons")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time-manager" or (errorHandler.buildDepError "time-manager")) + (hsPkgs."vault" or (errorHandler.buildDepError "vault")) + (hsPkgs."wai" or (errorHandler.buildDepError "wai")) + (hsPkgs."word8" or (errorHandler.buildDepError "word8")) + ] ++ pkgs.lib.optional (flags.x509) (hsPkgs."crypton-x509" or (errorHandler.buildDepError "crypton-x509"))) ++ pkgs.lib.optional (compiler.isGhc && compiler.version.lt "8") (hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups"))) ++ (if flags.network-bytestring + then [ + (hsPkgs."network" or (errorHandler.buildDepError "network")) + (hsPkgs."network-bytestring" or (errorHandler.buildDepError "network-bytestring")) + ] + else [ + (hsPkgs."network" or (errorHandler.buildDepError "network")) + ])) ++ (if system.isWindows + then [ + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."unix-compat" or (errorHandler.buildDepError "unix-compat")) + ] + else [ (hsPkgs."unix" or (errorHandler.buildDepError "unix")) ]); + buildable = true; + }; + tests = { + "doctest" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."doctest" or (errorHandler.buildDepError "doctest")) + ]; + buildable = false; + }; + "spec" = { + depends = (([ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."array" or (errorHandler.buildDepError "array")) + (hsPkgs."auto-update" or (errorHandler.buildDepError "auto-update")) + (hsPkgs."async" or (errorHandler.buildDepError "async")) + (hsPkgs."bsb-http-chunked" or (errorHandler.buildDepError "bsb-http-chunked")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."case-insensitive" or (errorHandler.buildDepError "case-insensitive")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."http-client" or (errorHandler.buildDepError "http-client")) + (hsPkgs."http-date" or (errorHandler.buildDepError "http-date")) + (hsPkgs."http-types" or (errorHandler.buildDepError "http-types")) + (hsPkgs."http2" or (errorHandler.buildDepError "http2")) + (hsPkgs."iproute" or (errorHandler.buildDepError "iproute")) + (hsPkgs."network" or (errorHandler.buildDepError "network")) + (hsPkgs."process" or (errorHandler.buildDepError "process")) + (hsPkgs."recv" or (errorHandler.buildDepError "recv")) + (hsPkgs."simple-sendfile" or (errorHandler.buildDepError "simple-sendfile")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + (hsPkgs."streaming-commons" or (errorHandler.buildDepError "streaming-commons")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time-manager" or (errorHandler.buildDepError "time-manager")) + (hsPkgs."vault" or (errorHandler.buildDepError "vault")) + (hsPkgs."wai" or (errorHandler.buildDepError "wai")) + (hsPkgs."word8" or (errorHandler.buildDepError "word8")) + ] ++ pkgs.lib.optional (flags.x509) (hsPkgs."crypton-x509" or (errorHandler.buildDepError "crypton-x509"))) ++ pkgs.lib.optionals (compiler.isGhc && compiler.version.lt "8") [ + (hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + ]) ++ (if system.isWindows + then [ + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."unix-compat" or (errorHandler.buildDepError "unix-compat")) + ] + else [ (hsPkgs."unix" or (errorHandler.buildDepError "unix")) ]); + build-tools = [ + (hsPkgs.pkgsBuildBuild.hspec-discover.components.exes.hspec-discover or (pkgs.pkgsBuildBuild.hspec-discover or (errorHandler.buildToolDepError "hspec-discover:hspec-discover"))) + ]; + buildable = true; + }; + }; + benchmarks = { + "parser" = { + depends = ((([ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."array" or (errorHandler.buildDepError "array")) + (hsPkgs."auto-update" or (errorHandler.buildDepError "auto-update")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."case-insensitive" or (errorHandler.buildDepError "case-insensitive")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."criterion" or (errorHandler.buildDepError "criterion")) + (hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."http-date" or (errorHandler.buildDepError "http-date")) + (hsPkgs."http-types" or (errorHandler.buildDepError "http-types")) + (hsPkgs."network" or (errorHandler.buildDepError "network")) + (hsPkgs."network" or (errorHandler.buildDepError "network")) + (hsPkgs."recv" or (errorHandler.buildDepError "recv")) + (hsPkgs."streaming-commons" or (errorHandler.buildDepError "streaming-commons")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time-manager" or (errorHandler.buildDepError "time-manager")) + (hsPkgs."vault" or (errorHandler.buildDepError "vault")) + (hsPkgs."wai" or (errorHandler.buildDepError "wai")) + (hsPkgs."word8" or (errorHandler.buildDepError "word8")) + ] ++ pkgs.lib.optional (flags.x509) (hsPkgs."crypton-x509" or (errorHandler.buildDepError "crypton-x509"))) ++ pkgs.lib.optional (compiler.isGhc && compiler.version.lt "8") (hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups"))) ++ pkgs.lib.optional ((system.isLinux || system.isFreebsd || system.isOsx) && flags.allow-sendfilefd) (hsPkgs."unix" or (errorHandler.buildDepError "unix"))) ++ pkgs.lib.optionals (system.isWindows) [ + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."unix-compat" or (errorHandler.buildDepError "unix-compat")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/index-state-hashes.nix b/index-state-hashes.nix index c73e0fcf997..6a81d557682 100644 --- a/index-state-hashes.nix +++ b/index-state-hashes.nix @@ -2062,4 +2062,5 @@ "2024-11-20T00:00:00Z" = "647dce1062ec2d7f31be98e1617d4a2a07ef1507e6c25aff7ffbb5c4dc566f2c"; "2024-11-21T00:00:00Z" = "6aa8e96860c6f76c9f9bbc7ab7a560d97129b8a269972841750fc509370d7e19"; "2024-11-22T00:00:00Z" = "d68b128078e0014d49bed1934b888f1c43757c4903733638942b0c4dc2924289"; + "2024-11-23T00:00:00Z" = "a0f63551702765bf3da655597d2198afb84dfba692ea1e1b4cce9ba9a47c25e7"; } diff --git a/nix/bluefin-internal.nix b/nix/bluefin-internal.nix index 9a1ae4583b7..41258871737 100644 --- a/nix/bluefin-internal.nix +++ b/nix/bluefin-internal.nix @@ -54,6 +54,17 @@ default = "r0"; }; }; + "0.0.13.0" = { + sha256 = "28f7b6b8f7f891387c8e0412167a4b1b6a1b81bf79ce8248281eb74efa399d5e"; + revisions = { + r0 = { + nix = import ../hackage/bluefin-internal-0.0.13.0-r0-8bc735f22781859f2fb6f9087526ed44c08e361cf6547e050e87f6aba4a2f780.nix; + revNum = 0; + sha256 = "8bc735f22781859f2fb6f9087526ed44c08e361cf6547e050e87f6aba4a2f780"; + }; + default = "r0"; + }; + }; "0.0.2.0" = { sha256 = "7fb9191c7c91247165ae0264d0d2dfcbaa24217ae69a5452c6a6fd45fd6f05ab"; revisions = { diff --git a/nix/bluefin.nix b/nix/bluefin.nix index 0d46d776206..c81a8c4b41d 100644 --- a/nix/bluefin.nix +++ b/nix/bluefin.nix @@ -64,6 +64,17 @@ default = "r0"; }; }; + "0.0.12.1" = { + sha256 = "12d0d032231380ece90677d6bf4a1cef238c75fcc928e4a5e3d130fa04f85115"; + revisions = { + r0 = { + nix = import ../hackage/bluefin-0.0.12.1-r0-815d7b77e1b3e6062895471cf6aa7d0c61a3047f8609f888d46567751c8238a8.nix; + revNum = 0; + sha256 = "815d7b77e1b3e6062895471cf6aa7d0c61a3047f8609f888d46567751c8238a8"; + }; + default = "r0"; + }; + }; "0.0.2.0" = { sha256 = "7e59363c016ac010c30ae5fd146d3325deb44d1f2a98502da0e1d4ce8a0a9a17"; revisions = { diff --git a/nix/cabal-doctest.nix b/nix/cabal-doctest.nix index c7094cc6308..35cb42c33ce 100644 --- a/nix/cabal-doctest.nix +++ b/nix/cabal-doctest.nix @@ -37,6 +37,17 @@ default = "r0"; }; }; + "1.0.11" = { + sha256 = "dc2df2f0b427028617f10e445ff8ab3352d3bbeef1b8dd847e879d2d36bf923f"; + revisions = { + r0 = { + nix = import ../hackage/cabal-doctest-1.0.11-r0-86c3f54d41e1693a6b01d4b2294ce2fb0838544e1e17b3a7ae6afea6628f3d82.nix; + revNum = 0; + sha256 = "86c3f54d41e1693a6b01d4b2294ce2fb0838544e1e17b3a7ae6afea6628f3d82"; + }; + default = "r0"; + }; + }; "1.0.2" = { sha256 = "4a1b8cdfcca9cd1e3dcb0afca4fefeb348c8be4d0eb0be7fe013bd2a9cd47c40"; revisions = { diff --git a/nix/hscim.nix b/nix/hscim.nix index f1c76826300..0fb9019d2cd 100644 --- a/nix/hscim.nix +++ b/nix/hscim.nix @@ -65,4 +65,26 @@ default = "r0"; }; }; + "0.4.0.3" = { + sha256 = "b757cc1cb03bc8ec15b935ff7359e80e8f27a486669f2860b1da3f8ced68e74e"; + revisions = { + r0 = { + nix = import ../hackage/hscim-0.4.0.3-r0-00d324998d35a26e48d25fe02c59d44a2bee9241ed7c0c73438936787655ecd4.nix; + revNum = 0; + sha256 = "00d324998d35a26e48d25fe02c59d44a2bee9241ed7c0c73438936787655ecd4"; + }; + default = "r0"; + }; + }; + "0.4.0.4" = { + sha256 = "1746f98973b54a8d187a0e417a3ec4417abbca1dc82cde61238db2b11b656550"; + revisions = { + r0 = { + nix = import ../hackage/hscim-0.4.0.4-r0-64b29be4d339700ff6f94ea93bd1e27692978218212e9bec4ec4cc9b638b199e.nix; + revNum = 0; + sha256 = "64b29be4d339700ff6f94ea93bd1e27692978218212e9bec4ec4cc9b638b199e"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/http2.nix b/nix/http2.nix index 923f8c2d9a8..03c0a9eacab 100644 --- a/nix/http2.nix +++ b/nix/http2.nix @@ -1385,4 +1385,15 @@ default = "r0"; }; }; + "5.3.7" = { + sha256 = "ce40fadb03f2d7e12bbebb9c9153a560bf50a5db6960bef1943b7163b00344d5"; + revisions = { + r0 = { + nix = import ../hackage/http2-5.3.7-r0-21df17c85e50d0f6305dcd4a3d7b61ed3d6fe5f7d86e8b3496a3559d8c6fb5f6.nix; + revNum = 0; + sha256 = "21df17c85e50d0f6305dcd4a3d7b61ed3d6fe5f7d86e8b3496a3559d8c6fb5f6"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/http3.nix b/nix/http3.nix index ab7e782a7de..8515e77206e 100644 --- a/nix/http3.nix +++ b/nix/http3.nix @@ -173,6 +173,17 @@ default = "r0"; }; }; + "0.0.21" = { + sha256 = "b5762a7e468fe8e768691dae81b6c25b183094ad405b043b0262573ef415358f"; + revisions = { + r0 = { + nix = import ../hackage/http3-0.0.21-r0-b8490fa61af70128eef67976a59603d10cfa1780e1670b0719213f20fbffd2db.nix; + revNum = 0; + sha256 = "b8490fa61af70128eef67976a59603d10cfa1780e1670b0719213f20fbffd2db"; + }; + default = "r0"; + }; + }; "0.0.3" = { sha256 = "7e6f48e5140ffb0cea0d9e56257fba4e2147bee540dcd922563a798ae1c2c03a"; revisions = { diff --git a/nix/network-run.nix b/nix/network-run.nix index 5dce2de80a3..b7f91558674 100644 --- a/nix/network-run.nix +++ b/nix/network-run.nix @@ -175,4 +175,15 @@ default = "r0"; }; }; + "0.4.2" = { + sha256 = "4ec897c9c160614dbece24c4d851d681161d40262f3a20f85971d13824d69f13"; + revisions = { + r0 = { + nix = import ../hackage/network-run-0.4.2-r0-74e57298c0cbfe797c41ab9d4ae725f243b0407bcb058b24f6acd778ff21d283.nix; + revNum = 0; + sha256 = "74e57298c0cbfe797c41ab9d4ae725f243b0407bcb058b24f6acd778ff21d283"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/ogma-cli.nix b/nix/ogma-cli.nix index c28b7908a62..0699d06e4ec 100644 --- a/nix/ogma-cli.nix +++ b/nix/ogma-cli.nix @@ -120,4 +120,15 @@ default = "r0"; }; }; + "1.5.0" = { + sha256 = "74bb10931cd34775f2706505c947a5512f0bca3bb92396687d8257011805d3be"; + revisions = { + r0 = { + nix = import ../hackage/ogma-cli-1.5.0-r0-39d17d647dd15d7a2ef326d096d8c2f3ea8fb4aa0106b89d49462cc6d7fe0155.nix; + revNum = 0; + sha256 = "39d17d647dd15d7a2ef326d096d8c2f3ea8fb4aa0106b89d49462cc6d7fe0155"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/ogma-core.nix b/nix/ogma-core.nix index a7ba24afa25..e16b8540f9b 100644 --- a/nix/ogma-core.nix +++ b/nix/ogma-core.nix @@ -120,4 +120,15 @@ default = "r0"; }; }; + "1.5.0" = { + sha256 = "6741eabec5ba95071fac8215492f4e9cd17bf4b2e9e079ca0ac2aed5ca4e20b3"; + revisions = { + r0 = { + nix = import ../hackage/ogma-core-1.5.0-r0-5bfdc404bda6cc8f5ac11d302d03ebd726d7363341dac4844b5435cf9d98dcae.nix; + revNum = 0; + sha256 = "5bfdc404bda6cc8f5ac11d302d03ebd726d7363341dac4844b5435cf9d98dcae"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/ogma-extra.nix b/nix/ogma-extra.nix index e48127c6041..e2bfd660e52 100644 --- a/nix/ogma-extra.nix +++ b/nix/ogma-extra.nix @@ -120,4 +120,15 @@ default = "r0"; }; }; + "1.5.0" = { + sha256 = "b16d0515b8ffe32d9821fccb9767920e51938ccd2801892bdd5ce2ef3e39c816"; + revisions = { + r0 = { + nix = import ../hackage/ogma-extra-1.5.0-r0-f6ad87375dca8000b052d7a36834386cafaf8c4909514221962a4cb4bc3908f6.nix; + revNum = 0; + sha256 = "f6ad87375dca8000b052d7a36834386cafaf8c4909514221962a4cb4bc3908f6"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/ogma-language-c.nix b/nix/ogma-language-c.nix index 04bc753a059..b8556a75ec1 100644 --- a/nix/ogma-language-c.nix +++ b/nix/ogma-language-c.nix @@ -120,4 +120,15 @@ default = "r0"; }; }; + "1.5.0" = { + sha256 = "d44cf087d754f40bf132f2c3aae0b28999b7d7233580e20ecca578a8ea8f9ac8"; + revisions = { + r0 = { + nix = import ../hackage/ogma-language-c-1.5.0-r0-eb478a0f0e880dc41f0955e4dce72275608b9f4a0940aa66f3d30f7f5b7ebfb8.nix; + revNum = 0; + sha256 = "eb478a0f0e880dc41f0955e4dce72275608b9f4a0940aa66f3d30f7f5b7ebfb8"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/ogma-language-cocospec.nix b/nix/ogma-language-cocospec.nix index 8bf4d8fd0f3..802707ac1f6 100644 --- a/nix/ogma-language-cocospec.nix +++ b/nix/ogma-language-cocospec.nix @@ -120,4 +120,15 @@ default = "r0"; }; }; + "1.5.0" = { + sha256 = "47ea315312140f96af47b323f94d5aba4af1c6271738fbb1fdbc773155f4f525"; + revisions = { + r0 = { + nix = import ../hackage/ogma-language-cocospec-1.5.0-r0-f963b2a2e0fff2fac094839dfc96db6d3295db1d171f01edffeae411d933f9f2.nix; + revNum = 0; + sha256 = "f963b2a2e0fff2fac094839dfc96db6d3295db1d171f01edffeae411d933f9f2"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/ogma-language-copilot.nix b/nix/ogma-language-copilot.nix index dad6f4d7c0f..4ff5d9c5b14 100644 --- a/nix/ogma-language-copilot.nix +++ b/nix/ogma-language-copilot.nix @@ -120,4 +120,15 @@ default = "r0"; }; }; + "1.5.0" = { + sha256 = "24764f47199a040cb58bc325fa77818a2361ba92391a79a3a38e26626a2f9ba7"; + revisions = { + r0 = { + nix = import ../hackage/ogma-language-copilot-1.5.0-r0-e7fd4b3d711d17be6939fd6820bbe1c50aad50b331b2a1ee2cb021454ef16f2d.nix; + revNum = 0; + sha256 = "e7fd4b3d711d17be6939fd6820bbe1c50aad50b331b2a1ee2cb021454ef16f2d"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/ogma-language-jsonspec.nix b/nix/ogma-language-jsonspec.nix index 2bce35ed7ac..ee69abd4b74 100644 --- a/nix/ogma-language-jsonspec.nix +++ b/nix/ogma-language-jsonspec.nix @@ -43,4 +43,15 @@ default = "r0"; }; }; + "1.5.0" = { + sha256 = "0dce8996b06a01f767932b53496d87d6901eab15977cd83de19ec6cdb8ef8427"; + revisions = { + r0 = { + nix = import ../hackage/ogma-language-jsonspec-1.5.0-r0-c848533cb17795a1552731e36040bd90c469b96b4c5873192a29c359d25487f0.nix; + revNum = 0; + sha256 = "c848533cb17795a1552731e36040bd90c469b96b4c5873192a29c359d25487f0"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/ogma-language-smv.nix b/nix/ogma-language-smv.nix index 5133617ce7c..b40da5394b5 100644 --- a/nix/ogma-language-smv.nix +++ b/nix/ogma-language-smv.nix @@ -120,4 +120,15 @@ default = "r0"; }; }; + "1.5.0" = { + sha256 = "82695f1b3315e62fc37fa2b9e87c757f4d7f93706bdc4579be30ed15f9a314d2"; + revisions = { + r0 = { + nix = import ../hackage/ogma-language-smv-1.5.0-r0-f2a3890b345aa47075fea41c9984808c672e435f20ca31d9f8f0750f2c6e87e4.nix; + revNum = 0; + sha256 = "f2a3890b345aa47075fea41c9984808c672e435f20ca31d9f8f0750f2c6e87e4"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/ogma-spec.nix b/nix/ogma-spec.nix index 5a14ef87110..1086e251703 100644 --- a/nix/ogma-spec.nix +++ b/nix/ogma-spec.nix @@ -43,4 +43,15 @@ default = "r0"; }; }; + "1.5.0" = { + sha256 = "0359fe6bb8eedc88ac1d80b6ac1d98e4b4dac8bbeb3fc816f54580da8fafb907"; + revisions = { + r0 = { + nix = import ../hackage/ogma-spec-1.5.0-r0-89153f01ebe66f1c3a4e20d843a23da89e48358726162f6f59460d463bba2cc4.nix; + revNum = 0; + sha256 = "89153f01ebe66f1c3a4e20d843a23da89e48358726162f6f59460d463bba2cc4"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/quic.nix b/nix/quic.nix index b05d2a1311b..94472558e0e 100644 --- a/nix/quic.nix +++ b/nix/quic.nix @@ -431,4 +431,15 @@ default = "r0"; }; }; + "0.2.6" = { + sha256 = "858e4a223407bba353709ef4fc13ae0fcda652e9d2954d6f1c02bbb834f82575"; + revisions = { + r0 = { + nix = import ../hackage/quic-0.2.6-r0-20bc5a813a0df9eca8e50b05ff6f0134d154c41404b1866a628fd4eec840a21a.nix; + revNum = 0; + sha256 = "20bc5a813a0df9eca8e50b05ff6f0134d154c41404b1866a628fd4eec840a21a"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/rawlock.nix b/nix/rawlock.nix index 6532f984273..bddc94436a7 100644 --- a/nix/rawlock.nix +++ b/nix/rawlock.nix @@ -10,4 +10,20 @@ default = "r0"; }; }; + "0.1.1.0" = { + sha256 = "f2eb327e826de3c8419361aa6d0641c752c1f7cccd5f70eabf3c72934115a6c1"; + revisions = { + r0 = { + nix = import ../hackage/rawlock-0.1.1.0-r0-b1c301f20b98e21ff8d4a10ed689abb6153eb7d38a8c9c86651d932ebb2e739c.nix; + revNum = 0; + sha256 = "b1c301f20b98e21ff8d4a10ed689abb6153eb7d38a8c9c86651d932ebb2e739c"; + }; + r1 = { + nix = import ../hackage/rawlock-0.1.1.0-r1-30fea5a44ed6226c646638ff5a44c1877a282742d39023ea03c5f00fb97387bf.nix; + revNum = 1; + sha256 = "30fea5a44ed6226c646638ff5a44c1877a282742d39023ea03c5f00fb97387bf"; + }; + default = "r1"; + }; + }; } \ No newline at end of file diff --git a/nix/time-manager.nix b/nix/time-manager.nix index d2b09a436bf..022d7b1e13e 100644 --- a/nix/time-manager.nix +++ b/nix/time-manager.nix @@ -59,4 +59,15 @@ default = "r0"; }; }; + "0.1.3" = { + sha256 = "fd1b9278f1aa0d609ee8b6da629a5b7c3c3ecb1d20fa5a2b80d69e27f1b7d096"; + revisions = { + r0 = { + nix = import ../hackage/time-manager-0.1.3-r0-b3e2b9bb4beb465eb3abe5dc4b65fb248fec8127fd6774c5bc8153c70b978cbd.nix; + revNum = 0; + sha256 = "b3e2b9bb4beb465eb3abe5dc4b65fb248fec8127fd6774c5bc8153c70b978cbd"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/warp.nix b/nix/warp.nix index ebaa92b4984..b344af49ac5 100644 --- a/nix/warp.nix +++ b/nix/warp.nix @@ -3874,4 +3874,15 @@ default = "r0"; }; }; + "3.4.6" = { + sha256 = "4c19ce181a8a63d2ae65b77e62813b91d2fa3fa1d23960d578769ee5e50355ac"; + revisions = { + r0 = { + nix = import ../hackage/warp-3.4.6-r0-25f12751dc653363c5bc036468868dc3e54a5b4312b33b71d9cbfd6e09b9ad85.nix; + revNum = 0; + sha256 = "25f12751dc653363c5bc036468868dc3e54a5b4312b33b71d9cbfd6e09b9ad85"; + }; + default = "r0"; + }; + }; } \ No newline at end of file