From 37977e3b6201db1e0f3c62d9c55ec20dfcee10a2 Mon Sep 17 00:00:00 2001 From: IOHK Date: Fri, 16 Aug 2024 00:29:43 +0000 Subject: [PATCH] Automatic Update --- default.nix | 2 + ...98d481cf389688762c80d1870a1db2061ebf35.nix | 74 +++++++++++ ...e43487dbb6be52f462af27419fc227b23d0331.nix | 88 +++++++++++++ ...45a503e44b9f59aaabb64080dad4e84509bb1c.nix | 86 +++++++++++++ ...32400d90845df91899c2bdd59ee5e2228837ae.nix | 50 ++++++++ ...6a98f69c04045d358bbad8fad5e553bf026917.nix | 69 ++++++++++ ...23064def6eae58a895f7ea2e6b128a31f624ae.nix | 43 +++++++ ...df9cbb530fcfa88b37787566b7e05d571c6429.nix | 74 +++++++++++ ...1b8497866185e6aaa9f8e70340f5bf710960a4.nix | 118 ++++++++++++++++++ ...26566c49f0be524dcfb36e580a7a77f7434cc4.nix | 46 +++++++ ...950961578945f2d43407c33308b9d20901c99b.nix | 97 ++++++++++++++ ...9b6690577f5289c80a33e8960264e296fb9a47.nix | 34 +++++ ...30c49d518d6de45148723435219baa269f8b5e.nix | 52 ++++++++ ...978b2c736681c21e648c73ea3204826a2403ae.nix | 36 ++++++ ...bf24abe8ebe7499f61b344134e4bae6f625d83.nix | 56 +++++++++ ...7d687dbfe51363b11ed26fbf4aedc44e0a3bee.nix | 36 ++++++ index-state-hashes.nix | 1 + nix/async.nix | 7 +- nix/bloodhound.nix | 11 ++ nix/cauldron.nix | 13 ++ nix/dns-patterns.nix | 11 ++ nix/evdev-streamly.nix | 11 ++ nix/evdev.nix | 7 +- nix/fontconfig-pure.nix | 11 ++ nix/futhark.nix | 11 ++ nix/hqcsim.nix | 13 ++ nix/hw-streams.nix | 11 ++ nix/smtlib-backends-process.nix | 7 +- nix/smtlib-backends-tests.nix | 7 +- nix/smtlib-backends-z3.nix | 7 +- nix/smtlib-backends.nix | 7 +- nix/utxorpc.nix | 11 ++ 32 files changed, 1101 insertions(+), 6 deletions(-) create mode 100644 hackage/async-2.2.5-r2-cf9e6afba8e01830ca0d32a12b98d481cf389688762c80d1870a1db2061ebf35.nix create mode 100644 hackage/bloodhound-0.22.0.0-r0-3a17af207f8d835e9ded1a0d19e43487dbb6be52f462af27419fc227b23d0331.nix create mode 100644 hackage/cauldron-0.4.0.0-r0-ce5b175830d62c10d3b2fb7fb345a503e44b9f59aaabb64080dad4e84509bb1c.nix create mode 100644 hackage/dns-patterns-0.3.1-r0-bcce02a2a95201fd0b1065f1a832400d90845df91899c2bdd59ee5e2228837ae.nix create mode 100644 hackage/evdev-2.3.1.1-r1-76f0dbb5999f18e7b34614d4406a98f69c04045d358bbad8fad5e553bf026917.nix create mode 100644 hackage/evdev-streamly-0.0.2.1-r0-31238de82338fd95c19a03346123064def6eae58a895f7ea2e6b128a31f624ae.nix create mode 100644 hackage/fontconfig-pure-0.5.0.0-r0-9c90d02566c5a9c5837d2cf9e5df9cbb530fcfa88b37787566b7e05d571c6429.nix create mode 100644 hackage/futhark-0.25.20-r0-417b9983fda78ab1a89a85f56a1b8497866185e6aaa9f8e70340f5bf710960a4.nix create mode 100644 hackage/hqcsim-0.1.0.0-r0-734a366d308c650db48c1c716c26566c49f0be524dcfb36e580a7a77f7434cc4.nix create mode 100644 hackage/hw-streams-0.0.1.1-r0-4b53e3a99a33a78960b4de40c3950961578945f2d43407c33308b9d20901c99b.nix create mode 100644 hackage/smtlib-backends-0.4-r1-a7ae228f4464727a8c725341cf9b6690577f5289c80a33e8960264e296fb9a47.nix create mode 100644 hackage/smtlib-backends-process-0.3-r4-bb730a55c5974eeb24112b560d30c49d518d6de45148723435219baa269f8b5e.nix create mode 100644 hackage/smtlib-backends-tests-0.3-r3-973bdb20ec6ca2eb4f890b7431978b2c736681c21e648c73ea3204826a2403ae.nix create mode 100644 hackage/smtlib-backends-z3-0.3.1-r2-e13b2e444d8799b51d9794d4b7bf24abe8ebe7499f61b344134e4bae6f625d83.nix create mode 100644 hackage/utxorpc-0.0.9.0-r0-a41232da91253c0cb2d147550e7d687dbfe51363b11ed26fbf4aedc44e0a3bee.nix create mode 100644 nix/cauldron.nix create mode 100644 nix/hqcsim.nix diff --git a/default.nix b/default.nix index b2e13ac52c5..4c977fdd69e 100644 --- a/default.nix +++ b/default.nix @@ -3336,6 +3336,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec { "category-traced" = import ./nix/category-traced.nix; "catnplus" = import ./nix/catnplus.nix; "cattrap" = import ./nix/cattrap.nix; + "cauldron" = import ./nix/cauldron.nix; "cautious" = import ./nix/cautious.nix; "cautious-file" = import ./nix/cautious-file.nix; "cautious-gen" = import ./nix/cautious-gen.nix; @@ -8275,6 +8276,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec { "hpyrg" = import ./nix/hpyrg.nix; "hpython" = import ./nix/hpython.nix; "hq" = import ./nix/hq.nix; + "hqcsim" = import ./nix/hqcsim.nix; "hquantlib" = import ./nix/hquantlib.nix; "hquantlib-time" = import ./nix/hquantlib-time.nix; "hquery" = import ./nix/hquery.nix; diff --git a/hackage/async-2.2.5-r2-cf9e6afba8e01830ca0d32a12b98d481cf389688762c80d1870a1db2061ebf35.nix b/hackage/async-2.2.5-r2-cf9e6afba8e01830ca0d32a12b98d481cf389688762c80d1870a1db2061ebf35.nix new file mode 100644 index 00000000000..d2a87571857 --- /dev/null +++ b/hackage/async-2.2.5-r2-cf9e6afba8e01830ca0d32a12b98d481cf389688762c80d1870a1db2061ebf35.nix @@ -0,0 +1,74 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = { bench = false; }; + package = { + specVersion = "1.10"; + identifier = { name = "async"; version = "2.2.5"; }; + license = "BSD-3-Clause"; + copyright = "(c) Simon Marlow 2012"; + maintainer = "Simon Marlow "; + author = "Simon Marlow"; + homepage = "https://github.com/simonmar/async"; + url = ""; + synopsis = "Run IO operations asynchronously and wait for their results"; + description = "This package provides a higher-level interface over\nthreads, in which an @Async a@ is a concurrent\nthread that will eventually deliver a value of\ntype @a@. The package provides ways to create\n@Async@ computations, wait for their results, and\ncancel them.\n\nUsing @Async@ is safer than using threads in two\nways:\n\n* When waiting for a thread to return a result,\nif the thread dies with an exception then the\ncaller must either re-throw the exception\n('wait') or handle it ('waitCatch'); the\nexception cannot be ignored.\n\n* The API makes it possible to build a tree of\nthreads that are automatically killed when\ntheir parent dies (see 'withAsync')."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + ]; + buildable = true; + }; + exes = { + "concasync" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."async" or (errorHandler.buildDepError "async")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + ]; + buildable = if !flags.bench then false else true; + }; + "conccancel" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."async" or (errorHandler.buildDepError "async")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + ]; + buildable = if !flags.bench then false else true; + }; + "race" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."async" or (errorHandler.buildDepError "async")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + ]; + buildable = if !flags.bench then false else true; + }; + }; + tests = { + "test-async" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."async" or (errorHandler.buildDepError "async")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework")) + (hsPkgs."test-framework-hunit" or (errorHandler.buildDepError "test-framework-hunit")) + (hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/bloodhound-0.22.0.0-r0-3a17af207f8d835e9ded1a0d19e43487dbb6be52f462af27419fc227b23d0331.nix b/hackage/bloodhound-0.22.0.0-r0-3a17af207f8d835e9ded1a0d19e43487dbb6be52f462af27419fc227b23d0331.nix new file mode 100644 index 00000000000..ba32e2c111d --- /dev/null +++ b/hackage/bloodhound-0.22.0.0-r0-3a17af207f8d835e9ded1a0d19e43487dbb6be52f462af27419fc227b23d0331.nix @@ -0,0 +1,88 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.12"; + identifier = { name = "bloodhound"; version = "0.22.0.0"; }; + license = "BSD-3-Clause"; + copyright = "2018 Chris Allen"; + maintainer = "gautier.difolco@gmail.com"; + author = "Chris Allen"; + homepage = "https://github.com/bitemyapp/bloodhound.git#readme"; + url = ""; + synopsis = "Elasticsearch client library for Haskell"; + description = "Elasticsearch made awesome for Haskell hackers"; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."blaze-builder" or (errorHandler.buildDepError "blaze-builder")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."http-client" or (errorHandler.buildDepError "http-client")) + (hsPkgs."http-types" or (errorHandler.buildDepError "http-types")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."network-uri" or (errorHandler.buildDepError "network-uri")) + (hsPkgs."scientific" or (errorHandler.buildDepError "scientific")) + (hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups")) + (hsPkgs."semver" or (errorHandler.buildDepError "semver")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + ]; + buildable = true; + }; + tests = { + "bloodhound-tests" = { + depends = [ + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."blaze-builder" or (errorHandler.buildDepError "blaze-builder")) + (hsPkgs."bloodhound" or (errorHandler.buildDepError "bloodhound")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."errors" or (errorHandler.buildDepError "errors")) + (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) + (hsPkgs."generic-random" or (errorHandler.buildDepError "generic-random")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."http-client" or (errorHandler.buildDepError "http-client")) + (hsPkgs."http-types" or (errorHandler.buildDepError "http-types")) + (hsPkgs."microlens" or (errorHandler.buildDepError "microlens")) + (hsPkgs."microlens-aeson" or (errorHandler.buildDepError "microlens-aeson")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."network-uri" or (errorHandler.buildDepError "network-uri")) + (hsPkgs."pretty-simple" or (errorHandler.buildDepError "pretty-simple")) + (hsPkgs."quickcheck-properties" or (errorHandler.buildDepError "quickcheck-properties")) + (hsPkgs."scientific" or (errorHandler.buildDepError "scientific")) + (hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups")) + (hsPkgs."semver" or (errorHandler.buildDepError "semver")) + (hsPkgs."temporary" or (errorHandler.buildDepError "temporary")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."unix-compat" or (errorHandler.buildDepError "unix-compat")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/cauldron-0.4.0.0-r0-ce5b175830d62c10d3b2fb7fb345a503e44b9f59aaabb64080dad4e84509bb1c.nix b/hackage/cauldron-0.4.0.0-r0-ce5b175830d62c10d3b2fb7fb345a503e44b9f59aaabb64080dad4e84509bb1c.nix new file mode 100644 index 00000000000..deed43dc618 --- /dev/null +++ b/hackage/cauldron-0.4.0.0-r0-ce5b175830d62c10d3b2fb7fb345a503e44b9f59aaabb64080dad4e84509bb1c.nix @@ -0,0 +1,86 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "3.4"; + identifier = { name = "cauldron"; version = "0.4.0.0"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "Daniel Díaz"; + author = "diaz_carrete@yahoo.com"; + homepage = ""; + url = ""; + synopsis = "Toy dependency injection framework"; + description = "Toy dependency injection framework that wires things at runtime."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."algebraic-graphs" or (errorHandler.buildDepError "algebraic-graphs")) + (hsPkgs."multicurryable" or (errorHandler.buildDepError "multicurryable")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."sop-core" or (errorHandler.buildDepError "sop-core")) + ]; + buildable = true; + }; + exes = { + "cauldron-example-wiring" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."cauldron" or (errorHandler.buildDepError "cauldron")) + ]; + buildable = true; + }; + }; + tests = { + "tests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) + (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."cauldron" or (errorHandler.buildDepError "cauldron")) + ]; + buildable = true; + }; + "app-tests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) + (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."cauldron" or (errorHandler.buildDepError "cauldron")) + ]; + buildable = true; + }; + "tests-managed" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) + (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."cauldron" or (errorHandler.buildDepError "cauldron")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/dns-patterns-0.3.1-r0-bcce02a2a95201fd0b1065f1a832400d90845df91899c2bdd59ee5e2228837ae.nix b/hackage/dns-patterns-0.3.1-r0-bcce02a2a95201fd0b1065f1a832400d90845df91899c2bdd59ee5e2228837ae.nix new file mode 100644 index 00000000000..eef8d8783c9 --- /dev/null +++ b/hackage/dns-patterns-0.3.1-r0-bcce02a2a95201fd0b1065f1a832400d90845df91899c2bdd59ee5e2228837ae.nix @@ -0,0 +1,50 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "3.0"; + identifier = { name = "dns-patterns"; version = "0.3.1"; }; + license = "BSD-3-Clause"; + copyright = "(c) 2022 Wobcom GmbH"; + maintainer = "Victor Nawothnig (dminuoso@icloud.com)"; + author = "Victor Nawothnig"; + homepage = ""; + url = ""; + synopsis = "DNS name parsing and pattern matching utilities"; + description = "Domain name pattern matching, parsing and pretty printing utilities.\nSee the modules \"Network.DNS.Pattern\" and \"Network.DNS\" for full documentation."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."parser-combinators" or (errorHandler.buildDepError "parser-combinators")) + ]; + buildable = true; + }; + tests = { + "tests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) + (hsPkgs."dns-patterns" or (errorHandler.buildDepError "dns-patterns")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/evdev-2.3.1.1-r1-76f0dbb5999f18e7b34614d4406a98f69c04045d358bbad8fad5e553bf026917.nix b/hackage/evdev-2.3.1.1-r1-76f0dbb5999f18e7b34614d4406a98f69c04045d358bbad8fad5e553bf026917.nix new file mode 100644 index 00000000000..15ca30f706b --- /dev/null +++ b/hackage/evdev-2.3.1.1-r1-76f0dbb5999f18e7b34614d4406a98f69c04045d358bbad8fad5e553bf026917.nix @@ -0,0 +1,69 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "3.0"; + identifier = { name = "evdev"; version = "2.3.1.1"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "George Thomas"; + author = "George Thomas"; + homepage = "https://github.com/georgefst/evdev"; + url = ""; + synopsis = "Bindings to libevdev"; + description = "Provides access to the Linux event device interface."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."extra" or (errorHandler.buildDepError "extra")) + (hsPkgs."filepath-bytestring" or (errorHandler.buildDepError "filepath-bytestring")) + (hsPkgs."monad-loops" or (errorHandler.buildDepError "monad-loops")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."rawfilepath" or (errorHandler.buildDepError "rawfilepath")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."unix" or (errorHandler.buildDepError "unix")) + ]; + pkgconfig = [ + (pkgconfPkgs."libevdev" or (errorHandler.pkgConfDepError "libevdev")) + ]; + build-tools = [ + (hsPkgs.pkgsBuildBuild.c2hs.components.exes.c2hs or (pkgs.pkgsBuildBuild.c2hs or (errorHandler.buildToolDepError "c2hs:c2hs"))) + ]; + buildable = true; + }; + tests = { + "test" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."extra" or (errorHandler.buildDepError "extra")) + (hsPkgs."filepath-bytestring" or (errorHandler.buildDepError "filepath-bytestring")) + (hsPkgs."monad-loops" or (errorHandler.buildDepError "monad-loops")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."rawfilepath" or (errorHandler.buildDepError "rawfilepath")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."unix" or (errorHandler.buildDepError "unix")) + (hsPkgs."evdev" or (errorHandler.buildDepError "evdev")) + (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) + (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) + (hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/evdev-streamly-0.0.2.1-r0-31238de82338fd95c19a03346123064def6eae58a895f7ea2e6b128a31f624ae.nix b/hackage/evdev-streamly-0.0.2.1-r0-31238de82338fd95c19a03346123064def6eae58a895f7ea2e6b128a31f624ae.nix new file mode 100644 index 00000000000..5eed01d8e2f --- /dev/null +++ b/hackage/evdev-streamly-0.0.2.1-r0-31238de82338fd95c19a03346123064def6eae58a895f7ea2e6b128a31f624ae.nix @@ -0,0 +1,43 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "3.0"; + identifier = { name = "evdev-streamly"; version = "0.0.2.1"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "George Thomas"; + author = "George Thomas"; + homepage = "https://github.com/georgefst/evdev"; + url = ""; + synopsis = "Bridge for working with evdev and streamly"; + description = "Functions for working with streams of input events.\nOften much more pleasant than working in a more imperative style."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."evdev" or (errorHandler.buildDepError "evdev")) + (hsPkgs."extra" or (errorHandler.buildDepError "extra")) + (hsPkgs."filepath-bytestring" or (errorHandler.buildDepError "filepath-bytestring")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."rawfilepath" or (errorHandler.buildDepError "rawfilepath")) + (hsPkgs."streamly" or (errorHandler.buildDepError "streamly")) + (hsPkgs."streamly-fsnotify" or (errorHandler.buildDepError "streamly-fsnotify")) + (hsPkgs."unix" or (errorHandler.buildDepError "unix")) + ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/fontconfig-pure-0.5.0.0-r0-9c90d02566c5a9c5837d2cf9e5df9cbb530fcfa88b37787566b7e05d571c6429.nix b/hackage/fontconfig-pure-0.5.0.0-r0-9c90d02566c5a9c5837d2cf9e5df9cbb530fcfa88b37787566b7e05d571c6429.nix new file mode 100644 index 00000000000..f2f6f352822 --- /dev/null +++ b/hackage/fontconfig-pure-0.5.0.0-r0-9c90d02566c5a9c5837d2cf9e5df9cbb530fcfa88b37787566b7e05d571c6429.nix @@ -0,0 +1,74 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "3.0"; + identifier = { name = "fontconfig-pure"; version = "0.5.0.0"; }; + license = "MIT"; + copyright = ""; + maintainer = "alcinnz@argonaut-constellation.org"; + author = "Adrian Cochrane"; + homepage = "https://www.freedesktop.org/wiki/Software/fontconfig/"; + url = ""; + synopsis = "Resolves font descriptions to font libraries, including ones installed on your freedesktop (Linux or BSD system)."; + description = "Resolves font descriptions to font libraries, including ones installed on your freedesktop (Linux or BSD system)."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."css-syntax" or (errorHandler.buildDepError "css-syntax")) + (hsPkgs."freetype2" or (errorHandler.buildDepError "freetype2")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."linear" or (errorHandler.buildDepError "linear")) + (hsPkgs."scientific" or (errorHandler.buildDepError "scientific")) + (hsPkgs."stylist-traits" or (errorHandler.buildDepError "stylist-traits")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."msgpack" or (errorHandler.buildDepError "msgpack")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."stylist-traits" or (errorHandler.buildDepError "stylist-traits")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + ]; + pkgconfig = [ + (pkgconfPkgs."fontconfig" or (errorHandler.pkgConfDepError "fontconfig")) + ]; + buildable = true; + }; + exes = { + "fontconfig-pure" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."fontconfig-pure" or (errorHandler.buildDepError "fontconfig-pure")) + ]; + buildable = true; + }; + }; + tests = { + "fontconfig-pure-test" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."fontconfig-pure" or (errorHandler.buildDepError "fontconfig-pure")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."msgpack" or (errorHandler.buildDepError "msgpack")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."css-syntax" or (errorHandler.buildDepError "css-syntax")) + (hsPkgs."stylist-traits" or (errorHandler.buildDepError "stylist-traits")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/futhark-0.25.20-r0-417b9983fda78ab1a89a85f56a1b8497866185e6aaa9f8e70340f5bf710960a4.nix b/hackage/futhark-0.25.20-r0-417b9983fda78ab1a89a85f56a1b8497866185e6aaa9f8e70340f5bf710960a4.nix new file mode 100644 index 00000000000..909a51df76f --- /dev/null +++ b/hackage/futhark-0.25.20-r0-417b9983fda78ab1a89a85f56a1b8497866185e6aaa9f8e70340f5bf710960a4.nix @@ -0,0 +1,118 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.4"; + identifier = { name = "futhark"; version = "0.25.20"; }; + license = "ISC"; + copyright = ""; + maintainer = "Troels Henriksen athas@sigkill.dk"; + author = ""; + homepage = "https://futhark-lang.org"; + url = ""; + synopsis = "An optimising compiler for a functional, array-oriented language."; + description = "Futhark is a small programming language designed to be compiled to\nefficient parallel code. It is a statically typed, data-parallel,\nand purely functional array language in the ML family, and comes\nwith a heavily optimising ahead-of-time compiler that presently\ngenerates GPU code via CUDA and OpenCL, although the language itself\nis hardware-agnostic.\n\nFor more information, see the website at https://futhark-lang.org\n\nFor introductionary information about hacking on the\nFuthark compiler, see\n.\nRegarding the internal design of the compiler, the following modules make\ngood starting points:\n\n* \"Futhark\" contains a basic architectural overview of the compiler.\n* \"Futhark.IR.Syntax\" explains the\nbasic design of the intermediate representation (IR).\n* \"Futhark.Construct\" explains how to write code that\nmanipulates and creates AST fragments.\n\n<>"; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."ansi-terminal" or (errorHandler.buildDepError "ansi-terminal")) + (hsPkgs."array" or (errorHandler.buildDepError "array")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring")) + (hsPkgs."binary" or (errorHandler.buildDepError "binary")) + (hsPkgs."blaze-html" or (errorHandler.buildDepError "blaze-html")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."bytestring-to-vector" or (errorHandler.buildDepError "bytestring-to-vector")) + (hsPkgs."bmp" or (errorHandler.buildDepError "bmp")) + (hsPkgs."co-log-core" or (errorHandler.buildDepError "co-log-core")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."cryptohash-md5" or (errorHandler.buildDepError "cryptohash-md5")) + (hsPkgs."Diff" or (errorHandler.buildDepError "Diff")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."directory-tree" or (errorHandler.buildDepError "directory-tree")) + (hsPkgs."dlist" or (errorHandler.buildDepError "dlist")) + (hsPkgs."fgl" or (errorHandler.buildDepError "fgl")) + (hsPkgs."fgl-visualize" or (errorHandler.buildDepError "fgl-visualize")) + (hsPkgs."file-embed" or (errorHandler.buildDepError "file-embed")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."free" or (errorHandler.buildDepError "free")) + (hsPkgs."futhark-data" or (errorHandler.buildDepError "futhark-data")) + (hsPkgs."futhark-server" or (errorHandler.buildDepError "futhark-server")) + (hsPkgs."futhark-manifest" or (errorHandler.buildDepError "futhark-manifest")) + (hsPkgs."githash" or (errorHandler.buildDepError "githash")) + (hsPkgs."half" or (errorHandler.buildDepError "half")) + (hsPkgs."haskeline" or (errorHandler.buildDepError "haskeline")) + (hsPkgs."language-c-quote" or (errorHandler.buildDepError "language-c-quote")) + (hsPkgs."lens" or (errorHandler.buildDepError "lens")) + (hsPkgs."lsp" or (errorHandler.buildDepError "lsp")) + (hsPkgs."lsp-types" or (errorHandler.buildDepError "lsp-types")) + (hsPkgs."mainland-pretty" or (errorHandler.buildDepError "mainland-pretty")) + (hsPkgs."cmark-gfm" or (errorHandler.buildDepError "cmark-gfm")) + (hsPkgs."megaparsec" or (errorHandler.buildDepError "megaparsec")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."neat-interpolation" or (errorHandler.buildDepError "neat-interpolation")) + (hsPkgs."parallel" or (errorHandler.buildDepError "parallel")) + (hsPkgs."random" or (errorHandler.buildDepError "random")) + (hsPkgs."process-extras" or (errorHandler.buildDepError "process-extras")) + (hsPkgs."regex-tdfa" or (errorHandler.buildDepError "regex-tdfa")) + (hsPkgs."srcloc" or (errorHandler.buildDepError "srcloc")) + (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) + (hsPkgs."temporary" or (errorHandler.buildDepError "temporary")) + (hsPkgs."terminal-size" or (errorHandler.buildDepError "terminal-size")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + (hsPkgs."versions" or (errorHandler.buildDepError "versions")) + (hsPkgs."zlib" or (errorHandler.buildDepError "zlib")) + (hsPkgs."statistics" or (errorHandler.buildDepError "statistics")) + (hsPkgs."mwc-random" or (errorHandler.buildDepError "mwc-random")) + (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter")) + (hsPkgs."prettyprinter-ansi-terminal" or (errorHandler.buildDepError "prettyprinter-ansi-terminal")) + ]; + build-tools = [ + (hsPkgs.pkgsBuildBuild.alex.components.exes.alex or (pkgs.pkgsBuildBuild.alex or (errorHandler.buildToolDepError "alex:alex"))) + (hsPkgs.pkgsBuildBuild.happy.components.exes.happy or (pkgs.pkgsBuildBuild.happy or (errorHandler.buildToolDepError "happy:happy"))) + ]; + buildable = true; + }; + exes = { + "futhark" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."futhark" or (errorHandler.buildDepError "futhark")) + ]; + buildable = true; + }; + }; + tests = { + "unit" = { + depends = [ + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."free" or (errorHandler.buildDepError "free")) + (hsPkgs."futhark" or (errorHandler.buildDepError "futhark")) + (hsPkgs."megaparsec" or (errorHandler.buildDepError "megaparsec")) + (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) + (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) + (hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/hqcsim-0.1.0.0-r0-734a366d308c650db48c1c716c26566c49f0be524dcfb36e580a7a77f7434cc4.nix b/hackage/hqcsim-0.1.0.0-r0-734a366d308c650db48c1c716c26566c49f0be524dcfb36e580a7a77f7434cc4.nix new file mode 100644 index 00000000000..8b772c3e963 --- /dev/null +++ b/hackage/hqcsim-0.1.0.0-r0-734a366d308c650db48c1c716c26566c49f0be524dcfb36e580a7a77f7434cc4.nix @@ -0,0 +1,46 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.4"; + identifier = { name = "hqcsim"; version = "0.1.0.0"; }; + license = "BSD-3-Clause"; + copyright = "2024 Sebastian Mihai Ardelean"; + maintainer = "ardeleanasm@gmail.com"; + author = "Sebastian Mihai Ardelean"; + homepage = "https://github.com/sebastianardelean/hqcsim#readme"; + url = ""; + synopsis = "A library for simulating quantum circuits."; + description = "A library used for simulating quantum circuits, based on the \"A tutorial quantum interpreter in 150 lines of Lisp\" from https://www.stylewarning.com/posts/quantum-interpreter/"; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."hmatrix" or (errorHandler.buildDepError "hmatrix")) + (hsPkgs."random" or (errorHandler.buildDepError "random")) + ]; + buildable = true; + }; + exes = { + "hqcsim-exe" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."hmatrix" or (errorHandler.buildDepError "hmatrix")) + (hsPkgs."random" or (errorHandler.buildDepError "random")) + (hsPkgs."hqcsim" or (errorHandler.buildDepError "hqcsim")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/hw-streams-0.0.1.1-r0-4b53e3a99a33a78960b4de40c3950961578945f2d43407c33308b9d20901c99b.nix b/hackage/hw-streams-0.0.1.1-r0-4b53e3a99a33a78960b4de40c3950961578945f2d43407c33308b9d20901c99b.nix new file mode 100644 index 00000000000..b30663723e3 --- /dev/null +++ b/hackage/hw-streams-0.0.1.1-r0-4b53e3a99a33a78960b4de40c3950961578945f2d43407c33308b9d20901c99b.nix @@ -0,0 +1,97 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = { bounds-checking-enabled = false; }; + package = { + specVersion = "2.2"; + identifier = { name = "hw-streams"; version = "0.0.1.1"; }; + license = "BSD-3-Clause"; + copyright = "2016-2021 John Ky"; + maintainer = "newhoggy@gmail.com"; + author = "John Ky"; + homepage = "http://github.com/haskell-works/hw-streams#readme"; + url = ""; + synopsis = "Primitive functions and data types"; + description = "Primitive functions and data types."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim")) + (hsPkgs."hw-bits" or (errorHandler.buildDepError "hw-bits")) + (hsPkgs."hw-prim" or (errorHandler.buildDepError "hw-prim")) + (hsPkgs."mmap" or (errorHandler.buildDepError "mmap")) + (hsPkgs."primitive" or (errorHandler.buildDepError "primitive")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + ]; + buildable = true; + }; + tests = { + "hw-streams-test" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) + (hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim")) + (hsPkgs."hedgehog" or (errorHandler.buildDepError "hedgehog")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."hw-bits" or (errorHandler.buildDepError "hw-bits")) + (hsPkgs."hw-hspec-hedgehog" or (errorHandler.buildDepError "hw-hspec-hedgehog")) + (hsPkgs."hw-prim" or (errorHandler.buildDepError "hw-prim")) + (hsPkgs."mmap" or (errorHandler.buildDepError "mmap")) + (hsPkgs."primitive" or (errorHandler.buildDepError "primitive")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + (hsPkgs."hw-streams" or (errorHandler.buildDepError "hw-streams")) + ]; + build-tools = [ + (hsPkgs.pkgsBuildBuild.hspec-discover.components.exes.hspec-discover or (pkgs.pkgsBuildBuild.hspec-discover or (errorHandler.buildToolDepError "hspec-discover:hspec-discover"))) + ]; + buildable = true; + }; + "doctest" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."doctest" or (errorHandler.buildDepError "doctest")) + (hsPkgs."doctest-discover" or (errorHandler.buildDepError "doctest-discover")) + (hsPkgs."hw-streams" or (errorHandler.buildDepError "hw-streams")) + ]; + build-tools = [ + (hsPkgs.pkgsBuildBuild.doctest-discover.components.exes.doctest-discover or (pkgs.pkgsBuildBuild.doctest-discover or (errorHandler.buildToolDepError "doctest-discover:doctest-discover"))) + ]; + buildable = true; + }; + }; + benchmarks = { + "bench" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."criterion" or (errorHandler.buildDepError "criterion")) + (hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim")) + (hsPkgs."hw-bits" or (errorHandler.buildDepError "hw-bits")) + (hsPkgs."hw-prim" or (errorHandler.buildDepError "hw-prim")) + (hsPkgs."mmap" or (errorHandler.buildDepError "mmap")) + (hsPkgs."primitive" or (errorHandler.buildDepError "primitive")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + (hsPkgs."hw-streams" or (errorHandler.buildDepError "hw-streams")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/smtlib-backends-0.4-r1-a7ae228f4464727a8c725341cf9b6690577f5289c80a33e8960264e296fb9a47.nix b/hackage/smtlib-backends-0.4-r1-a7ae228f4464727a8c725341cf9b6690577f5289c80a33e8960264e296fb9a47.nix new file mode 100644 index 00000000000..ef38a60e41b --- /dev/null +++ b/hackage/smtlib-backends-0.4-r1-a7ae228f4464727a8c725341cf9b6690577f5289c80a33e8960264e296fb9a47.nix @@ -0,0 +1,34 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "smtlib-backends"; version = "0.4"; }; + license = "MIT"; + copyright = ""; + maintainer = "facundo.dominguez@tweag.io, gabriel.hondet@tweag.io, mathieu.montin@tweag.io"; + author = "Quentin Aristote"; + homepage = ""; + url = ""; + synopsis = "Low-level functions for SMT-LIB-based interaction with SMT solvers."; + description = "This library provides an extensible interface for interacting with SMT solvers\nusing SMT-LIB. The smtlib-backends-process package provides a backend that\nruns solvers as external processes, and the smtlib-backends-z3 package\nprovides a backend that uses inlined calls to Z3's C API."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/smtlib-backends-process-0.3-r4-bb730a55c5974eeb24112b560d30c49d518d6de45148723435219baa269f8b5e.nix b/hackage/smtlib-backends-process-0.3-r4-bb730a55c5974eeb24112b560d30c49d518d6de45148723435219baa269f8b5e.nix new file mode 100644 index 00000000000..cb030231571 --- /dev/null +++ b/hackage/smtlib-backends-process-0.3-r4-bb730a55c5974eeb24112b560d30c49d518d6de45148723435219baa269f8b5e.nix @@ -0,0 +1,52 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "smtlib-backends-process"; version = "0.3"; }; + license = "MIT"; + copyright = ""; + maintainer = "quentin.aristote@tweag.io"; + author = "Quentin Aristote"; + homepage = ""; + url = ""; + synopsis = "An SMT-LIB backend running solvers as external processes."; + description = "This library implements an SMT-LIB backend (in the sense of the\nsmtlib-backends package) which runs solvers as external processes."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."process" or (errorHandler.buildDepError "process")) + (hsPkgs."smtlib-backends" or (errorHandler.buildDepError "smtlib-backends")) + ]; + buildable = true; + }; + tests = { + "test" = { + depends = [ + (hsPkgs."async" or (errorHandler.buildDepError "async")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."process" or (errorHandler.buildDepError "process")) + (hsPkgs."smtlib-backends" or (errorHandler.buildDepError "smtlib-backends")) + (hsPkgs."smtlib-backends-process" or (errorHandler.buildDepError "smtlib-backends-process")) + (hsPkgs."smtlib-backends-tests" or (errorHandler.buildDepError "smtlib-backends-tests")) + (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) + (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/smtlib-backends-tests-0.3-r3-973bdb20ec6ca2eb4f890b7431978b2c736681c21e648c73ea3204826a2403ae.nix b/hackage/smtlib-backends-tests-0.3-r3-973bdb20ec6ca2eb4f890b7431978b2c736681c21e648c73ea3204826a2403ae.nix new file mode 100644 index 00000000000..48421271410 --- /dev/null +++ b/hackage/smtlib-backends-tests-0.3-r3-973bdb20ec6ca2eb4f890b7431978b2c736681c21e648c73ea3204826a2403ae.nix @@ -0,0 +1,36 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "smtlib-backends-tests"; version = "0.3"; }; + license = "MIT"; + copyright = ""; + maintainer = "quentin.aristote@tweag.io"; + author = "Quentin Aristote"; + homepage = ""; + url = ""; + synopsis = "Testing SMT-LIB backends."; + description = "This library provides common functions and values used for testing SMT-LIB\nbackends, as provided by the smtlib-backends library."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."smtlib-backends" or (errorHandler.buildDepError "smtlib-backends")) + (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) + (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) + ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/smtlib-backends-z3-0.3.1-r2-e13b2e444d8799b51d9794d4b7bf24abe8ebe7499f61b344134e4bae6f625d83.nix b/hackage/smtlib-backends-z3-0.3.1-r2-e13b2e444d8799b51d9794d4b7bf24abe8ebe7499f61b344134e4bae6f625d83.nix new file mode 100644 index 00000000000..3988423f0d5 --- /dev/null +++ b/hackage/smtlib-backends-z3-0.3.1-r2-e13b2e444d8799b51d9794d4b7bf24abe8ebe7499f61b344134e4bae6f625d83.nix @@ -0,0 +1,56 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "smtlib-backends-z3"; version = "0.3.1"; }; + license = "MIT"; + copyright = ""; + maintainer = "facundo.dominguez@tweag.io, gabriel.hondet@tweag.io, mathieu.montin@tweag.io"; + author = "Quentin Aristote"; + homepage = ""; + url = ""; + synopsis = "An SMT-LIB backend implemented using Z3's C API."; + description = "This library implements an SMT-LIB backend (in the sense of the smtlib-backends\npackage) using inlined calls to Z3's C API. It is thus in particular faster\nthan the standard backends relying on running solvers as external processes, as\nthe OS doesn't need to spawn processes and handle pipes between them."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."smtlib-backends" or (errorHandler.buildDepError "smtlib-backends")) + ]; + libs = if system.isOsx || system.isWindows + then [ (pkgs."z3" or (errorHandler.sysDepError "z3")) ] + else [ + (pkgs."gomp" or (errorHandler.sysDepError "gomp")) + (pkgs."z3" or (errorHandler.sysDepError "z3")) + (pkgs."gomp" or (errorHandler.sysDepError "gomp")) + ]; + buildable = true; + }; + tests = { + "test" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."smtlib-backends" or (errorHandler.buildDepError "smtlib-backends")) + (hsPkgs."smtlib-backends-tests" or (errorHandler.buildDepError "smtlib-backends-tests")) + (hsPkgs."smtlib-backends-z3" or (errorHandler.buildDepError "smtlib-backends-z3")) + (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) + (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/utxorpc-0.0.9.0-r0-a41232da91253c0cb2d147550e7d687dbfe51363b11ed26fbf4aedc44e0a3bee.nix b/hackage/utxorpc-0.0.9.0-r0-a41232da91253c0cb2d147550e7d687dbfe51363b11ed26fbf4aedc44e0a3bee.nix new file mode 100644 index 00000000000..a2efc216bd8 --- /dev/null +++ b/hackage/utxorpc-0.0.9.0-r0-a41232da91253c0cb2d147550e7d687dbfe51363b11ed26fbf4aedc44e0a3bee.nix @@ -0,0 +1,36 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "3.0"; + identifier = { name = "utxorpc"; version = "0.0.9.0"; }; + license = "Apache-2.0"; + copyright = ""; + maintainer = "TxPipe \nDominic Mayhew "; + author = "TxPipe "; + homepage = "https://github.com/utxorpc/spec#readme"; + url = ""; + synopsis = "Generated code for a gRPC interface for UTxO Blockchains"; + description = "[UTxO RPC](https://utxorpc.org/) (u5c for short) is an interface tailored for interactions with UTxO-based blockchains, prioritizing performance and developer experience. By providing a common contract, a range of SDKs, and thorough documentation, UTxO RPC aims to facilitate:\n\n* Reusability: Enabling shared components that can be reused across different projects to simplify the integration effort.\n* Interoperability: A common interface to simplify integrations between different parties and avoid the common pitfall of vendor lock-in.\n* Performance: A serialized binary format which is compact and efficient, resulting in smaller message sizes and reduced network overhead compared to its JSON counterpart\n\nPlease note that this package only contains the generated Haskell code from the u5c specification. To write a u5c implementation, please see the [client](https://hackage.haskell.org/package/utxorpc-client) or [server](https://hackage.haskell.org/package/utxorpc-server) SDK.\n\nFor documentation on the specification, see [https://utxorpc.org](https://utxorpc.org/)."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."proto-lens" or (errorHandler.buildDepError "proto-lens")) + (hsPkgs."proto-lens-protobuf-types" or (errorHandler.buildDepError "proto-lens-protobuf-types")) + (hsPkgs."proto-lens-runtime" or (errorHandler.buildDepError "proto-lens-runtime")) + ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/index-state-hashes.nix b/index-state-hashes.nix index 42bcf5194dc..3ccc6c825ca 100644 --- a/index-state-hashes.nix +++ b/index-state-hashes.nix @@ -1963,4 +1963,5 @@ "2024-08-13T00:00:00Z" = "2e971ada1fc9f4958463a90ccf8677633c239c80b02d6660127207582774f2f3"; "2024-08-14T00:00:00Z" = "6aa29f8d3a4d2c9f4865a2ef669e11ee7600911aaaaf9fe5a770d5343e25be6c"; "2024-08-15T00:00:00Z" = "4092c720caf6c214688202ad62b17a93382fddc89af391d6e979a551cc2dd9c2"; + "2024-08-16T00:00:00Z" = "a84f5c10a8893104057cda9a9a5884ab2a0e8bf4c2080e5f227b48afccc1afcb"; } diff --git a/nix/async.nix b/nix/async.nix index f8a6208d4dd..a0bdb576cbd 100644 --- a/nix/async.nix +++ b/nix/async.nix @@ -293,7 +293,12 @@ revNum = 1; sha256 = "9d5d9e605f52958d099e13a8b8f30ee56cb137c9192996245e3c533adb682cf8"; }; - default = "r1"; + r2 = { + nix = import ../hackage/async-2.2.5-r2-cf9e6afba8e01830ca0d32a12b98d481cf389688762c80d1870a1db2061ebf35.nix; + revNum = 2; + sha256 = "cf9e6afba8e01830ca0d32a12b98d481cf389688762c80d1870a1db2061ebf35"; + }; + default = "r2"; }; }; } \ No newline at end of file diff --git a/nix/bloodhound.nix b/nix/bloodhound.nix index 09890c3d21c..9717dd01c23 100644 --- a/nix/bloodhound.nix +++ b/nix/bloodhound.nix @@ -306,6 +306,17 @@ default = "r0"; }; }; + "0.22.0.0" = { + sha256 = "442648bb32f2dbcc4d10931518ad2c32e31d054dc174e1a08a1ce62c76fe2671"; + revisions = { + r0 = { + nix = import ../hackage/bloodhound-0.22.0.0-r0-3a17af207f8d835e9ded1a0d19e43487dbb6be52f462af27419fc227b23d0331.nix; + revNum = 0; + sha256 = "3a17af207f8d835e9ded1a0d19e43487dbb6be52f462af27419fc227b23d0331"; + }; + default = "r0"; + }; + }; "0.3.0.0" = { sha256 = "706276def033062ae86cf6b66ab9104f12311464af2384051477a88fa2c833ed"; revisions = { diff --git a/nix/cauldron.nix b/nix/cauldron.nix new file mode 100644 index 00000000000..b14a9097a51 --- /dev/null +++ b/nix/cauldron.nix @@ -0,0 +1,13 @@ +{ + "0.4.0.0" = { + sha256 = "b2bece0b5c4552b4ba284f029e517d0fff09ea4f7b453e00fb92e94e0e96feaa"; + revisions = { + r0 = { + nix = import ../hackage/cauldron-0.4.0.0-r0-ce5b175830d62c10d3b2fb7fb345a503e44b9f59aaabb64080dad4e84509bb1c.nix; + revNum = 0; + sha256 = "ce5b175830d62c10d3b2fb7fb345a503e44b9f59aaabb64080dad4e84509bb1c"; + }; + default = "r0"; + }; + }; +} \ No newline at end of file diff --git a/nix/dns-patterns.nix b/nix/dns-patterns.nix index b62068ebbbb..4aa8b8aa3b8 100644 --- a/nix/dns-patterns.nix +++ b/nix/dns-patterns.nix @@ -87,4 +87,15 @@ default = "r0"; }; }; + "0.3.1" = { + sha256 = "03790a97577abbdb5c42b6a8a09a8b1ed16cb59999b56e4dd348f3c41bf369ac"; + revisions = { + r0 = { + nix = import ../hackage/dns-patterns-0.3.1-r0-bcce02a2a95201fd0b1065f1a832400d90845df91899c2bdd59ee5e2228837ae.nix; + revNum = 0; + sha256 = "bcce02a2a95201fd0b1065f1a832400d90845df91899c2bdd59ee5e2228837ae"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/evdev-streamly.nix b/nix/evdev-streamly.nix index b8c8c9b73d6..98c5392e79d 100644 --- a/nix/evdev-streamly.nix +++ b/nix/evdev-streamly.nix @@ -31,4 +31,15 @@ default = "r1"; }; }; + "0.0.2.1" = { + sha256 = "99c8f9259e791008f681fbadea2e29d829dab1106913a2c071e116aa02890503"; + revisions = { + r0 = { + nix = import ../hackage/evdev-streamly-0.0.2.1-r0-31238de82338fd95c19a03346123064def6eae58a895f7ea2e6b128a31f624ae.nix; + revNum = 0; + sha256 = "31238de82338fd95c19a03346123064def6eae58a895f7ea2e6b128a31f624ae"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/evdev.nix b/nix/evdev.nix index 6f7a61dbe75..e1e5b4f9525 100644 --- a/nix/evdev.nix +++ b/nix/evdev.nix @@ -188,7 +188,12 @@ revNum = 0; sha256 = "898654a2b9151bf392055229aa35935189ae1dcf5cd231b53e7e6d0ec84efde0"; }; - default = "r0"; + r1 = { + nix = import ../hackage/evdev-2.3.1.1-r1-76f0dbb5999f18e7b34614d4406a98f69c04045d358bbad8fad5e553bf026917.nix; + revNum = 1; + sha256 = "76f0dbb5999f18e7b34614d4406a98f69c04045d358bbad8fad5e553bf026917"; + }; + default = "r1"; }; }; } \ No newline at end of file diff --git a/nix/fontconfig-pure.nix b/nix/fontconfig-pure.nix index 3d99975298d..3ff4a2bf945 100644 --- a/nix/fontconfig-pure.nix +++ b/nix/fontconfig-pure.nix @@ -113,4 +113,15 @@ default = "r0"; }; }; + "0.5.0.0" = { + sha256 = "d1277eeea598b8c3f426ec64431157b8ba9828a7c6dbaf8a53cead147fc49564"; + revisions = { + r0 = { + nix = import ../hackage/fontconfig-pure-0.5.0.0-r0-9c90d02566c5a9c5837d2cf9e5df9cbb530fcfa88b37787566b7e05d571c6429.nix; + revNum = 0; + sha256 = "9c90d02566c5a9c5837d2cf9e5df9cbb530fcfa88b37787566b7e05d571c6429"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/futhark.nix b/nix/futhark.nix index 1b01f7a14e9..efe4f8eb0b1 100644 --- a/nix/futhark.nix +++ b/nix/futhark.nix @@ -1028,6 +1028,17 @@ default = "r0"; }; }; + "0.25.20" = { + sha256 = "fc496d446a48eea02c2987918aab8cefa689b2745d107bff2e59c66c1afb2e91"; + revisions = { + r0 = { + nix = import ../hackage/futhark-0.25.20-r0-417b9983fda78ab1a89a85f56a1b8497866185e6aaa9f8e70340f5bf710960a4.nix; + revNum = 0; + sha256 = "417b9983fda78ab1a89a85f56a1b8497866185e6aaa9f8e70340f5bf710960a4"; + }; + default = "r0"; + }; + }; "0.25.3" = { sha256 = "5ab5a24ef4b30f6bb1036227fc1a101334cbde8fbdfe9979b77a0a5b9de01c6f"; revisions = { diff --git a/nix/hqcsim.nix b/nix/hqcsim.nix new file mode 100644 index 00000000000..725d40bd030 --- /dev/null +++ b/nix/hqcsim.nix @@ -0,0 +1,13 @@ +{ + "0.1.0.0" = { + sha256 = "f0792d4e22f265f65b35c3c9e4d0e9008ba299d7387f33ca180acdf445ec6961"; + revisions = { + r0 = { + nix = import ../hackage/hqcsim-0.1.0.0-r0-734a366d308c650db48c1c716c26566c49f0be524dcfb36e580a7a77f7434cc4.nix; + revNum = 0; + sha256 = "734a366d308c650db48c1c716c26566c49f0be524dcfb36e580a7a77f7434cc4"; + }; + default = "r0"; + }; + }; +} \ No newline at end of file diff --git a/nix/hw-streams.nix b/nix/hw-streams.nix index 2e815b21b2a..3033b02883a 100644 --- a/nix/hw-streams.nix +++ b/nix/hw-streams.nix @@ -177,4 +177,15 @@ default = "r5"; }; }; + "0.0.1.1" = { + sha256 = "f9259b76a6d21474d5b4081e511536ed6a00470c842298861546ebfab98ddfec"; + revisions = { + r0 = { + nix = import ../hackage/hw-streams-0.0.1.1-r0-4b53e3a99a33a78960b4de40c3950961578945f2d43407c33308b9d20901c99b.nix; + revNum = 0; + sha256 = "4b53e3a99a33a78960b4de40c3950961578945f2d43407c33308b9d20901c99b"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/smtlib-backends-process.nix b/nix/smtlib-backends-process.nix index 5a7947c6085..a1c3a945291 100644 --- a/nix/smtlib-backends-process.nix +++ b/nix/smtlib-backends-process.nix @@ -38,7 +38,12 @@ revNum = 3; sha256 = "26f6b0fbb1f1fc2a9b82f3ebaedaaaac4fc5c49aa4a86659f7e8df4c073189cd"; }; - default = "r3"; + r4 = { + nix = import ../hackage/smtlib-backends-process-0.3-r4-bb730a55c5974eeb24112b560d30c49d518d6de45148723435219baa269f8b5e.nix; + revNum = 4; + sha256 = "bb730a55c5974eeb24112b560d30c49d518d6de45148723435219baa269f8b5e"; + }; + default = "r4"; }; }; } \ No newline at end of file diff --git a/nix/smtlib-backends-tests.nix b/nix/smtlib-backends-tests.nix index 4e55ce7a5b7..02cb46751e8 100644 --- a/nix/smtlib-backends-tests.nix +++ b/nix/smtlib-backends-tests.nix @@ -28,7 +28,12 @@ revNum = 2; sha256 = "991e6cc3aed4a6ec5722005cca97abf60fc92d72a969c4cfa77fbb79c253fdb0"; }; - default = "r2"; + r3 = { + nix = import ../hackage/smtlib-backends-tests-0.3-r3-973bdb20ec6ca2eb4f890b7431978b2c736681c21e648c73ea3204826a2403ae.nix; + revNum = 3; + sha256 = "973bdb20ec6ca2eb4f890b7431978b2c736681c21e648c73ea3204826a2403ae"; + }; + default = "r3"; }; }; } \ No newline at end of file diff --git a/nix/smtlib-backends-z3.nix b/nix/smtlib-backends-z3.nix index 034eb9c2169..be98251417d 100644 --- a/nix/smtlib-backends-z3.nix +++ b/nix/smtlib-backends-z3.nix @@ -44,7 +44,12 @@ revNum = 1; sha256 = "6b672e47ad38b0e163119a2989c9468f2a0539745b75e6736c98113ea41732a3"; }; - default = "r1"; + r2 = { + nix = import ../hackage/smtlib-backends-z3-0.3.1-r2-e13b2e444d8799b51d9794d4b7bf24abe8ebe7499f61b344134e4bae6f625d83.nix; + revNum = 2; + sha256 = "e13b2e444d8799b51d9794d4b7bf24abe8ebe7499f61b344134e4bae6f625d83"; + }; + default = "r2"; }; }; } \ No newline at end of file diff --git a/nix/smtlib-backends.nix b/nix/smtlib-backends.nix index 6fa5af169a1..9ded653cc3f 100644 --- a/nix/smtlib-backends.nix +++ b/nix/smtlib-backends.nix @@ -44,7 +44,12 @@ revNum = 0; sha256 = "6028af9a5f9120b5176a22f136132cb91d7cdfcde34c2e1cdaf270f2d374de47"; }; - default = "r0"; + r1 = { + nix = import ../hackage/smtlib-backends-0.4-r1-a7ae228f4464727a8c725341cf9b6690577f5289c80a33e8960264e296fb9a47.nix; + revNum = 1; + sha256 = "a7ae228f4464727a8c725341cf9b6690577f5289c80a33e8960264e296fb9a47"; + }; + default = "r1"; }; }; } \ No newline at end of file diff --git a/nix/utxorpc.nix b/nix/utxorpc.nix index bfa76b089a6..72af45f0b61 100644 --- a/nix/utxorpc.nix +++ b/nix/utxorpc.nix @@ -129,4 +129,15 @@ default = "r0"; }; }; + "0.0.9.0" = { + sha256 = "ec55eba81077ad3652347ff6e68799def2ce41d710964157720fe0f53c5706d9"; + revisions = { + r0 = { + nix = import ../hackage/utxorpc-0.0.9.0-r0-a41232da91253c0cb2d147550e7d687dbfe51363b11ed26fbf4aedc44e0a3bee.nix; + revNum = 0; + sha256 = "a41232da91253c0cb2d147550e7d687dbfe51363b11ed26fbf4aedc44e0a3bee"; + }; + default = "r0"; + }; + }; } \ No newline at end of file