Skip to content

Commit

Permalink
Automatic Update
Browse files Browse the repository at this point in the history
  • Loading branch information
IOHK committed Dec 6, 2024
1 parent bb0ec34 commit 3e12b54
Show file tree
Hide file tree
Showing 55 changed files with 3,009 additions and 7 deletions.
1 change: 1 addition & 0 deletions default.nix
View file
Original file line number Diff line number Diff line change
Expand Up @@ -837,6 +837,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
"MuCheck-Hspec" = import ./nix/_Mu_Check-_Hspec.nix;
"MuCheck-QuickCheck" = import ./nix/_Mu_Check-_Quick_Check.nix;
"MuCheck-SmallCheck" = import ./nix/_Mu_Check-_Small_Check.nix;
"MultiChor" = import ./nix/_Multi_Chor.nix;
"MultipletCombiner" = import ./nix/_Multiplet_Combiner.nix;
"Munkres" = import ./nix/_Munkres.nix;
"Munkres-simple" = import ./nix/_Munkres-simple.nix;
Expand Down
550 changes: 550 additions & 0 deletions ...MultiChor-1.0.0.0-r0-7e44a7abe6d9a8f359d0ee38040bf65ebf8c5e8edd40f36b98df12a86c71045b.nix
View file

Large diffs are not rendered by default.

532 changes: 532 additions & 0 deletions ...MultiChor-1.0.1.0-r0-f568a3842c719c7df5610f8613372856396f072bccf971e228cf0efb4bf2dc2d.nix
View file

Large diffs are not rendered by default.

72 changes: 72 additions & 0 deletions ...MultiChor-1.0.1.1-r0-7bb977db4b44bc9ccb566b6428e3dba35b336d5e638603665fac44ed47f17778.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,72 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = { test = false; };
package = {
specVersion = "3.0";
identifier = { name = "MultiChor"; version = "1.0.1.1"; };
license = "BSD-3-Clause";
copyright = "";
maintainer = "[email protected]";
author = "";
homepage = "";
url = "";
synopsis = "Type-safe and efficient choreographies with location-set polymorphism.";
description = "MultiChor is a library for functional choreographic programming in Haskell.";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."http-client" or (errorHandler.buildDepError "http-client"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."servant" or (errorHandler.buildDepError "servant"))
(hsPkgs."servant-client" or (errorHandler.buildDepError "servant-client"))
(hsPkgs."servant-server" or (errorHandler.buildDepError "servant-server"))
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
(hsPkgs."warp" or (errorHandler.buildDepError "warp"))
];
buildable = true;
};
tests = {
"testExamples" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."http-client" or (errorHandler.buildDepError "http-client"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."servant" or (errorHandler.buildDepError "servant"))
(hsPkgs."servant-client" or (errorHandler.buildDepError "servant-client"))
(hsPkgs."servant-server" or (errorHandler.buildDepError "servant-server"))
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
(hsPkgs."warp" or (errorHandler.buildDepError "warp"))
(hsPkgs."MultiChor" or (errorHandler.buildDepError "MultiChor"))
] ++ pkgs.lib.optionals (flags.test) [
(hsPkgs."async" or (errorHandler.buildDepError "async"))
(hsPkgs."binary" or (errorHandler.buildDepError "binary"))
(hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."cryptonite" or (errorHandler.buildDepError "cryptonite"))
(hsPkgs."finite-field" or (errorHandler.buildDepError "finite-field"))
(hsPkgs."split" or (errorHandler.buildDepError "split"))
(hsPkgs."random" or (errorHandler.buildDepError "random"))
(hsPkgs."time" or (errorHandler.buildDepError "time"))
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
];
buildable = if flags.test then true else false;
};
};
};
}
59 changes: 59 additions & 0 deletions .../bifunctors-5.6.2-r1-ffd926ed71d6a046b7d5d92980d92269d7198e6b4768ffd33d120b44b88c2bbe.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,59 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = { tagged = true; };
package = {
specVersion = "1.24";
identifier = { name = "bifunctors"; version = "5.6.2"; };
license = "BSD-3-Clause";
copyright = "Copyright (C) 2008-2016 Edward A. Kmett";
maintainer = "Edward A. Kmett <[email protected]>";
author = "Edward A. Kmett";
homepage = "http://github.com/ekmett/bifunctors/";
url = "";
synopsis = "Bifunctors";
description = "Bifunctors.";
buildType = "Simple";
};
components = {
"library" = {
depends = (([
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."assoc" or (errorHandler.buildDepError "assoc"))
(hsPkgs."comonad" or (errorHandler.buildDepError "comonad"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
(hsPkgs."th-abstraction" or (errorHandler.buildDepError "th-abstraction"))
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
] ++ pkgs.lib.optionals (!(compiler.isGhc && compiler.version.ge "8.2")) [
(hsPkgs."bifunctor-classes-compat" or (errorHandler.buildDepError "bifunctor-classes-compat"))
(hsPkgs."transformers-compat" or (errorHandler.buildDepError "transformers-compat"))
]) ++ pkgs.lib.optional (flags.tagged) (hsPkgs."tagged" or (errorHandler.buildDepError "tagged"))) ++ pkgs.lib.optional (!(compiler.isGhc && compiler.version.ge "9.6")) (hsPkgs."foldable1-classes-compat" or (errorHandler.buildDepError "foldable1-classes-compat"));
buildable = true;
};
tests = {
"bifunctors-spec" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."bifunctors" or (errorHandler.buildDepError "bifunctors"))
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
(hsPkgs."transformers-compat" or (errorHandler.buildDepError "transformers-compat"))
];
build-tools = [
(hsPkgs.pkgsBuildBuild.hspec-discover.components.exes.hspec-discover or (pkgs.pkgsBuildBuild.hspec-discover or (errorHandler.buildToolDepError "hspec-discover:hspec-discover")))
];
buildable = true;
};
};
};
}
50 changes: 50 additions & 0 deletions ...ist-skip-0.1.1.16-r0-b8a2b103cd4acf3ffa4a188505047f4a5a8beb192e417073d78a59781ab620d3.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,50 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = { demo = false; };
package = {
specVersion = "3.0";
identifier = { name = "brick-list-skip"; version = "0.1.1.16"; };
license = "0BSD";
copyright = "";
maintainer = "[email protected]";
author = "amano.kenji";
homepage = "https://codeberg.org/amano.kenji/brick-list-skip";
url = "";
synopsis = "Skip a certain kind of items when moving in brick list";
description = "This package contains functions that can be used in brick event handlers to skip a certain kind of items when\nmoving in brick list.\n\nFor example, you can skip a separator because selecting a separator doesn't make sense.\n\nYou can run demo programs to see how it works.\n\n== For Contributors\n\nThis library tries not to exceed 120 characters per line.";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."brick" or (errorHandler.buildDepError "brick"))
(hsPkgs."microlens" or (errorHandler.buildDepError "microlens"))
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
];
buildable = true;
};
exes = {
"brick-list-skip" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."brick" or (errorHandler.buildDepError "brick"))
(hsPkgs."microlens" or (errorHandler.buildDepError "microlens"))
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
(hsPkgs."brick-list-skip" or (errorHandler.buildDepError "brick-list-skip"))
(hsPkgs."vty" or (errorHandler.buildDepError "vty"))
];
buildable = if !flags.demo then false else true;
};
};
};
}
65 changes: 65 additions & 0 deletions ...lar-list-2.2.0.14-r0-fcb425e92cab9d480b3061853f421f942408e47ccdf6ad5d82d08ed3ff88977d.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,65 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = { demo = false; };
package = {
specVersion = "3.0";
identifier = { name = "brick-tabular-list"; version = "2.2.0.14"; };
license = "0BSD";
copyright = "";
maintainer = "[email protected]";
author = "amano.kenji";
homepage = "https://codeberg.org/amano.kenji/brick-tabular-list";
url = "";
synopsis = "Tabular list widgets for brick.";
description = "This package contains two tabular list widgets for brick.\n\n* Grid tabular list\n* Mixed tabular list\n\nA tabular list consists of cells(row columns), column headers, and row headers. Column headers and row headers are\noptional.\n\nIt can handle a very large data set if you delete invisible rows from memory and fetch visible rows from a database\n(file). For example, SQLite database file can handle a large spreadsheet.\n\n== To get started\n\n* Read \"Brick.Widgets.TabularList.Grid\" or \"Brick.Widgets.TabularList.Mixed\".\n* Run demo programs. To learn more quickly, modify and run demo programs.\n\n== Lens support\n\nIf you want to use lens, I encourage using @OverloadedLabels@ extension with generic-lens or optics-core.\n\nFor zoom, you have to use van Laarhoven lens because brick supports zoom through microlens.\n\n== For Contributors\n\nThis library tries not to exceed 120 characters per line.";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."brick" or (errorHandler.buildDepError "brick"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."generic-lens" or (errorHandler.buildDepError "generic-lens"))
(hsPkgs."microlens" or (errorHandler.buildDepError "microlens"))
(hsPkgs."optics-core" or (errorHandler.buildDepError "optics-core"))
(hsPkgs."vty" or (errorHandler.buildDepError "vty"))
];
buildable = true;
};
exes = {
"mixed-tabular-list" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."brick" or (errorHandler.buildDepError "brick"))
(hsPkgs."brick-tabular-list" or (errorHandler.buildDepError "brick-tabular-list"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."optics-core" or (errorHandler.buildDepError "optics-core"))
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
(hsPkgs."vty" or (errorHandler.buildDepError "vty"))
];
buildable = if !flags.demo then false else true;
};
"grid-tabular-list" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."brick" or (errorHandler.buildDepError "brick"))
(hsPkgs."brick-tabular-list" or (errorHandler.buildDepError "brick-tabular-list"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."optics-core" or (errorHandler.buildDepError "optics-core"))
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
(hsPkgs."vty" or (errorHandler.buildDepError "vty"))
];
buildable = if !flags.demo then false else true;
};
};
};
}
65 changes: 65 additions & 0 deletions ...lar-list-2.2.0.15-r0-200e9a61c1be42c0c1bb08321cad179cf132366522ba34f3c43f5e331cc08579.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,65 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = { demo = false; };
package = {
specVersion = "3.0";
identifier = { name = "brick-tabular-list"; version = "2.2.0.15"; };
license = "0BSD";
copyright = "";
maintainer = "[email protected]";
author = "amano.kenji";
homepage = "https://codeberg.org/amano.kenji/brick-tabular-list";
url = "";
synopsis = "Tabular list widgets for brick.";
description = "This package contains two tabular list widgets for brick.\n\n* Grid tabular list\n* Mixed tabular list\n\nA tabular list consists of cells(row columns), column headers, and row headers. Column headers and row headers are\noptional.\n\nIt can handle a very large data set if you delete invisible rows from memory and fetch visible rows from a database\n(file). For example, SQLite database file can handle a large spreadsheet.\n\n== To get started\n\n* Read \"Brick.Widgets.TabularList.Grid\" or \"Brick.Widgets.TabularList.Mixed\".\n* Run demo programs. To learn more quickly, modify and run demo programs.\n\n== Lens support\n\nIf you want to use lens, I encourage using @OverloadedLabels@ extension with generic-lens or optics-core.\n\nFor zoom, you have to use van Laarhoven lens because brick supports zoom through microlens.\n\n== For Contributors\n\nThis library tries not to exceed 120 characters per line.";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."brick" or (errorHandler.buildDepError "brick"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."generic-lens" or (errorHandler.buildDepError "generic-lens"))
(hsPkgs."microlens" or (errorHandler.buildDepError "microlens"))
(hsPkgs."optics-core" or (errorHandler.buildDepError "optics-core"))
(hsPkgs."vty" or (errorHandler.buildDepError "vty"))
];
buildable = true;
};
exes = {
"mixed-tabular-list" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."brick" or (errorHandler.buildDepError "brick"))
(hsPkgs."brick-tabular-list" or (errorHandler.buildDepError "brick-tabular-list"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."optics-core" or (errorHandler.buildDepError "optics-core"))
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
(hsPkgs."vty" or (errorHandler.buildDepError "vty"))
];
buildable = if !flags.demo then false else true;
};
"grid-tabular-list" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."brick" or (errorHandler.buildDepError "brick"))
(hsPkgs."brick-tabular-list" or (errorHandler.buildDepError "brick-tabular-list"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."optics-core" or (errorHandler.buildDepError "optics-core"))
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
(hsPkgs."vty" or (errorHandler.buildDepError "vty"))
];
buildable = if !flags.demo then false else true;
};
};
};
}
43 changes: 43 additions & 0 deletions ...e/dwergaz-0.3.0.1-r0-4d6c456d86172f3959b4fc69ce64ee669aee1bc5acc00f150ea1c22f3f07d664.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,43 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {};
package = {
specVersion = "2.4";
identifier = { name = "dwergaz"; version = "0.3.0.1"; };
license = "ISC";
copyright = "Copyright (c) 2017-2024, Henry Till";
maintainer = "[email protected]";
author = "Henry Till";
homepage = "https://github.com/henrytill/dwergaz";
url = "";
synopsis = "A minimal testing library";
description = "dwergaz is a minimal testing library.";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."pretty" or (errorHandler.buildDepError "pretty"))
];
buildable = true;
};
tests = {
"tests" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."dwergaz" or (errorHandler.buildDepError "dwergaz"))
];
buildable = true;
};
};
};
}
Loading

0 comments on commit 3e12b54

Please sign in to comment.