-
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
Jan 28, 2025
1 parent
5f787e9
commit c4545bb
Showing
33 changed files
with
966 additions
and
13 deletions.
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
43 changes: 43 additions & 0 deletions
43
...age/PSQueue-1.2.1-r0-d55c70bd5228a254be6b64ecebb333cb3ae931443a47d3501391a2f9f8363da3.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,43 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "2.0"; | ||
identifier = { name = "PSQueue"; version = "1.2.1"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = ""; | ||
maintainer = "Teo Camarasu <[email protected]>"; | ||
author = "Ralf Hinze"; | ||
homepage = ""; | ||
url = ""; | ||
synopsis = "Priority Search Queue"; | ||
description = "A /priority search queue/ efficiently supports the\noperations of both a search tree and a priority queue. A\n'Binding' is a product of a key and a priority. Bindings\ncan be inserted, deleted, modified and queried in\nlogarithmic time, and the binding with the least priority\ncan be retrieved in constant time. A queue can be built\nfrom a list of bindings, sorted by keys, in linear time."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"test" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."PSQueue" or (errorHandler.buildDepError "PSQueue")) | ||
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) | ||
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) | ||
(hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
47 changes: 47 additions & 0 deletions
47
...ror-codes-0.1.3.1-r1-3a51dc9e246ac3095886a3f1c7aec91c6f64e6ad5dc8954a2bc0b44b13474cb0.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,47 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "2.2"; | ||
identifier = { name = "error-codes"; version = "0.1.3.1"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = "2019 Andrew Martin"; | ||
maintainer = "[email protected]"; | ||
author = "Andrew Martin"; | ||
homepage = "https://github.com/byteverse/error-codes"; | ||
url = ""; | ||
synopsis = "Error code functions"; | ||
description = "A library for creating human-readable descriptions of error codes from the operating system."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."primitive" or (errorHandler.buildDepError "primitive")) | ||
(hsPkgs."primitive-unlifted" or (errorHandler.buildDepError "primitive-unlifted")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."text-short" or (errorHandler.buildDepError "text-short")) | ||
]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"test" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."error-codes" or (errorHandler.buildDepError "error-codes")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
75 changes: 75 additions & 0 deletions
75
...e/fast-tags-2.0.3-r0-c49282b9edeeff747560d4856b803852b92e5d291c9a6cfadb48254a14fc34e6.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,75 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = { profile = false; }; | ||
package = { | ||
specVersion = "1.10"; | ||
identifier = { name = "fast-tags"; version = "2.0.3"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = ""; | ||
maintainer = "Evan Laforge <[email protected]>"; | ||
author = "Evan Laforge"; | ||
homepage = "https://github.com/elaforge/fast-tags"; | ||
url = ""; | ||
synopsis = "Fast incremental vi and emacs tags."; | ||
description = "Yet another tags program. Like hasktags, it uses its own parser rather\nthan haskell-src or haskell-src-exts, so it's fast. It understands\nhsc and literate haskell.\n\nIn addition, it will load an existing tags file and merge generated tags.\n\nThe intent is to bind it to vim's BufWrite autocommand to automatically\nkeep the tags file up to date. This only works for files changed by the\neditor of course, so there are separate git hooks to update on pulls etc.\n\nWith the --fully_qualified flag and a fancy vim function, it can\ndisambiguate tags based on their qualification, even if it's locally\nrenamed. So M.x will find A.B.x if you import A.B as M.\n\nTo see the configuration examples, you probably have to get the source via\ncabal unpack or git clone.\n\nLimitations:\n\n- Not using a real haskell parser means there is likely to be dark\ncorners that don't parse right.\n\n- Code has to be indented \\\"properly\\\", so brace and semicolon style with\nstrange dedents will probably confuse it."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal")) | ||
(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."filepath" or (errorHandler.buildDepError "filepath")) | ||
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
(hsPkgs."vector" or (errorHandler.buildDepError "vector")) | ||
(hsPkgs."void" or (errorHandler.buildDepError "void")) | ||
]; | ||
build-tools = [ | ||
(hsPkgs.pkgsBuildBuild.alex.components.exes.alex or (pkgs.pkgsBuildBuild.alex or (errorHandler.buildToolDepError "alex:alex"))) | ||
]; | ||
buildable = true; | ||
}; | ||
exes = { | ||
"fast-tags" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) | ||
(hsPkgs."directory" or (errorHandler.buildDepError "directory")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."async" or (errorHandler.buildDepError "async")) | ||
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) | ||
(hsPkgs."fast-tags" or (errorHandler.buildDepError "fast-tags")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
tests = { | ||
"test-fast-tags" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) | ||
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."void" or (errorHandler.buildDepError "void")) | ||
(hsPkgs."fast-tags" or (errorHandler.buildDepError "fast-tags")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
40 changes: 40 additions & 0 deletions
40
...age/gi-gdk-3.0.30-r1-b45f49758d48eb1171174a361bbf5eff70d0103f9ea70dfbec101e92656fc2dd.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,40 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "2.0"; | ||
identifier = { name = "gi-gdk"; version = "3.0.30"; }; | ||
license = "LGPL-2.1-only"; | ||
copyright = ""; | ||
maintainer = "Iñaki García Etxebarria"; | ||
author = "Iñaki García Etxebarria"; | ||
homepage = "https://github.com/haskell-gi/haskell-gi"; | ||
url = ""; | ||
synopsis = "Gdk 3.x bindings (compatibility layer)"; | ||
description = "This package re-exports (for backward compatibility)\nthe haskell-gi generated bindings in the gi-gdk3 package."; | ||
buildType = "Custom"; | ||
setup-depends = [ | ||
(hsPkgs.pkgsBuildBuild.base or (pkgs.pkgsBuildBuild.base or (errorHandler.setupDepError "base"))) | ||
(hsPkgs.pkgsBuildBuild.haskell-gi or (pkgs.pkgsBuildBuild.haskell-gi or (errorHandler.setupDepError "haskell-gi"))) | ||
(hsPkgs.pkgsBuildBuild.Cabal or (pkgs.pkgsBuildBuild.Cabal or (errorHandler.setupDepError "Cabal"))) | ||
(hsPkgs.pkgsBuildBuild.gi-gdk3 or (pkgs.pkgsBuildBuild.gi-gdk3 or (errorHandler.setupDepError "gi-gdk3"))) | ||
]; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."gi-gdk3" or (errorHandler.buildDepError "gi-gdk3")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
} |
40 changes: 40 additions & 0 deletions
40
...age/gi-gdk-4.0.10-r1-43f7e6f2d71a4f6b8b2b17c1790ba3a9f4f5bd781a2713d0343a9a491010957e.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,40 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "2.0"; | ||
identifier = { name = "gi-gdk"; version = "4.0.10"; }; | ||
license = "LGPL-2.1-only"; | ||
copyright = ""; | ||
maintainer = "Iñaki García Etxebarria"; | ||
author = "Iñaki García Etxebarria"; | ||
homepage = "https://github.com/haskell-gi/haskell-gi"; | ||
url = ""; | ||
synopsis = "Gdk bindings (compatibility layer)"; | ||
description = "This package re-exports (for backward compatibility)\nthe haskell-gi generated bindings in the gi-gdk4 package."; | ||
buildType = "Custom"; | ||
setup-depends = [ | ||
(hsPkgs.pkgsBuildBuild.base or (pkgs.pkgsBuildBuild.base or (errorHandler.setupDepError "base"))) | ||
(hsPkgs.pkgsBuildBuild.haskell-gi or (pkgs.pkgsBuildBuild.haskell-gi or (errorHandler.setupDepError "haskell-gi"))) | ||
(hsPkgs.pkgsBuildBuild.Cabal or (pkgs.pkgsBuildBuild.Cabal or (errorHandler.setupDepError "Cabal"))) | ||
(hsPkgs.pkgsBuildBuild.gi-gdk4 or (pkgs.pkgsBuildBuild.gi-gdk4 or (errorHandler.setupDepError "gi-gdk4"))) | ||
]; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."gi-gdk4" or (errorHandler.buildDepError "gi-gdk4")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
} |
40 changes: 40 additions & 0 deletions
40
.../gi-gdkx11-3.0.17-r1-b36309f295c7d1b5d2b510b41832f82cfbfccc807611808799de587f95f1b213.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,40 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "2.0"; | ||
identifier = { name = "gi-gdkx11"; version = "3.0.17"; }; | ||
license = "LGPL-2.1-only"; | ||
copyright = ""; | ||
maintainer = "Iñaki García Etxebarria"; | ||
author = "Iñaki García Etxebarria"; | ||
homepage = "https://github.com/haskell-gi/haskell-gi"; | ||
url = ""; | ||
synopsis = "GdkX11 3.x bindings (compatibility layer)"; | ||
description = "This package re-exports (for backward compatibility)\nthe haskell-gi generated bindings in the gi-gdkx113 package."; | ||
buildType = "Custom"; | ||
setup-depends = [ | ||
(hsPkgs.pkgsBuildBuild.base or (pkgs.pkgsBuildBuild.base or (errorHandler.setupDepError "base"))) | ||
(hsPkgs.pkgsBuildBuild.haskell-gi or (pkgs.pkgsBuildBuild.haskell-gi or (errorHandler.setupDepError "haskell-gi"))) | ||
(hsPkgs.pkgsBuildBuild.Cabal or (pkgs.pkgsBuildBuild.Cabal or (errorHandler.setupDepError "Cabal"))) | ||
(hsPkgs.pkgsBuildBuild.gi-gdkx113 or (pkgs.pkgsBuildBuild.gi-gdkx113 or (errorHandler.setupDepError "gi-gdkx113"))) | ||
]; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."gi-gdkx113" or (errorHandler.buildDepError "gi-gdkx113")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
} |
40 changes: 40 additions & 0 deletions
40
...e/gi-gdkx11-4.0.9-r1-d9a4855975ec695009e9e07d970bc05a294e76ab3a67f424eec8d3c2ea22d9ca.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,40 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "2.0"; | ||
identifier = { name = "gi-gdkx11"; version = "4.0.9"; }; | ||
license = "LGPL-2.1-only"; | ||
copyright = ""; | ||
maintainer = "Iñaki García Etxebarria"; | ||
author = "Iñaki García Etxebarria"; | ||
homepage = "https://github.com/haskell-gi/haskell-gi"; | ||
url = ""; | ||
synopsis = "GdkX11 4.x bindings (compatibility layer)"; | ||
description = "This package re-exports (for backward compatibility)\nthe haskell-gi generated bindings in the gi-gdkx114 package."; | ||
buildType = "Custom"; | ||
setup-depends = [ | ||
(hsPkgs.pkgsBuildBuild.base or (pkgs.pkgsBuildBuild.base or (errorHandler.setupDepError "base"))) | ||
(hsPkgs.pkgsBuildBuild.haskell-gi or (pkgs.pkgsBuildBuild.haskell-gi or (errorHandler.setupDepError "haskell-gi"))) | ||
(hsPkgs.pkgsBuildBuild.Cabal or (pkgs.pkgsBuildBuild.Cabal or (errorHandler.setupDepError "Cabal"))) | ||
(hsPkgs.pkgsBuildBuild.gi-gdkx114 or (pkgs.pkgsBuildBuild.gi-gdkx114 or (errorHandler.setupDepError "gi-gdkx114"))) | ||
]; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."gi-gdkx114" or (errorHandler.buildDepError "gi-gdkx114")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
} |
40 changes: 40 additions & 0 deletions
40
...-gtksource-3.0.30-r1-946e27e24fcc5267a9f1468843b761d9d2e78c68dcec3e70f334566c9544bb04.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,40 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "2.0"; | ||
identifier = { name = "gi-gtksource"; version = "3.0.30"; }; | ||
license = "LGPL-2.1-only"; | ||
copyright = ""; | ||
maintainer = "Iñaki García Etxebarria"; | ||
author = "Iñaki García Etxebarria"; | ||
homepage = "https://github.com/haskell-gi/haskell-gi"; | ||
url = ""; | ||
synopsis = "GtkSource 3.x bindings (compatibility layer)"; | ||
description = "This package re-exports (for backward compatibility)\nthe haskell-gi generated bindings in the gi-gtksource3 package."; | ||
buildType = "Custom"; | ||
setup-depends = [ | ||
(hsPkgs.pkgsBuildBuild.base or (pkgs.pkgsBuildBuild.base or (errorHandler.setupDepError "base"))) | ||
(hsPkgs.pkgsBuildBuild.haskell-gi or (pkgs.pkgsBuildBuild.haskell-gi or (errorHandler.setupDepError "haskell-gi"))) | ||
(hsPkgs.pkgsBuildBuild.Cabal or (pkgs.pkgsBuildBuild.Cabal or (errorHandler.setupDepError "Cabal"))) | ||
(hsPkgs.pkgsBuildBuild.gi-gtksource3 or (pkgs.pkgsBuildBuild.gi-gtksource3 or (errorHandler.setupDepError "gi-gtksource3"))) | ||
]; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."gi-gtksource3" or (errorHandler.buildDepError "gi-gtksource3")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
} |
Oops, something went wrong.