Skip to content

Commit

Permalink
Automatic Update
Browse files Browse the repository at this point in the history
  • Loading branch information
IOHK committed Dec 23, 2023
1 parent d304ad1 commit ece9853
Show file tree
Hide file tree
Showing 59 changed files with 2,102 additions and 8 deletions.
1 change: 1 addition & 0 deletions default.nix
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7800,6 +7800,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
"highlighter" = import ./nix/highlighter.nix;
"highlighter2" = import ./nix/highlighter2.nix;
"highlighting-kate" = import ./nix/highlighting-kate.nix;
"highs-lp" = import ./nix/highs-lp.nix;
"hills" = import ./nix/hills.nix;
"himerge" = import ./nix/himerge.nix;
"himg" = import ./nix/himg.nix;
Expand Down
49 changes: 49 additions & 0 deletions ...ge/Cabal-3.10.2.1-r1-0f7cc73c7c0c18464ce249c97267a5188d796690a926d73b6e084a4612a66e32.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,49 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {};
package = {
specVersion = "2.2";
identifier = { name = "Cabal"; version = "3.10.2.1"; };
license = "BSD-3-Clause";
copyright = "2003-2023, Cabal Development Team (see AUTHORS file)";
maintainer = "[email protected]";
author = "Cabal Development Team <[email protected]>";
homepage = "http://www.haskell.org/cabal/";
url = "";
synopsis = "A framework for packaging Haskell software";
description = "The Haskell Common Architecture for Building Applications and\nLibraries: a framework defining a common interface for authors to more\neasily build their Haskell applications in a portable way.\n\nThe Haskell Cabal is part of a larger infrastructure for distributing,\norganizing, and cataloging Haskell libraries and tools.";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."Cabal-syntax" or (errorHandler.buildDepError "Cabal-syntax"))
(hsPkgs."array" or (errorHandler.buildDepError "array"))
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
(hsPkgs."pretty" or (errorHandler.buildDepError "pretty"))
(hsPkgs."process" or (errorHandler.buildDepError "process"))
(hsPkgs."time" or (errorHandler.buildDepError "time"))
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."parsec" or (errorHandler.buildDepError "parsec"))
] ++ (if system.isWindows
then [ (hsPkgs."Win32" or (errorHandler.buildDepError "Win32")) ]
else [ (hsPkgs."unix" or (errorHandler.buildDepError "unix")) ]);
buildable = true;
};
};
}
48 changes: 48 additions & 0 deletions ...l-syntax-3.10.2.0-r1-b2235bd61763a826259805a34ba3538888fe06850fc6bc1712e625baedf07c16.nix
View file
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 = "2.2";
identifier = { name = "Cabal-syntax"; version = "3.10.2.0"; };
license = "BSD-3-Clause";
copyright = "2003-2023, Cabal Development Team (see AUTHORS file)";
maintainer = "[email protected]";
author = "Cabal Development Team <[email protected]>";
homepage = "http://www.haskell.org/cabal/";
url = "";
synopsis = "A library for working with .cabal files";
description = "This library provides tools for reading and manipulating the .cabal file\nformat.";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."array" or (errorHandler.buildDepError "array"))
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."binary" or (errorHandler.buildDepError "binary"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."parsec" or (errorHandler.buildDepError "parsec"))
(hsPkgs."pretty" or (errorHandler.buildDepError "pretty"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."time" or (errorHandler.buildDepError "time"))
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
] ++ (if system.isWindows
then [ (hsPkgs."Win32" or (errorHandler.buildDepError "Win32")) ]
else [ (hsPkgs."unix" or (errorHandler.buildDepError "unix")) ]);
buildable = true;
};
};
}
39 changes: 39 additions & 0 deletions .../bearriver-0.14.6-r0-eae8cd67d450807073724692af81ee07bcc0a86a4e9d2041878ba082440d44db.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,39 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {};
package = {
specVersion = "1.10";
identifier = { name = "bearriver"; version = "0.14.6"; };
license = "BSD-3-Clause";
copyright = "Copyright (c) 2019-2022 - Ivan Perez\n,\nCopyright (c) 2016-2018 - Ivan Perez and Manuel Bärenz";
maintainer = "[email protected]";
author = "Ivan Perez, Manuel Bärenz";
homepage = "https://github.com/ivanperez-keera/dunai";
url = "";
synopsis = "FRP Yampa replacement implemented with Monadic Stream Functions.";
description = "<https://hackage.haskell.org/package/Yampa Yampa> is a popular Functional\nReactive Programming (FRP) implementation that has been used extensively for\nall kinds of applications, including robotics and games.\n\n<https://dl.acm.org/doi/10.1145/2976002.2976010 Monadic Stream Functions> are\na new abstraction for data processors that combine arrows and monads. The\nlibrary <https://hackage.haskell.org/package/dunai dunai> provides a default\nimplementation.\n\nBearriver (a tributary to the Yampa river) provides the same API as Yampa,\nbut implemented using dunai underneath. The goal is to facilitate\nunderstanding what's different about Yampa, and other FRP and Reactive\nProgramming libraries, by creating wrappers around dunai defined precisely by\nthose differences.\n\nBecause dunai is particularly fast, especially with optimizations enabled,\nthis implementation is faster than traditional Yampa for medium-sized and\nlarge applications.";
buildType = "Simple";
};
components = {
"library" = {
depends = ([
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
(hsPkgs."dunai" or (errorHandler.buildDepError "dunai"))
(hsPkgs."MonadRandom" or (errorHandler.buildDepError "MonadRandom"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."simple-affine-space" or (errorHandler.buildDepError "simple-affine-space"))
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
] ++ (pkgs.lib).optional (compiler.isGhc && (compiler.version).le "7.8.4") (hsPkgs."MonadRandom" or (errorHandler.buildDepError "MonadRandom"))) ++ (pkgs.lib).optional (!(compiler.isGhc && (compiler.version).ge "8.0")) (hsPkgs."fail" or (errorHandler.buildDepError "fail"));
buildable = true;
};
};
}
46 changes: 46 additions & 0 deletions hackage/box-0.9.3.1-r0-5b1f13b621340f35e55f2ef707a45733d5edab1ba90ac4faea75a3cccbe22d8a.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,46 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {};
package = {
specVersion = "3.0";
identifier = { name = "box"; version = "0.9.3.1"; };
license = "BSD-3-Clause";
copyright = "Tony Day (c) 2017";
maintainer = "[email protected]";
author = "Tony Day";
homepage = "https://github.com/tonyday567/box#readme";
url = "";
synopsis = "A profunctor effect system.";
description = "This might be a profunctor effect system, but unlike all the others. See the project readme.org for usage and discussion: https://github.com/tonyday567/box#readme.org";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."async" or (errorHandler.buildDepError "async"))
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."contravariant" or (errorHandler.buildDepError "contravariant"))
(hsPkgs."dlist" or (errorHandler.buildDepError "dlist"))
(hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
(hsPkgs."kan-extensions" or (errorHandler.buildDepError "kan-extensions"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."profunctors" or (errorHandler.buildDepError "profunctors"))
(hsPkgs."semigroupoids" or (errorHandler.buildDepError "semigroupoids"))
(hsPkgs."stm" or (errorHandler.buildDepError "stm"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."time" or (errorHandler.buildDepError "time"))
];
buildable = true;
};
};
}
50 changes: 50 additions & 0 deletions ...ox-socket-0.5.1.0-r0-515f9e3edd5268555d20e1222395d4528d45fab06a376a5902f7e7f2254e9c72.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 = {};
package = {
specVersion = "3.0";
identifier = { name = "box-socket"; version = "0.5.1.0"; };
license = "BSD-3-Clause";
copyright = "Tony Day (c) 2017";
maintainer = "[email protected]";
author = "Tony Day";
homepage = "https://github.com/tonyday567/box-socket#readme";
url = "";
synopsis = "Box websockets";
description = "Websockets built with the box library.";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."async" or (errorHandler.buildDepError "async"))
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."box" or (errorHandler.buildDepError "box"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."network-simple" or (errorHandler.buildDepError "network-simple"))
(hsPkgs."profunctors" or (errorHandler.buildDepError "profunctors"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."websockets" or (errorHandler.buildDepError "websockets"))
];
buildable = true;
};
exes = {
"box-socket" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."box-socket" or (errorHandler.buildDepError "box-socket"))
(hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
];
buildable = true;
};
};
};
}
50 changes: 50 additions & 0 deletions ...ist-skip-0.1.1.11-r0-33c51906cb3e3e39a352d05b1af7b5324fbe60d214ef60c5db0f7c7da65716de.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.11"; };
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 ...ular-list-2.2.0.9-r0-0e33d0c44f2572f7a2a71cd2e9c6a599b04127fdb765021a8c130c5f0d7e2645.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.9"; };
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;
};
};
};
}
Loading

0 comments on commit ece9853

Please sign in to comment.