Skip to content

Commit

Permalink
Automatic Update
Browse files Browse the repository at this point in the history
  • Loading branch information
IOHK committed Nov 22, 2023
1 parent bccdb0a commit 2674c27
Show file tree
Hide file tree
Showing 41 changed files with 1,979 additions and 2 deletions.
1 change: 1 addition & 0 deletions default.nix
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11941,6 +11941,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
"pcre-light-extra" = import ./nix/pcre-light-extra.nix;
"pcre-utils" = import ./nix/pcre-utils.nix;
"pcre2" = import ./nix/pcre2.nix;
"pcubature" = import ./nix/pcubature.nix;
"pdc" = import ./nix/pdc.nix;
"pdf-slave" = import ./nix/pdf-slave.nix;
"pdf-slave-server" = import ./nix/pdf-slave-server.nix;
Expand Down
65 changes: 65 additions & 0 deletions ...-injector-2.0.0.0-r0-883f84f8b7bccc82a0bfc529c5178f39d0a326c15217bd14fdc85f05c073e99c.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 = {};
package = {
specVersion = "1.18";
identifier = { name = "aeson-injector"; version = "2.0.0.0"; };
license = "MIT";
copyright = "2016-2017 Anton Gushcha";
maintainer = "[email protected]";
author = "Anton Gushcha";
homepage = "";
url = "";
synopsis = "Injecting fields into aeson values";
description = "It is small utility library that is intented to be used in RESTful APIs, especially with [servant](http://haskell-servant.readthedocs.io/en/stable/) and [Swagger](http://swagger.io/). Its main purpose is simple injection of fields into JSONs produced by [aeson](https://hackage.haskell.org/package/aeson) library.";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
(hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec"))
(hsPkgs."bifunctors" or (errorHandler.buildDepError "bifunctors"))
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
(hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
(hsPkgs."lens" or (errorHandler.buildDepError "lens"))
(hsPkgs."servant-docs" or (errorHandler.buildDepError "servant-docs"))
(hsPkgs."swagger2" or (errorHandler.buildDepError "swagger2"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
];
buildable = true;
};
tests = {
"test-aeson-injector" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
(hsPkgs."aeson-injector" or (errorHandler.buildDepError "aeson-injector"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit"))
(hsPkgs."lens" or (errorHandler.buildDepError "lens"))
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
(hsPkgs."quickcheck-text" or (errorHandler.buildDepError "quickcheck-text"))
(hsPkgs."scientific" or (errorHandler.buildDepError "scientific"))
(hsPkgs."swagger2" or (errorHandler.buildDepError "swagger2"))
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit"))
(hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
];
buildable = true;
};
};
};
}
90 changes: 90 additions & 0 deletions ...-server-0.2.2.6.2-r0-2083ae9c065a0c9119bbae8e03808255029af28569f99a5147b4e9af7f4586f4.nix
View file
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.2.6.2"; };
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/agda/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;
};
};
};
}
90 changes: 90 additions & 0 deletions ...-server-0.2.6.2.2-r0-56c5028f319e023a739dcaccc358e75e22a30127478d04751281d31134be60a8.nix
View file
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.6.2.2"; };
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/agda/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;
};
};
};
}
90 changes: 90 additions & 0 deletions ...erver-0.2.6.2.2.1-r0-4995ff361a866703ea14282f6856aa7327968c33e7839008d355f73e0d4f8686.nix
View file
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.6.2.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/agda/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;
};
};
};
}
Loading

0 comments on commit 2674c27

Please sign in to comment.