Skip to content

Commit

Permalink
Automatic Update
Browse files Browse the repository at this point in the history
  • Loading branch information
IOHK committed Sep 23, 2024
1 parent f6e5c93 commit 43c8664
Show file tree
Hide file tree
Showing 41 changed files with 1,441 additions and 1 deletion.
2 changes: 2 additions & 0 deletions default.nix
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12129,6 +12129,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
"partial-uri" = import ./nix/partial-uri.nix;
"partialord" = import ./nix/partialord.nix;
"partly" = import ./nix/partly.nix;
"paseto" = import ./nix/paseto.nix;
"passage" = import ./nix/passage.nix;
"passman" = import ./nix/passman.nix;
"passman-cli" = import ./nix/passman-cli.nix;
Expand Down Expand Up @@ -16535,6 +16536,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
"typed-gui" = import ./nix/typed-gui.nix;
"typed-process" = import ./nix/typed-process.nix;
"typed-process-effectful" = import ./nix/typed-process-effectful.nix;
"typed-range" = import ./nix/typed-range.nix;
"typed-session" = import ./nix/typed-session.nix;
"typed-session-state-algorithm" = import ./nix/typed-session-state-algorithm.nix;
"typed-spreadsheet" = import ./nix/typed-spreadsheet.nix;
Expand Down
51 changes: 51 additions & 0 deletions ...ge/GLFW-b-3.3.9.1-r0-5033d900d04402942309bad4c0d124627947d6652f165407a147a6d669d88e21.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,51 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {};
package = {
specVersion = "1.10";
identifier = { name = "GLFW-b"; version = "3.3.9.1"; };
license = "BSD-3-Clause";
copyright = "";
maintainer = "Brian Lewis <[email protected]>\n, Schell Scivally <[email protected]>\n, Pavel Krajcevski <[email protected]>";
author = "Brian Lewis <[email protected]>";
homepage = "";
url = "";
synopsis = "Bindings to GLFW OpenGL library";
description = "Bindings to GLFW (<http://www.glfw.org/>), an open source, multi-platform\nlibrary for creating windows with OpenGL contexts and managing input and\nevents.\n\nGLFW-b depends on bindings-GLFW\n(<http://hackage.haskell.org/package/bindings-GLFW>), which, as of the time\nof this writing, binds to GLFW 3.3.9, released 2023-12-13\n(<http://www.glfw.org/Version-3.3.0-released.html>\n<http://www.glfw.org/changelog.html>).\n\nIf you've used GLFW < 3 before, you should read the transition guide\n(<http://www.glfw.org/docs/3.0/moving.html>).";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
(hsPkgs."array" or (errorHandler.buildDepError "array"))
(hsPkgs."bindings-GLFW" or (errorHandler.buildDepError "bindings-GLFW"))
];
buildable = true;
};
tests = {
"main" = {
depends = [
(hsPkgs."GLFW-b" or (errorHandler.buildDepError "GLFW-b"))
(hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit"))
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."array" or (errorHandler.buildDepError "array"))
(hsPkgs."bindings-GLFW" or (errorHandler.buildDepError "bindings-GLFW"))
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
(hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework"))
(hsPkgs."test-framework-hunit" or (errorHandler.buildDepError "test-framework-hunit"))
];
buildable = true;
};
};
};
}
59 changes: 59 additions & 0 deletions ...ge/Sit-0.2023.8.3-r1-8dcd89f73123b36a05fbed9bf54cfa9a6eee2b44c169ab3b3ebaf67405e54d38.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 = {};
package = {
specVersion = "1.10";
identifier = { name = "Sit"; version = "0.2023.8.3"; };
license = "LicenseRef-OtherLicense";
copyright = "";
maintainer = "Andreas Abel <[email protected]>";
author = "Andreas Abel <[email protected]>";
homepage = "https://github.com/andreasabel/Sit";
url = "";
synopsis = "Prototypical type checker for Type Theory with Sized Natural Numbers";
description = "Sit = Size-irrelevant types\n\nSit is a prototypical language with an Agda-compatible syntax.\nIt has dependent function types, universes, sized natural numbers,\nand case and recursion over natural numbers.\nThere is a relevant and an irrelevant quantifier over sizes.\nFor an example, see file test/Test.agda.";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."array" or (errorHandler.buildDepError "array"))
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."data-lens-light" or (errorHandler.buildDepError "data-lens-light"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
];
build-tools = [
(hsPkgs.pkgsBuildBuild.alex.components.exes.alex or (pkgs.pkgsBuildBuild.alex or (errorHandler.buildToolDepError "alex:alex")))
(hsPkgs.pkgsBuildBuild.happy.components.exes.happy or (pkgs.pkgsBuildBuild.happy or (errorHandler.buildToolDepError "happy:happy")))
];
buildable = true;
};
exes = {
"Sit.bin" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."Sit" or (errorHandler.buildDepError "Sit"))
];
buildable = true;
};
};
tests = {
"system-test" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."Sit" or (errorHandler.buildDepError "Sit"))
];
buildable = true;
};
};
};
}
75 changes: 75 additions & 0 deletions ...aftovolio-0.2.0.0-r0-dbac3e1f2c5d334d9347c543abdd117be77ab868df8a3350e8e9346e15a10e3a.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,75 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {};
package = {
specVersion = "2.4";
identifier = { name = "aftovolio"; version = "0.2.0.0"; };
license = "MIT";
copyright = "Oleksandr Zhabenko";
maintainer = "[email protected]";
author = "Oleksandr Zhabenko";
homepage = "";
url = "";
synopsis = "An AFTOVolio implementation for creating texts with special phonetic / prosodic properties.";
description = "It is another project that is based on the similar ideas as [phonetic-languages-simplified-examples-array package](https://hackage.haskell.org/package/phonetic-languages-simplified-examples-array). It combines general functionality with an example of complete one for Ukrainian language with extended documentation, mostly in the README.md file. ";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."rhythmic-sequences" or (errorHandler.buildDepError "rhythmic-sequences"))
(hsPkgs."cli-arguments" or (errorHandler.buildDepError "cli-arguments"))
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
(hsPkgs."rev-scientific" or (errorHandler.buildDepError "rev-scientific"))
(hsPkgs."async" or (errorHandler.buildDepError "async"))
(hsPkgs."mmsyn2-array" or (errorHandler.buildDepError "mmsyn2-array"))
(hsPkgs."minmax" or (errorHandler.buildDepError "minmax"))
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
(hsPkgs."monoid-insertleft" or (errorHandler.buildDepError "monoid-insertleft"))
(hsPkgs."intermediate-structures" or (errorHandler.buildDepError "intermediate-structures"))
(hsPkgs."quantizer" or (errorHandler.buildDepError "quantizer"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."lists-flines" or (errorHandler.buildDepError "lists-flines"))
];
buildable = true;
};
exes = {
"aftovolioUkr" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."rhythmic-sequences" or (errorHandler.buildDepError "rhythmic-sequences"))
(hsPkgs."cli-arguments" or (errorHandler.buildDepError "cli-arguments"))
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
(hsPkgs."rev-scientific" or (errorHandler.buildDepError "rev-scientific"))
(hsPkgs."async" or (errorHandler.buildDepError "async"))
(hsPkgs."mmsyn2-array" or (errorHandler.buildDepError "mmsyn2-array"))
(hsPkgs."minmax" or (errorHandler.buildDepError "minmax"))
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
(hsPkgs."monoid-insertleft" or (errorHandler.buildDepError "monoid-insertleft"))
(hsPkgs."intermediate-structures" or (errorHandler.buildDepError "intermediate-structures"))
(hsPkgs."quantizer" or (errorHandler.buildDepError "quantizer"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."lists-flines" or (errorHandler.buildDepError "lists-flines"))
];
buildable = true;
};
"unconcatUkr2" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."mmsyn2-array" or (errorHandler.buildDepError "mmsyn2-array"))
(hsPkgs."intermediate-structures" or (errorHandler.buildDepError "intermediate-structures"))
];
buildable = true;
};
};
};
}
88 changes: 88 additions & 0 deletions ...ings-GLFW-3.3.9.2-r0-8be764c9e1582fa17be4dc1e1a3835223a270ce0ea787109f46d48c968fde9d6.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,88 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {
system-glfw = false;
macosxusechdir = true;
macosxusemenubar = true;
macosxuseretina = true;
x = true;
wayland = false;
osmesa = false;
exposenative = false;
};
package = {
specVersion = "1.10";
identifier = { name = "bindings-GLFW"; version = "3.3.9.2"; };
license = "BSD-3-Clause";
copyright = "";
maintainer = "Brian Lewis <[email protected]>\n, Schell Scivally <[email protected]>\n, Javier Jaramago <[email protected]>\n, Pavel Krajcevski <[email protected]>";
author = "Brian Lewis <[email protected]>";
homepage = "";
url = "";
synopsis = "Low-level bindings to GLFW OpenGL library";
description = "Low-level bindings to GLFW (<http://www.glfw.org/>), an open source,\nmulti-platform library for creating windows with OpenGL contexts and managing\ninput and events.\n\nThe binding is to GLFW 3.3, released 2019-04-15\n(<http://www.glfw.org/Version-3.3-released.html>\n<http://www.glfw.org/changelog.html>).\n\n/These bindings are too low-level for normal use./ For higher-level bindings,\nsee GLFW-b (<http://hackage.haskell.org/package/GLFW-b>).\n\nIf you've used GLFW before, you were probably using 2.7.x. There are some\nsignificant differences in 3.x.x. Please see the transition guide\n(<http://www.glfw.org/docs/3.3/moving.html>).";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."bindings-DSL" or (errorHandler.buildDepError "bindings-DSL"))
];
libs = pkgs.lib.optionals (!flags.system-glfw) (pkgs.lib.optionals (system.isLinux || system.isFreebsd) [
(pkgs."GL" or (errorHandler.sysDepError "GL"))
(pkgs."X11" or (errorHandler.sysDepError "X11"))
(pkgs."Xi" or (errorHandler.sysDepError "Xi"))
(pkgs."Xrandr" or (errorHandler.sysDepError "Xrandr"))
(pkgs."Xxf86vm" or (errorHandler.sysDepError "Xxf86vm"))
(pkgs."Xcursor" or (errorHandler.sysDepError "Xcursor"))
(pkgs."Xinerama" or (errorHandler.sysDepError "Xinerama"))
(pkgs."pthread" or (errorHandler.sysDepError "pthread"))
] ++ pkgs.lib.optionals (system.isWindows) [
(pkgs."opengl32" or (errorHandler.sysDepError "opengl32"))
(pkgs."Gdi32" or (errorHandler.sysDepError "Gdi32"))
]);
frameworks = pkgs.lib.optionals (!flags.system-glfw) (pkgs.lib.optionals (system.isOsx) [
(pkgs."AGL" or (errorHandler.sysDepError "AGL"))
(pkgs."Cocoa" or (errorHandler.sysDepError "Cocoa"))
(pkgs."OpenGL" or (errorHandler.sysDepError "OpenGL"))
(pkgs."IOKit" or (errorHandler.sysDepError "IOKit"))
(pkgs."CoreFoundation" or (errorHandler.sysDepError "CoreFoundation"))
(pkgs."CoreVideo" or (errorHandler.sysDepError "CoreVideo"))
]);
pkgconfig = pkgs.lib.optional (flags.system-glfw) (pkgconfPkgs."glfw3" or (errorHandler.pkgConfDepError "glfw3"));
build-tools = [
(hsPkgs.pkgsBuildBuild.hsc2hs.components.exes.hsc2hs or (pkgs.pkgsBuildBuild.hsc2hs or (errorHandler.buildToolDepError "hsc2hs:hsc2hs")))
];
buildable = true;
};
tests = {
"main" = {
depends = [
(hsPkgs."bindings-GLFW" or (errorHandler.buildDepError "bindings-GLFW"))
(hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit"))
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework"))
(hsPkgs."test-framework-hunit" or (errorHandler.buildDepError "test-framework-hunit"))
];
frameworks = [
(pkgs."AGL" or (errorHandler.sysDepError "AGL"))
(pkgs."Cocoa" or (errorHandler.sysDepError "Cocoa"))
(pkgs."OpenGL" or (errorHandler.sysDepError "OpenGL"))
(pkgs."IOKit" or (errorHandler.sysDepError "IOKit"))
(pkgs."CoreFoundation" or (errorHandler.sysDepError "CoreFoundation"))
(pkgs."CoreVideo" or (errorHandler.sysDepError "CoreVideo"))
];
buildable = true;
};
};
};
}
42 changes: 42 additions & 0 deletions ...skell-src-1.0.4.1-r0-b650b0b6396df19b0b4b346c4235f059343744317504534974eee1342659683d.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 = "haskell-src"; version = "1.0.4.1"; };
license = "BSD-3-Clause";
copyright = "";
maintainer = "Andreas Abel";
author = "Simon Marlow, Sven Panne and Noel Winstanley";
homepage = "";
url = "";
synopsis = "Support for manipulating Haskell source code";
description = "The @haskell-src@ package provides support for manipulating Haskell\nsource code. The package provides a lexer, parser and\npretty-printer, and a definition of a Haskell abstract syntax tree\n(AST). Common uses of this package are to parse or generate\n<http://www.haskell.org/onlinereport/ Haskell 98> code.";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."syb" or (errorHandler.buildDepError "syb"))
(hsPkgs."pretty" or (errorHandler.buildDepError "pretty"))
(hsPkgs."array" or (errorHandler.buildDepError "array"))
] ++ pkgs.lib.optionals (!(compiler.isGhc && compiler.version.ge "8.0")) [
(hsPkgs."fail" or (errorHandler.buildDepError "fail"))
(hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups"))
];
build-tools = [
(hsPkgs.pkgsBuildBuild.happy.components.exes.happy or (pkgs.pkgsBuildBuild.happy or (errorHandler.buildToolDepError "happy:happy")))
];
buildable = true;
};
};
}
Loading

0 comments on commit 43c8664

Please sign in to comment.