-
Notifications
You must be signed in to change notification settings - Fork 17
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
IOHK
committed
Nov 5, 2023
1 parent
22ab6ca
commit c8a9b25
Showing
84 changed files
with
3,169 additions
and
2 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
48 changes: 48 additions & 0 deletions
48
...oexporter-2.0.0.9-r0-143b1a04d328c4183dc7cd64334807c41b8a14f7c6df9f85e8dce2026063c94f.nix
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,48 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = { pedantic = false; }; | ||
package = { | ||
specVersion = "2.2"; | ||
identifier = { name = "autoexporter"; version = "2.0.0.9"; }; | ||
license = "MIT"; | ||
copyright = ""; | ||
maintainer = "Taylor Fausak"; | ||
author = ""; | ||
homepage = ""; | ||
url = ""; | ||
synopsis = "Automatically re-export modules."; | ||
description = "Autoexporter automatically re-exports modules."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal")) | ||
(hsPkgs."directory" or (errorHandler.buildDepError "directory")) | ||
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) | ||
]; | ||
buildable = true; | ||
}; | ||
exes = { | ||
"autoexporter" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal")) | ||
(hsPkgs."directory" or (errorHandler.buildDepError "directory")) | ||
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) | ||
(hsPkgs."autoexporter" or (errorHandler.buildDepError "autoexporter")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
413 changes: 413 additions & 0 deletions
413
hackage/brick-2.1-r0-068105a24b10d5a1d13c3778ba50dba4caa92216627da47e2bd7531fb0f4b94d.nix
Large diffs are not rendered by default.
Oops, something went wrong.
56 changes: 56 additions & 0 deletions
56
...e/burrito-2.0.1.7-r0-9a411e8a6903393416429276838ee4195e77d28c8e913658750e3a9abcea5cef.nix
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,56 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = { pedantic = false; }; | ||
package = { | ||
specVersion = "2.2"; | ||
identifier = { name = "burrito"; version = "2.0.1.7"; }; | ||
license = "MIT"; | ||
copyright = ""; | ||
maintainer = "Taylor Fausak"; | ||
author = ""; | ||
homepage = ""; | ||
url = ""; | ||
synopsis = "Parse and render URI templates."; | ||
description = "Burrito is a Haskell library for parsing and rendering URI templates.\n\nAccording to [RFC 6570](https://tools.ietf.org/html/rfc6570): \"A URI Template\nis a compact sequence of characters for describing a range of Uniform\nResource Identifiers through variable expansion.\" Burrito implements URI\ntemplates according to the specification in that RFC.\n\nThe term \"uniform resource identifiers\" (URI) is often used interchangeably\nwith other related terms like \"internationalized resource identifier\" (IRI),\n\"uniform resource locator\" (URL), and \"uniform resource name\" (URN). Burrito\ncan be used for all of these. If you want to get technical, its input must be\na valid IRI and its output will be a valid URI or URN.\n\nAlthough Burrito is primarily intended to be used with HTTP and HTTPS URIs,\nit should work with other schemes as well."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."parsec" or (errorHandler.buildDepError "parsec")) | ||
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"burrito-test-suite" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."parsec" or (errorHandler.buildDepError "parsec")) | ||
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
(hsPkgs."burrito" or (errorHandler.buildDepError "burrito")) | ||
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) | ||
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
63 changes: 63 additions & 0 deletions
63
...e/cabal-rpm-2.1.4-r0-677e3f0a618b8d0f611340b5323ea8f5c957c14a275407c772e659b201f7b41e.nix
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,63 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = { old-locale = false; curl = false; }; | ||
package = { | ||
specVersion = "1.18"; | ||
identifier = { name = "cabal-rpm"; version = "2.1.4"; }; | ||
license = "GPL-3.0-only"; | ||
copyright = "2007-2008 Bryan O'Sullivan <bos@serpentine.com>,\n2012-2023 Jens Petersen <juhpetersen@gmail.com>"; | ||
maintainer = "Jens Petersen <petersen@fedoraproject.org>"; | ||
author = "Jens Petersen <juhpetersen@gmail.com>,\nBryan O'Sullivan <bos@serpentine.com>"; | ||
homepage = "https://github.com/juhp/cabal-rpm"; | ||
url = ""; | ||
synopsis = "RPM packaging tool for Haskell Cabal-based packages"; | ||
description = "This package provides a RPM packaging tool for Haskell Cabal-based packages.\n\ncabal-rpm has commands to generate a RPM spec file and srpm for a package.\nIt can rpmbuild packages, yum/dnf install their dependencies, prep packages,\nand install them. There are commands to list package dependencies and\nmissing dependencies. The diff command compares the current spec file with\na freshly generated one, the update command updates the spec file to latest\nversion from Stackage or Hackage, and the refresh command updates the spec\nfile to the current cabal-rpm packaging. It also handles Hackage revisions\nof packages. Standalone packages can also be made, built with cabal-install."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
exes = { | ||
"cabal-rpm" = { | ||
depends = (([ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) | ||
(hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal")) | ||
(hsPkgs."cached-json-file" or (errorHandler.buildDepError "cached-json-file")) | ||
(hsPkgs."directory" or (errorHandler.buildDepError "directory")) | ||
(hsPkgs."extra" or (errorHandler.buildDepError "extra")) | ||
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) | ||
(hsPkgs."http-query" or (errorHandler.buildDepError "http-query")) | ||
(hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative")) | ||
(hsPkgs."process" or (errorHandler.buildDepError "process")) | ||
(hsPkgs."simple-cabal" or (errorHandler.buildDepError "simple-cabal")) | ||
(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."unix" or (errorHandler.buildDepError "unix")) | ||
] ++ (if flags.old-locale | ||
then [ | ||
(hsPkgs."old-locale" or (errorHandler.buildDepError "old-locale")) | ||
(hsPkgs."time" or (errorHandler.buildDepError "time")) | ||
] | ||
else [ | ||
(hsPkgs."time" or (errorHandler.buildDepError "time")) | ||
])) ++ (pkgs.lib).optional (compiler.isGhc && (compiler.version).lt "8.0") (hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups"))) ++ (if compiler.isGhc && (compiler.version).ge "8.0" && !flags.curl | ||
then [ | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."http-client" or (errorHandler.buildDepError "http-client")) | ||
(hsPkgs."http-client-tls" or (errorHandler.buildDepError "http-client-tls")) | ||
(hsPkgs."http-conduit" or (errorHandler.buildDepError "http-conduit")) | ||
] | ||
else [ (hsPkgs."curl" or (errorHandler.buildDepError "curl")) ]); | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
62 changes: 62 additions & 0 deletions
62
...oinor-clp-0.0.0.1-r0-84ebe303d4793a4c01f58078ddb03bab5e7e91015d59cd45a36312660fa682c3.nix
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,62 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = { debug = false; }; | ||
package = { | ||
specVersion = "2.2"; | ||
identifier = { name = "coinor-clp"; version = "0.0.0.1"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = ""; | ||
maintainer = "Henning Thielemann <haskell@henning-thielemann.de>"; | ||
author = "Henning Thielemann <haskell@henning-thielemann.de>"; | ||
homepage = ""; | ||
url = ""; | ||
synopsis = "Linear Programming using COIN-OR/CLP and comfort-array"; | ||
description = "Simple interface to linear programming functions provided by COIN-OR\nusing the flexible Array shape framework from @comfort-array@.\n\nE.g. you can use @Shape.Tuple@ to convert safely\nbetween nested tuples and arrays with the same number of elements.\n\n> type X = Shape.Element\n> type PairShape = Shape.NestedTuple Shape.TupleIndex (X,X)\n>\n> case Shape.indexTupleFromShape (Shape.static :: PairShape) of\n> (posIx,negIx) ->\n> case mapSnd (mapSnd Array.toTuple) <$>\n> LP.simplex [] [[1.*posIx, (-1).*negIx] ==. 314]\n> (LP.Minimize,\n> Array.fromTuple (23,42) :: Array PairShape Double)\n> of\n> (Right (LP.Optimal, (absol, (pos, neg)))) ->\n> printf \"absol %f, pos %f, neg %f\\n\" absol pos neg\n> _ -> fail \"COINOR solver failed\"\n\nAlternatives: @comfort-glpk@, @hmatrix-glpk@, @glpk-hs@"; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."linear-programming" or (errorHandler.buildDepError "linear-programming")) | ||
(hsPkgs."comfort-array" or (errorHandler.buildDepError "comfort-array")) | ||
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) | ||
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) | ||
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
(hsPkgs."non-empty" or (errorHandler.buildDepError "non-empty")) | ||
(hsPkgs."utility-ht" or (errorHandler.buildDepError "utility-ht")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
]; | ||
libs = [ (pkgs."stdc++" or (errorHandler.sysDepError "stdc++")) ]; | ||
pkgconfig = [ | ||
(pkgconfPkgs."clp" or (errorHandler.pkgConfDepError "clp")) | ||
]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"coinor-clp-test" = { | ||
depends = [ | ||
(hsPkgs."coinor-clp" or (errorHandler.buildDepError "coinor-clp")) | ||
(hsPkgs."linear-programming" or (errorHandler.buildDepError "linear-programming")) | ||
(hsPkgs."comfort-array" or (errorHandler.buildDepError "comfort-array")) | ||
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
(hsPkgs."non-empty" or (errorHandler.buildDepError "non-empty")) | ||
(hsPkgs."utility-ht" or (errorHandler.buildDepError "utility-ht")) | ||
(hsPkgs."doctest-exitcode-stdio" or (errorHandler.buildDepError "doctest-exitcode-stdio")) | ||
(hsPkgs."doctest-lib" or (errorHandler.buildDepError "doctest-lib")) | ||
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) | ||
(hsPkgs."random" or (errorHandler.buildDepError "random")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
53 changes: 53 additions & 0 deletions
53
...e/cozo-hs-0.1.0.0-r0-94f220f3394b27952168517efd3f72e779d9199d8fa1ddd9a06ef849ea635daa.nix
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,53 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "3.0"; | ||
identifier = { name = "cozo-hs"; version = "0.1.0.0"; }; | ||
license = "MPL-2.0"; | ||
copyright = ""; | ||
maintainer = "hencutJohnson@gmail.com"; | ||
author = "Henry Johnson"; | ||
homepage = ""; | ||
url = ""; | ||
synopsis = "Haskell bindings to the CozoDB C API"; | ||
description = "Simple, relatively low-level bindings to the C API\nprovided by cozo. Additionally, there are some convenience types for\nserializing function arguments and deserializing query results."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
]; | ||
pkgconfig = [ | ||
(pkgconfPkgs."libcozo_c" or (errorHandler.pkgConfDepError "libcozo_c")) | ||
]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"cozo-hs-test" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."cozo-hs" or (errorHandler.buildDepError "cozo-hs")) | ||
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) | ||
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
48 changes: 48 additions & 0 deletions
48
...age/deque-0.4.4.1-r0-253d6c989a760106dfff853a39257e7f11613a427b022ec0e8367473711585e5.nix
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,48 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "3.0"; | ||
identifier = { name = "deque"; version = "0.4.4.1"; }; | ||
license = "MIT"; | ||
copyright = "(c) 2016, Nikita Volkov"; | ||
maintainer = "Nikita Volkov <nikita.y.volkov@mail.ru>"; | ||
author = "Nikita Volkov <nikita.y.volkov@mail.ru>"; | ||
homepage = "https://github.com/nikita-volkov/deque"; | ||
url = ""; | ||
synopsis = "Double-ended queues"; | ||
description = "Strict and lazy implementations of Double-Ended Queue (aka Dequeue or Deque)\nbased on head-tail linked list."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) | ||
(hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) | ||
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) | ||
(hsPkgs."strict-list" or (errorHandler.buildDepError "strict-list")) | ||
]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"test" = { | ||
depends = [ | ||
(hsPkgs."deque" or (errorHandler.buildDepError "deque")) | ||
(hsPkgs."rerebase" or (errorHandler.buildDepError "rerebase")) | ||
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) | ||
(hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
Oops, something went wrong.