-
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
Nov 21, 2023
1 parent
672483a
commit bccdb0a
Showing
50 changed files
with
1,797 additions
and
11 deletions.
There are no files selected for viewing
90 changes: 90 additions & 0 deletions
90
...uage-server-0.2.1-r1-3ff5bf0e61f1424797ec66115d2be5db502f05b3e8a4530338402833f61a357e.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,90 @@ | ||
| { system | ||
| , compiler | ||
| , flags | ||
| , pkgs | ||
| , hsPkgs | ||
| , pkgconfPkgs | ||
| , errorHandler | ||
| , config | ||
| , ... }: | ||
| { | ||
| flags = {}; | ||
| package = { | ||
| specVersion = "1.12"; | ||
| identifier = { name = "agda-language-server"; version = "0.2.1"; }; | ||
| license = "MIT"; | ||
| copyright = "2020 Author name here :)"; | ||
| maintainer = "[email protected]"; | ||
| author = "Ting-Gian LUA"; | ||
| homepage = "https://github.com/banacorn/agda-language-server#readme"; | ||
| url = ""; | ||
| synopsis = "An implementation of language server protocal (LSP) for Agda 2."; | ||
| description = "Please see the README on GitHub at <https://github.com/banacorn/agda-language-server#readme>"; | ||
| buildType = "Simple"; | ||
| }; | ||
| components = { | ||
| "library" = { | ||
| depends = [ | ||
| (hsPkgs."Agda" or (errorHandler.buildDepError "Agda")) | ||
| (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
| (hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
| (hsPkgs."lsp" or (errorHandler.buildDepError "lsp")) | ||
| (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) | ||
| (hsPkgs."network" or (errorHandler.buildDepError "network")) | ||
| (hsPkgs."network-simple" or (errorHandler.buildDepError "network-simple")) | ||
| (hsPkgs."process" or (errorHandler.buildDepError "process")) | ||
| (hsPkgs."stm" or (errorHandler.buildDepError "stm")) | ||
| (hsPkgs."strict" or (errorHandler.buildDepError "strict")) | ||
| (hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| exes = { | ||
| "als" = { | ||
| depends = [ | ||
| (hsPkgs."Agda" or (errorHandler.buildDepError "Agda")) | ||
| (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) | ||
| (hsPkgs."agda-language-server" or (errorHandler.buildDepError "agda-language-server")) | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
| (hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
| (hsPkgs."lsp" or (errorHandler.buildDepError "lsp")) | ||
| (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) | ||
| (hsPkgs."network" or (errorHandler.buildDepError "network")) | ||
| (hsPkgs."network-simple" or (errorHandler.buildDepError "network-simple")) | ||
| (hsPkgs."process" or (errorHandler.buildDepError "process")) | ||
| (hsPkgs."stm" or (errorHandler.buildDepError "stm")) | ||
| (hsPkgs."strict" or (errorHandler.buildDepError "strict")) | ||
| (hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| }; | ||
| tests = { | ||
| "als-test" = { | ||
| depends = [ | ||
| (hsPkgs."Agda" or (errorHandler.buildDepError "Agda")) | ||
| (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
| (hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
| (hsPkgs."lsp" or (errorHandler.buildDepError "lsp")) | ||
| (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) | ||
| (hsPkgs."network" or (errorHandler.buildDepError "network")) | ||
| (hsPkgs."network-simple" or (errorHandler.buildDepError "network-simple")) | ||
| (hsPkgs."process" or (errorHandler.buildDepError "process")) | ||
| (hsPkgs."stm" or (errorHandler.buildDepError "stm")) | ||
| (hsPkgs."strict" or (errorHandler.buildDepError "strict")) | ||
| (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) | ||
| (hsPkgs."tasty-golden" or (errorHandler.buildDepError "tasty-golden")) | ||
| (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) | ||
| (hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) | ||
| (hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| }; | ||
| }; | ||
| } |
56 changes: 56 additions & 0 deletions
56
...e/bookhound-0.2.0-r0-59ff9c7d29c3075dde536b9409f4b12bc8ee1ff5c299c26dbac690eda95bae7e.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,56 @@ | ||
| { system | ||
| , compiler | ||
| , flags | ||
| , pkgs | ||
| , hsPkgs | ||
| , pkgconfPkgs | ||
| , errorHandler | ||
| , config | ||
| , ... }: | ||
| { | ||
| flags = {}; | ||
| package = { | ||
| specVersion = "1.12"; | ||
| identifier = { name = "bookhound"; version = "0.2.0"; }; | ||
| license = "LicenseRef-LGPL"; | ||
| copyright = "2021 Alberto Perez Lopez"; | ||
| maintainer = "[email protected]"; | ||
| author = "Alberto Perez Lopez"; | ||
| homepage = "https://github.com/albertprz/bookhound#readme"; | ||
| url = ""; | ||
| synopsis = "Simple Parser Combinators"; | ||
| description = "Please see the README on GitHub at <https://github.com/albertprz/bookhound#readme>"; | ||
| buildType = "Simple"; | ||
| }; | ||
| components = { | ||
| "library" = { | ||
| depends = [ | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
| (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) | ||
| (hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
| (hsPkgs."time" or (errorHandler.buildDepError "time")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| tests = { | ||
| "test" = { | ||
| depends = [ | ||
| (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."bookhound" or (errorHandler.buildDepError "bookhound")) | ||
| (hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
| (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) | ||
| (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) | ||
| (hsPkgs."quickcheck-instances" or (errorHandler.buildDepError "quickcheck-instances")) | ||
| (hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
| (hsPkgs."time" or (errorHandler.buildDepError "time")) | ||
| ]; | ||
| build-tools = [ | ||
| (hsPkgs.buildPackages.hspec-discover.components.exes.hspec-discover or (pkgs.buildPackages.hspec-discover or (errorHandler.buildToolDepError "hspec-discover:hspec-discover"))) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| }; | ||
| }; | ||
| } |
56 changes: 56 additions & 0 deletions
56
...e/bookhound-0.2.1-r0-9be2a243b62d5fcefeaf7bfef31d310570c7a4f9850d35796370ba61cb08369b.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,56 @@ | ||
| { system | ||
| , compiler | ||
| , flags | ||
| , pkgs | ||
| , hsPkgs | ||
| , pkgconfPkgs | ||
| , errorHandler | ||
| , config | ||
| , ... }: | ||
| { | ||
| flags = {}; | ||
| package = { | ||
| specVersion = "1.12"; | ||
| identifier = { name = "bookhound"; version = "0.2.1"; }; | ||
| license = "LicenseRef-LGPL"; | ||
| copyright = "2021 Alberto Perez Lopez"; | ||
| maintainer = "[email protected]"; | ||
| author = "Alberto Perez Lopez"; | ||
| homepage = "https://github.com/albertprz/bookhound#readme"; | ||
| url = ""; | ||
| synopsis = "Simple Parser Combinators"; | ||
| description = "Please see the README on GitHub at <https://github.com/albertprz/bookhound#readme>"; | ||
| buildType = "Simple"; | ||
| }; | ||
| components = { | ||
| "library" = { | ||
| depends = [ | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
| (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) | ||
| (hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
| (hsPkgs."time" or (errorHandler.buildDepError "time")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| tests = { | ||
| "test" = { | ||
| depends = [ | ||
| (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."bookhound" or (errorHandler.buildDepError "bookhound")) | ||
| (hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
| (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) | ||
| (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) | ||
| (hsPkgs."quickcheck-instances" or (errorHandler.buildDepError "quickcheck-instances")) | ||
| (hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
| (hsPkgs."time" or (errorHandler.buildDepError "time")) | ||
| ]; | ||
| build-tools = [ | ||
| (hsPkgs.buildPackages.hspec-discover.components.exes.hspec-discover or (pkgs.buildPackages.hspec-discover or (errorHandler.buildToolDepError "hspec-discover:hspec-discover"))) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| }; | ||
| }; | ||
| } |
56 changes: 56 additions & 0 deletions
56
...e/bookhound-0.2.2-r0-4d440796d7f99e5971734c6ebde01c02adb4f768e8f740ca16cef96b3507e14e.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,56 @@ | ||
| { system | ||
| , compiler | ||
| , flags | ||
| , pkgs | ||
| , hsPkgs | ||
| , pkgconfPkgs | ||
| , errorHandler | ||
| , config | ||
| , ... }: | ||
| { | ||
| flags = {}; | ||
| package = { | ||
| specVersion = "1.12"; | ||
| identifier = { name = "bookhound"; version = "0.2.2"; }; | ||
| license = "LicenseRef-LGPL"; | ||
| copyright = "2021 Alberto Perez Lopez"; | ||
| maintainer = "[email protected]"; | ||
| author = "Alberto Perez Lopez"; | ||
| homepage = "https://github.com/albertprz/bookhound#readme"; | ||
| url = ""; | ||
| synopsis = "Simple Parser Combinators"; | ||
| description = "Please see the README on GitHub at <https://github.com/albertprz/bookhound#readme>"; | ||
| buildType = "Simple"; | ||
| }; | ||
| components = { | ||
| "library" = { | ||
| depends = [ | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
| (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) | ||
| (hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
| (hsPkgs."time" or (errorHandler.buildDepError "time")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| tests = { | ||
| "test" = { | ||
| depends = [ | ||
| (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."bookhound" or (errorHandler.buildDepError "bookhound")) | ||
| (hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
| (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) | ||
| (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) | ||
| (hsPkgs."quickcheck-instances" or (errorHandler.buildDepError "quickcheck-instances")) | ||
| (hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
| (hsPkgs."time" or (errorHandler.buildDepError "time")) | ||
| ]; | ||
| build-tools = [ | ||
| (hsPkgs.buildPackages.hspec-discover.components.exes.hspec-discover or (pkgs.buildPackages.hspec-discover or (errorHandler.buildToolDepError "hspec-discover:hspec-discover"))) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| }; | ||
| }; | ||
| } |
46 changes: 46 additions & 0 deletions
46
...ts-extras-0.4.0.0-r2-9c9b79ddf3063a1dd73cfc07a350710895319ce68c413a6ccce995e52653f360.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,46 @@ | ||
| { system | ||
| , compiler | ||
| , flags | ||
| , pkgs | ||
| , hsPkgs | ||
| , pkgconfPkgs | ||
| , errorHandler | ||
| , config | ||
| , ... }: | ||
| { | ||
| flags = { build-readme = true; }; | ||
| package = { | ||
| specVersion = "2.0"; | ||
| identifier = { name = "constraints-extras"; version = "0.4.0.0"; }; | ||
| license = "BSD-3-Clause"; | ||
| copyright = "Obsidian Systems LLC"; | ||
| maintainer = "[email protected]"; | ||
| author = "Cale Gibbard, Ali Abrar"; | ||
| homepage = "https://github.com/obsidiansystems/constraints-extras"; | ||
| url = ""; | ||
| synopsis = "Utility package for constraints"; | ||
| description = "Convenience functions and TH for working with constraints. See <https://github.com/obsidiansystems/constraints-extras/blob/develop/README.md README.md> for example usage."; | ||
| buildType = "Simple"; | ||
| }; | ||
| components = { | ||
| "library" = { | ||
| depends = [ | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."constraints" or (errorHandler.buildDepError "constraints")) | ||
| (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| exes = { | ||
| "readme" = { | ||
| depends = [ | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) | ||
| (hsPkgs."constraints" or (errorHandler.buildDepError "constraints")) | ||
| (hsPkgs."constraints-extras" or (errorHandler.buildDepError "constraints-extras")) | ||
| ]; | ||
| buildable = if !flags.build-readme then false else true; | ||
| }; | ||
| }; | ||
| }; | ||
| } |
39 changes: 39 additions & 0 deletions
39
...elaunayNd-0.1.0.2-r0-c1eaaaf1b73274360fbeb2e2c5e9ee1607f2143a4d7bc4bcbc31911f987d21ec.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,39 @@ | ||
| { system | ||
| , compiler | ||
| , flags | ||
| , pkgs | ||
| , hsPkgs | ||
| , pkgconfPkgs | ||
| , errorHandler | ||
| , config | ||
| , ... }: | ||
| { | ||
| flags = {}; | ||
| package = { | ||
| specVersion = "2.2"; | ||
| identifier = { name = "delaunayNd"; version = "0.1.0.2"; }; | ||
| license = "GPL-3.0-only"; | ||
| copyright = "2023 Stéphane Laurent"; | ||
| maintainer = "[email protected]"; | ||
| author = "Stéphane Laurent"; | ||
| homepage = "https://github.com/stla/delaunayNd#readme"; | ||
| url = ""; | ||
| synopsis = "Delaunay tessellation"; | ||
| description = "This library performs the Delaunay tessellation in arbitrary dimension.\n\nIt uses the C library 'qhull'.\n\nFor examples, look at the README file."; | ||
| buildType = "Simple"; | ||
| }; | ||
| components = { | ||
| "library" = { | ||
| depends = [ | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
| (hsPkgs."extra" or (errorHandler.buildDepError "extra")) | ||
| (hsPkgs."ilist" or (errorHandler.buildDepError "ilist")) | ||
| (hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) | ||
| (hsPkgs."insert-ordered-containers" or (errorHandler.buildDepError "insert-ordered-containers")) | ||
| (hsPkgs."Unique" or (errorHandler.buildDepError "Unique")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| }; | ||
| } |
35 changes: 35 additions & 0 deletions
35
...ndent-sum-0.7.2.0-r2-f1060345439b6949eae5a6b3cdb35c7189ff360f7b4d5fa617e4f1e0f847c424.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,35 @@ | ||
| { system | ||
| , compiler | ||
| , flags | ||
| , pkgs | ||
| , hsPkgs | ||
| , pkgconfPkgs | ||
| , errorHandler | ||
| , config | ||
| , ... }: | ||
| { | ||
| flags = {}; | ||
| package = { | ||
| specVersion = "1.22"; | ||
| identifier = { name = "dependent-sum"; version = "0.7.2.0"; }; | ||
| license = "LicenseRef-PublicDomain"; | ||
| copyright = ""; | ||
| maintainer = "Obsidian Systems, LLC <[email protected]>"; | ||
| author = "James Cook <[email protected]>"; | ||
| homepage = "https://github.com/obsidiansystems/dependent-sum"; | ||
| url = ""; | ||
| synopsis = "Dependent sum type"; | ||
| description = "A dependent sum is a generalization of a\nparticular way of thinking about the @Either@\ntype. @Either a b@ can be thought of as a\n2-tuple @(tag, value)@, where the value of the\ntag determines the type of the value. In\nparticular, either @tag = Left@ and @value :: a@\nor @tag = Right@ and @value :: b@.\n\nThis package allows you to define your own\ndependent sum types by using your own \\\"tag\\\"\ntypes."; | ||
| buildType = "Simple"; | ||
| }; | ||
| components = { | ||
| "library" = { | ||
| depends = [ | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."constraints-extras" or (errorHandler.buildDepError "constraints-extras")) | ||
| (hsPkgs."some" or (errorHandler.buildDepError "some")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| }; | ||
| } |
Oops, something went wrong.