-
Notifications
You must be signed in to change notification settings - Fork 18
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 18, 2023
1 parent
f7e2c8d
commit 5926877
Showing
65 changed files
with
2,531 additions
and
7 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
53 changes: 53 additions & 0 deletions
53
...ge/Flint2-0.1.0.5-r0-bdbfd3b846b41d999a18c1ec97b7a6cd06af716007fe3247f6749cb7388dab0f.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 = "1.18"; | ||
identifier = { name = "Flint2"; version = "0.1.0.5"; }; | ||
license = "GPL-2.0-only"; | ||
copyright = "Copyright (c) 2023 Hartmut Monien"; | ||
maintainer = "[email protected]"; | ||
author = "Hartmut Monien"; | ||
homepage = "https://github.com/monien/Flint2#readme"; | ||
url = ""; | ||
synopsis = "Haskell bindings for the flint library for number theory"; | ||
description = "This library provides access to the functionality of the FLINT.\nFLINT is a C library for doing number theory, freely available under the GNU LGPL.\nAt its core, FLINT provides arithmetic in standard rings such as the integers, rationals, algebraic, real, complex and p-adic numbers, finite fields, and number fields. It also provides polynomials (univariate and multivariate), power series, and matrices.\nFLINT has been used for many large scale research computations (e.g. A Trillion Triangles) and has been cited in hundreds of publications. FLINT's authors themselves have published more than 20 papers describing new algorithms first implemented within or on top of FLINT."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."groups" or (errorHandler.buildDepError "groups")) | ||
]; | ||
libs = [ (pkgs."flint" or (errorHandler.sysDepError "flint")) ]; | ||
pkgconfig = [ | ||
(pkgconfPkgs."flint" or (errorHandler.pkgConfDepError "flint")) | ||
(pkgconfPkgs."gmp" or (errorHandler.pkgConfDepError "gmp")) | ||
]; | ||
build-tools = [ | ||
(hsPkgs.buildPackages.hsc2hs.components.exes.hsc2hs or (pkgs.buildPackages.hsc2hs or (errorHandler.buildToolDepError "hsc2hs:hsc2hs"))) | ||
]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"Flint2-test" = { | ||
depends = [ | ||
(hsPkgs."Flint2" or (errorHandler.buildDepError "Flint2")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
468 changes: 468 additions & 0 deletions
468
...-Examples-0.1.0.2-r0-99f81a74ca5fe4fdd59b31f57c5de86aa74ec884a3303d73e6a4b868a07952b7.nix
Large diffs are not rendered by default.
Oops, something went wrong.
52 changes: 52 additions & 0 deletions
52
...-megaparsec-2.1.0-r0-3c9cd9b7149937d1fba3934d641888ee239233fe28d35ecb26ed721aee79913a.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,52 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = { dev = false; }; | ||
package = { | ||
specVersion = "2.0"; | ||
identifier = { name = "cassava-megaparsec"; version = "2.1.0"; }; | ||
license = "MIT"; | ||
copyright = ""; | ||
maintainer = "Mark Karpov <[email protected]>"; | ||
author = "Mark Karpov <[email protected]>"; | ||
homepage = "https://github.com/stackbuilders/cassava-megaparsec"; | ||
url = ""; | ||
synopsis = "Megaparsec parser of CSV files that plays nicely with Cassava"; | ||
description = "Megaparsec parser of CSV files that plays nicely with Cassava."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."cassava" or (errorHandler.buildDepError "cassava")) | ||
(hsPkgs."megaparsec" or (errorHandler.buildDepError "megaparsec")) | ||
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) | ||
(hsPkgs."vector" or (errorHandler.buildDepError "vector")) | ||
]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"tests" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."cassava" or (errorHandler.buildDepError "cassava")) | ||
(hsPkgs."cassava-megaparsec" or (errorHandler.buildDepError "cassava-megaparsec")) | ||
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) | ||
(hsPkgs."hspec-megaparsec" or (errorHandler.buildDepError "hspec-megaparsec")) | ||
(hsPkgs."vector" or (errorHandler.buildDepError "vector")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
44 changes: 44 additions & 0 deletions
44
...ge/data-clist-0.2-r1-47ad08ffa523b5fcdfd0e999ff57417a2e70b48e0ea79b84d7f8b9e6d1152225.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,44 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "2.2"; | ||
identifier = { name = "data-clist"; version = "0.2"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = ""; | ||
maintainer = "Jeremy Huffman <[email protected]>, John Van Enk <[email protected]>"; | ||
author = "John Van Enk <[email protected]>"; | ||
homepage = "https://github.com/sw17ch/data-clist"; | ||
url = ""; | ||
synopsis = "Simple functional ring type."; | ||
description = "Simple functional bidirectional ring type.\nGiven that the ring terminiology clashes with certain\nmathematical branches, we're using the term CList or\nCircularList instead."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) | ||
]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"tests" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."data-clist" or (errorHandler.buildDepError "data-clist")) | ||
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
54 changes: 54 additions & 0 deletions
54
...nummapset-0.7.2.0-r0-ec3fae1f34cfcfc3990e6761593c358cd33cc6bd619198e73437012856cc0a71.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,54 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = { debug = false; }; | ||
package = { | ||
specVersion = "1.10"; | ||
identifier = { name = "enummapset"; version = "0.7.2.0"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = ""; | ||
maintainer = "Mikolaj Konarski <[email protected]>"; | ||
author = "Michal Terepeta and others"; | ||
homepage = "https://github.com/Mikolaj/enummapset"; | ||
url = ""; | ||
synopsis = "IntMap and IntSet with Enum keys/elements."; | ||
description = "This package contains simple wrappers around 'Data.IntMap' and\n'Data.IntSet' with 'Enum' keys and elements respectively.\nEspecially useful for 'Int's wrapped with `newtype`."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) | ||
] ++ (pkgs.lib).optional (compiler.isGhc && (compiler.version).lt "8.0") (hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups")); | ||
buildable = true; | ||
}; | ||
tests = { | ||
"intset-properties" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) | ||
(hsPkgs."array" or (errorHandler.buildDepError "array")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) | ||
(hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim")) | ||
(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")) | ||
] ++ (pkgs.lib).optional (compiler.isGhc && (compiler.version).lt "8.0") (hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups")); | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
37 changes: 37 additions & 0 deletions
37
...age/flock-0.3.2.1-r0-621faa36646ccd1c33a654f7e4fcdf3843dcbf12fbf4b3aade3e9cf90441deb4.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,37 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "1.10"; | ||
identifier = { name = "flock"; version = "0.3.2.1"; }; | ||
license = "LicenseRef-OtherLicense"; | ||
copyright = "Ian Lynagh, 2007"; | ||
maintainer = "Erik Hesselink <[email protected]>"; | ||
author = "Ian Lynagh"; | ||
homepage = "http://github.com/hesselink/flock"; | ||
url = ""; | ||
synopsis = "Wrapper for flock(2)"; | ||
description = "Simple wrapper around flock(2)."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
(hsPkgs."monad-control" or (errorHandler.buildDepError "monad-control")) | ||
(hsPkgs."lifted-base" or (errorHandler.buildDepError "lifted-base")) | ||
(hsPkgs."unix" or (errorHandler.buildDepError "unix")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
} |
35 changes: 35 additions & 0 deletions
35
...-sop-lens-0.2.0.1-r5-e2546c1e4ce5f521016a70ae1bc2a9585ab754b397666bde96d71d821ecbce62.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,35 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "1.10"; | ||
identifier = { name = "generics-sop-lens"; version = "0.2.0.1"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = ""; | ||
maintainer = "Oleg Grenrus <[email protected]>"; | ||
author = "Oleg Grenrus <[email protected]>"; | ||
homepage = "https://github.com/phadej/generics-sop-lens#readme"; | ||
url = ""; | ||
synopsis = "Lenses for types in generics-sop"; | ||
description = "Lenses for types in generics-sop package"; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."generics-sop" or (errorHandler.buildDepError "generics-sop")) | ||
(hsPkgs."lens" or (errorHandler.buildDepError "lens")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
} |
94 changes: 94 additions & 0 deletions
94
...opro-plus-0.6.6.6-r0-5e88f47fe2725bda47fc6e596e94b255b89e96e3641f136e87ce364c6dab80b9.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,94 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "1.12"; | ||
identifier = { name = "gopro-plus"; version = "0.6.6.6"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = "MIT"; | ||
maintainer = "[email protected]"; | ||
author = "Dustin Sallings"; | ||
homepage = "https://github.com/dustin/gopro-plus#readme"; | ||
url = ""; | ||
synopsis = "GoPro Plus Client API."; | ||
description = "Please see the README on GitHub at <https://github.com/dustin/gopro-plus#readme>"; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) | ||
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) | ||
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) | ||
(hsPkgs."generic-deriving" or (errorHandler.buildDepError "generic-deriving")) | ||
(hsPkgs."generic-random" or (errorHandler.buildDepError "generic-random")) | ||
(hsPkgs."lens" or (errorHandler.buildDepError "lens")) | ||
(hsPkgs."lens-aeson" or (errorHandler.buildDepError "lens-aeson")) | ||
(hsPkgs."monad-logger" or (errorHandler.buildDepError "monad-logger")) | ||
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) | ||
(hsPkgs."quickcheck-instances" or (errorHandler.buildDepError "quickcheck-instances")) | ||
(hsPkgs."random" or (errorHandler.buildDepError "random")) | ||
(hsPkgs."retry" or (errorHandler.buildDepError "retry")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."time" or (errorHandler.buildDepError "time")) | ||
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
(hsPkgs."unix" or (errorHandler.buildDepError "unix")) | ||
(hsPkgs."unliftio" or (errorHandler.buildDepError "unliftio")) | ||
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) | ||
(hsPkgs."vector" or (errorHandler.buildDepError "vector")) | ||
(hsPkgs."wreq" or (errorHandler.buildDepError "wreq")) | ||
]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"gopro-plus-test" = { | ||
depends = [ | ||
(hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) | ||
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) | ||
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) | ||
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) | ||
(hsPkgs."generic-deriving" or (errorHandler.buildDepError "generic-deriving")) | ||
(hsPkgs."generic-random" or (errorHandler.buildDepError "generic-random")) | ||
(hsPkgs."gopro-plus" or (errorHandler.buildDepError "gopro-plus")) | ||
(hsPkgs."lens" or (errorHandler.buildDepError "lens")) | ||
(hsPkgs."lens-aeson" or (errorHandler.buildDepError "lens-aeson")) | ||
(hsPkgs."monad-logger" or (errorHandler.buildDepError "monad-logger")) | ||
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) | ||
(hsPkgs."quickcheck-instances" or (errorHandler.buildDepError "quickcheck-instances")) | ||
(hsPkgs."random" or (errorHandler.buildDepError "random")) | ||
(hsPkgs."raw-strings-qq" or (errorHandler.buildDepError "raw-strings-qq")) | ||
(hsPkgs."retry" or (errorHandler.buildDepError "retry")) | ||
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) | ||
(hsPkgs."tasty-discover" or (errorHandler.buildDepError "tasty-discover")) | ||
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) | ||
(hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."time" or (errorHandler.buildDepError "time")) | ||
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
(hsPkgs."unix" or (errorHandler.buildDepError "unix")) | ||
(hsPkgs."unliftio" or (errorHandler.buildDepError "unliftio")) | ||
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) | ||
(hsPkgs."vector" or (errorHandler.buildDepError "vector")) | ||
(hsPkgs."wreq" or (errorHandler.buildDepError "wreq")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
Oops, something went wrong.