From 3f0675337984f15834fcd52b97fc766e30f4d684 Mon Sep 17 00:00:00 2001 From: IOHK Date: Fri, 26 Jul 2024 00:26:29 +0000 Subject: [PATCH] Automatic Update --- default.nix | 4 + ...2439968024160ffcb6c1bd141207c88d497b27.nix | 59 +++++++ ...adaee1799aaed525a56739a5a174a1e81ba073.nix | 59 +++++++ ...5348ba189d4703c4a0e56521cef39c03a13cfd.nix | 52 ++++++ ...752470e4f9ece8538e1906b6ab97f33c150aa8.nix | 62 +++++++ ...fcfbca901c3ff8330116e8f5b1cba904285f01.nix | 158 ++++++++++++++++++ ...2b19020d20d51a26d4c5355e916d633f366a1f.nix | 47 ++++++ ...3ed6444172d0ba200ac6437815a4b0e1cfc2e7.nix | 48 ++++++ ...47ee590ace6f735539f67f5c639f8bf74ababf.nix | 55 ++++++ ...85633589149607e20ba403c5f487b1940f4fb6.nix | 37 ++++ ...241553f38755fce5cfc9c4cdd61354b15bcac5.nix | 34 ++++ ...15d8856b7f897d45351f9087a39915d845beee.nix | 52 ++++++ index-state-hashes.nix | 1 + nix/conftrack.nix | 18 ++ nix/curve25519.nix | 7 +- nix/exon.nix | 7 +- nix/freckle-app.nix | 11 ++ nix/freckle-env.nix | 13 ++ nix/freckle-kafka.nix | 13 ++ nix/language-bash.nix | 11 ++ nix/typed-fsm.nix | 11 ++ nix/typelits-witnesses.nix | 11 ++ nix/yosys-rtl.nix | 13 ++ 23 files changed, 781 insertions(+), 2 deletions(-) create mode 100644 hackage/conftrack-0.0.1-r0-f6fbee04b546ec70f36b97fde82439968024160ffcb6c1bd141207c88d497b27.nix create mode 100644 hackage/conftrack-0.0.1-r1-b937c53e3928c11b1a3c6300e7adaee1799aaed525a56739a5a174a1e81ba073.nix create mode 100644 hackage/curve25519-0.2.8-r1-f6a30d76e7260757a199deaab85348ba189d4703c4a0e56521cef39c03a13cfd.nix create mode 100644 hackage/exon-1.7.0.0-r2-48d62230b17c7f90cba56bcb45752470e4f9ece8538e1906b6ab97f33c150aa8.nix create mode 100644 hackage/freckle-app-1.19.0.0-r0-7407df317ad2aeee3b67fbe75dfcfbca901c3ff8330116e8f5b1cba904285f01.nix create mode 100644 hackage/freckle-env-0.0.0.0-r0-7ef34d6f1814f181a413d11e832b19020d20d51a26d4c5355e916d633f366a1f.nix create mode 100644 hackage/freckle-kafka-0.0.0.0-r0-8a86a315a4a742117b7cb0b7b33ed6444172d0ba200ac6437815a4b0e1cfc2e7.nix create mode 100644 hackage/language-bash-0.10.0-r0-2bb2b8aebb9a1c39f2ad2ee99947ee590ace6f735539f67f5c639f8bf74ababf.nix create mode 100644 hackage/typed-fsm-0.3.0.0-r0-5aafb3e9cfe3f3a663d4cf26c185633589149607e20ba403c5f487b1940f4fb6.nix create mode 100644 hackage/typelits-witnesses-0.4.1.0-r0-ec237703b0a9bee94464c1797c241553f38755fce5cfc9c4cdd61354b15bcac5.nix create mode 100644 hackage/yosys-rtl-0.1.0.0-r0-dbc8b5b9a73b377d64b999331f15d8856b7f897d45351f9087a39915d845beee.nix create mode 100644 nix/conftrack.nix create mode 100644 nix/freckle-env.nix create mode 100644 nix/freckle-kafka.nix create mode 100644 nix/yosys-rtl.nix diff --git a/default.nix b/default.nix index e7872a10249..3b69017a3f3 100644 --- a/default.nix +++ b/default.nix @@ -3929,6 +3929,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec { "conformance" = import ./nix/conformance.nix; "conformance-gen" = import ./nix/conformance-gen.nix; "confsolve" = import ./nix/confsolve.nix; + "conftrack" = import ./nix/conftrack.nix; "congruence-relation" = import ./nix/congruence-relation.nix; "conic-graphs" = import ./nix/conic-graphs.nix; "conjugateGradient" = import ./nix/conjugate_Gradient.nix; @@ -5970,6 +5971,8 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec { "fraxl" = import ./nix/fraxl.nix; "frecently" = import ./nix/frecently.nix; "freckle-app" = import ./nix/freckle-app.nix; + "freckle-env" = import ./nix/freckle-env.nix; + "freckle-kafka" = import ./nix/freckle-kafka.nix; "freddy" = import ./nix/freddy.nix; "free" = import ./nix/free.nix; "free-alacarte" = import ./nix/free-alacarte.nix; @@ -17765,6 +17768,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec { "yoga" = import ./nix/yoga.nix; "yoko" = import ./nix/yoko.nix; "york-lava" = import ./nix/york-lava.nix; + "yosys-rtl" = import ./nix/yosys-rtl.nix; "youtube" = import ./nix/youtube.nix; "yql" = import ./nix/yql.nix; "yst" = import ./nix/yst.nix; diff --git a/hackage/conftrack-0.0.1-r0-f6fbee04b546ec70f36b97fde82439968024160ffcb6c1bd141207c88d497b27.nix b/hackage/conftrack-0.0.1-r0-f6fbee04b546ec70f36b97fde82439968024160ffcb6c1bd141207c88d497b27.nix new file mode 100644 index 00000000000..c1c95250dc2 --- /dev/null +++ b/hackage/conftrack-0.0.1-r0-f6fbee04b546ec70f36b97fde82439968024160ffcb6c1bd141207c88d497b27.nix @@ -0,0 +1,59 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "3.4"; + identifier = { name = "conftrack"; version = "0.0.1"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "stuebinm@disroot.org"; + author = "stuebinm"; + homepage = ""; + url = ""; + synopsis = "Tracable multi-source config management"; + description = "A library for handling multiple config files and keep track of where\nconfig values came from.\n\nConfig values can be read from json, yaml, or environment variables;\nit is also possible to implement custom configuration sources via a\ntype class.\n\nProvenance of config values is tracked while reading them; an application\nusing this library can easily print a listing detailing which files were\nread and which file provided (or failed to provide) an individual value."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."yaml" or (errorHandler.buildDepError "yaml")) + (hsPkgs."scientific" or (errorHandler.buildDepError "scientific")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."file-io" or (errorHandler.buildDepError "file-io")) + (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + ]; + buildable = true; + }; + tests = { + "conftrack-test" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."conftrack" or (errorHandler.buildDepError "conftrack")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."quickcheck-instances" or (errorHandler.buildDepError "quickcheck-instances")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/conftrack-0.0.1-r1-b937c53e3928c11b1a3c6300e7adaee1799aaed525a56739a5a174a1e81ba073.nix b/hackage/conftrack-0.0.1-r1-b937c53e3928c11b1a3c6300e7adaee1799aaed525a56739a5a174a1e81ba073.nix new file mode 100644 index 00000000000..c1c95250dc2 --- /dev/null +++ b/hackage/conftrack-0.0.1-r1-b937c53e3928c11b1a3c6300e7adaee1799aaed525a56739a5a174a1e81ba073.nix @@ -0,0 +1,59 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "3.4"; + identifier = { name = "conftrack"; version = "0.0.1"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "stuebinm@disroot.org"; + author = "stuebinm"; + homepage = ""; + url = ""; + synopsis = "Tracable multi-source config management"; + description = "A library for handling multiple config files and keep track of where\nconfig values came from.\n\nConfig values can be read from json, yaml, or environment variables;\nit is also possible to implement custom configuration sources via a\ntype class.\n\nProvenance of config values is tracked while reading them; an application\nusing this library can easily print a listing detailing which files were\nread and which file provided (or failed to provide) an individual value."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."yaml" or (errorHandler.buildDepError "yaml")) + (hsPkgs."scientific" or (errorHandler.buildDepError "scientific")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."file-io" or (errorHandler.buildDepError "file-io")) + (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + ]; + buildable = true; + }; + tests = { + "conftrack-test" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."conftrack" or (errorHandler.buildDepError "conftrack")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."quickcheck-instances" or (errorHandler.buildDepError "quickcheck-instances")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/curve25519-0.2.8-r1-f6a30d76e7260757a199deaab85348ba189d4703c4a0e56521cef39c03a13cfd.nix b/hackage/curve25519-0.2.8-r1-f6a30d76e7260757a199deaab85348ba189d4703c4a0e56521cef39c03a13cfd.nix new file mode 100644 index 00000000000..83076180348 --- /dev/null +++ b/hackage/curve25519-0.2.8-r1-f6a30d76e7260757a199deaab85348ba189d4703c4a0e56521cef39c03a13cfd.nix @@ -0,0 +1,52 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "curve25519"; version = "0.2.8"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "Adam Wick "; + author = "Adam Wick "; + homepage = "http://github.com/acw/curve25519"; + url = ""; + synopsis = "Fast implementations of the curve25519 elliptic curve primitives."; + description = "Haskell bindings and extensions to the curve25519-donna\ncodebase. This module is a pretty straightforward implementation\nof the basic cryptographic routines you'd want from a project that\nuses curve25519: key generation, and key agreement. For further\nfunctionality, you'll want to look elsewhere."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."crypto-api" or (errorHandler.buildDepError "crypto-api")) + ]; + buildable = true; + }; + tests = { + "test-curve25519" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."curve25519" or (errorHandler.buildDepError "curve25519")) + (hsPkgs."crypto-api" or (errorHandler.buildDepError "crypto-api")) + (hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."tagged" or (errorHandler.buildDepError "tagged")) + (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")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/exon-1.7.0.0-r2-48d62230b17c7f90cba56bcb45752470e4f9ece8538e1906b6ab97f33c150aa8.nix b/hackage/exon-1.7.0.0-r2-48d62230b17c7f90cba56bcb45752470e4f9ece8538e1906b6ab97f33c150aa8.nix new file mode 100644 index 00000000000..afa77783a0a --- /dev/null +++ b/hackage/exon-1.7.0.0-r2-48d62230b17c7f90cba56bcb45752470e4f9ece8538e1906b6ab97f33c150aa8.nix @@ -0,0 +1,62 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.2"; + identifier = { name = "exon"; version = "1.7.0.0"; }; + license = "BSD-2-Clause-Patent"; + copyright = "2023 Torsten Schmits"; + maintainer = "hackage@tryp.io"; + author = "Torsten Schmits"; + homepage = "https://github.com/tek/exon#readme"; + url = ""; + synopsis = "Customizable quasiquote interpolation"; + description = "See https://hackage.haskell.org/package/exon/docs/Exon.html"; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."ghc" or (errorHandler.buildDepError "ghc")) + (hsPkgs."incipit-base" or (errorHandler.buildDepError "incipit-base")) + (hsPkgs."parsec" or (errorHandler.buildDepError "parsec")) + (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) + ]; + buildable = true; + }; + tests = { + "exon-test" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."exon" or (errorHandler.buildDepError "exon")) + (hsPkgs."hedgehog" or (errorHandler.buildDepError "hedgehog")) + (hsPkgs."incipit-base" or (errorHandler.buildDepError "incipit-base")) + (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) + (hsPkgs."tasty-hedgehog" or (errorHandler.buildDepError "tasty-hedgehog")) + (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) + ]; + buildable = true; + }; + }; + benchmarks = { + "exon-bench" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."criterion" or (errorHandler.buildDepError "criterion")) + (hsPkgs."exon" or (errorHandler.buildDepError "exon")) + (hsPkgs."incipit-base" or (errorHandler.buildDepError "incipit-base")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/freckle-app-1.19.0.0-r0-7407df317ad2aeee3b67fbe75dfcfbca901c3ff8330116e8f5b1cba904285f01.nix b/hackage/freckle-app-1.19.0.0-r0-7407df317ad2aeee3b67fbe75dfcfbca901c3ff8330116e8f5b1cba904285f01.nix new file mode 100644 index 00000000000..4f64227936f --- /dev/null +++ b/hackage/freckle-app-1.19.0.0-r0-7407df317ad2aeee3b67fbe75dfcfbca901c3ff8330116e8f5b1cba904285f01.nix @@ -0,0 +1,158 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.22"; + identifier = { name = "freckle-app"; version = "1.19.0.0"; }; + license = "MIT"; + copyright = ""; + maintainer = "Freckle Education"; + author = ""; + homepage = "https://github.com/freckle/freckle-app#readme"; + url = ""; + synopsis = "Haskell application toolkit used at Freckle"; + description = "Please see README.md"; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."Blammo" or (errorHandler.buildDepError "Blammo")) + (hsPkgs."Blammo-wai" or (errorHandler.buildDepError "Blammo-wai")) + (hsPkgs."Glob" or (errorHandler.buildDepError "Glob")) + (hsPkgs."MonadRandom" or (errorHandler.buildDepError "MonadRandom")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."annotated-exception" or (errorHandler.buildDepError "annotated-exception")) + (hsPkgs."autodocodec" or (errorHandler.buildDepError "autodocodec")) + (hsPkgs."autodocodec-openapi3" or (errorHandler.buildDepError "autodocodec-openapi3")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bcp47" or (errorHandler.buildDepError "bcp47")) + (hsPkgs."bugsnag" or (errorHandler.buildDepError "bugsnag")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."case-insensitive" or (errorHandler.buildDepError "case-insensitive")) + (hsPkgs."cassava" or (errorHandler.buildDepError "cassava")) + (hsPkgs."conduit" or (errorHandler.buildDepError "conduit")) + (hsPkgs."conduit-extra" or (errorHandler.buildDepError "conduit-extra")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."cookie" or (errorHandler.buildDepError "cookie")) + (hsPkgs."datadog" or (errorHandler.buildDepError "datadog")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."doctest" or (errorHandler.buildDepError "doctest")) + (hsPkgs."dotenv" or (errorHandler.buildDepError "dotenv")) + (hsPkgs."ekg-core" or (errorHandler.buildDepError "ekg-core")) + (hsPkgs."errors" or (errorHandler.buildDepError "errors")) + (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) + (hsPkgs."extra" or (errorHandler.buildDepError "extra")) + (hsPkgs."faktory" or (errorHandler.buildDepError "faktory")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."freckle-env" or (errorHandler.buildDepError "freckle-env")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."hs-opentelemetry-api" or (errorHandler.buildDepError "hs-opentelemetry-api")) + (hsPkgs."hs-opentelemetry-instrumentation-persistent" or (errorHandler.buildDepError "hs-opentelemetry-instrumentation-persistent")) + (hsPkgs."hs-opentelemetry-instrumentation-wai" or (errorHandler.buildDepError "hs-opentelemetry-instrumentation-wai")) + (hsPkgs."hs-opentelemetry-sdk" or (errorHandler.buildDepError "hs-opentelemetry-sdk")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."hspec-core" or (errorHandler.buildDepError "hspec-core")) + (hsPkgs."hspec-expectations-lifted" or (errorHandler.buildDepError "hspec-expectations-lifted")) + (hsPkgs."hspec-junit-formatter" or (errorHandler.buildDepError "hspec-junit-formatter")) + (hsPkgs."http-client" or (errorHandler.buildDepError "http-client")) + (hsPkgs."http-conduit" or (errorHandler.buildDepError "http-conduit")) + (hsPkgs."http-link-header" or (errorHandler.buildDepError "http-link-header")) + (hsPkgs."http-types" or (errorHandler.buildDepError "http-types")) + (hsPkgs."immortal" or (errorHandler.buildDepError "immortal")) + (hsPkgs."lens" or (errorHandler.buildDepError "lens")) + (hsPkgs."memcache" or (errorHandler.buildDepError "memcache")) + (hsPkgs."monad-control" or (errorHandler.buildDepError "monad-control")) + (hsPkgs."monad-logger" or (errorHandler.buildDepError "monad-logger")) + (hsPkgs."monad-logger-aeson" or (errorHandler.buildDepError "monad-logger-aeson")) + (hsPkgs."monad-validate" or (errorHandler.buildDepError "monad-validate")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."network-uri" or (errorHandler.buildDepError "network-uri")) + (hsPkgs."nonempty-containers" or (errorHandler.buildDepError "nonempty-containers")) + (hsPkgs."openapi3" or (errorHandler.buildDepError "openapi3")) + (hsPkgs."path-pieces" or (errorHandler.buildDepError "path-pieces")) + (hsPkgs."persistent" or (errorHandler.buildDepError "persistent")) + (hsPkgs."persistent-postgresql" or (errorHandler.buildDepError "persistent-postgresql")) + (hsPkgs."postgresql-simple" or (errorHandler.buildDepError "postgresql-simple")) + (hsPkgs."primitive" or (errorHandler.buildDepError "primitive")) + (hsPkgs."pureMD5" or (errorHandler.buildDepError "pureMD5")) + (hsPkgs."resource-pool" or (errorHandler.buildDepError "resource-pool")) + (hsPkgs."resourcet" or (errorHandler.buildDepError "resourcet")) + (hsPkgs."retry" or (errorHandler.buildDepError "retry")) + (hsPkgs."safe" or (errorHandler.buildDepError "safe")) + (hsPkgs."scientist" or (errorHandler.buildDepError "scientist")) + (hsPkgs."semigroupoids" or (errorHandler.buildDepError "semigroupoids")) + (hsPkgs."serialise" or (errorHandler.buildDepError "serialise")) + (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."transformers-base" or (errorHandler.buildDepError "transformers-base")) + (hsPkgs."typed-process" or (errorHandler.buildDepError "typed-process")) + (hsPkgs."unliftio" or (errorHandler.buildDepError "unliftio")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + (hsPkgs."wai" or (errorHandler.buildDepError "wai")) + (hsPkgs."wai-extra" or (errorHandler.buildDepError "wai-extra")) + (hsPkgs."yaml" or (errorHandler.buildDepError "yaml")) + (hsPkgs."yesod-core" or (errorHandler.buildDepError "yesod-core")) + (hsPkgs."yesod-test" or (errorHandler.buildDepError "yesod-test")) + ]; + buildable = true; + }; + tests = { + "doctest" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."freckle-app" or (errorHandler.buildDepError "freckle-app")) + ]; + buildable = true; + }; + "spec" = { + depends = [ + (hsPkgs."Blammo" or (errorHandler.buildDepError "Blammo")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."async" or (errorHandler.buildDepError "async")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bugsnag" or (errorHandler.buildDepError "bugsnag")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."cassava" or (errorHandler.buildDepError "cassava")) + (hsPkgs."conduit" or (errorHandler.buildDepError "conduit")) + (hsPkgs."errors" or (errorHandler.buildDepError "errors")) + (hsPkgs."freckle-app" or (errorHandler.buildDepError "freckle-app")) + (hsPkgs."freckle-env" or (errorHandler.buildDepError "freckle-env")) + (hsPkgs."hs-opentelemetry-api" or (errorHandler.buildDepError "hs-opentelemetry-api")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."hspec-expectations-json" or (errorHandler.buildDepError "hspec-expectations-json")) + (hsPkgs."hspec-expectations-lifted" or (errorHandler.buildDepError "hspec-expectations-lifted")) + (hsPkgs."http-types" or (errorHandler.buildDepError "http-types")) + (hsPkgs."lens" or (errorHandler.buildDepError "lens")) + (hsPkgs."lens-aeson" or (errorHandler.buildDepError "lens-aeson")) + (hsPkgs."memcache" or (errorHandler.buildDepError "memcache")) + (hsPkgs."monad-validate" or (errorHandler.buildDepError "monad-validate")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."nonempty-containers" or (errorHandler.buildDepError "nonempty-containers")) + (hsPkgs."postgresql-simple" or (errorHandler.buildDepError "postgresql-simple")) + (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."wai" or (errorHandler.buildDepError "wai")) + (hsPkgs."wai-extra" or (errorHandler.buildDepError "wai-extra")) + (hsPkgs."zlib" or (errorHandler.buildDepError "zlib")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/freckle-env-0.0.0.0-r0-7ef34d6f1814f181a413d11e832b19020d20d51a26d4c5355e916d633f366a1f.nix b/hackage/freckle-env-0.0.0.0-r0-7ef34d6f1814f181a413d11e832b19020d20d51a26d4c5355e916d633f366a1f.nix new file mode 100644 index 00000000000..2199b3d1621 --- /dev/null +++ b/hackage/freckle-env-0.0.0.0-r0-7ef34d6f1814f181a413d11e832b19020d20d51a26d4c5355e916d633f366a1f.nix @@ -0,0 +1,47 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.18"; + identifier = { name = "freckle-env"; version = "0.0.0.0"; }; + license = "MIT"; + copyright = ""; + maintainer = "Freckle Education"; + author = ""; + homepage = "https://github.com/freckle/freckle-app#readme"; + url = ""; + synopsis = "Some extension to the envparse library"; + description = "Please see README.md"; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."envparse" or (errorHandler.buildDepError "envparse")) + (hsPkgs."errors" or (errorHandler.buildDepError "errors")) + (hsPkgs."relude" or (errorHandler.buildDepError "relude")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + ]; + buildable = true; + }; + tests = { + "doctest" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."doctest" or (errorHandler.buildDepError "doctest")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/freckle-kafka-0.0.0.0-r0-8a86a315a4a742117b7cb0b7b33ed6444172d0ba200ac6437815a4b0e1cfc2e7.nix b/hackage/freckle-kafka-0.0.0.0-r0-8a86a315a4a742117b7cb0b7b33ed6444172d0ba200ac6437815a4b0e1cfc2e7.nix new file mode 100644 index 00000000000..f2f64be2078 --- /dev/null +++ b/hackage/freckle-kafka-0.0.0.0-r0-8a86a315a4a742117b7cb0b7b33ed6444172d0ba200ac6437815a4b0e1cfc2e7.nix @@ -0,0 +1,48 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.18"; + identifier = { name = "freckle-kafka"; version = "0.0.0.0"; }; + license = "MIT"; + copyright = ""; + maintainer = "Freckle Education"; + author = ""; + homepage = "https://github.com/freckle/freckle-app#readme"; + url = ""; + synopsis = "Some extensions to the hw-kafka-client library"; + description = "Please see README.md"; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."Blammo" or (errorHandler.buildDepError "Blammo")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."annotated-exception" or (errorHandler.buildDepError "annotated-exception")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."freckle-env" or (errorHandler.buildDepError "freckle-env")) + (hsPkgs."hs-opentelemetry-sdk" or (errorHandler.buildDepError "hs-opentelemetry-sdk")) + (hsPkgs."hw-kafka-client" or (errorHandler.buildDepError "hw-kafka-client")) + (hsPkgs."lens" or (errorHandler.buildDepError "lens")) + (hsPkgs."relude" or (errorHandler.buildDepError "relude")) + (hsPkgs."resource-pool" or (errorHandler.buildDepError "resource-pool")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."unliftio" or (errorHandler.buildDepError "unliftio")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + (hsPkgs."yesod-core" or (errorHandler.buildDepError "yesod-core")) + ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/language-bash-0.10.0-r0-2bb2b8aebb9a1c39f2ad2ee99947ee590ace6f735539f67f5c639f8bf74ababf.nix b/hackage/language-bash-0.10.0-r0-2bb2b8aebb9a1c39f2ad2ee99947ee590ace6f735539f67f5c639f8bf74ababf.nix new file mode 100644 index 00000000000..7174a8dcf16 --- /dev/null +++ b/hackage/language-bash-0.10.0-r0-2bb2b8aebb9a1c39f2ad2ee99947ee590ace6f735539f67f5c639f8bf74ababf.nix @@ -0,0 +1,55 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.2"; + identifier = { name = "language-bash"; version = "0.10.0"; }; + license = "BSD-3-Clause"; + copyright = "Copyright (c) 2013-2024 Kyle Raftogianis"; + maintainer = "Kyle Raftogianis "; + author = "Kyle Raftogianis"; + homepage = "http://github.com/knrafto/language-bash/"; + url = ""; + synopsis = "Parsing and pretty-printing Bash shell scripts"; + description = "A library for parsing, pretty-printing, and manipulating\nBash shell scripts."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."parsec" or (errorHandler.buildDepError "parsec")) + (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + ]; + buildable = true; + }; + tests = { + "tests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."language-bash" or (errorHandler.buildDepError "language-bash")) + (hsPkgs."parsec" or (errorHandler.buildDepError "parsec")) + (hsPkgs."process" or (errorHandler.buildDepError "process")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) + (hsPkgs."tasty-golden" or (errorHandler.buildDepError "tasty-golden")) + (hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) + (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) + (hsPkgs."tasty-expected-failure" or (errorHandler.buildDepError "tasty-expected-failure")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/typed-fsm-0.3.0.0-r0-5aafb3e9cfe3f3a663d4cf26c185633589149607e20ba403c5f487b1940f4fb6.nix b/hackage/typed-fsm-0.3.0.0-r0-5aafb3e9cfe3f3a663d4cf26c185633589149607e20ba403c5f487b1940f4fb6.nix new file mode 100644 index 00000000000..29da6aba0a3 --- /dev/null +++ b/hackage/typed-fsm-0.3.0.0-r0-5aafb3e9cfe3f3a663d4cf26c185633589149607e20ba403c5f487b1940f4fb6.nix @@ -0,0 +1,37 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "3.0"; + identifier = { name = "typed-fsm"; version = "0.3.0.0"; }; + license = "MIT"; + copyright = ""; + maintainer = "shangdizhixia1993@163.com"; + author = "sdzx-1"; + homepage = ""; + url = ""; + synopsis = "A framework for strongly typed FSM"; + description = "FSM stands for [Finite State Machine](https://en.wikipedia.org/wiki/Finite-state_machine).\nThe typed-fsm is used to define and execute FSM.\n\nAdvantages of type-fsm:\n\n* Focus on the right message.\n* Top-to-bottom design for easy refactoring.\n* Conducive to building complex state machine systems:\n** Type guarantees will not produce incorrect function calls when written.\n** With the help of the type system, we can define many state processing functions and then call each other recursively with confidence.\n* There is a sanity check. If you miss some items for pattern matching, the compiler will issue a warning, and there will also be a warning for invalid items."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."dependent-map" or (errorHandler.buildDepError "dependent-map")) + (hsPkgs."dependent-sum" or (errorHandler.buildDepError "dependent-sum")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."singletons-base" or (errorHandler.buildDepError "singletons-base")) + ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/typelits-witnesses-0.4.1.0-r0-ec237703b0a9bee94464c1797c241553f38755fce5cfc9c4cdd61354b15bcac5.nix b/hackage/typelits-witnesses-0.4.1.0-r0-ec237703b0a9bee94464c1797c241553f38755fce5cfc9c4cdd61354b15bcac5.nix new file mode 100644 index 00000000000..74c6784dec0 --- /dev/null +++ b/hackage/typelits-witnesses-0.4.1.0-r0-ec237703b0a9bee94464c1797c241553f38755fce5cfc9c4cdd61354b15bcac5.nix @@ -0,0 +1,34 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.12"; + identifier = { name = "typelits-witnesses"; version = "0.4.1.0"; }; + license = "MIT"; + copyright = "(c) Justin Le 2024"; + maintainer = "justin@jle.im"; + author = "Justin Le"; + homepage = "https://github.com/mstksg/typelits-witnesses"; + url = ""; + synopsis = "Existential witnesses, singletons, and classes for operations on GHC TypeLits"; + description = "This library contains:\n\n* A small specialized subset of the *singletons* library as it pertains to\n`Nat` and `Symbol`, for when you need some simple functionality without\nwanting to invoke the entire *singletons* library.\n* Operations for manipulating these singletons and `KnownNat` and\n`KnownSymbol` instances, such as addition and multiplication of\nsingletons/`KnownNat` instances.\n* Operations for the comparison of `Nat`s in a way that works well with\n*GHC.TypeLits*'s different comparison systems. This is helpful for\nbridging together libraries that use different systems; this functionality\nis not yet provided by *singletons*."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."dependent-sum" or (errorHandler.buildDepError "dependent-sum")) + ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/yosys-rtl-0.1.0.0-r0-dbc8b5b9a73b377d64b999331f15d8856b7f897d45351f9087a39915d845beee.nix b/hackage/yosys-rtl-0.1.0.0-r0-dbc8b5b9a73b377d64b999331f15d8856b7f897d45351f9087a39915d845beee.nix new file mode 100644 index 00000000000..6d7ed43cf8e --- /dev/null +++ b/hackage/yosys-rtl-0.1.0.0-r0-dbc8b5b9a73b377d64b999331f15d8856b7f897d45351f9087a39915d845beee.nix @@ -0,0 +1,52 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "3.0"; + identifier = { name = "yosys-rtl"; version = "0.1.0.0"; }; + license = "MIT"; + copyright = "David Cox"; + maintainer = "dwc1295@gmail.com"; + author = "dopamane"; + homepage = "https://github.com/standardsemiconductor/yosys-rtl"; + url = ""; + synopsis = "Yosys RTL Intermediate Language"; + description = "Definition and prettyprinter.\nSee https://yosyshq.readthedocs.io/projects/yosys/en/latest/\nfor RTL text representation documentation."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + ]; + buildable = true; + }; + tests = { + "test" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."extra" or (errorHandler.buildDepError "extra")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter")) + (hsPkgs."process" or (errorHandler.buildDepError "process")) + (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) + (hsPkgs."tasty-golden" or (errorHandler.buildDepError "tasty-golden")) + (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."yosys-rtl" or (errorHandler.buildDepError "yosys-rtl")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/index-state-hashes.nix b/index-state-hashes.nix index 9c16c4d9063..34d54fb5960 100644 --- a/index-state-hashes.nix +++ b/index-state-hashes.nix @@ -1942,4 +1942,5 @@ "2024-07-23T00:00:00Z" = "a506c082b78f98f51e01816853d08640234d60461a5363ef60e2699022040723"; "2024-07-24T00:00:00Z" = "e3e37f5b83e7148dd3707b60e8722aae75c6ab49f2a7194cadcdfae0c84b32f5"; "2024-07-25T00:00:00Z" = "6c508463940bcb1de9caeca49732b90f489d61013c4359e77e6a9a715e73cf5b"; + "2024-07-26T00:00:00Z" = "ba287e7c2bb9a3817142dff7d4f0693f15b17e04a6a159aa6a05ab3e162f9fef"; } diff --git a/nix/conftrack.nix b/nix/conftrack.nix new file mode 100644 index 00000000000..689ac432877 --- /dev/null +++ b/nix/conftrack.nix @@ -0,0 +1,18 @@ +{ + "0.0.1" = { + sha256 = "51bdd96aff8537b4871498d67b936df8ab360b886aabec21a1dcb187a73aa2ec"; + revisions = { + r0 = { + nix = import ../hackage/conftrack-0.0.1-r0-f6fbee04b546ec70f36b97fde82439968024160ffcb6c1bd141207c88d497b27.nix; + revNum = 0; + sha256 = "f6fbee04b546ec70f36b97fde82439968024160ffcb6c1bd141207c88d497b27"; + }; + r1 = { + nix = import ../hackage/conftrack-0.0.1-r1-b937c53e3928c11b1a3c6300e7adaee1799aaed525a56739a5a174a1e81ba073.nix; + revNum = 1; + sha256 = "b937c53e3928c11b1a3c6300e7adaee1799aaed525a56739a5a174a1e81ba073"; + }; + default = "r1"; + }; + }; +} \ No newline at end of file diff --git a/nix/curve25519.nix b/nix/curve25519.nix index 96af4a2569d..946bac9ad61 100644 --- a/nix/curve25519.nix +++ b/nix/curve25519.nix @@ -95,7 +95,12 @@ revNum = 0; sha256 = "8203671b722f92f4b81c778ababc2d1a6abdb10b533c0dfacdbff33e74443ad6"; }; - default = "r0"; + r1 = { + nix = import ../hackage/curve25519-0.2.8-r1-f6a30d76e7260757a199deaab85348ba189d4703c4a0e56521cef39c03a13cfd.nix; + revNum = 1; + sha256 = "f6a30d76e7260757a199deaab85348ba189d4703c4a0e56521cef39c03a13cfd"; + }; + default = "r1"; }; }; } \ No newline at end of file diff --git a/nix/exon.nix b/nix/exon.nix index da6261c6ce2..6c0e2df25f8 100644 --- a/nix/exon.nix +++ b/nix/exon.nix @@ -259,7 +259,12 @@ revNum = 1; sha256 = "4778a3292efc3aa6327afca7967ee59dcfe4f354cf10f0aecb64b2e6106bfbac"; }; - default = "r1"; + r2 = { + nix = import ../hackage/exon-1.7.0.0-r2-48d62230b17c7f90cba56bcb45752470e4f9ece8538e1906b6ab97f33c150aa8.nix; + revNum = 2; + sha256 = "48d62230b17c7f90cba56bcb45752470e4f9ece8538e1906b6ab97f33c150aa8"; + }; + default = "r2"; }; }; } \ No newline at end of file diff --git a/nix/freckle-app.nix b/nix/freckle-app.nix index d0a7de787c6..ed3bed14c18 100644 --- a/nix/freckle-app.nix +++ b/nix/freckle-app.nix @@ -542,6 +542,17 @@ default = "r0"; }; }; + "1.19.0.0" = { + sha256 = "b34fce7cad4cb2f3e33da3230dd1d86721de81776704a4e345ba2bb5729c77a6"; + revisions = { + r0 = { + nix = import ../hackage/freckle-app-1.19.0.0-r0-7407df317ad2aeee3b67fbe75dfcfbca901c3ff8330116e8f5b1cba904285f01.nix; + revNum = 0; + sha256 = "7407df317ad2aeee3b67fbe75dfcfbca901c3ff8330116e8f5b1cba904285f01"; + }; + default = "r0"; + }; + }; "1.2.0.0" = { sha256 = "3baf18719abfba1a7ae0327d917ed9174823d5b6c89397fc7fedf274b1f01b62"; revisions = { diff --git a/nix/freckle-env.nix b/nix/freckle-env.nix new file mode 100644 index 00000000000..ea1da37eb38 --- /dev/null +++ b/nix/freckle-env.nix @@ -0,0 +1,13 @@ +{ + "0.0.0.0" = { + sha256 = "3ececdce3a56b67b874e1d641f8a701caf3dd985dff505b86a7b1a93e8b90be2"; + revisions = { + r0 = { + nix = import ../hackage/freckle-env-0.0.0.0-r0-7ef34d6f1814f181a413d11e832b19020d20d51a26d4c5355e916d633f366a1f.nix; + revNum = 0; + sha256 = "7ef34d6f1814f181a413d11e832b19020d20d51a26d4c5355e916d633f366a1f"; + }; + default = "r0"; + }; + }; +} \ No newline at end of file diff --git a/nix/freckle-kafka.nix b/nix/freckle-kafka.nix new file mode 100644 index 00000000000..d1a659ecf09 --- /dev/null +++ b/nix/freckle-kafka.nix @@ -0,0 +1,13 @@ +{ + "0.0.0.0" = { + sha256 = "e228bc548d5d98c9ee4a4d8d199d552430824f5c4645e04b18120db001f4165d"; + revisions = { + r0 = { + nix = import ../hackage/freckle-kafka-0.0.0.0-r0-8a86a315a4a742117b7cb0b7b33ed6444172d0ba200ac6437815a4b0e1cfc2e7.nix; + revNum = 0; + sha256 = "8a86a315a4a742117b7cb0b7b33ed6444172d0ba200ac6437815a4b0e1cfc2e7"; + }; + default = "r0"; + }; + }; +} \ No newline at end of file diff --git a/nix/language-bash.nix b/nix/language-bash.nix index 37926e08a57..500bf83a4d5 100644 --- a/nix/language-bash.nix +++ b/nix/language-bash.nix @@ -1,4 +1,15 @@ { + "0.10.0" = { + sha256 = "c0a106127961498a2db0dbcbaffd52435be830b19b75da26961e253d631fbcce"; + revisions = { + r0 = { + nix = import ../hackage/language-bash-0.10.0-r0-2bb2b8aebb9a1c39f2ad2ee99947ee590ace6f735539f67f5c639f8bf74ababf.nix; + revNum = 0; + sha256 = "2bb2b8aebb9a1c39f2ad2ee99947ee590ace6f735539f67f5c639f8bf74ababf"; + }; + default = "r0"; + }; + }; "0.2.0" = { sha256 = "8be094db3dae841a7358b306d2c890b636ca8acdc97d22d3fb2b6eac778d50eb"; revisions = { diff --git a/nix/typed-fsm.nix b/nix/typed-fsm.nix index 0b895a03444..6a219dcd120 100644 --- a/nix/typed-fsm.nix +++ b/nix/typed-fsm.nix @@ -43,4 +43,15 @@ default = "r0"; }; }; + "0.3.0.0" = { + sha256 = "15e3a9e722878e58f83b21cc53a509332c92db0163dcaf3e190807eaba542425"; + revisions = { + r0 = { + nix = import ../hackage/typed-fsm-0.3.0.0-r0-5aafb3e9cfe3f3a663d4cf26c185633589149607e20ba403c5f487b1940f4fb6.nix; + revNum = 0; + sha256 = "5aafb3e9cfe3f3a663d4cf26c185633589149607e20ba403c5f487b1940f4fb6"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/typelits-witnesses.nix b/nix/typelits-witnesses.nix index 3cf3d406c3f..bc46d909019 100644 --- a/nix/typelits-witnesses.nix +++ b/nix/typelits-witnesses.nix @@ -219,4 +219,15 @@ default = "r0"; }; }; + "0.4.1.0" = { + sha256 = "dd0d907c8c7c0ca8168dedf33ec9d9ccc9cd76b46f458c8509a21a1723588506"; + revisions = { + r0 = { + nix = import ../hackage/typelits-witnesses-0.4.1.0-r0-ec237703b0a9bee94464c1797c241553f38755fce5cfc9c4cdd61354b15bcac5.nix; + revNum = 0; + sha256 = "ec237703b0a9bee94464c1797c241553f38755fce5cfc9c4cdd61354b15bcac5"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/yosys-rtl.nix b/nix/yosys-rtl.nix new file mode 100644 index 00000000000..9bd15f3ed66 --- /dev/null +++ b/nix/yosys-rtl.nix @@ -0,0 +1,13 @@ +{ + "0.1.0.0" = { + sha256 = "013c6638091346952e437b4e34c6aff1039f7dbff82ee531ba7f94b10d332456"; + revisions = { + r0 = { + nix = import ../hackage/yosys-rtl-0.1.0.0-r0-dbc8b5b9a73b377d64b999331f15d8856b7f897d45351f9087a39915d845beee.nix; + revNum = 0; + sha256 = "dbc8b5b9a73b377d64b999331f15d8856b7f897d45351f9087a39915d845beee"; + }; + default = "r0"; + }; + }; +} \ No newline at end of file