From 5a3e431c4e0ce3fff86b71c319d027fcf62961df Mon Sep 17 00:00:00 2001 From: IOHK Date: Mon, 9 Sep 2024 00:38:12 +0000 Subject: [PATCH] Automatic Update --- default.nix | 1 + ...5b62035a436e982a48442229821b78678b4d6e.nix | 31 ++++ ...ec04564717015ce9fe42151b3f523e5c5f1449.nix | 31 ++++ ...7206bce2c1784e4617be4fa9d60ddbe3b7081d.nix | 55 +++++++ ...9ff562d2ab1f21bd9aecfcf08f67a96c69ab70.nix | 93 +++++++++++ ...c7c1d53fe97cc9dcf9791a81d048445d4b437b.nix | 148 ++++++++++++++++++ ...6ad03a865bce0b548df0e918e1126b071d4f61.nix | 60 +++++++ ...54f9076a73d9936d2d36dadb90b35d84d9ac78.nix | 45 ++++++ ...b4562899dd54c27912260fac24fd1cd9ad221b.nix | 50 ++++++ ...a90d0e5dfc9a486e18853ea864699e783e653a.nix | 57 +++++++ ...32b3de62660ee86f7800aa41fae73f65511b1f.nix | 52 ++++++ ...23ae93bf85f032e9a7cc6a707e18cff2296978.nix | 35 +++++ ...dc1dc11c0a1f368917963fcab73581f19cff79.nix | 64 ++++++++ ...81028f96f05b56b00366e2b3e0c8a036d9c39d.nix | 43 +++++ ...0758321e1f3d64ad53ab8bd8df101a2c832bf7.nix | 101 ++++++++++++ ...e15df7931a02cb22fb0225790f004034dd3b98.nix | 69 ++++++++ ...091f0cd3cc53ce2afabc1955059269e8fec455.nix | 108 +++++++++++++ ...309ee075e98ffa1065f844a0005217cda29c12.nix | 121 ++++++++++++++ ...254828357dde555e54a14222b98cce50f68a28.nix | 138 ++++++++++++++++ ...85cc272e0c8ac575b4fd813f26bb40bd292e6b.nix | 125 +++++++++++++++ ...a5891cd75d7a3eeb5b5f7bb8e866a46906d8c5.nix | 38 +++++ ...7f5e0fe9b1217fd0afeeff31fc18430c449f28.nix | 91 +++++++++++ ...d0482e3e42a259b0a4ce8daadfc933abf47bdb.nix | 49 ++++++ ...f05bba3122307d7ccd504779412a958b772cb6.nix | 62 ++++++++ ...946012871c90980bcba2f3fa0e07a91c9a18ff.nix | 50 ++++++ ...158c0725ef9265a4b7b3456c081076c9eeadf8.nix | 41 +++++ ...67eede9a623b0a14c95270eec5da280888f3f0.nix | 57 +++++++ ...9e4e604519584a4ad3d195bc75affa96ff5185.nix | 94 +++++++++++ ...e4d065f432c922f6664c753ebdb17e7297c759.nix | 39 +++++ ...79a6ae79c84d9ee810a132b7d85bbee8b22977.nix | 67 ++++++++ ...068df26f0f51752437ccf1a01aa2c00ccc033e.nix | 53 +++++++ index-state-hashes.nix | 1 + nix/array.nix | 16 ++ nix/beam-migrate.nix | 7 +- nix/bloodhound.nix | 11 ++ nix/copilot-c99.nix | 11 ++ nix/copilot-core.nix | 11 ++ nix/copilot-interpreter.nix | 11 ++ nix/copilot-language.nix | 11 ++ nix/copilot-libraries.nix | 11 ++ nix/copilot-prettyprinter.nix | 11 ++ nix/copilot-theorem.nix | 11 ++ nix/copilot.nix | 11 ++ nix/deepseq.nix | 11 ++ nix/distributed-process-async.nix | 7 +- nix/distributed-process-client-server.nix | 7 +- nix/distributed-process-execution.nix | 7 +- nix/distributed-process-extras.nix | 7 +- nix/distributed-process-supervisor.nix | 7 +- nix/distributed-process.nix | 7 +- nix/distributed-static.nix | 7 +- nix/doctest.nix | 11 ++ nix/fast-myers-diff.nix | 11 ++ nix/fedora-repoquery.nix | 11 ++ nix/hasmtlib.nix | 11 ++ nix/hexpat.nix | 7 +- nix/isomorphism-class.nix | 11 ++ nix/javelin.nix | 7 +- nix/network-transport.nix | 7 +- nix/r-tree.nix | 13 ++ nix/radix-tree.nix | 11 ++ 61 files changed, 2340 insertions(+), 11 deletions(-) create mode 100644 hackage/array-0.5.8.0-r0-173e6b024509aadce9c70dc9b05b62035a436e982a48442229821b78678b4d6e.nix create mode 100644 hackage/array-0.5.8.0-r1-16f95533d2b46c45ad43e935c5ec04564717015ce9fe42151b3f523e5c5f1449.nix create mode 100644 hackage/beam-migrate-0.5.2.1-r2-8418cc3dfbb8ebd63fc7d490167206bce2c1784e4617be4fa9d60ddbe3b7081d.nix create mode 100644 hackage/bloodhound-0.23.0.0-r0-384e4ddfb28bd2650096e91b169ff562d2ab1f21bd9aecfcf08f67a96c69ab70.nix create mode 100644 hackage/copilot-4.0-r0-92552eb6adaeccfd3f416d822fc7c1d53fe97cc9dcf9791a81d048445d4b437b.nix create mode 100644 hackage/copilot-c99-4.0-r0-208f2a71bcc611ef4abef838706ad03a865bce0b548df0e918e1126b071d4f61.nix create mode 100644 hackage/copilot-core-4.0-r0-e0ac49c521814dda8101caec8c54f9076a73d9936d2d36dadb90b35d84d9ac78.nix create mode 100644 hackage/copilot-interpreter-4.0-r0-ffbcd4cf479ccde2cf18435c6db4562899dd54c27912260fac24fd1cd9ad221b.nix create mode 100644 hackage/copilot-language-4.0-r0-49664cd8ff0937139b578e5d0ea90d0e5dfc9a486e18853ea864699e783e653a.nix create mode 100644 hackage/copilot-libraries-4.0-r0-5b4e891e81e9d339006501d69b32b3de62660ee86f7800aa41fae73f65511b1f.nix create mode 100644 hackage/copilot-prettyprinter-4.0-r0-9fc6854ad5df6ad153a52aea8323ae93bf85f032e9a7cc6a707e18cff2296978.nix create mode 100644 hackage/copilot-theorem-4.0-r0-43103a6f45dc478fe825f50cb8dc1dc11c0a1f368917963fcab73581f19cff79.nix create mode 100644 hackage/deepseq-1.6.0.0-r0-c48ce2041ec3b9b0a1314e455a81028f96f05b56b00366e2b3e0c8a036d9c39d.nix create mode 100644 hackage/distributed-process-0.7.7-r1-a46d7e159ead20f479c3cd7e7f0758321e1f3d64ad53ab8bd8df101a2c832bf7.nix create mode 100644 hackage/distributed-process-async-0.2.8-r1-364b0125b18f340b61195b04cde15df7931a02cb22fb0225790f004034dd3b98.nix create mode 100644 hackage/distributed-process-client-server-0.2.6.0-r1-07d95d1919af654dcaecad2b9a091f0cd3cc53ce2afabc1955059269e8fec455.nix create mode 100644 hackage/distributed-process-execution-0.1.3.0-r1-e4e7f698ea063e202028224d54309ee075e98ffa1065f844a0005217cda29c12.nix create mode 100644 hackage/distributed-process-extras-0.3.6-r1-89493cc63556990d9f6a2ff4d0254828357dde555e54a14222b98cce50f68a28.nix create mode 100644 hackage/distributed-process-supervisor-0.2.2-r1-7a704ef0a3b45efbe817ee8e6485cc272e0c8ac575b4fd813f26bb40bd292e6b.nix create mode 100644 hackage/distributed-static-0.3.11-r1-a38f56c6128d10f1c1aeb498d5a5891cd75d7a3eeb5b5f7bb8e866a46906d8c5.nix create mode 100644 hackage/doctest-0.22.10-r0-8eba1e82737efd7598bf7f6cc47f5e0fe9b1217fd0afeeff31fc18430c449f28.nix create mode 100644 hackage/fast-myers-diff-0.0.1-r0-57d0acec63a45013120da6089ed0482e3e42a259b0a4ce8daadfc933abf47bdb.nix create mode 100644 hackage/fedora-repoquery-0.7.1-r0-48a47de095aa2cca6905ecf667f05bba3122307d7ccd504779412a958b772cb6.nix create mode 100644 hackage/hasmtlib-2.6.3-r0-3c03c730f63dc3c0e498d8da10946012871c90980bcba2f3fa0e07a91c9a18ff.nix create mode 100644 hackage/hexpat-0.20.13-r3-6c2e5c5b4a8c4f1cd4c441730c158c0725ef9265a4b7b3456c081076c9eeadf8.nix create mode 100644 hackage/isomorphism-class-0.1.1-r0-09b7bf508f4bbd44a93ec1121a67eede9a623b0a14c95270eec5da280888f3f0.nix create mode 100644 hackage/javelin-0.1.2.0-r2-0002c9737dcfe1a3f9ede515f49e4e604519584a4ad3d195bc75affa96ff5185.nix create mode 100644 hackage/network-transport-0.5.8-r1-e252ea6273d5bc0afefb9b8b98e4d065f432c922f6664c753ebdb17e7297c759.nix create mode 100644 hackage/r-tree-1.0.0.0-r0-5e0129ce5d5b5f50726f24ee6279a6ae79c84d9ee810a132b7d85bbee8b22977.nix create mode 100644 hackage/radix-tree-1.0.0.2-r0-ca22c15c08a790b8551039bdd9068df26f0f51752437ccf1a01aa2c00ccc033e.nix create mode 100644 nix/r-tree.nix diff --git a/default.nix b/default.nix index bcd01a2e93d..d5e450cd023 100644 --- a/default.nix +++ b/default.nix @@ -13243,6 +13243,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec { "quotet" = import ./nix/quotet.nix; "qux" = import ./nix/qux.nix; "r-glpk-phonetic-languages-ukrainian-durations" = import ./nix/r-glpk-phonetic-languages-ukrainian-durations.nix; + "r-tree" = import ./nix/r-tree.nix; "r3x-haskell-sdk" = import ./nix/r3x-haskell-sdk.nix; "raaz" = import ./nix/raaz.nix; "rabocsv2qif" = import ./nix/rabocsv2qif.nix; diff --git a/hackage/array-0.5.8.0-r0-173e6b024509aadce9c70dc9b05b62035a436e982a48442229821b78678b4d6e.nix b/hackage/array-0.5.8.0-r0-173e6b024509aadce9c70dc9b05b62035a436e982a48442229821b78678b4d6e.nix new file mode 100644 index 00000000000..f94ab967a35 --- /dev/null +++ b/hackage/array-0.5.8.0-r0-173e6b024509aadce9c70dc9b05b62035a436e982a48442229821b78678b4d6e.nix @@ -0,0 +1,31 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "array"; version = "0.5.8.0"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "libraries@haskell.org"; + author = ""; + homepage = ""; + url = ""; + synopsis = "Mutable and immutable arrays"; + description = "In addition to providing the \"Data.Array\" module\n,\nthis package also defines the classes 'IArray' of\nimmutable arrays and 'MArray' of arrays mutable within appropriate\nmonads, as well as some instances of these classes."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/array-0.5.8.0-r1-16f95533d2b46c45ad43e935c5ec04564717015ce9fe42151b3f523e5c5f1449.nix b/hackage/array-0.5.8.0-r1-16f95533d2b46c45ad43e935c5ec04564717015ce9fe42151b3f523e5c5f1449.nix new file mode 100644 index 00000000000..f94ab967a35 --- /dev/null +++ b/hackage/array-0.5.8.0-r1-16f95533d2b46c45ad43e935c5ec04564717015ce9fe42151b3f523e5c5f1449.nix @@ -0,0 +1,31 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "array"; version = "0.5.8.0"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "libraries@haskell.org"; + author = ""; + homepage = ""; + url = ""; + synopsis = "Mutable and immutable arrays"; + description = "In addition to providing the \"Data.Array\" module\n,\nthis package also defines the classes 'IArray' of\nimmutable arrays and 'MArray' of arrays mutable within appropriate\nmonads, as well as some instances of these classes."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/beam-migrate-0.5.2.1-r2-8418cc3dfbb8ebd63fc7d490167206bce2c1784e4617be4fa9d60ddbe3b7081d.nix b/hackage/beam-migrate-0.5.2.1-r2-8418cc3dfbb8ebd63fc7d490167206bce2c1784e4617be4fa9d60ddbe3b7081d.nix new file mode 100644 index 00000000000..b64c3b03aaa --- /dev/null +++ b/hackage/beam-migrate-0.5.2.1-r2-8418cc3dfbb8ebd63fc7d490167206bce2c1784e4617be4fa9d60ddbe3b7081d.nix @@ -0,0 +1,55 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = { werror = false; }; + package = { + specVersion = "1.18"; + identifier = { name = "beam-migrate"; version = "0.5.2.1"; }; + license = "MIT"; + copyright = "Copyright (C) 2017-2018 Travis Athougies"; + maintainer = "travis@athougies.net"; + author = "Travis Athougies"; + homepage = "https://travis.athougies.net/projects/beam.html"; + url = ""; + synopsis = "SQL DDL support and migrations support library for Beam"; + description = "This package provides type classes to allow backends to implement\nSQL DDL support for beam. This allows you to use beam syntax to\nwrite type-safe schema generation code.\nThe package also provides features to introspect beam schemas,\nand support for automatic generation of migrations in SQL and\nHaskell formats.\nThis is mostly a low-level support library. Most often, this\nlibrary is used to write tooling to support DDL manipulation in\nyour project, or to enable migrations support in beam backends.\nFor a more turnkey solution for database migrations, consider\nthe \ncommand line tool. This provides out-of-the-box support for migrations,\nschema change management, and version control, based on the features\nprovided in this library."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."beam-core" or (errorHandler.buildDepError "beam-core")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."free" or (errorHandler.buildDepError "free")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."scientific" or (errorHandler.buildDepError "scientific")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."microlens" or (errorHandler.buildDepError "microlens")) + (hsPkgs."parallel" or (errorHandler.buildDepError "parallel")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim")) + (hsPkgs."haskell-src-exts" or (errorHandler.buildDepError "haskell-src-exts")) + (hsPkgs."pretty" or (errorHandler.buildDepError "pretty")) + (hsPkgs."dependent-map" or (errorHandler.buildDepError "dependent-map")) + (hsPkgs."dependent-sum" or (errorHandler.buildDepError "dependent-sum")) + (hsPkgs."pqueue" or (errorHandler.buildDepError "pqueue")) + (hsPkgs."uuid-types" or (errorHandler.buildDepError "uuid-types")) + ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/bloodhound-0.23.0.0-r0-384e4ddfb28bd2650096e91b169ff562d2ab1f21bd9aecfcf08f67a96c69ab70.nix b/hackage/bloodhound-0.23.0.0-r0-384e4ddfb28bd2650096e91b169ff562d2ab1f21bd9aecfcf08f67a96c69ab70.nix new file mode 100644 index 00000000000..603a7461fe7 --- /dev/null +++ b/hackage/bloodhound-0.23.0.0-r0-384e4ddfb28bd2650096e91b169ff562d2ab1f21bd9aecfcf08f67a96c69ab70.nix @@ -0,0 +1,93 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "3.4"; + identifier = { name = "bloodhound"; version = "0.23.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."optics-core" or (errorHandler.buildDepError "optics-core")) + (hsPkgs."scientific" or (errorHandler.buildDepError "scientific")) + (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + (hsPkgs."versions" or (errorHandler.buildDepError "versions")) + ]; + buildable = true; + }; + tests = { + "bloodhound-tests" = { + depends = [ + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."aeson-optics" or (errorHandler.buildDepError "aeson-optics")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (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."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."hspec-discover" or (errorHandler.buildDepError "hspec-discover")) + (hsPkgs."http-client" or (errorHandler.buildDepError "http-client")) + (hsPkgs."http-types" or (errorHandler.buildDepError "http-types")) + (hsPkgs."microlens" or (errorHandler.buildDepError "microlens")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."optics" or (errorHandler.buildDepError "optics")) + (hsPkgs."pretty-simple" or (errorHandler.buildDepError "pretty-simple")) + (hsPkgs."quickcheck-properties" or (errorHandler.buildDepError "quickcheck-properties")) + (hsPkgs."temporary" or (errorHandler.buildDepError "temporary")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."unix-compat" or (errorHandler.buildDepError "unix-compat")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + (hsPkgs."versions" or (errorHandler.buildDepError "versions")) + ]; + buildable = true; + }; + "doctests" = { + depends = [ + (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bloodhound" or (errorHandler.buildDepError "bloodhound")) + (hsPkgs."doctest" or (errorHandler.buildDepError "doctest")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/copilot-4.0-r0-92552eb6adaeccfd3f416d822fc7c1d53fe97cc9dcf9791a81d048445d4b437b.nix b/hackage/copilot-4.0-r0-92552eb6adaeccfd3f416d822fc7c1d53fe97cc9dcf9791a81d048445d4b437b.nix new file mode 100644 index 00000000000..92184b10e15 --- /dev/null +++ b/hackage/copilot-4.0-r0-92552eb6adaeccfd3f416d822fc7c1d53fe97cc9dcf9791a81d048445d4b437b.nix @@ -0,0 +1,148 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = { examples = false; }; + package = { + specVersion = "1.10"; + identifier = { name = "copilot"; version = "4.0"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "Ivan Perez "; + author = "Frank Dedden, Nis Nordby Wegmann, Lee Pike, Robin Morisset, Sebastian Niller, Alwyn Goodloe, Ivan Perez"; + homepage = "https://copilot-language.github.io"; + url = ""; + synopsis = "A stream DSL for writing embedded C programs."; + description = "Copilot is a stream-based runtime verification framework implemented as an\nembedded domain-specific language (EDSL) in Haskell. Programs can be\ninterpreted for testing, or translated into C99 code to be incorporated in a\nproject, or as a standalone application. The C99 backend output is constant\nin memory and time, making it suitable for systems with hard realtime\nrequirements.\n\nThis package is the main entry-point for using Copilot.\n\nA tutorial, examples, and other information are available at\n."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core")) + (hsPkgs."copilot-theorem" or (errorHandler.buildDepError "copilot-theorem")) + (hsPkgs."copilot-language" or (errorHandler.buildDepError "copilot-language")) + (hsPkgs."copilot-libraries" or (errorHandler.buildDepError "copilot-libraries")) + (hsPkgs."copilot-c99" or (errorHandler.buildDepError "copilot-c99")) + (hsPkgs."copilot-prettyprinter" or (errorHandler.buildDepError "copilot-prettyprinter")) + ]; + buildable = true; + }; + exes = { + "what4-propositional" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."copilot" or (errorHandler.buildDepError "copilot")) + (hsPkgs."copilot-theorem" or (errorHandler.buildDepError "copilot-theorem")) + ]; + buildable = if flags.examples then true else false; + }; + "what4-arithmetic" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."copilot" or (errorHandler.buildDepError "copilot")) + (hsPkgs."copilot-theorem" or (errorHandler.buildDepError "copilot-theorem")) + ]; + buildable = if flags.examples then true else false; + }; + "what4-structs" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."copilot" or (errorHandler.buildDepError "copilot")) + (hsPkgs."copilot-theorem" or (errorHandler.buildDepError "copilot-theorem")) + ]; + buildable = if flags.examples then true else false; + }; + "wcv" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."copilot" or (errorHandler.buildDepError "copilot")) + (hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core")) + (hsPkgs."copilot-theorem" or (errorHandler.buildDepError "copilot-theorem")) + ]; + buildable = if flags.examples then true else false; + }; + "addmult" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."copilot" or (errorHandler.buildDepError "copilot")) + (hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core")) + (hsPkgs."copilot-theorem" or (errorHandler.buildDepError "copilot-theorem")) + ]; + buildable = if flags.examples then true else false; + }; + "array" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."copilot" or (errorHandler.buildDepError "copilot")) + ]; + buildable = if flags.examples then true else false; + }; + "cast" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."copilot" or (errorHandler.buildDepError "copilot")) + ]; + buildable = if flags.examples then true else false; + }; + "clock" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."copilot" or (errorHandler.buildDepError "copilot")) + (hsPkgs."copilot-libraries" or (errorHandler.buildDepError "copilot-libraries")) + (hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core")) + (hsPkgs."copilot-theorem" or (errorHandler.buildDepError "copilot-theorem")) + ]; + buildable = if flags.examples then true else false; + }; + "counter" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."copilot" or (errorHandler.buildDepError "copilot")) + (hsPkgs."copilot-c99" or (errorHandler.buildDepError "copilot-c99")) + ]; + buildable = if flags.examples then true else false; + }; + "engine" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."copilot" or (errorHandler.buildDepError "copilot")) + ]; + buildable = if flags.examples then true else false; + }; + "heater" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."copilot" or (errorHandler.buildDepError "copilot")) + (hsPkgs."copilot-c99" or (errorHandler.buildDepError "copilot-c99")) + ]; + buildable = if flags.examples then true else false; + }; + "structs" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."copilot" or (errorHandler.buildDepError "copilot")) + (hsPkgs."copilot-c99" or (errorHandler.buildDepError "copilot-c99")) + ]; + buildable = if flags.examples then true else false; + }; + "voting" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."copilot" or (errorHandler.buildDepError "copilot")) + ]; + buildable = if flags.examples then true else false; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/copilot-c99-4.0-r0-208f2a71bcc611ef4abef838706ad03a865bce0b548df0e918e1126b071d4f61.nix b/hackage/copilot-c99-4.0-r0-208f2a71bcc611ef4abef838706ad03a865bce0b548df0e918e1126b071d4f61.nix new file mode 100644 index 00000000000..441d5561b7e --- /dev/null +++ b/hackage/copilot-c99-4.0-r0-208f2a71bcc611ef4abef838706ad03a865bce0b548df0e918e1126b071d4f61.nix @@ -0,0 +1,60 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "copilot-c99"; version = "4.0"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "Ivan Perez "; + author = "Frank Dedden\n, Alwyn Goodloe\n, Ivan Perez"; + homepage = "https://copilot-language.github.io"; + url = ""; + synopsis = "A compiler for Copilot targeting C99."; + description = "This package is a back-end from Copilot to C.\n\nCopilot is a stream (i.e., infinite lists) domain-specific language (DSL) in\nHaskell that compiles into embedded C. Copilot contains an interpreter,\nmultiple back-end compilers, and other verification tools.\n\nA tutorial, examples, and other information are available at\n."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."pretty" or (errorHandler.buildDepError "pretty")) + (hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core")) + (hsPkgs."language-c99" or (errorHandler.buildDepError "language-c99")) + (hsPkgs."language-c99-simple" or (errorHandler.buildDepError "language-c99-simple")) + ]; + buildable = true; + }; + tests = { + "unit-tests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."pretty" or (errorHandler.buildDepError "pretty")) + (hsPkgs."process" or (errorHandler.buildDepError "process")) + (hsPkgs."random" or (errorHandler.buildDepError "random")) + (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework")) + (hsPkgs."test-framework-hunit" or (errorHandler.buildDepError "test-framework-hunit")) + (hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2")) + (hsPkgs."unix" or (errorHandler.buildDepError "unix")) + (hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core")) + (hsPkgs."copilot-c99" or (errorHandler.buildDepError "copilot-c99")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/copilot-core-4.0-r0-e0ac49c521814dda8101caec8c54f9076a73d9936d2d36dadb90b35d84d9ac78.nix b/hackage/copilot-core-4.0-r0-e0ac49c521814dda8101caec8c54f9076a73d9936d2d36dadb90b35d84d9ac78.nix new file mode 100644 index 00000000000..25aede9a165 --- /dev/null +++ b/hackage/copilot-core-4.0-r0-e0ac49c521814dda8101caec8c54f9076a73d9936d2d36dadb90b35d84d9ac78.nix @@ -0,0 +1,45 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "copilot-core"; version = "4.0"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "Ivan Perez "; + author = "Frank Dedden, Lee Pike, Robin Morisset, Alwyn Goodloe,\nSebastian Niller, Nis Nordbyop Wegmann, Ivan Perez"; + homepage = "https://copilot-language.github.io"; + url = ""; + synopsis = "An intermediate representation for Copilot."; + description = "Intermediate representation for Copilot.\n\nCopilot is a stream (i.e., infinite lists) domain-specific language (DSL) in\nHaskell that compiles into embedded C. Copilot contains an interpreter,\nmultiple back-end compilers, and other verification tools.\n\nA tutorial, examples, and other information are available at\n."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ]; + buildable = true; + }; + tests = { + "unit-tests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework")) + (hsPkgs."test-framework-hunit" or (errorHandler.buildDepError "test-framework-hunit")) + (hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2")) + (hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/copilot-interpreter-4.0-r0-ffbcd4cf479ccde2cf18435c6db4562899dd54c27912260fac24fd1cd9ad221b.nix b/hackage/copilot-interpreter-4.0-r0-ffbcd4cf479ccde2cf18435c6db4562899dd54c27912260fac24fd1cd9ad221b.nix new file mode 100644 index 00000000000..6622acc4f7b --- /dev/null +++ b/hackage/copilot-interpreter-4.0-r0-ffbcd4cf479ccde2cf18435c6db4562899dd54c27912260fac24fd1cd9ad221b.nix @@ -0,0 +1,50 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "copilot-interpreter"; version = "4.0"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "Ivan Perez "; + author = "Frank Dedden, Lee Pike, Robin Morisset, Alwyn Goodloe,\nSebastian Niller, Nis Nordbyop Wegmann, Ivan Perez"; + homepage = "https://copilot-language.github.io"; + url = ""; + synopsis = "Interpreter for Copilot."; + description = "Interpreter for Copilot.\n\nCopilot is a stream (i.e., infinite lists) domain-specific language (DSL) in\nHaskell that compiles into embedded C. Copilot contains an interpreter,\nmultiple back-end compilers, and other verification tools.\n\nA tutorial, examples, and other information are available at\n."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."pretty" or (errorHandler.buildDepError "pretty")) + (hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core")) + ]; + buildable = true; + }; + tests = { + "unit-tests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."pretty" or (errorHandler.buildDepError "pretty")) + (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework")) + (hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2")) + (hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core")) + (hsPkgs."copilot-interpreter" or (errorHandler.buildDepError "copilot-interpreter")) + (hsPkgs."copilot-prettyprinter" or (errorHandler.buildDepError "copilot-prettyprinter")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/copilot-language-4.0-r0-49664cd8ff0937139b578e5d0ea90d0e5dfc9a486e18853ea864699e783e653a.nix b/hackage/copilot-language-4.0-r0-49664cd8ff0937139b578e5d0ea90d0e5dfc9a486e18853ea864699e783e653a.nix new file mode 100644 index 00000000000..c91efb8d033 --- /dev/null +++ b/hackage/copilot-language-4.0-r0-49664cd8ff0937139b578e5d0ea90d0e5dfc9a486e18853ea864699e783e653a.nix @@ -0,0 +1,57 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "copilot-language"; version = "4.0"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "Ivan Perez "; + author = "Frank Dedden, Lee Pike, Robin Morisset, Alwyn Goodloe,\nSebastian Niller, Nis Nordby Wegmann, Ivan Perez"; + homepage = "https://copilot-language.github.io"; + url = ""; + synopsis = "A Haskell-embedded DSL for monitoring hard real-time\ndistributed systems."; + description = "The concrete syntax for Copilot.\n\nCopilot is a stream (i.e., infinite lists) domain-specific language (DSL) in\nHaskell that compiles into embedded C. Copilot contains an interpreter,\nmultiple back-end compilers, and other verification tools.\n\nA tutorial, examples, and other information are available at\n."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."array" or (errorHandler.buildDepError "array")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."data-reify" or (errorHandler.buildDepError "data-reify")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core")) + (hsPkgs."copilot-interpreter" or (errorHandler.buildDepError "copilot-interpreter")) + (hsPkgs."copilot-theorem" or (errorHandler.buildDepError "copilot-theorem")) + ]; + buildable = true; + }; + tests = { + "unit-tests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."pretty" or (errorHandler.buildDepError "pretty")) + (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework")) + (hsPkgs."test-framework-hunit" or (errorHandler.buildDepError "test-framework-hunit")) + (hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2")) + (hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core")) + (hsPkgs."copilot-interpreter" or (errorHandler.buildDepError "copilot-interpreter")) + (hsPkgs."copilot-language" or (errorHandler.buildDepError "copilot-language")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/copilot-libraries-4.0-r0-5b4e891e81e9d339006501d69b32b3de62660ee86f7800aa41fae73f65511b1f.nix b/hackage/copilot-libraries-4.0-r0-5b4e891e81e9d339006501d69b32b3de62660ee86f7800aa41fae73f65511b1f.nix new file mode 100644 index 00000000000..7b82cb47676 --- /dev/null +++ b/hackage/copilot-libraries-4.0-r0-5b4e891e81e9d339006501d69b32b3de62660ee86f7800aa41fae73f65511b1f.nix @@ -0,0 +1,52 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "copilot-libraries"; version = "4.0"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "Ivan Perez "; + author = "Frank Dedden, Lee Pike, Robin Morisset, Alwyn Goodloe,\nSebastian Niller, Nis Nordby Wegmann, Ivan Perez"; + homepage = "https://copilot-language.github.io"; + url = ""; + synopsis = "Libraries for the Copilot language."; + description = "Libraries for the Copilot language.\n\nCopilot is a stream (i.e., infinite lists) domain-specific language (DSL) in\nHaskell that compiles into embedded C. Copilot contains an interpreter,\nmultiple back-end compilers, and other verification tools.\n\nA tutorial, examples, and other information are available at\n."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."parsec" or (errorHandler.buildDepError "parsec")) + (hsPkgs."copilot-language" or (errorHandler.buildDepError "copilot-language")) + ]; + buildable = true; + }; + tests = { + "unit-tests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework")) + (hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2")) + (hsPkgs."copilot-interpreter" or (errorHandler.buildDepError "copilot-interpreter")) + (hsPkgs."copilot-language" or (errorHandler.buildDepError "copilot-language")) + (hsPkgs."copilot-libraries" or (errorHandler.buildDepError "copilot-libraries")) + (hsPkgs."copilot-theorem" or (errorHandler.buildDepError "copilot-theorem")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/copilot-prettyprinter-4.0-r0-9fc6854ad5df6ad153a52aea8323ae93bf85f032e9a7cc6a707e18cff2296978.nix b/hackage/copilot-prettyprinter-4.0-r0-9fc6854ad5df6ad153a52aea8323ae93bf85f032e9a7cc6a707e18cff2296978.nix new file mode 100644 index 00000000000..eb1cb2a488b --- /dev/null +++ b/hackage/copilot-prettyprinter-4.0-r0-9fc6854ad5df6ad153a52aea8323ae93bf85f032e9a7cc6a707e18cff2296978.nix @@ -0,0 +1,35 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "copilot-prettyprinter"; version = "4.0"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "Ivan Perez "; + author = "Frank Dedden, Lee Pike, Robin Morisset, Alwyn Goodloe,\nSebastian Niller, Nis Nordbyop Wegmann, Ivan Perez"; + homepage = "https://copilot-language.github.io"; + url = ""; + synopsis = "A prettyprinter of Copilot Specifications."; + description = "A prettyprinter of Copilot specifications.\n\nCopilot is a stream (i.e., infinite lists) domain-specific language (DSL) in\nHaskell that compiles into embedded C. Copilot contains an interpreter,\nmultiple back-end compilers, and other verification tools.\n\nA tutorial, examples, and other information are available at\n."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."pretty" or (errorHandler.buildDepError "pretty")) + (hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core")) + ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/copilot-theorem-4.0-r0-43103a6f45dc478fe825f50cb8dc1dc11c0a1f368917963fcab73581f19cff79.nix b/hackage/copilot-theorem-4.0-r0-43103a6f45dc478fe825f50cb8dc1dc11c0a1f368917963fcab73581f19cff79.nix new file mode 100644 index 00000000000..cede4c17682 --- /dev/null +++ b/hackage/copilot-theorem-4.0-r0-43103a6f45dc478fe825f50cb8dc1dc11c0a1f368917963fcab73581f19cff79.nix @@ -0,0 +1,64 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.10"; + identifier = { name = "copilot-theorem"; version = "4.0"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "Ivan Perez "; + author = "Jonathan Laurent"; + homepage = "https://copilot-language.github.io"; + url = ""; + synopsis = "k-induction for Copilot."; + description = "Some tools to prove properties on Copilot programs with k-induction model\nchecking.\n\nCopilot is a stream (i.e., infinite lists) domain-specific language (DSL) in\nHaskell that compiles into embedded C. Copilot contains an interpreter,\nmultiple back-end compilers, and other verification tools.\n\nA tutorial, examples, and other information are available at\n."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bimap" or (errorHandler.buildDepError "bimap")) + (hsPkgs."bv-sized" or (errorHandler.buildDepError "bv-sized")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."data-default" or (errorHandler.buildDepError "data-default")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."libBF" or (errorHandler.buildDepError "libBF")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."panic" or (errorHandler.buildDepError "panic")) + (hsPkgs."parsec" or (errorHandler.buildDepError "parsec")) + (hsPkgs."parameterized-utils" or (errorHandler.buildDepError "parameterized-utils")) + (hsPkgs."pretty" or (errorHandler.buildDepError "pretty")) + (hsPkgs."process" or (errorHandler.buildDepError "process")) + (hsPkgs."random" or (errorHandler.buildDepError "random")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."xml" or (errorHandler.buildDepError "xml")) + (hsPkgs."what4" or (errorHandler.buildDepError "what4")) + (hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core")) + (hsPkgs."copilot-prettyprinter" or (errorHandler.buildDepError "copilot-prettyprinter")) + ]; + buildable = true; + }; + tests = { + "unit-tests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework")) + (hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2")) + (hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core")) + (hsPkgs."copilot-theorem" or (errorHandler.buildDepError "copilot-theorem")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/deepseq-1.6.0.0-r0-c48ce2041ec3b9b0a1314e455a81028f96f05b56b00366e2b3e0c8a036d9c39d.nix b/hackage/deepseq-1.6.0.0-r0-c48ce2041ec3b9b0a1314e455a81028f96f05b56b00366e2b3e0c8a036d9c39d.nix new file mode 100644 index 00000000000..7a2f7261f0e --- /dev/null +++ b/hackage/deepseq-1.6.0.0-r0-c48ce2041ec3b9b0a1314e455a81028f96f05b56b00366e2b3e0c8a036d9c39d.nix @@ -0,0 +1,43 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.12"; + identifier = { name = "deepseq"; version = "1.6.0.0"; }; + license = "BSD-3-Clause"; + copyright = ""; + maintainer = "libraries@haskell.org"; + author = ""; + homepage = ""; + url = ""; + synopsis = "Deep evaluation of data structures"; + description = "This package provides methods for fully evaluating data structures\n(\\\"deep evaluation\\\"). Deep evaluation is often used for adding\nstrictness to a program, e.g. in order to force pending exceptions,\nremove space leaks, or force lazy I/O to happen. It is also useful\nin parallel programs, to ensure pending work does not migrate to the\nwrong thread.\n\nThe primary use of this package is via the 'deepseq' function, a\n\\\"deep\\\" version of 'seq'. It is implemented on top of an 'NFData'\ntypeclass (\\\"Normal Form Data\\\", data structures with no unevaluated\ncomponents) which defines strategies for fully evaluating different\ndata types. See module documentation in \"Control.DeepSeq\" for more\ndetails."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + ] ++ pkgs.lib.optional (compiler.isGhc && compiler.version.ge "9.0") (hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim")); + buildable = true; + }; + tests = { + "test" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/distributed-process-0.7.7-r1-a46d7e159ead20f479c3cd7e7f0758321e1f3d64ad53ab8bd8df101a2c832bf7.nix b/hackage/distributed-process-0.7.7-r1-a46d7e159ead20f479c3cd7e7f0758321e1f3d64ad53ab8bd8df101a2c832bf7.nix new file mode 100644 index 00000000000..22ea7859a3a --- /dev/null +++ b/hackage/distributed-process-0.7.7-r1-a46d7e159ead20f479c3cd7e7f0758321e1f3d64ad53ab8bd8df101a2c832bf7.nix @@ -0,0 +1,101 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = { th = true; }; + package = { + specVersion = "3.0"; + identifier = { name = "distributed-process"; version = "0.7.7"; }; + license = "BSD-3-Clause"; + copyright = "Well-Typed LLP, Tweag I/O Limited"; + maintainer = "The Distributed Haskell team"; + author = "Duncan Coutts, Nicolas Wu, Edsko de Vries"; + homepage = "https://haskell-distributed.github.io/"; + url = ""; + synopsis = "Cloud Haskell: Erlang-style concurrency in Haskell"; + description = "This is an implementation of Cloud Haskell, as described in\n/Towards Haskell in the Cloud/ by Jeff Epstein, Andrew Black,\nand Simon Peyton Jones\n(),\nalthough some of the details are different. The precise message\npassing semantics are based on /A unified semantics for future Erlang/\nby Hans Svensson, Lars-Åke Fredlund and Clara Benac Earle.\n\nYou will probably also want to install a Cloud Haskell backend such\nas distributed-process-simplelocalnet."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."binary" or (errorHandler.buildDepError "binary")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."network-transport" or (errorHandler.buildDepError "network-transport")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."data-accessor" or (errorHandler.buildDepError "data-accessor")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."random" or (errorHandler.buildDepError "random")) + (hsPkgs."distributed-static" or (errorHandler.buildDepError "distributed-static")) + (hsPkgs."rank1dynamic" or (errorHandler.buildDepError "rank1dynamic")) + (hsPkgs."syb" or (errorHandler.buildDepError "syb")) + (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + ] ++ pkgs.lib.optional (flags.th) (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")); + buildable = true; + }; + benchmarks = { + "distributed-process-throughput" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."distributed-process" or (errorHandler.buildDepError "distributed-process")) + (hsPkgs."network-transport-tcp" or (errorHandler.buildDepError "network-transport-tcp")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."binary" or (errorHandler.buildDepError "binary")) + ]; + buildable = true; + }; + "distributed-process-latency" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."distributed-process" or (errorHandler.buildDepError "distributed-process")) + (hsPkgs."network-transport-tcp" or (errorHandler.buildDepError "network-transport-tcp")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."binary" or (errorHandler.buildDepError "binary")) + ]; + buildable = true; + }; + "distributed-process-channels" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."distributed-process" or (errorHandler.buildDepError "distributed-process")) + (hsPkgs."network-transport-tcp" or (errorHandler.buildDepError "network-transport-tcp")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."binary" or (errorHandler.buildDepError "binary")) + ]; + buildable = true; + }; + "distributed-process-spawns" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."distributed-process" or (errorHandler.buildDepError "distributed-process")) + (hsPkgs."network-transport-tcp" or (errorHandler.buildDepError "network-transport-tcp")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."binary" or (errorHandler.buildDepError "binary")) + ]; + buildable = true; + }; + "distributed-process-ring" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."distributed-process" or (errorHandler.buildDepError "distributed-process")) + (hsPkgs."network-transport-tcp" or (errorHandler.buildDepError "network-transport-tcp")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."binary" or (errorHandler.buildDepError "binary")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/distributed-process-async-0.2.8-r1-364b0125b18f340b61195b04cde15df7931a02cb22fb0225790f004034dd3b98.nix b/hackage/distributed-process-async-0.2.8-r1-364b0125b18f340b61195b04cde15df7931a02cb22fb0225790f004034dd3b98.nix new file mode 100644 index 00000000000..67c8d03dcc3 --- /dev/null +++ b/hackage/distributed-process-async-0.2.8-r1-364b0125b18f340b61195b04cde15df7931a02cb22fb0225790f004034dd3b98.nix @@ -0,0 +1,69 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "3.0"; + identifier = { name = "distributed-process-async"; version = "0.2.8"; }; + license = "BSD-3-Clause"; + copyright = "Tim Watson 2012 - 2016"; + maintainer = "The Distributed Haskell team"; + author = "Tim Watson"; + homepage = "http://github.com/haskell-distributed/distributed-process"; + url = ""; + synopsis = "Cloud Haskell Async API"; + description = "This package provides a higher-level interface over Processes, in which an Async a is a\nconcurrent, possibly distributed Process that will eventually deliver a value of type a.\nThe package provides ways to create Async computations, wait for their results, and cancel them."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."data-accessor" or (errorHandler.buildDepError "data-accessor")) + (hsPkgs."distributed-process" or (errorHandler.buildDepError "distributed-process")) + (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) + (hsPkgs."binary" or (errorHandler.buildDepError "binary")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + (hsPkgs."fingertree" or (errorHandler.buildDepError "fingertree")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + ]; + buildable = true; + }; + tests = { + "AsyncTests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."ansi-terminal" or (errorHandler.buildDepError "ansi-terminal")) + (hsPkgs."distributed-process" or (errorHandler.buildDepError "distributed-process")) + (hsPkgs."distributed-process-async" or (errorHandler.buildDepError "distributed-process-async")) + (hsPkgs."distributed-process-systest" or (errorHandler.buildDepError "distributed-process-systest")) + (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) + (hsPkgs."network" or (errorHandler.buildDepError "network")) + (hsPkgs."network-transport" or (errorHandler.buildDepError "network-transport")) + (hsPkgs."network-transport-tcp" or (errorHandler.buildDepError "network-transport-tcp")) + (hsPkgs."binary" or (errorHandler.buildDepError "binary")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (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."rematch" or (errorHandler.buildDepError "rematch")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/distributed-process-client-server-0.2.6.0-r1-07d95d1919af654dcaecad2b9a091f0cd3cc53ce2afabc1955059269e8fec455.nix b/hackage/distributed-process-client-server-0.2.6.0-r1-07d95d1919af654dcaecad2b9a091f0cd3cc53ce2afabc1955059269e8fec455.nix new file mode 100644 index 00000000000..eade4f9badb --- /dev/null +++ b/hackage/distributed-process-client-server-0.2.6.0-r1-07d95d1919af654dcaecad2b9a091f0cd3cc53ce2afabc1955059269e8fec455.nix @@ -0,0 +1,108 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "3.0"; + identifier = { + name = "distributed-process-client-server"; + version = "0.2.6.0"; + }; + license = "BSD-3-Clause"; + copyright = "Tim Watson 2012 - 2017"; + maintainer = "The Distributed Haskell team"; + author = "Tim Watson"; + homepage = "http://github.com/haskell-distributed/distributed-process"; + url = ""; + synopsis = "The Cloud Haskell Application Platform"; + description = "Modelled after Erlang OTP's gen_server, this framework provides similar\nfacilities for Cloud Haskell, grouping essential practices for client/server\ndevelopment into a set of modules and standards designed to help you build\nconcurrent, distributed applications with relative ease."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."distributed-process" or (errorHandler.buildDepError "distributed-process")) + (hsPkgs."distributed-process-extras" or (errorHandler.buildDepError "distributed-process-extras")) + (hsPkgs."distributed-process-async" or (errorHandler.buildDepError "distributed-process-async")) + (hsPkgs."binary" or (errorHandler.buildDepError "binary")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + (hsPkgs."fingertree" or (errorHandler.buildDepError "fingertree")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) + ]; + buildable = true; + }; + tests = { + "ManagedProcessTests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."ansi-terminal" or (errorHandler.buildDepError "ansi-terminal")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."distributed-process" or (errorHandler.buildDepError "distributed-process")) + (hsPkgs."distributed-process-extras" or (errorHandler.buildDepError "distributed-process-extras")) + (hsPkgs."distributed-process-async" or (errorHandler.buildDepError "distributed-process-async")) + (hsPkgs."distributed-process-client-server" or (errorHandler.buildDepError "distributed-process-client-server")) + (hsPkgs."distributed-process-systest" or (errorHandler.buildDepError "distributed-process-systest")) + (hsPkgs."network-transport" or (errorHandler.buildDepError "network-transport")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."fingertree" or (errorHandler.buildDepError "fingertree")) + (hsPkgs."network-transport-tcp" or (errorHandler.buildDepError "network-transport-tcp")) + (hsPkgs."binary" or (errorHandler.buildDepError "binary")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."network" or (errorHandler.buildDepError "network")) + (hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) + (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."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."rematch" or (errorHandler.buildDepError "rematch")) + (hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim")) + (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) + ]; + buildable = true; + }; + "PrioritisedProcessTests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."ansi-terminal" or (errorHandler.buildDepError "ansi-terminal")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."distributed-process" or (errorHandler.buildDepError "distributed-process")) + (hsPkgs."distributed-process-extras" or (errorHandler.buildDepError "distributed-process-extras")) + (hsPkgs."distributed-process-async" or (errorHandler.buildDepError "distributed-process-async")) + (hsPkgs."distributed-process-client-server" or (errorHandler.buildDepError "distributed-process-client-server")) + (hsPkgs."distributed-process-systest" or (errorHandler.buildDepError "distributed-process-systest")) + (hsPkgs."network-transport" or (errorHandler.buildDepError "network-transport")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."fingertree" or (errorHandler.buildDepError "fingertree")) + (hsPkgs."network-transport-tcp" or (errorHandler.buildDepError "network-transport-tcp")) + (hsPkgs."binary" or (errorHandler.buildDepError "binary")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."network" or (errorHandler.buildDepError "network")) + (hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) + (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."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."rematch" or (errorHandler.buildDepError "rematch")) + (hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim")) + (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/distributed-process-execution-0.1.3.0-r1-e4e7f698ea063e202028224d54309ee075e98ffa1065f844a0005217cda29c12.nix b/hackage/distributed-process-execution-0.1.3.0-r1-e4e7f698ea063e202028224d54309ee075e98ffa1065f844a0005217cda29c12.nix new file mode 100644 index 00000000000..d8678d4fb82 --- /dev/null +++ b/hackage/distributed-process-execution-0.1.3.0-r1-e4e7f698ea063e202028224d54309ee075e98ffa1065f844a0005217cda29c12.nix @@ -0,0 +1,121 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "3.0"; + identifier = { + name = "distributed-process-execution"; + version = "0.1.3.0"; + }; + license = "BSD-3-Clause"; + copyright = "Tim Watson 2012 - 2013"; + maintainer = "The Distributed Haskell team"; + author = "Tim Watson"; + homepage = "http://github.com/haskell-distributed/distributed-process"; + url = ""; + synopsis = "Execution Framework for The Cloud Haskell Application Platform"; + description = "The Execution Framework provides tools for load regulation, workload shedding and remote hand-off.\nThe currently implementation provides only a subset of the plumbing required, comprising tools\nfor event management, mailbox buffering and message routing."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."data-accessor" or (errorHandler.buildDepError "data-accessor")) + (hsPkgs."distributed-process" or (errorHandler.buildDepError "distributed-process")) + (hsPkgs."distributed-process-extras" or (errorHandler.buildDepError "distributed-process-extras")) + (hsPkgs."distributed-process-supervisor" or (errorHandler.buildDepError "distributed-process-supervisor")) + (hsPkgs."distributed-process-client-server" or (errorHandler.buildDepError "distributed-process-client-server")) + (hsPkgs."binary" or (errorHandler.buildDepError "binary")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + (hsPkgs."fingertree" or (errorHandler.buildDepError "fingertree")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + ]; + buildable = true; + }; + tests = { + "ExchangeTests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."ansi-terminal" or (errorHandler.buildDepError "ansi-terminal")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + (hsPkgs."distributed-process" or (errorHandler.buildDepError "distributed-process")) + (hsPkgs."distributed-process-execution" or (errorHandler.buildDepError "distributed-process-execution")) + (hsPkgs."distributed-process-extras" or (errorHandler.buildDepError "distributed-process-extras")) + (hsPkgs."distributed-process-systest" or (errorHandler.buildDepError "distributed-process-systest")) + (hsPkgs."distributed-static" or (errorHandler.buildDepError "distributed-static")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."data-accessor" or (errorHandler.buildDepError "data-accessor")) + (hsPkgs."fingertree" or (errorHandler.buildDepError "fingertree")) + (hsPkgs."network-transport" or (errorHandler.buildDepError "network-transport")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."network-transport-tcp" or (errorHandler.buildDepError "network-transport-tcp")) + (hsPkgs."binary" or (errorHandler.buildDepError "binary")) + (hsPkgs."network" or (errorHandler.buildDepError "network")) + (hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework")) + (hsPkgs."test-framework-hunit" or (errorHandler.buildDepError "test-framework-hunit")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."rematch" or (errorHandler.buildDepError "rematch")) + (hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim")) + ]; + buildable = true; + }; + "MailboxTests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."ansi-terminal" or (errorHandler.buildDepError "ansi-terminal")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + (hsPkgs."distributed-process" or (errorHandler.buildDepError "distributed-process")) + (hsPkgs."distributed-process-execution" or (errorHandler.buildDepError "distributed-process-execution")) + (hsPkgs."distributed-process-extras" or (errorHandler.buildDepError "distributed-process-extras")) + (hsPkgs."distributed-process-systest" or (errorHandler.buildDepError "distributed-process-systest")) + (hsPkgs."distributed-static" or (errorHandler.buildDepError "distributed-static")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."data-accessor" or (errorHandler.buildDepError "data-accessor")) + (hsPkgs."fingertree" or (errorHandler.buildDepError "fingertree")) + (hsPkgs."network-transport" or (errorHandler.buildDepError "network-transport")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."network-transport-tcp" or (errorHandler.buildDepError "network-transport-tcp")) + (hsPkgs."binary" or (errorHandler.buildDepError "binary")) + (hsPkgs."network" or (errorHandler.buildDepError "network")) + (hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework")) + (hsPkgs."test-framework-hunit" or (errorHandler.buildDepError "test-framework-hunit")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."rematch" or (errorHandler.buildDepError "rematch")) + (hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/distributed-process-extras-0.3.6-r1-89493cc63556990d9f6a2ff4d0254828357dde555e54a14222b98cce50f68a28.nix b/hackage/distributed-process-extras-0.3.6-r1-89493cc63556990d9f6a2ff4d0254828357dde555e54a14222b98cce50f68a28.nix new file mode 100644 index 00000000000..2c0109def9c --- /dev/null +++ b/hackage/distributed-process-extras-0.3.6-r1-89493cc63556990d9f6a2ff4d0254828357dde555e54a14222b98cce50f68a28.nix @@ -0,0 +1,138 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "3.0"; + identifier = { name = "distributed-process-extras"; version = "0.3.6"; }; + license = "BSD-3-Clause"; + copyright = "Tim Watson 2012 - 2017"; + maintainer = "The Distributed Haskell team"; + author = "Tim Watson"; + homepage = "http://github.com/haskell-distributed/distributed-process"; + url = ""; + synopsis = "Cloud Haskell Extras"; + description = "Supporting library, providing common types and utilities used by the\nvarious libraries built on top of distributed-process"; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."distributed-process" or (errorHandler.buildDepError "distributed-process")) + (hsPkgs."binary" or (errorHandler.buildDepError "binary")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + (hsPkgs."fingertree" or (errorHandler.buildDepError "fingertree")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + ]; + buildable = true; + }; + tests = { + "InternalQueueTests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."ansi-terminal" or (errorHandler.buildDepError "ansi-terminal")) + (hsPkgs."distributed-process" or (errorHandler.buildDepError "distributed-process")) + (hsPkgs."distributed-process-extras" or (errorHandler.buildDepError "distributed-process-extras")) + (hsPkgs."distributed-process-systest" or (errorHandler.buildDepError "distributed-process-systest")) + (hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) + (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework")) + (hsPkgs."test-framework-hunit" or (errorHandler.buildDepError "test-framework-hunit")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2")) + (hsPkgs."rematch" or (errorHandler.buildDepError "rematch")) + (hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim")) + ]; + buildable = true; + }; + "PrimitivesTests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."ansi-terminal" or (errorHandler.buildDepError "ansi-terminal")) + (hsPkgs."distributed-process" or (errorHandler.buildDepError "distributed-process")) + (hsPkgs."distributed-process-extras" or (errorHandler.buildDepError "distributed-process-extras")) + (hsPkgs."distributed-process-systest" or (errorHandler.buildDepError "distributed-process-systest")) + (hsPkgs."network-transport" or (errorHandler.buildDepError "network-transport")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."network-transport-tcp" or (errorHandler.buildDepError "network-transport-tcp")) + (hsPkgs."binary" or (errorHandler.buildDepError "binary")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."network" or (errorHandler.buildDepError "network")) + (hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) + (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."rematch" or (errorHandler.buildDepError "rematch")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + ]; + buildable = true; + }; + "TimerTests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."ansi-terminal" or (errorHandler.buildDepError "ansi-terminal")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."distributed-process" or (errorHandler.buildDepError "distributed-process")) + (hsPkgs."distributed-process-extras" or (errorHandler.buildDepError "distributed-process-extras")) + (hsPkgs."distributed-process-systest" or (errorHandler.buildDepError "distributed-process-systest")) + (hsPkgs."network-transport" or (errorHandler.buildDepError "network-transport")) + (hsPkgs."network-transport-tcp" or (errorHandler.buildDepError "network-transport-tcp")) + (hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) + (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework")) + (hsPkgs."test-framework-hunit" or (errorHandler.buildDepError "test-framework-hunit")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2")) + (hsPkgs."rematch" or (errorHandler.buildDepError "rematch")) + (hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim")) + ]; + buildable = true; + }; + "LoggerTests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."ansi-terminal" or (errorHandler.buildDepError "ansi-terminal")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + (hsPkgs."distributed-process" or (errorHandler.buildDepError "distributed-process")) + (hsPkgs."distributed-process-extras" or (errorHandler.buildDepError "distributed-process-extras")) + (hsPkgs."distributed-process-systest" or (errorHandler.buildDepError "distributed-process-systest")) + (hsPkgs."distributed-static" or (errorHandler.buildDepError "distributed-static")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."data-accessor" or (errorHandler.buildDepError "data-accessor")) + (hsPkgs."fingertree" or (errorHandler.buildDepError "fingertree")) + (hsPkgs."network-transport" or (errorHandler.buildDepError "network-transport")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."network-transport-tcp" or (errorHandler.buildDepError "network-transport-tcp")) + (hsPkgs."binary" or (errorHandler.buildDepError "binary")) + (hsPkgs."network" or (errorHandler.buildDepError "network")) + (hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework")) + (hsPkgs."test-framework-hunit" or (errorHandler.buildDepError "test-framework-hunit")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."rematch" or (errorHandler.buildDepError "rematch")) + (hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/distributed-process-supervisor-0.2.2-r1-7a704ef0a3b45efbe817ee8e6485cc272e0c8ac575b4fd813f26bb40bd292e6b.nix b/hackage/distributed-process-supervisor-0.2.2-r1-7a704ef0a3b45efbe817ee8e6485cc272e0c8ac575b4fd813f26bb40bd292e6b.nix new file mode 100644 index 00000000000..97e5d671c47 --- /dev/null +++ b/hackage/distributed-process-supervisor-0.2.2-r1-7a704ef0a3b45efbe817ee8e6485cc272e0c8ac575b4fd813f26bb40bd292e6b.nix @@ -0,0 +1,125 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "3.0"; + identifier = { + name = "distributed-process-supervisor"; + version = "0.2.2"; + }; + license = "BSD-3-Clause"; + copyright = "Tim Watson 2012 - 2013"; + maintainer = "The Distributed Haskell team"; + author = "Tim Watson"; + homepage = "http://github.com/haskell-distributed/distributed-process"; + url = ""; + synopsis = "Supervisors for The Cloud Haskell Application Platform"; + description = "A part of the Cloud Haskell framework\n\nThis package implements a process which supervises a set of other processes, referred to as its children.\nThese child processes can be either workers (i.e., processes that do something useful in your application)\nor other supervisors. In this way, supervisors may be used to build a hierarchical process structure\ncalled a supervision tree, which provides a convenient structure for building fault tolerant software.\n\nFor detailed information see \"Control.Distributed.Process.Supervisor\""; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."data-accessor" or (errorHandler.buildDepError "data-accessor")) + (hsPkgs."distributed-static" or (errorHandler.buildDepError "distributed-static")) + (hsPkgs."distributed-process" or (errorHandler.buildDepError "distributed-process")) + (hsPkgs."distributed-process-extras" or (errorHandler.buildDepError "distributed-process-extras")) + (hsPkgs."distributed-process-client-server" or (errorHandler.buildDepError "distributed-process-client-server")) + (hsPkgs."binary" or (errorHandler.buildDepError "binary")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + (hsPkgs."fingertree" or (errorHandler.buildDepError "fingertree")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) + ]; + buildable = true; + }; + tests = { + "SupervisorTests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."ansi-terminal" or (errorHandler.buildDepError "ansi-terminal")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."distributed-static" or (errorHandler.buildDepError "distributed-static")) + (hsPkgs."distributed-process" or (errorHandler.buildDepError "distributed-process")) + (hsPkgs."distributed-process-supervisor" or (errorHandler.buildDepError "distributed-process-supervisor")) + (hsPkgs."distributed-process-extras" or (errorHandler.buildDepError "distributed-process-extras")) + (hsPkgs."distributed-process-client-server" or (errorHandler.buildDepError "distributed-process-client-server")) + (hsPkgs."distributed-static" or (errorHandler.buildDepError "distributed-static")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."random" or (errorHandler.buildDepError "random")) + (hsPkgs."data-accessor" or (errorHandler.buildDepError "data-accessor")) + (hsPkgs."fingertree" or (errorHandler.buildDepError "fingertree")) + (hsPkgs."network-transport" or (errorHandler.buildDepError "network-transport")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."network-transport-tcp" or (errorHandler.buildDepError "network-transport-tcp")) + (hsPkgs."binary" or (errorHandler.buildDepError "binary")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."network" or (errorHandler.buildDepError "network")) + (hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework")) + (hsPkgs."test-framework-hunit" or (errorHandler.buildDepError "test-framework-hunit")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."rematch" or (errorHandler.buildDepError "rematch")) + (hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim")) + (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) + ]; + buildable = true; + }; + "NonThreadedSupervisorTests" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."ansi-terminal" or (errorHandler.buildDepError "ansi-terminal")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."distributed-static" or (errorHandler.buildDepError "distributed-static")) + (hsPkgs."distributed-process" or (errorHandler.buildDepError "distributed-process")) + (hsPkgs."distributed-process-supervisor" or (errorHandler.buildDepError "distributed-process-supervisor")) + (hsPkgs."distributed-process-extras" or (errorHandler.buildDepError "distributed-process-extras")) + (hsPkgs."distributed-process-client-server" or (errorHandler.buildDepError "distributed-process-client-server")) + (hsPkgs."distributed-static" or (errorHandler.buildDepError "distributed-static")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."random" or (errorHandler.buildDepError "random")) + (hsPkgs."data-accessor" or (errorHandler.buildDepError "data-accessor")) + (hsPkgs."fingertree" or (errorHandler.buildDepError "fingertree")) + (hsPkgs."network-transport" or (errorHandler.buildDepError "network-transport")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."network-transport-tcp" or (errorHandler.buildDepError "network-transport-tcp")) + (hsPkgs."binary" or (errorHandler.buildDepError "binary")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."network" or (errorHandler.buildDepError "network")) + (hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) + (hsPkgs."stm" or (errorHandler.buildDepError "stm")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework")) + (hsPkgs."test-framework-hunit" or (errorHandler.buildDepError "test-framework-hunit")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."rematch" or (errorHandler.buildDepError "rematch")) + (hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim")) + (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/distributed-static-0.3.11-r1-a38f56c6128d10f1c1aeb498d5a5891cd75d7a3eeb5b5f7bb8e866a46906d8c5.nix b/hackage/distributed-static-0.3.11-r1-a38f56c6128d10f1c1aeb498d5a5891cd75d7a3eeb5b5f7bb8e866a46906d8c5.nix new file mode 100644 index 00000000000..d662e36438b --- /dev/null +++ b/hackage/distributed-static-0.3.11-r1-a38f56c6128d10f1c1aeb498d5a5891cd75d7a3eeb5b5f7bb8e866a46906d8c5.nix @@ -0,0 +1,38 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "3.0"; + identifier = { name = "distributed-static"; version = "0.3.11"; }; + license = "BSD-3-Clause"; + copyright = "Well-Typed LLP"; + maintainer = "The Distributed Haskell team"; + author = "Edsko de Vries"; + homepage = "http://haskell-distributed.github.com"; + url = ""; + synopsis = "Compositional, type-safe, polymorphic static values and closures"; + description = "/Towards Haskell in the Cloud/ (Epstein et al, Haskell\nSymposium 2011) introduces the concept of /static/ values:\nvalues that are known at compile time. In a distributed\nsetting where all nodes are running the same executable,\nstatic values can be serialized simply by transmitting a\ncode pointer to the value. This however requires special\ncompiler support, which is not yet available in ghc. We\ncan mimick the behaviour by keeping an explicit mapping\n('RemoteTable') from labels to values (and making sure\nthat all distributed nodes are using the same\n'RemoteTable'). In this module we implement this mimickry\nand various extensions: type safety (including for\npolymorphic static values) and compositionality."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."rank1dynamic" or (errorHandler.buildDepError "rank1dynamic")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."binary" or (errorHandler.buildDepError "binary")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/doctest-0.22.10-r0-8eba1e82737efd7598bf7f6cc47f5e0fe9b1217fd0afeeff31fc18430c449f28.nix b/hackage/doctest-0.22.10-r0-8eba1e82737efd7598bf7f6cc47f5e0fe9b1217fd0afeeff31fc18430c449f28.nix new file mode 100644 index 00000000000..1f40e925344 --- /dev/null +++ b/hackage/doctest-0.22.10-r0-8eba1e82737efd7598bf7f6cc47f5e0fe9b1217fd0afeeff31fc18430c449f28.nix @@ -0,0 +1,91 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = { cabal-doctest = false; }; + package = { + specVersion = "1.12"; + identifier = { name = "doctest"; version = "0.22.10"; }; + license = "MIT"; + copyright = "(c) 2009-2024 Simon Hengel"; + maintainer = "Simon Hengel "; + author = "Simon Hengel "; + homepage = "https://github.com/sol/doctest#readme"; + url = ""; + synopsis = "Test interactive Haskell examples"; + description = "`doctest` is a tool that checks [examples](https://www.haskell.org/haddock/doc/html/ch03s08.html#idm140354810775744)\nand [properties](https://www.haskell.org/haddock/doc/html/ch03s08.html#idm140354810771856)\nin Haddock comments.\nIt is similar in spirit to the [popular Python module with the same name](https://docs.python.org/3/library/doctest.html).\n\nDocumentation is at ."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."code-page" or (errorHandler.buildDepError "code-page")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."ghc" or (errorHandler.buildDepError "ghc")) + (hsPkgs."ghc-paths" or (errorHandler.buildDepError "ghc-paths")) + (hsPkgs."process" or (errorHandler.buildDepError "process")) + (hsPkgs."syb" or (errorHandler.buildDepError "syb")) + (hsPkgs."temporary" or (errorHandler.buildDepError "temporary")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + ]; + buildable = true; + }; + exes = { + "cabal-doctest" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."doctest" or (errorHandler.buildDepError "doctest")) + ]; + buildable = if flags.cabal-doctest then true else false; + }; + "doctest" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."doctest" or (errorHandler.buildDepError "doctest")) + ]; + buildable = true; + }; + }; + tests = { + "spec" = { + depends = [ + (hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."code-page" or (errorHandler.buildDepError "code-page")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."ghc" or (errorHandler.buildDepError "ghc")) + (hsPkgs."ghc-paths" or (errorHandler.buildDepError "ghc-paths")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."hspec-core" or (errorHandler.buildDepError "hspec-core")) + (hsPkgs."mockery" or (errorHandler.buildDepError "mockery")) + (hsPkgs."process" or (errorHandler.buildDepError "process")) + (hsPkgs."silently" or (errorHandler.buildDepError "silently")) + (hsPkgs."stringbuilder" or (errorHandler.buildDepError "stringbuilder")) + (hsPkgs."syb" or (errorHandler.buildDepError "syb")) + (hsPkgs."temporary" or (errorHandler.buildDepError "temporary")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + ]; + build-tools = [ + (hsPkgs.pkgsBuildBuild.hspec-discover.components.exes.hspec-discover or (pkgs.pkgsBuildBuild.hspec-discover or (errorHandler.buildToolDepError "hspec-discover:hspec-discover"))) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/fast-myers-diff-0.0.1-r0-57d0acec63a45013120da6089ed0482e3e42a259b0a4ce8daadfc933abf47bdb.nix b/hackage/fast-myers-diff-0.0.1-r0-57d0acec63a45013120da6089ed0482e3e42a259b0a4ce8daadfc933abf47bdb.nix new file mode 100644 index 00000000000..e09ede2e4ea --- /dev/null +++ b/hackage/fast-myers-diff-0.0.1-r0-57d0acec63a45013120da6089ed0482e3e42a259b0a4ce8daadfc933abf47bdb.nix @@ -0,0 +1,49 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "1.12"; + identifier = { name = "fast-myers-diff"; version = "0.0.1"; }; + license = "MIT"; + copyright = "Copyright (c) 2023 Tom Sydney Kerckhove"; + maintainer = "syd@cs-syd.eu"; + author = "Tom Sydney Kerckhove"; + homepage = "https://github.com/NorfairKing/fast-myers-diff#readme"; + url = ""; + synopsis = "A fast implementation of the Myers diff algorithm."; + description = "A fast implementation of the diffing algorithm described in 'An O(ND) Difference Algorithm and Its Variations' by Eugene W. Myers."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."dlist" or (errorHandler.buildDepError "dlist")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + ]; + buildable = true; + }; + tests = { + "fast-myers-diff-test" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."fast-myers-diff" or (errorHandler.buildDepError "fast-myers-diff")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/fedora-repoquery-0.7.1-r0-48a47de095aa2cca6905ecf667f05bba3122307d7ccd504779412a958b772cb6.nix b/hackage/fedora-repoquery-0.7.1-r0-48a47de095aa2cca6905ecf667f05bba3122307d7ccd504779412a958b772cb6.nix new file mode 100644 index 00000000000..b6da13a56a5 --- /dev/null +++ b/hackage/fedora-repoquery-0.7.1-r0-48a47de095aa2cca6905ecf667f05bba3122307d7ccd504779412a958b772cb6.nix @@ -0,0 +1,62 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.0"; + identifier = { name = "fedora-repoquery"; version = "0.7.1"; }; + license = "GPL-3.0-only"; + copyright = "2021-2024 Jens Petersen "; + maintainer = "Jens Petersen "; + author = "Jens Petersen "; + homepage = "https://github.com/juhp/fedora-repoquery"; + url = ""; + synopsis = "Fedora release repos package query tool"; + description = "A CLI tool for repoquerying Fedora and Centos Stream release packages:\nby default it displays their version and repo location\nand optionally the repo compose timestamps"; + buildType = "Simple"; + }; + components = { + exes = { + "fedora-repoquery" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bodhi" or (errorHandler.buildDepError "bodhi")) + (hsPkgs."cached-json-file" or (errorHandler.buildDepError "cached-json-file")) + (hsPkgs."case-insensitive" or (errorHandler.buildDepError "case-insensitive")) + (hsPkgs."curl" or (errorHandler.buildDepError "curl")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + (hsPkgs."extra" or (errorHandler.buildDepError "extra")) + (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) + (hsPkgs."Glob" or (errorHandler.buildDepError "Glob")) + (hsPkgs."regex-compat" or (errorHandler.buildDepError "regex-compat")) + (hsPkgs."safe" or (errorHandler.buildDepError "safe")) + (hsPkgs."simple-cmd" or (errorHandler.buildDepError "simple-cmd")) + (hsPkgs."simple-cmd-args" or (errorHandler.buildDepError "simple-cmd-args")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."time" or (errorHandler.buildDepError "time")) + (hsPkgs."xdg-basedir" or (errorHandler.buildDepError "xdg-basedir")) + ]; + buildable = true; + }; + }; + tests = { + "test" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."simple-cmd" or (errorHandler.buildDepError "simple-cmd")) + ]; + build-tools = [ + (hsPkgs.pkgsBuildBuild.fedora-repoquery.components.exes.fedora-repoquery or (pkgs.pkgsBuildBuild.fedora-repoquery or (errorHandler.buildToolDepError "fedora-repoquery:fedora-repoquery"))) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/hasmtlib-2.6.3-r0-3c03c730f63dc3c0e498d8da10946012871c90980bcba2f3fa0e07a91c9a18ff.nix b/hackage/hasmtlib-2.6.3-r0-3c03c730f63dc3c0e498d8da10946012871c90980bcba2f3fa0e07a91c9a18ff.nix new file mode 100644 index 00000000000..ee8ecdfe850 --- /dev/null +++ b/hackage/hasmtlib-2.6.3-r0-3c03c730f63dc3c0e498d8da10946012871c90980bcba2f3fa0e07a91c9a18ff.nix @@ -0,0 +1,50 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "3.0"; + identifier = { name = "hasmtlib"; version = "2.6.3"; }; + license = "GPL-3.0-only"; + copyright = "© 2024 Julian Bruder"; + maintainer = "julian.bruder@outlook.com"; + author = "Julian Bruder"; + homepage = "https://github.com/bruderj15/Hasmtlib"; + url = ""; + synopsis = "A monad for interfacing with external SMT solvers"; + description = "Hasmtlib is a library for generating SMTLib2-problems using a monad.\nIt takes care of encoding your problem, marshaling the data to an external solver and parsing and interpreting the result into Haskell types.\nIt is highly inspired by ekmett/ersatz which does the same for QSAT.\nCommunication with external solvers is handled by tweag/smtlib-backends."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."array" or (errorHandler.buildDepError "array")) + (hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec")) + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + (hsPkgs."dependent-map" or (errorHandler.buildDepError "dependent-map")) + (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."data-default" or (errorHandler.buildDepError "data-default")) + (hsPkgs."lens" or (errorHandler.buildDepError "lens")) + (hsPkgs."smtlib-backends" or (errorHandler.buildDepError "smtlib-backends")) + (hsPkgs."smtlib-backends-process" or (errorHandler.buildDepError "smtlib-backends-process")) + (hsPkgs."some" or (errorHandler.buildDepError "some")) + (hsPkgs."utf8-string" or (errorHandler.buildDepError "utf8-string")) + (hsPkgs."bitvec" or (errorHandler.buildDepError "bitvec")) + (hsPkgs."finite-typelits" or (errorHandler.buildDepError "finite-typelits")) + (hsPkgs."vector-sized" or (errorHandler.buildDepError "vector-sized")) + ]; + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/hexpat-0.20.13-r3-6c2e5c5b4a8c4f1cd4c441730c158c0725ef9265a4b7b3456c081076c9eeadf8.nix b/hackage/hexpat-0.20.13-r3-6c2e5c5b4a8c4f1cd4c441730c158c0725ef9265a4b7b3456c081076c9eeadf8.nix new file mode 100644 index 00000000000..a37eaee6be2 --- /dev/null +++ b/hackage/hexpat-0.20.13-r3-6c2e5c5b4a8c4f1cd4c441730c158c0725ef9265a4b7b3456c081076c9eeadf8.nix @@ -0,0 +1,41 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = { bundle = false; }; + package = { + specVersion = "1.8"; + identifier = { name = "hexpat"; version = "0.20.13"; }; + license = "BSD-3-Clause"; + copyright = "(c) 2009 Doug Beardsley ,\n(c) 2009-2012 Stephen Blackheath ,\n(c) 2009 Gregory Collins,\n(c) 2008 Evan Martin ,\n(c) 2009 Matthew Pocock ,\n(c) 2007-2009 Galois Inc.,\n(c) 2010 Kevin Jardine,\n(c) 2012 Simon Hengel"; + maintainer = "Stephen Blackheath "; + author = "Stephen Blackheath [blackh] (the primary author),\nDoug Beardsley,\nGregory Collins,\nEvan Martin (who started the project),\nMatthew Pocock [drdozer],\nKevin Jardine,\nJacob Stanley,\nSimon Hengel"; + homepage = "http://haskell.org/haskellwiki/Hexpat/"; + url = ""; + synopsis = "XML parser/formatter based on expat"; + description = "This package provides a general purpose Haskell XML library using Expat to\ndo its parsing ( - a fast stream-oriented XML\nparser written in C). It is extensible to any string type, with @String@,\n@ByteString@ and @Text@ provided out of the box.\n\nBasic usage: Parsing a tree (/Tree/), formatting a tree (/Format/).\nOther features: Helpers for processing XML trees (/Proc/), trees annotated with\nXML source location (/Annotated/), extended XML trees with comments,\nprocessing instructions, etc (/Extended/), XML cursors (/Cursor/),\nSAX-style parse (/SAX/), and access to the low-level interface in case speed\nis paramount (/Internal.IO/).\n\nThe design goals are speed, speed, speed, interface simplicity and modularity.\n\nFor introduction and examples, see the /Text.XML.Expat.Tree/ module. For benchmarks,\n\n\nIf you want to do interactive I\\/O, an obvious option is to use lazy parsing\nwith one of the lazy I\\/O functions such as hGetContents. However, this can be\nproblematic in some applications because it doesn't handle I\\/O errors properly\nand can give no guarantee of timely resource cleanup. Because of the generalized\nlist, Hexpat is designed to allow for chunked I/O, but as of this writing I haven't\ndone a nice integration with enumerator and friends.\n\n/IO/ is filed under /Internal/ because it's low-level and most users won't want\nit. The other /Internal/ modules are re-exported by /Annotated/, /Tree/ and /Extended/,\nso you won't need to import them directly.\n\nIf you have trouble building on Windows, you can try the bundle flag. This will\nmake it build from the source of libexpat bundled inside the hexpat package:\ncabal install -f bundle hexpat\n\nCredits to Iavor Diatchki and the @xml@ (XML.Light) package for /Proc/ and /Cursor/.\nThanks to the many contributors.\n\nChangeLog: 0.15 changes intended to fix a (rare) \\\"error: a C finalizer called back into Haskell.\\\"\nthat seemed only to happen only on ghc6.12.X; 0.15.1 Fix broken Annotated parse;\n0.16 switch from mtl to transformers; 0.17 fix mapNodeContainer & rename some things.;\n0.18 rename defaultEncoding to overrideEncoding. 0.18.3 formatG and indent were demanding list\nitems more than once (inefficient in chunked processing); 0.19 add Extended.hs;\n0.19.1 fix a memory leak introduced in 0.19, delegate parsing to bound thread\nif unbound (see note above); 0.19.2 include expat source code so \\'cabal install\\' just works\non Linux, Mac and Windows (thanks Jacob Stanley); 0.19.3 fix misconfiguration of expat\nwhich broke entity parsing; 0.19.4 bump version constraint for text; 0.19.5 bump text\nto < 0.12 and fix text-0.10.0.1 breakage; 0.19.6 dependency breakage with List;\n0.19.7 ghc-7.2.1 compatibility; 0.19.8 fix space leak on lazy parse under ghc-7.2.1;\n0.19.9 fix formatting of > character + improve performance; 0.19.10 ghc-7.4.x compatibility;\n0.20.1 fix an unfortunate crash when used in parallel processing and greatly improve\nperformance; 0.20.2 make parseSaxG lazier; 0.20.3 minor build issues; 0.20.4 remove\ndependency on extensible-exceptions; 0.20.5 bump text upper bound; 0.20.6 bump text again\nto include 1.1.x.x; 0.20.7 bump text again for 1.2.x.x; 0.20.8 bump utf8-string dep;\n0.20.9 bump deepseq dep/ghc-7.10 compatibility.; 0.20.10 increase dependency upper bounds;\n0.20.11 update to libexpat-2.2.1 which includes several security fixes;\n0.20.12 use the system libexpat by default, but provide a bundle flag to allow a bundled\ncopy of expat to be used, which might make life easier on Windows: cabal install -f bundle\nhexpat; 0.20.13 Fix some mistakes made in 0.20.12 cabal file."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."utf8-string" or (errorHandler.buildDepError "utf8-string")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."List" or (errorHandler.buildDepError "List")) + ]; + libs = pkgs.lib.optional (!flags.bundle) (pkgs."expat" or (errorHandler.sysDepError "expat")); + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/isomorphism-class-0.1.1-r0-09b7bf508f4bbd44a93ec1121a67eede9a623b0a14c95270eec5da280888f3f0.nix b/hackage/isomorphism-class-0.1.1-r0-09b7bf508f4bbd44a93ec1121a67eede9a623b0a14c95270eec5da280888f3f0.nix new file mode 100644 index 00000000000..9b64c31b47a --- /dev/null +++ b/hackage/isomorphism-class-0.1.1-r0-09b7bf508f4bbd44a93ec1121a67eede9a623b0a14c95270eec5da280888f3f0.nix @@ -0,0 +1,57 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "3.0"; + identifier = { name = "isomorphism-class"; version = "0.1.1"; }; + license = "MIT"; + copyright = "(c) 2022 Nikita Volkov"; + maintainer = "Nikita Volkov "; + author = "Nikita Volkov "; + homepage = "https://github.com/nikita-volkov/isomorphism-class"; + url = ""; + synopsis = "Isomorphism typeclass solving the conversion problem"; + description = "Lawful typeclass for lossless conversion between types."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."primitive" or (errorHandler.buildDepError "primitive")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + ]; + buildable = true; + }; + tests = { + "test" = { + depends = [ + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."isomorphism-class" or (errorHandler.buildDepError "isomorphism-class")) + (hsPkgs."primitive" or (errorHandler.buildDepError "primitive")) + (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) + (hsPkgs."quickcheck-instances" or (errorHandler.buildDepError "quickcheck-instances")) + (hsPkgs."rebase" or (errorHandler.buildDepError "rebase")) + (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) + (hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/javelin-0.1.2.0-r2-0002c9737dcfe1a3f9ede515f49e4e604519584a4ad3d195bc75affa96ff5185.nix b/hackage/javelin-0.1.2.0-r2-0002c9737dcfe1a3f9ede515f49e4e604519584a4ad3d195bc75affa96ff5185.nix new file mode 100644 index 00000000000..b21de918dff --- /dev/null +++ b/hackage/javelin-0.1.2.0-r2-0002c9737dcfe1a3f9ede515f49e4e604519584a4ad3d195bc75affa96ff5185.nix @@ -0,0 +1,94 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "3.0"; + identifier = { name = "javelin"; version = "0.1.2.0"; }; + license = "MIT"; + copyright = ""; + maintainer = "laurent.decotret@outlook.com"; + author = "Laurent P. René de Cotret"; + homepage = ""; + url = ""; + synopsis = "Labeled one-dimensional arrays"; + description = "This package implements 'Series', labeled one-dimensional arrays\ncombining properties from maps and arrays.\n\nTo get started, the important modules are:\n\n[\"Data.Series\"] Boxed series of arbitrary types.\n\n[\"Data.Series.Unboxed\"] Series of unboxed data types for better performance, at the cost of flexibility.\n\n[\"Data.Series.Generic\"] Generic interface to manipulate any type of 'Series'.\n\n[\"Data.Series.Index\"] Index containing series keys.\n\nTo get started, please take a look at the tutorial (\"Data.Series.Tutorial\")."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."foldl" or (errorHandler.buildDepError "foldl")) + (hsPkgs."indexed-traversable" or (errorHandler.buildDepError "indexed-traversable")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + (hsPkgs."vector-algorithms" or (errorHandler.buildDepError "vector-algorithms")) + ]; + buildable = true; + }; + exes = { + "bench-report" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."csv" or (errorHandler.buildDepError "csv")) + ]; + buildable = true; + }; + }; + tests = { + "javelin-test" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."foldl" or (errorHandler.buildDepError "foldl")) + (hsPkgs."hedgehog" or (errorHandler.buildDepError "hedgehog")) + (hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) + (hsPkgs."javelin" or (errorHandler.buildDepError "javelin")) + (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) + (hsPkgs."tasty-hedgehog" or (errorHandler.buildDepError "tasty-hedgehog")) + (hsPkgs."tasty-hspec" or (errorHandler.buildDepError "tasty-hspec")) + (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + ]; + buildable = true; + }; + }; + benchmarks = { + "comparison-containers" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."foldl" or (errorHandler.buildDepError "foldl")) + (hsPkgs."mono-traversable" or (errorHandler.buildDepError "mono-traversable")) + (hsPkgs."javelin" or (errorHandler.buildDepError "javelin")) + (hsPkgs."vector" or (errorHandler.buildDepError "vector")) + (hsPkgs."criterion" or (errorHandler.buildDepError "criterion")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."random" or (errorHandler.buildDepError "random")) + (hsPkgs."directory" or (errorHandler.buildDepError "directory")) + ]; + buildable = true; + }; + "operations" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."foldl" or (errorHandler.buildDepError "foldl")) + (hsPkgs."javelin" or (errorHandler.buildDepError "javelin")) + (hsPkgs."criterion" or (errorHandler.buildDepError "criterion")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/network-transport-0.5.8-r1-e252ea6273d5bc0afefb9b8b98e4d065f432c922f6664c753ebdb17e7297c759.nix b/hackage/network-transport-0.5.8-r1-e252ea6273d5bc0afefb9b8b98e4d065f432c922f6664c753ebdb17e7297c759.nix new file mode 100644 index 00000000000..b4e8b4eb839 --- /dev/null +++ b/hackage/network-transport-0.5.8-r1-e252ea6273d5bc0afefb9b8b98e4d065f432c922f6664c753ebdb17e7297c759.nix @@ -0,0 +1,39 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "3.0"; + identifier = { name = "network-transport"; version = "0.5.8"; }; + license = "BSD-3-Clause"; + copyright = "Well-Typed LLP"; + maintainer = "The Distributed Haskell team"; + author = "Duncan Coutts, Nicolas Wu, Edsko de Vries"; + homepage = "https://haskell-distributed.github.io"; + url = ""; + synopsis = "Network abstraction layer"; + description = "\"Network.Transport\" is a Network Abstraction Layer which provides\nthe following high-level concepts:\n.\n * Nodes in the network are represented by 'EndPoint's. These are\n heavyweight stateful objects.\n.\n * Each 'EndPoint' has an 'EndPointAddress'.\n.\n * Connections can be established from one 'EndPoint' to another\n using the 'EndPointAddress' of the remote end.\n.\n * The 'EndPointAddress' can be serialised and sent over the\n network, whereas 'EndPoint's and connections cannot.\n.\n * Connections between 'EndPoint's are unidirectional and lightweight.\n.\n * Outgoing messages are sent via a 'Connection' object that\n represents the sending end of the connection.\n.\n * Incoming messages for /all/ of the incoming connections on\n an 'EndPoint' are collected via a shared receive queue.\n.\n * In addition to incoming messages, 'EndPoint's are notified of\n other 'Event's such as new connections or broken connections.\n.\nThis design was heavily influenced by the design of the Common\nCommunication Interface\n().\nImportant design goals are:\n.\n* Connections should be lightweight: it should be no problem to\n create thousands of connections between endpoints.\n.\n* Error handling is explicit: every function declares as part of\n its type which errors it can return (no exceptions are thrown)\n.\n* Error handling is \"abstract\": errors that originate from\n implementation specific problems (such as \"no more sockets\" in\n the TCP implementation) get mapped to generic errors\n (\"insufficient resources\") at the Transport level.\n.\nThis package provides the generic interface only; you will\nprobably also want to install at least one transport\nimplementation (network-transport-*)."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."binary" or (errorHandler.buildDepError "binary")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) + (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + ]; + libs = pkgs.lib.optional (system.isWindows) (pkgs."ws2_32" or (errorHandler.sysDepError "ws2_32")); + buildable = true; + }; + }; + } \ No newline at end of file diff --git a/hackage/r-tree-1.0.0.0-r0-5e0129ce5d5b5f50726f24ee6279a6ae79c84d9ee810a132b7d85bbee8b22977.nix b/hackage/r-tree-1.0.0.0-r0-5e0129ce5d5b5f50726f24ee6279a6ae79c84d9ee810a132b7d85bbee8b22977.nix new file mode 100644 index 00000000000..65e56543987 --- /dev/null +++ b/hackage/r-tree-1.0.0.0-r0-5e0129ce5d5b5f50726f24ee6279a6ae79c84d9ee810a132b7d85bbee8b22977.nix @@ -0,0 +1,67 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.2"; + identifier = { name = "r-tree"; version = "1.0.0.0"; }; + license = "MIT"; + copyright = "Sebastian Wagner, Birte Wagner, Oleksii Divak"; + maintainer = "Oleksii Divak "; + author = "Sebastian Wagner, Birte Wagner, Oleksii Divak"; + homepage = "https://github.com/sebastian-philipp/r-tree"; + url = ""; + synopsis = "R-/R*-trees."; + description = "R-trees and R*-trees.\nSee the \nfor a brief overview of the data structures included in this package."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + ]; + buildable = true; + }; + tests = { + "properties" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."r-tree" or (errorHandler.buildDepError "r-tree")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."random" or (errorHandler.buildDepError "random")) + ]; + buildable = true; + }; + }; + benchmarks = { + "time" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."r-tree" or (errorHandler.buildDepError "r-tree")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."tasty-bench" or (errorHandler.buildDepError "tasty-bench")) + (hsPkgs."random" or (errorHandler.buildDepError "random")) + ]; + buildable = true; + }; + "space" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."r-tree" or (errorHandler.buildDepError "r-tree")) + (hsPkgs."random" or (errorHandler.buildDepError "random")) + (hsPkgs."weigh" or (errorHandler.buildDepError "weigh")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/hackage/radix-tree-1.0.0.2-r0-ca22c15c08a790b8551039bdd9068df26f0f51752437ccf1a01aa2c00ccc033e.nix b/hackage/radix-tree-1.0.0.2-r0-ca22c15c08a790b8551039bdd9068df26f0f51752437ccf1a01aa2c00ccc033e.nix new file mode 100644 index 00000000000..ff35ce21516 --- /dev/null +++ b/hackage/radix-tree-1.0.0.2-r0-ca22c15c08a790b8551039bdd9068df26f0f51752437ccf1a01aa2c00ccc033e.nix @@ -0,0 +1,53 @@ +{ system + , compiler + , flags + , pkgs + , hsPkgs + , pkgconfPkgs + , errorHandler + , config + , ... }: + { + flags = {}; + package = { + specVersion = "2.0"; + identifier = { name = "radix-tree"; version = "1.0.0.2"; }; + license = "BSD-3-Clause"; + copyright = "(c) 2018 Sergey Vinokurov"; + maintainer = "Oleksii Divak "; + author = "Sergey Vinokurov, Oleksii Divak"; + homepage = "https://github.com/sergv/radix-tree"; + url = ""; + synopsis = "Radix trees"; + description = "Radix and PATRICIA trees, both spine-strict and spine-lazy.\nSee the \nfor a brief overview of the data structures included in this package."; + buildType = "Simple"; + }; + components = { + "library" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) + (hsPkgs."primitive" or (errorHandler.buildDepError "primitive")) + (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + ]; + buildable = true; + }; + tests = { + "properties" = { + depends = [ + (hsPkgs."base" or (errorHandler.buildDepError "base")) + (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) + (hsPkgs."containers" or (errorHandler.buildDepError "containers")) + (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) + (hsPkgs."primitive" or (errorHandler.buildDepError "primitive")) + (hsPkgs."radix-tree" or (errorHandler.buildDepError "radix-tree")) + (hsPkgs."random" or (errorHandler.buildDepError "random")) + (hsPkgs."text" or (errorHandler.buildDepError "text")) + ]; + buildable = true; + }; + }; + }; + } \ No newline at end of file diff --git a/index-state-hashes.nix b/index-state-hashes.nix index 59ae21cb320..f76bd007bcd 100644 --- a/index-state-hashes.nix +++ b/index-state-hashes.nix @@ -1987,4 +1987,5 @@ "2024-09-06T00:00:00Z" = "4d5de48352f9a145c2dfb45d2ea9d0503c4ec2828da8102e7e5ea131ea440e92"; "2024-09-07T00:00:00Z" = "0b8fea4a717b7df9b892560a02e8d5f02ed8d22c9668747b2a5921a76810b851"; "2024-09-08T00:00:00Z" = "cc3cf35e9033b62c7624d6ec1af2e6c0f22294b49febe13a79c9c5a9e7c6fa76"; + "2024-09-09T00:00:00Z" = "d9954f3c4dda42a221c216e580042032df794172f101d2c9c289a706da714614"; } diff --git a/nix/array.nix b/nix/array.nix index b1f47a78390..7c3178b9e5a 100644 --- a/nix/array.nix +++ b/nix/array.nix @@ -256,4 +256,20 @@ default = "r0"; }; }; + "0.5.8.0" = { + sha256 = "3a022dd6ac608d678f404db0b44fc9849c67dea19702eb3b82f358744f65e66b"; + revisions = { + r0 = { + nix = import ../hackage/array-0.5.8.0-r0-173e6b024509aadce9c70dc9b05b62035a436e982a48442229821b78678b4d6e.nix; + revNum = 0; + sha256 = "173e6b024509aadce9c70dc9b05b62035a436e982a48442229821b78678b4d6e"; + }; + r1 = { + nix = import ../hackage/array-0.5.8.0-r1-16f95533d2b46c45ad43e935c5ec04564717015ce9fe42151b3f523e5c5f1449.nix; + revNum = 1; + sha256 = "16f95533d2b46c45ad43e935c5ec04564717015ce9fe42151b3f523e5c5f1449"; + }; + default = "r1"; + }; + }; } \ No newline at end of file diff --git a/nix/beam-migrate.nix b/nix/beam-migrate.nix index 4469c7851f2..8ee443569f4 100644 --- a/nix/beam-migrate.nix +++ b/nix/beam-migrate.nix @@ -170,7 +170,12 @@ revNum = 1; sha256 = "02c18ba1de0f402a029df59d812268de2864b7d311ed1cd76008f041e9ba8031"; }; - default = "r1"; + r2 = { + nix = import ../hackage/beam-migrate-0.5.2.1-r2-8418cc3dfbb8ebd63fc7d490167206bce2c1784e4617be4fa9d60ddbe3b7081d.nix; + revNum = 2; + sha256 = "8418cc3dfbb8ebd63fc7d490167206bce2c1784e4617be4fa9d60ddbe3b7081d"; + }; + default = "r2"; }; }; } \ No newline at end of file diff --git a/nix/bloodhound.nix b/nix/bloodhound.nix index 9717dd01c23..dd44e2b86ac 100644 --- a/nix/bloodhound.nix +++ b/nix/bloodhound.nix @@ -317,6 +317,17 @@ default = "r0"; }; }; + "0.23.0.0" = { + sha256 = "054d67cbb33d9135acbf69e63a530537ba68c8d2918078c7d306f526a5947b65"; + revisions = { + r0 = { + nix = import ../hackage/bloodhound-0.23.0.0-r0-384e4ddfb28bd2650096e91b169ff562d2ab1f21bd9aecfcf08f67a96c69ab70.nix; + revNum = 0; + sha256 = "384e4ddfb28bd2650096e91b169ff562d2ab1f21bd9aecfcf08f67a96c69ab70"; + }; + default = "r0"; + }; + }; "0.3.0.0" = { sha256 = "706276def033062ae86cf6b66ab9104f12311464af2384051477a88fa2c833ed"; revisions = { diff --git a/nix/copilot-c99.nix b/nix/copilot-c99.nix index 91b612c439a..6490e4eefd3 100644 --- a/nix/copilot-c99.nix +++ b/nix/copilot-c99.nix @@ -439,4 +439,15 @@ default = "r0"; }; }; + "4.0" = { + sha256 = "6be83a84c4970b2b2d253a837b84f90f4ae774976c97460c77c3b0aa3067d3be"; + revisions = { + r0 = { + nix = import ../hackage/copilot-c99-4.0-r0-208f2a71bcc611ef4abef838706ad03a865bce0b548df0e918e1126b071d4f61.nix; + revNum = 0; + sha256 = "208f2a71bcc611ef4abef838706ad03a865bce0b548df0e918e1126b071d4f61"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/copilot-core.nix b/nix/copilot-core.nix index 5526a04f218..0466fcaa497 100644 --- a/nix/copilot-core.nix +++ b/nix/copilot-core.nix @@ -474,4 +474,15 @@ default = "r0"; }; }; + "4.0" = { + sha256 = "13facfa0bd668194d5709ce330055dd81bd2ef0ea8c1c933452e0ab22202943f"; + revisions = { + r0 = { + nix = import ../hackage/copilot-core-4.0-r0-e0ac49c521814dda8101caec8c54f9076a73d9936d2d36dadb90b35d84d9ac78.nix; + revNum = 0; + sha256 = "e0ac49c521814dda8101caec8c54f9076a73d9936d2d36dadb90b35d84d9ac78"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/copilot-interpreter.nix b/nix/copilot-interpreter.nix index 4c618226b69..5c511e9c74e 100644 --- a/nix/copilot-interpreter.nix +++ b/nix/copilot-interpreter.nix @@ -142,4 +142,15 @@ default = "r0"; }; }; + "4.0" = { + sha256 = "45a408af22f11543bdfa0c4a8db9ff09d61985002421f0c37ff9d3fbc7e7d49b"; + revisions = { + r0 = { + nix = import ../hackage/copilot-interpreter-4.0-r0-ffbcd4cf479ccde2cf18435c6db4562899dd54c27912260fac24fd1cd9ad221b.nix; + revNum = 0; + sha256 = "ffbcd4cf479ccde2cf18435c6db4562899dd54c27912260fac24fd1cd9ad221b"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/copilot-language.nix b/nix/copilot-language.nix index 2c974cba1a1..5faca44424a 100644 --- a/nix/copilot-language.nix +++ b/nix/copilot-language.nix @@ -444,4 +444,15 @@ default = "r0"; }; }; + "4.0" = { + sha256 = "ed4823c5d193df67092930ab686ee9e0b71e586d3a52273defb2f1acca1d6ed6"; + revisions = { + r0 = { + nix = import ../hackage/copilot-language-4.0-r0-49664cd8ff0937139b578e5d0ea90d0e5dfc9a486e18853ea864699e783e653a.nix; + revNum = 0; + sha256 = "49664cd8ff0937139b578e5d0ea90d0e5dfc9a486e18853ea864699e783e653a"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/copilot-libraries.nix b/nix/copilot-libraries.nix index 67253f57c1d..f2833abdbb5 100644 --- a/nix/copilot-libraries.nix +++ b/nix/copilot-libraries.nix @@ -373,4 +373,15 @@ default = "r0"; }; }; + "4.0" = { + sha256 = "794988390f8a11d6e6004186e3a2875d07d9e7e5a1b88b3b6105b709de25fc7d"; + revisions = { + r0 = { + nix = import ../hackage/copilot-libraries-4.0-r0-5b4e891e81e9d339006501d69b32b3de62660ee86f7800aa41fae73f65511b1f.nix; + revNum = 0; + sha256 = "5b4e891e81e9d339006501d69b32b3de62660ee86f7800aa41fae73f65511b1f"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/copilot-prettyprinter.nix b/nix/copilot-prettyprinter.nix index 1c93d4ffebb..f637d808645 100644 --- a/nix/copilot-prettyprinter.nix +++ b/nix/copilot-prettyprinter.nix @@ -131,4 +131,15 @@ default = "r0"; }; }; + "4.0" = { + sha256 = "e28398543dc732fa9b67d4401bedb938f166b57819ffc9e33b3d74c00c447c9f"; + revisions = { + r0 = { + nix = import ../hackage/copilot-prettyprinter-4.0-r0-9fc6854ad5df6ad153a52aea8323ae93bf85f032e9a7cc6a707e18cff2296978.nix; + revNum = 0; + sha256 = "9fc6854ad5df6ad153a52aea8323ae93bf85f032e9a7cc6a707e18cff2296978"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/copilot-theorem.nix b/nix/copilot-theorem.nix index 5642a4ee25e..faaef24bc98 100644 --- a/nix/copilot-theorem.nix +++ b/nix/copilot-theorem.nix @@ -296,4 +296,15 @@ default = "r0"; }; }; + "4.0" = { + sha256 = "a34795c82a02825f1f9d51eec2c41fa2a9fa4244da8744d0764c6873f8cb3191"; + revisions = { + r0 = { + nix = import ../hackage/copilot-theorem-4.0-r0-43103a6f45dc478fe825f50cb8dc1dc11c0a1f368917963fcab73581f19cff79.nix; + revNum = 0; + sha256 = "43103a6f45dc478fe825f50cb8dc1dc11c0a1f368917963fcab73581f19cff79"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/copilot.nix b/nix/copilot.nix index 540317c7678..309afd7e8c8 100644 --- a/nix/copilot.nix +++ b/nix/copilot.nix @@ -575,4 +575,15 @@ default = "r0"; }; }; + "4.0" = { + sha256 = "3f53f40086c46c7b7976a68df23b0e11d115ce24858b5d63518f764175ce7cee"; + revisions = { + r0 = { + nix = import ../hackage/copilot-4.0-r0-92552eb6adaeccfd3f416d822fc7c1d53fe97cc9dcf9791a81d048445d4b437b.nix; + revNum = 0; + sha256 = "92552eb6adaeccfd3f416d822fc7c1d53fe97cc9dcf9791a81d048445d4b437b"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/deepseq.nix b/nix/deepseq.nix index e1277f97805..23f3bf3a9e4 100644 --- a/nix/deepseq.nix +++ b/nix/deepseq.nix @@ -292,4 +292,15 @@ default = "r0"; }; }; + "1.6.0.0" = { + sha256 = "c574d7c22f94ecaf610a366c79b33a484509e35d4ee3170538c1a469531227aa"; + revisions = { + r0 = { + nix = import ../hackage/deepseq-1.6.0.0-r0-c48ce2041ec3b9b0a1314e455a81028f96f05b56b00366e2b3e0c8a036d9c39d.nix; + revNum = 0; + sha256 = "c48ce2041ec3b9b0a1314e455a81028f96f05b56b00366e2b3e0c8a036d9c39d"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/distributed-process-async.nix b/nix/distributed-process-async.nix index b3bbd780b32..d8ae802305b 100644 --- a/nix/distributed-process-async.nix +++ b/nix/distributed-process-async.nix @@ -111,7 +111,12 @@ revNum = 0; sha256 = "cc659efb2ebb62ddf3496d208acd58644b92c54b979735dd2c37874c9a6c31ab"; }; - default = "r0"; + r1 = { + nix = import ../hackage/distributed-process-async-0.2.8-r1-364b0125b18f340b61195b04cde15df7931a02cb22fb0225790f004034dd3b98.nix; + revNum = 1; + sha256 = "364b0125b18f340b61195b04cde15df7931a02cb22fb0225790f004034dd3b98"; + }; + default = "r1"; }; }; } \ No newline at end of file diff --git a/nix/distributed-process-client-server.nix b/nix/distributed-process-client-server.nix index 28ae7edaaf6..b9c30fdddb4 100644 --- a/nix/distributed-process-client-server.nix +++ b/nix/distributed-process-client-server.nix @@ -127,7 +127,12 @@ revNum = 0; sha256 = "d64e7be8057ee95f326e4794e74feda8b1408e23547e83f1568727077db4d33d"; }; - default = "r0"; + r1 = { + nix = import ../hackage/distributed-process-client-server-0.2.6.0-r1-07d95d1919af654dcaecad2b9a091f0cd3cc53ce2afabc1955059269e8fec455.nix; + revNum = 1; + sha256 = "07d95d1919af654dcaecad2b9a091f0cd3cc53ce2afabc1955059269e8fec455"; + }; + default = "r1"; }; }; } \ No newline at end of file diff --git a/nix/distributed-process-execution.nix b/nix/distributed-process-execution.nix index 4b1620b28bd..8669087a11f 100644 --- a/nix/distributed-process-execution.nix +++ b/nix/distributed-process-execution.nix @@ -61,7 +61,12 @@ revNum = 0; sha256 = "faa90bca581bbf86c853e1fbab703ba175718d8e4d3ac40bc32790803d854d12"; }; - default = "r0"; + r1 = { + nix = import ../hackage/distributed-process-execution-0.1.3.0-r1-e4e7f698ea063e202028224d54309ee075e98ffa1065f844a0005217cda29c12.nix; + revNum = 1; + sha256 = "e4e7f698ea063e202028224d54309ee075e98ffa1065f844a0005217cda29c12"; + }; + default = "r1"; }; }; } \ No newline at end of file diff --git a/nix/distributed-process-extras.nix b/nix/distributed-process-extras.nix index bec81d45ebb..f4a1d11be0f 100644 --- a/nix/distributed-process-extras.nix +++ b/nix/distributed-process-extras.nix @@ -151,7 +151,12 @@ revNum = 0; sha256 = "54d149e05b6ca0cd2b063830acf2f9c5b1df0764b4e59cb04986bec3a2f43612"; }; - default = "r0"; + r1 = { + nix = import ../hackage/distributed-process-extras-0.3.6-r1-89493cc63556990d9f6a2ff4d0254828357dde555e54a14222b98cce50f68a28.nix; + revNum = 1; + sha256 = "89493cc63556990d9f6a2ff4d0254828357dde555e54a14222b98cce50f68a28"; + }; + default = "r1"; }; }; } \ No newline at end of file diff --git a/nix/distributed-process-supervisor.nix b/nix/distributed-process-supervisor.nix index 489f86a6b95..908befb929a 100644 --- a/nix/distributed-process-supervisor.nix +++ b/nix/distributed-process-supervisor.nix @@ -67,7 +67,12 @@ revNum = 0; sha256 = "b83ce35b45d3b6ccd8e028ac5a4ad52cd283734dfa227a3a21e9da687b5a4b22"; }; - default = "r0"; + r1 = { + nix = import ../hackage/distributed-process-supervisor-0.2.2-r1-7a704ef0a3b45efbe817ee8e6485cc272e0c8ac575b4fd813f26bb40bd292e6b.nix; + revNum = 1; + sha256 = "7a704ef0a3b45efbe817ee8e6485cc272e0c8ac575b4fd813f26bb40bd292e6b"; + }; + default = "r1"; }; }; } \ No newline at end of file diff --git a/nix/distributed-process.nix b/nix/distributed-process.nix index f29ed3e717b..6eee790af2b 100644 --- a/nix/distributed-process.nix +++ b/nix/distributed-process.nix @@ -494,7 +494,12 @@ revNum = 0; sha256 = "3381725397804df6bd4254ec025410594f4e736325f0fd5d7e9d6318f26f83eb"; }; - default = "r0"; + r1 = { + nix = import ../hackage/distributed-process-0.7.7-r1-a46d7e159ead20f479c3cd7e7f0758321e1f3d64ad53ab8bd8df101a2c832bf7.nix; + revNum = 1; + sha256 = "a46d7e159ead20f479c3cd7e7f0758321e1f3d64ad53ab8bd8df101a2c832bf7"; + }; + default = "r1"; }; }; } \ No newline at end of file diff --git a/nix/distributed-static.nix b/nix/distributed-static.nix index 2849b8ddece..8aabda4059b 100644 --- a/nix/distributed-static.nix +++ b/nix/distributed-static.nix @@ -84,7 +84,12 @@ revNum = 0; sha256 = "c0dafb06b47af4f35c35ef3f0d547134898f159f1aa2690e353d4edf2f486e08"; }; - default = "r0"; + r1 = { + nix = import ../hackage/distributed-static-0.3.11-r1-a38f56c6128d10f1c1aeb498d5a5891cd75d7a3eeb5b5f7bb8e866a46906d8c5.nix; + revNum = 1; + sha256 = "a38f56c6128d10f1c1aeb498d5a5891cd75d7a3eeb5b5f7bb8e866a46906d8c5"; + }; + default = "r1"; }; }; "0.3.2.0" = { diff --git a/nix/doctest.nix b/nix/doctest.nix index 131b9eb0096..20e5eae30e7 100644 --- a/nix/doctest.nix +++ b/nix/doctest.nix @@ -353,6 +353,17 @@ default = "r0"; }; }; + "0.22.10" = { + sha256 = "86d44402b2f74fd5c9c629f58c43bebe00aa3cdaae7a3f54117bba5fd19b8c7a"; + revisions = { + r0 = { + nix = import ../hackage/doctest-0.22.10-r0-8eba1e82737efd7598bf7f6cc47f5e0fe9b1217fd0afeeff31fc18430c449f28.nix; + revNum = 0; + sha256 = "8eba1e82737efd7598bf7f6cc47f5e0fe9b1217fd0afeeff31fc18430c449f28"; + }; + default = "r0"; + }; + }; "0.22.2" = { sha256 = "afb839c14019c17e3ec7900871a9fc104226028858c724932d53225ae382c6e5"; revisions = { diff --git a/nix/fast-myers-diff.nix b/nix/fast-myers-diff.nix index 8943bea97c9..de911c7ce25 100644 --- a/nix/fast-myers-diff.nix +++ b/nix/fast-myers-diff.nix @@ -10,4 +10,15 @@ default = "r0"; }; }; + "0.0.1" = { + sha256 = "e76e987a2a169de3b139740e20f68328195ae3c4567eceb28f804f28db86d489"; + revisions = { + r0 = { + nix = import ../hackage/fast-myers-diff-0.0.1-r0-57d0acec63a45013120da6089ed0482e3e42a259b0a4ce8daadfc933abf47bdb.nix; + revNum = 0; + sha256 = "57d0acec63a45013120da6089ed0482e3e42a259b0a4ce8daadfc933abf47bdb"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/fedora-repoquery.nix b/nix/fedora-repoquery.nix index 78ceb7b6e4f..9cf8375f20d 100644 --- a/nix/fedora-repoquery.nix +++ b/nix/fedora-repoquery.nix @@ -98,4 +98,15 @@ default = "r0"; }; }; + "0.7.1" = { + sha256 = "0ce985d1db140ba327020cead30a13dc75079870da4cdf4db64a1e4d42dae8cb"; + revisions = { + r0 = { + nix = import ../hackage/fedora-repoquery-0.7.1-r0-48a47de095aa2cca6905ecf667f05bba3122307d7ccd504779412a958b772cb6.nix; + revNum = 0; + sha256 = "48a47de095aa2cca6905ecf667f05bba3122307d7ccd504779412a958b772cb6"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/hasmtlib.nix b/nix/hasmtlib.nix index 219f2380fd5..4f063cd44d0 100644 --- a/nix/hasmtlib.nix +++ b/nix/hasmtlib.nix @@ -241,4 +241,15 @@ default = "r0"; }; }; + "2.6.3" = { + sha256 = "57510e7d2a3b1ea6aa292d3d81960c49f828029cc5ca049a5cd9349f5d8ee649"; + revisions = { + r0 = { + nix = import ../hackage/hasmtlib-2.6.3-r0-3c03c730f63dc3c0e498d8da10946012871c90980bcba2f3fa0e07a91c9a18ff.nix; + revNum = 0; + sha256 = "3c03c730f63dc3c0e498d8da10946012871c90980bcba2f3fa0e07a91c9a18ff"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/hexpat.nix b/nix/hexpat.nix index 6802e908730..6da992d2beb 100644 --- a/nix/hexpat.nix +++ b/nix/hexpat.nix @@ -387,7 +387,12 @@ revNum = 2; sha256 = "8fc1e951240cee4448cda20f6d683e7166b2a1849e1e66afd4dbb756f3487bb0"; }; - default = "r2"; + r3 = { + nix = import ../hackage/hexpat-0.20.13-r3-6c2e5c5b4a8c4f1cd4c441730c158c0725ef9265a4b7b3456c081076c9eeadf8.nix; + revNum = 3; + sha256 = "6c2e5c5b4a8c4f1cd4c441730c158c0725ef9265a4b7b3456c081076c9eeadf8"; + }; + default = "r3"; }; }; "0.20.2" = { diff --git a/nix/isomorphism-class.nix b/nix/isomorphism-class.nix index 50f5a5f1c6a..a44691fd8a8 100644 --- a/nix/isomorphism-class.nix +++ b/nix/isomorphism-class.nix @@ -142,4 +142,15 @@ default = "r0"; }; }; + "0.1.1" = { + sha256 = "d32e2f1a1cf9f748a7b8594a72f71479ad79b5d93517d73eed372b5dd14407c3"; + revisions = { + r0 = { + nix = import ../hackage/isomorphism-class-0.1.1-r0-09b7bf508f4bbd44a93ec1121a67eede9a623b0a14c95270eec5da280888f3f0.nix; + revNum = 0; + sha256 = "09b7bf508f4bbd44a93ec1121a67eede9a623b0a14c95270eec5da280888f3f0"; + }; + default = "r0"; + }; + }; } \ No newline at end of file diff --git a/nix/javelin.nix b/nix/javelin.nix index 58606464248..25900735d46 100644 --- a/nix/javelin.nix +++ b/nix/javelin.nix @@ -34,7 +34,12 @@ revNum = 1; sha256 = "9de9e3c2c36cb001449d9a7ac5f62f4782df423647f739b61750250d50eeed0e"; }; - default = "r1"; + r2 = { + nix = import ../hackage/javelin-0.1.2.0-r2-0002c9737dcfe1a3f9ede515f49e4e604519584a4ad3d195bc75affa96ff5185.nix; + revNum = 2; + sha256 = "0002c9737dcfe1a3f9ede515f49e4e604519584a4ad3d195bc75affa96ff5185"; + }; + default = "r2"; }; }; } \ No newline at end of file diff --git a/nix/network-transport.nix b/nix/network-transport.nix index 7e5ad092aac..7a0a721d8bf 100644 --- a/nix/network-transport.nix +++ b/nix/network-transport.nix @@ -256,7 +256,12 @@ revNum = 0; sha256 = "05940da6519d7c0087b918be2f012898c41199b0384b1adccd3421b31fb030d0"; }; - default = "r0"; + r1 = { + nix = import ../hackage/network-transport-0.5.8-r1-e252ea6273d5bc0afefb9b8b98e4d065f432c922f6664c753ebdb17e7297c759.nix; + revNum = 1; + sha256 = "e252ea6273d5bc0afefb9b8b98e4d065f432c922f6664c753ebdb17e7297c759"; + }; + default = "r1"; }; }; } \ No newline at end of file diff --git a/nix/r-tree.nix b/nix/r-tree.nix new file mode 100644 index 00000000000..b79291fde91 --- /dev/null +++ b/nix/r-tree.nix @@ -0,0 +1,13 @@ +{ + "1.0.0.0" = { + sha256 = "32e961578e37c0707dff07a90a7432354384dcfff5bfa9126738f7cd8d611cdd"; + revisions = { + r0 = { + nix = import ../hackage/r-tree-1.0.0.0-r0-5e0129ce5d5b5f50726f24ee6279a6ae79c84d9ee810a132b7d85bbee8b22977.nix; + revNum = 0; + sha256 = "5e0129ce5d5b5f50726f24ee6279a6ae79c84d9ee810a132b7d85bbee8b22977"; + }; + default = "r0"; + }; + }; +} \ No newline at end of file diff --git a/nix/radix-tree.nix b/nix/radix-tree.nix index 593e80629e2..b7b99244457 100644 --- a/nix/radix-tree.nix +++ b/nix/radix-tree.nix @@ -32,4 +32,15 @@ default = "r0"; }; }; + "1.0.0.2" = { + sha256 = "309f9e9cf2229cfec28bf9bbd33ba8b3a41ee5f9a82d297fddc5a615b42921a6"; + revisions = { + r0 = { + nix = import ../hackage/radix-tree-1.0.0.2-r0-ca22c15c08a790b8551039bdd9068df26f0f51752437ccf1a01aa2c00ccc033e.nix; + revNum = 0; + sha256 = "ca22c15c08a790b8551039bdd9068df26f0f51752437ccf1a01aa2c00ccc033e"; + }; + default = "r0"; + }; + }; } \ No newline at end of file