-
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
Oct 20, 2023
1 parent
855a40f
commit 041f080
Showing
23 changed files
with
706 additions
and
1 deletion.
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
70 changes: 70 additions & 0 deletions
70
hackage/base32-0.4-r0-123184f74db39ca58ccc3f9a3952497e585f49c693ebd83ba33db3477854f09e.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,70 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "3.0"; | ||
identifier = { name = "base32"; version = "0.4"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = "(c) 2020-2023 Emily Pillmore"; | ||
maintainer = "[email protected]"; | ||
author = "Emily Pillmore"; | ||
homepage = "https://github.com/emilypi/base32"; | ||
url = ""; | ||
synopsis = "Fast RFC 4648-compliant Base32 encoding"; | ||
description = "RFC 4648-compliant Base32 encodings and decodings.\nThis library provides performant encoding and decoding primitives, as well as support for textual values."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."text-short" or (errorHandler.buildDepError "text-short")) | ||
]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"tasty" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."base32" or (errorHandler.buildDepError "base32")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."memory" or (errorHandler.buildDepError "memory")) | ||
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) | ||
(hsPkgs."random-bytestring" or (errorHandler.buildDepError "random-bytestring")) | ||
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) | ||
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) | ||
(hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."text-short" or (errorHandler.buildDepError "text-short")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
benchmarks = { | ||
"bench" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."base32" or (errorHandler.buildDepError "base32")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."criterion" or (errorHandler.buildDepError "criterion")) | ||
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) | ||
(hsPkgs."memory" or (errorHandler.buildDepError "memory")) | ||
(hsPkgs."random-bytestring" or (errorHandler.buildDepError "random-bytestring")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
66 changes: 66 additions & 0 deletions
66
hackage/fbrnch-1.3.3-r0-c795e1cb9fe60013dd9b6501aa04f6d30437a3652ffd0108da6c0b3f6f90863d.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,66 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "2.0"; | ||
identifier = { name = "fbrnch"; version = "1.3.3"; }; | ||
license = "GPL-2.0-only"; | ||
copyright = "2019-2023 Jens Petersen"; | ||
maintainer = "Jens Petersen <[email protected]>"; | ||
author = "Jens Petersen <[email protected]>"; | ||
homepage = "https://github.com/juhp/fbrnch"; | ||
url = ""; | ||
synopsis = "Fedora packager tool to build package branches"; | ||
description = "fbrnch (fedora branch) is a convenient packaging tool for\nFedora Packagers, with integration for Bugzilla, Koji, and Bodhi.\n\nFeatures include:\n\n- merging and building a package across release branches\n\n- automated parallel builds of sets of packages in dependency order\n\n- creating, updating and listing one's package reviews\n\n- requesting repos for new approved packages and branch requests\n\n- import srpms from package reviews\n\n- progressive copr builds\n\nand many more commands."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
exes = { | ||
"fbrnch" = { | ||
depends = ([ | ||
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) | ||
(hsPkgs."async" or (errorHandler.buildDepError "async")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bodhi" or (errorHandler.buildDepError "bodhi")) | ||
(hsPkgs."bugzilla-redhat" or (errorHandler.buildDepError "bugzilla-redhat")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."config-ini" or (errorHandler.buildDepError "config-ini")) | ||
(hsPkgs."copr-api" or (errorHandler.buildDepError "copr-api")) | ||
(hsPkgs."directory" or (errorHandler.buildDepError "directory")) | ||
(hsPkgs."email-validate" or (errorHandler.buildDepError "email-validate")) | ||
(hsPkgs."extra" or (errorHandler.buildDepError "extra")) | ||
(hsPkgs."fedora-dists" or (errorHandler.buildDepError "fedora-dists")) | ||
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) | ||
(hsPkgs."http-conduit" or (errorHandler.buildDepError "http-conduit")) | ||
(hsPkgs."http-directory" or (errorHandler.buildDepError "http-directory")) | ||
(hsPkgs."http-query" or (errorHandler.buildDepError "http-query")) | ||
(hsPkgs."koji" or (errorHandler.buildDepError "koji")) | ||
(hsPkgs."network-uri" or (errorHandler.buildDepError "network-uri")) | ||
(hsPkgs."pagure" or (errorHandler.buildDepError "pagure")) | ||
(hsPkgs."pretty-terminal" or (errorHandler.buildDepError "pretty-terminal")) | ||
(hsPkgs."process" or (errorHandler.buildDepError "process")) | ||
(hsPkgs."rpmbuild-order" or (errorHandler.buildDepError "rpmbuild-order")) | ||
(hsPkgs."rpm-nvr" or (errorHandler.buildDepError "rpm-nvr")) | ||
(hsPkgs."simple-cmd" or (errorHandler.buildDepError "simple-cmd")) | ||
(hsPkgs."simple-cmd-args" or (errorHandler.buildDepError "simple-cmd-args")) | ||
(hsPkgs."simple-prompt" or (errorHandler.buildDepError "simple-prompt")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."time" or (errorHandler.buildDepError "time")) | ||
(hsPkgs."typed-process" or (errorHandler.buildDepError "typed-process")) | ||
(hsPkgs."utf8-string" or (errorHandler.buildDepError "utf8-string")) | ||
(hsPkgs."unix" or (errorHandler.buildDepError "unix")) | ||
(hsPkgs."xdg-basedir" or (errorHandler.buildDepError "xdg-basedir")) | ||
] ++ (pkgs.lib).optional (compiler.isGhc && (compiler.version).lt "8.3") (hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups"))) ++ (pkgs.lib).optional (compiler.isGhc && (compiler.version).lt "8.4") (hsPkgs."http-common" or (errorHandler.buildDepError "http-common")); | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
31 changes: 31 additions & 0 deletions
31
...tionizer-0.17.0.0-r0-836f4710c4b3378b52d95bc105b6795447c7b428d35a3e797538e71f5290222a.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,31 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "2.4"; | ||
identifier = { name = "fractionizer"; version = "0.17.0.0"; }; | ||
license = "MIT"; | ||
copyright = "Oleksandr Zhabenko"; | ||
maintainer = "[email protected]"; | ||
author = "Oleksandr-Zhabenko"; | ||
homepage = ""; | ||
url = ""; | ||
synopsis = "Numbers in the range [0.005, 1] as a sum of 2, 3, 4 or 5 unit fractions of special types."; | ||
description = "Inspired by the ancient Egyptian mathematics. See the ideas description and formulation in the [related draft paper.](https://www.academia.edu/100514742/Fraction_approximation_for_the_range_of_0_005_1_related_to_music_melody_composing_and_using_Haskell_and_unit_fractions)"; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ]; | ||
buildable = true; | ||
}; | ||
}; | ||
} |
42 changes: 42 additions & 0 deletions
42
...obi-theta-0.2.2.0-r0-a5e1f55e725099a4fa3693c5c09b2cf9d6a07285badb2e69e58ba5d360814f43.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,42 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "1.10"; | ||
identifier = { name = "jacobi-theta"; version = "0.2.2.0"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = "2023 Stéphane Laurent"; | ||
maintainer = "[email protected]"; | ||
author = "Stéphane Laurent"; | ||
homepage = "https://github.com/stla/jacobi-theta#readme"; | ||
url = ""; | ||
synopsis = "Jacobi Theta Functions"; | ||
description = "Evaluation of the Jacobi theta functions."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"unit-tests" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) | ||
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) | ||
(hsPkgs."jacobi-theta" or (errorHandler.buildDepError "jacobi-theta")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
42 changes: 42 additions & 0 deletions
42
...obi-theta-0.2.2.1-r0-fad3b7336e3c9507ab15259e6f59f1613e46f88ed5ddfcbd876b32a4e03d793c.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,42 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "1.10"; | ||
identifier = { name = "jacobi-theta"; version = "0.2.2.1"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = "2023 Stéphane Laurent"; | ||
maintainer = "[email protected]"; | ||
author = "Stéphane Laurent"; | ||
homepage = "https://github.com/stla/jacobi-theta#readme"; | ||
url = ""; | ||
synopsis = "Jacobi Theta Functions"; | ||
description = "Evaluation of the Jacobi theta functions."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"unit-tests" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) | ||
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) | ||
(hsPkgs."jacobi-theta" or (errorHandler.buildDepError "jacobi-theta")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
57 changes: 57 additions & 0 deletions
57
...ubclasses-1.2.4.1-r0-3bd9f0353c7b1f86986c403acbff158c6f343d9d4c1ca50b94d1171c894291f9.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,57 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "1.10"; | ||
identifier = { name = "monoid-subclasses"; version = "1.2.4.1"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = "(c) 2013-2023 Mario Blažević"; | ||
maintainer = "Mario Blažević <[email protected]>"; | ||
author = "Mario Blažević"; | ||
homepage = "https://github.com/blamario/monoid-subclasses/"; | ||
url = ""; | ||
synopsis = "Subclasses of Monoid"; | ||
description = "A hierarchy of subclasses of 'Monoid' together with their instances for all data structures from base, containers, and\ntext packages."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."primes" or (errorHandler.buildDepError "primes")) | ||
(hsPkgs."vector" or (errorHandler.buildDepError "vector")) | ||
(hsPkgs."commutative-semigroups" or (errorHandler.buildDepError "commutative-semigroups")) | ||
]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"Main" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."vector" or (errorHandler.buildDepError "vector")) | ||
(hsPkgs."primes" or (errorHandler.buildDepError "primes")) | ||
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) | ||
(hsPkgs."quickcheck-instances" or (errorHandler.buildDepError "quickcheck-instances")) | ||
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) | ||
(hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) | ||
(hsPkgs."monoid-subclasses" or (errorHandler.buildDepError "monoid-subclasses")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
Oops, something went wrong.