Skip to content

Commit

Permalink
Automatic Update
Browse files Browse the repository at this point in the history
  • Loading branch information
IOHK committed Oct 13, 2023
1 parent 74a69b6 commit 785940d
Show file tree
Hide file tree
Showing 62 changed files with 2,109 additions and 17 deletions.
1 change: 1 addition & 0 deletions default.nix
View file
Original file line number Diff line number Diff line change
Expand Up @@ -358,6 +358,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
"FirstOrderTheory" = import ./nix/_First_Order_Theory.nix;
"FirstPrelude" = import ./nix/_First_Prelude.nix;
"FixedPoint-simple" = import ./nix/_Fixed_Point-simple.nix;
"Flint2" = import ./nix/_Flint2.nix;
"Flippi" = import ./nix/_Flippi.nix;
"FloatingHex" = import ./nix/_Floating_Hex.nix;
"Focus" = import ./nix/_Focus.nix;
Expand Down
55 changes: 55 additions & 0 deletions ...ge/Flint2-0.1.0.0-r0-7439f76b1c73f555e91346cd2889c8e09a5ec2b5c1845a5124003100f5485b10.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,55 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {};
package = {
specVersion = "1.18";
identifier = { name = "Flint2"; version = "0.1.0.0"; };
license = "BSD-3-Clause";
copyright = "Copyright (c) 2022 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 = "Please see the README on GitHub at <https://github.com/monien/Flint2#readme>";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."groups" or (errorHandler.buildDepError "groups"))
];
libs = [
(pkgs."flint" or (errorHandler.sysDepError "flint"))
(pkgs."gmp" or (errorHandler.sysDepError "gmp"))
];
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;
};
};
};
}
38 changes: 38 additions & 0 deletions ...e/MonadRandom-0.6-r4-039a76b6bcd714188d84f0f63c380440eb3fec9956777a74e4b8dcd4bda0e843.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,38 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {};
package = {
specVersion = "1.10";
identifier = { name = "MonadRandom"; version = "0.6"; };
license = "BSD-3-Clause";
copyright = "";
maintainer = "Brent Yorgey <[email protected]>";
author = "Cale Gibbard and others";
homepage = "";
url = "";
synopsis = "Random-number generation monad.";
description = "Support for computations which consume random values.";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
(hsPkgs."transformers-compat" or (errorHandler.buildDepError "transformers-compat"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."primitive" or (errorHandler.buildDepError "primitive"))
(hsPkgs."random" or (errorHandler.buildDepError "random"))
] ++ (pkgs.lib).optional (compiler.isGhc && (compiler.version).lt "8.0") (hsPkgs."fail" or (errorHandler.buildDepError "fail"));
buildable = true;
};
};
}
37 changes: 37 additions & 0 deletions ...heck-GenT-0.2.2.1-r0-d47077fe5225143892f66a8e6e3b8518ac03893edb05f26c03abea1f7ea60966.nix
View file
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 = "3.0";
identifier = { name = "QuickCheck-GenT"; version = "0.2.2.1"; };
license = "MIT";
copyright = "(c) 2013, Nikita Volkov";
maintainer = "Nikita Volkov <[email protected]>";
author = "Nikita Volkov <[email protected]>";
homepage = "https://github.com/nikita-volkov/QuickCheck-GenT";
url = "";
synopsis = "A GenT monad transformer for QuickCheck library.";
description = "";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."mmorph" or (errorHandler.buildDepError "mmorph"))
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
(hsPkgs."random" or (errorHandler.buildDepError "random"))
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
];
buildable = true;
};
};
}
47 changes: 47 additions & 0 deletions ...yte-order-0.1.3.0-r2-1033a7067c57412a0d96bef3bc4f965fa3d754cd894d569adfe47607cf6edf8c.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,47 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {};
package = {
specVersion = "2.2";
identifier = { name = "byte-order"; version = "0.1.3.0"; };
license = "BSD-3-Clause";
copyright = "2019 Andrew Martin";
maintainer = "[email protected]";
author = "Andrew Martin";
homepage = "https://github.com/andrewthad/byte-order";
url = "";
synopsis = "Portable big-endian and little-endian conversions";
description = "This library provides an interface to portably work with byte\narrays whose contents are known to be of a fixed endianness.\nThere are two ways to use this module. See the `System.ByteOrder`\nmodule for more documentation.";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."primitive" or (errorHandler.buildDepError "primitive"))
(hsPkgs."primitive-unaligned" or (errorHandler.buildDepError "primitive-unaligned"))
(hsPkgs."wide-word" or (errorHandler.buildDepError "wide-word"))
];
buildable = true;
};
tests = {
"unit" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."byte-order" or (errorHandler.buildDepError "byte-order"))
(hsPkgs."primitive" or (errorHandler.buildDepError "primitive"))
(hsPkgs."wide-word" or (errorHandler.buildDepError "wide-word"))
];
buildable = true;
};
};
};
}
89 changes: 89 additions & 0 deletions ...ytebuild-0.3.14.0-r1-3b5c17a8e923ade6c71e12584a3cd662705e3d0499fc0cd7c16e29524729f55d.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,89 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = { checked = false; };
package = {
specVersion = "2.2";
identifier = { name = "bytebuild"; version = "0.3.14.0"; };
license = "BSD-3-Clause";
copyright = "2019 Andrew Martin";
maintainer = "[email protected]";
author = "Andrew Martin";
homepage = "https://github.com/byteverse/bytebuild";
url = "";
synopsis = "Build byte arrays";
description = "This is similar to the builder facilities provided by\n`Data.ByteString.Builder`. It is intended to be used in\nsituations where the following apply:\n\n* An individual entity will be serialized as a small\nnumber of bytes (less than 512).\n\n* A large number (more than 32) of entities will be serialized\none after another without anything between them.\n\nUnlike builders from the `bytestring` package, these builders\ndo not track their state when they run out of space. A builder\nthat runs out of space simply aborts and is rerun at the beginning\nof the next chunk. This strategy for building is suitable for most\nCSVs and several line protocols (carbon, InfluxDB, etc.).";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."byteslice" or (errorHandler.buildDepError "byteslice"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."haskell-src-meta" or (errorHandler.buildDepError "haskell-src-meta"))
(hsPkgs."integer-logarithms" or (errorHandler.buildDepError "integer-logarithms"))
(hsPkgs."natural-arithmetic" or (errorHandler.buildDepError "natural-arithmetic"))
(hsPkgs."primitive-offset" or (errorHandler.buildDepError "primitive-offset"))
(hsPkgs."run-st" or (errorHandler.buildDepError "run-st"))
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."text-short" or (errorHandler.buildDepError "text-short"))
(hsPkgs."wide-word" or (errorHandler.buildDepError "wide-word"))
(hsPkgs."zigzag" or (errorHandler.buildDepError "zigzag"))
] ++ (if flags.checked
then [
(hsPkgs."primitive-checked" or (errorHandler.buildDepError "primitive-checked"))
]
else [
(hsPkgs."primitive" or (errorHandler.buildDepError "primitive"))
]);
buildable = true;
};
tests = {
"test" = {
depends = [
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."bytebuild" or (errorHandler.buildDepError "bytebuild"))
(hsPkgs."byteslice" or (errorHandler.buildDepError "byteslice"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."natural-arithmetic" or (errorHandler.buildDepError "natural-arithmetic"))
(hsPkgs."primitive" or (errorHandler.buildDepError "primitive"))
(hsPkgs."primitive-unlifted" or (errorHandler.buildDepError "primitive-unlifted"))
(hsPkgs."quickcheck-classes" or (errorHandler.buildDepError "quickcheck-classes"))
(hsPkgs."quickcheck-instances" or (errorHandler.buildDepError "quickcheck-instances"))
(hsPkgs."text-short" or (errorHandler.buildDepError "text-short"))
(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."vector" or (errorHandler.buildDepError "vector"))
(hsPkgs."wide-word" or (errorHandler.buildDepError "wide-word"))
];
buildable = true;
};
};
benchmarks = {
"bench" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."bytebuild" or (errorHandler.buildDepError "bytebuild"))
(hsPkgs."gauge" or (errorHandler.buildDepError "gauge"))
(hsPkgs."natural-arithmetic" or (errorHandler.buildDepError "natural-arithmetic"))
(hsPkgs."primitive" or (errorHandler.buildDepError "primitive"))
(hsPkgs."text-short" or (errorHandler.buildDepError "text-short"))
(hsPkgs."byteslice" or (errorHandler.buildDepError "byteslice"))
];
buildable = true;
};
};
};
}
42 changes: 42 additions & 0 deletions ...nt-output-1.10.20-r0-b0ebf122b3f22c9739045825334bd02bd2814752933a92db41e5b4648527139c.nix
View file
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 = "concurrent-output"; version = "1.10.20"; };
license = "BSD-2-Clause";
copyright = "2015-2021 Joey Hess, 2009 Joachim Breitner";
maintainer = "Joey Hess <[email protected]>";
author = "Joey Hess, Joachim Breitner";
homepage = "";
url = "";
synopsis = "Ungarble output from several threads or commands";
description = "Lets multiple threads and external processes concurrently output to the\nconsole, without it getting all garbled up.\n\nBuilt on top of that is a way of defining multiple output regions,\nwhich are automatically laid out on the screen and can be individually\nupdated by concurrent threads. Can be used for progress displays etc.\n\n<<https://joeyh.name/code/concurrent-output/demo2.gif>>";
buildType = "Simple";
};
components = {
"library" = {
depends = ([
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."async" or (errorHandler.buildDepError "async"))
(hsPkgs."stm" or (errorHandler.buildDepError "stm"))
(hsPkgs."process" or (errorHandler.buildDepError "process"))
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
(hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
(hsPkgs."ansi-terminal" or (errorHandler.buildDepError "ansi-terminal"))
] ++ (pkgs.lib).optional (!system.isWindows) (hsPkgs."unix" or (errorHandler.buildDepError "unix"))) ++ (pkgs.lib).optional (!system.isWasm32) (hsPkgs."terminal-size" or (errorHandler.buildDepError "terminal-size"));
buildable = true;
};
};
}
44 changes: 44 additions & 0 deletions ...ge/dialogue-0.1.0-r1-a6c1056b02a836436a3bab7b77ca2328358131e443ef4e3dd2d2b68eec4982bc.nix
View file
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.4";
identifier = { name = "dialogue"; version = "0.1.0"; };
license = "BSD-3-Clause";
copyright = "2022 Alias Qli";
maintainer = "[email protected]";
author = "Alias Qli";
homepage = "https://github.com/AliasQli/dialogue#readme";
url = "";
synopsis = "I/O in Haskell Report 1.2";
description = "Please see the README on GitHub at <https://github.com/AliasQli/dialogue#readme>";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
];
buildable = true;
};
exes = {
"examples" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."dialogue" or (errorHandler.buildDepError "dialogue"))
];
buildable = true;
};
};
};
}
Loading

0 comments on commit 785940d

Please sign in to comment.