Skip to content

Commit

Permalink
Automatic Update
Browse files Browse the repository at this point in the history
  • Loading branch information
IOHK committed Aug 13, 2024
1 parent b3791d6 commit a14d546
Show file tree
Hide file tree
Showing 25 changed files with 940 additions and 3 deletions.
48 changes: 48 additions & 0 deletions .../bitfield-0.0.0.1-r0-896889db41642ec6644c1540f269c2d10c400f3133653df5a6d98e51aee54fb4.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.4";
identifier = { name = "bitfield"; version = "0.0.0.1"; };
license = "MIT";
copyright = "2022 Jannis";
maintainer = "Jannis <[email protected]>";
author = "Jannis";
homepage = "";
url = "";
synopsis = "Generic and easy to use haskell bitfields";
description = "Generic and easy to use haskell bitfields. Allows packing and modifying datatypes in a compact representation. See `README.md` or 'Data.Bitfield' for documentation.";
buildType = "Simple";
};
components = {
"library" = {
depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ];
buildable = true;
};
tests = {
"bitfield-test" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."bitfield" or (errorHandler.buildDepError "bitfield"))
(hsPkgs."sydtest" or (errorHandler.buildDepError "sydtest"))
(hsPkgs."validity" or (errorHandler.buildDepError "validity"))
(hsPkgs."genvalidity" or (errorHandler.buildDepError "genvalidity"))
(hsPkgs."genvalidity-sydtest" or (errorHandler.buildDepError "genvalidity-sydtest"))
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
];
build-tools = [
(hsPkgs.pkgsBuildBuild.sydtest-discover.components.exes.sydtest-discover or (pkgs.pkgsBuildBuild.sydtest-discover or (errorHandler.buildToolDepError "sydtest-discover:sydtest-discover")))
];
buildable = true;
};
};
};
}
96 changes: 96 additions & 0 deletions ...vent-fold-1.8.1.1-r0-80771838c84a0693452aa1000ec0e2fbf18cba8a6aa8a40ee4e3a602bc142e5e.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,96 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {};
package = {
specVersion = "3.0";
identifier = { name = "crdt-event-fold"; version = "1.8.1.1"; };
license = "MIT";
copyright = "2022 Owens Murray, LLC.";
maintainer = "[email protected]";
author = "Rick Owens";
homepage = "https://github.com/owensmurray/crdt-event-fold";
url = "";
synopsis = "Garbage collected event folding CRDT.";
description = "Garbage collected event folding CRDT. Consistently\napply arbitrary operations to replicated data.";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."binary" or (errorHandler.buildDepError "binary"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."data-default-class" or (errorHandler.buildDepError "data-default-class"))
(hsPkgs."data-dword" or (errorHandler.buildDepError "data-dword"))
(hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
(hsPkgs."monad-logger" or (errorHandler.buildDepError "monad-logger"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
];
buildable = true;
};
tests = {
"tests" = {
depends = [
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."binary" or (errorHandler.buildDepError "binary"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."data-default-class" or (errorHandler.buildDepError "data-default-class"))
(hsPkgs."data-dword" or (errorHandler.buildDepError "data-dword"))
(hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
(hsPkgs."monad-logger" or (errorHandler.buildDepError "monad-logger"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
(hsPkgs."crdt-event-fold" or (errorHandler.buildDepError "crdt-event-fold"))
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
];
buildable = true;
};
};
benchmarks = {
"many-outstanding-events" = {
depends = [
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."binary" or (errorHandler.buildDepError "binary"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."data-default-class" or (errorHandler.buildDepError "data-default-class"))
(hsPkgs."data-dword" or (errorHandler.buildDepError "data-dword"))
(hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
(hsPkgs."monad-logger" or (errorHandler.buildDepError "monad-logger"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
(hsPkgs."crdt-event-fold" or (errorHandler.buildDepError "crdt-event-fold"))
];
buildable = true;
};
"serialization" = {
depends = [
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."binary" or (errorHandler.buildDepError "binary"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."data-default-class" or (errorHandler.buildDepError "data-default-class"))
(hsPkgs."data-dword" or (errorHandler.buildDepError "data-dword"))
(hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
(hsPkgs."monad-logger" or (errorHandler.buildDepError "monad-logger"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
(hsPkgs."crdt-event-fold" or (errorHandler.buildDepError "crdt-event-fold"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
];
buildable = true;
};
};
};
}
46 changes: 46 additions & 0 deletions ...anner-ast-0.1.0.1-r0-b704ae335d4bdb9be349cf1a3444d2cb9080615bcec48d90d09ce8a0276dc337.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 = "dhscanner-ast"; version = "0.1.0.1"; };
license = "GPL-3.0-only";
copyright = "(c) 2024 Oren Ish Shalom";
maintainer = "Oren Ish Shalom";
author = "OrenGitHub";
homepage = "https://github.com/OrenGitHub/dhscanner";
url = "";
synopsis = "abstract syntax tree for multiple programming languages";
description = "The [abstract ayntax tree](https://en.wikipedia.org/wiki/Abstract_syntax_tree) (ast)\naims to be a data structure able to represent /multiple/ abstract syntax trees from\n/various/ programming languages. Its main purpose is to serve as the first step for /static code analysis/,\nas part of the [dhscanner](https://github.com/OrenGitHub/dhscanner) framework\nfor CI/CD container security checks. As part of that framework,\nit targets mostly languages used for /cloud native applications/:\n__Python__, __Ruby__, __Php__, __Javascript__, __Typescript__, __Java__ and __Golang__.\nTypically, a file is first parsed with the corresponding native parser of the language it's written in\n(see [Python's native parser](https://docs.python.org/3/library/ast.html) for example).\nThe native ast is then dumped (as JSON, or plain text)\nand sent to a [Happy](https://haskell-happy.readthedocs.io/en/latest/) +\n[Alex](https://haskell-alex.readthedocs.io/en/latest/) Haskell parser\nwhich accommodates the natively parsed content into the ast.\nGeared towards static code analysis, the ast design abstracts away details that are normally ignored anyway.\nFor example, it does not distinguish between __try__ and __catch__ blocks,\nand models both of them as plain sequential code blocks. Every file has exactly one ast that represents it.\nNon Haskell parogrammers note: The ast is /immutable/ (like everything else in Haskell ...)";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
];
buildable = true;
};
tests = {
"dhscanner-ast-test" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."dhscanner-ast" or (errorHandler.buildDepError "dhscanner-ast"))
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
(hsPkgs."random" or (errorHandler.buildDepError "random"))
];
buildable = true;
};
};
};
}
79 changes: 79 additions & 0 deletions hackage/erebos-0.1.6-r0-9e477d956fb75263fe15a0d76dfa3ca77c966f5000916269ba7519ddb3ebf940.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,79 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = { ice = true; ci = false; };
package = {
specVersion = "3.0";
identifier = { name = "erebos"; version = "0.1.6"; };
license = "BSD-3-Clause";
copyright = "";
maintainer = "[email protected]";
author = "Roman Smrž <[email protected]>";
homepage = "https://erebosprotocol.net/erebos";
url = "";
synopsis = "Decentralized messaging and synchronization";
description = "Library and simple CLI interface implementing the Erebos identity\nmanagement, decentralized messaging and synchronization protocol, along\nwith local storage.\n.\nErebos identity is based on locally stored cryptographic keys, all\ncommunication is end-to-end encrypted. Multiple devices can be attached to\nthe same identity, after which they function interchangeably, without any\none being in any way \"primary\"; messages and other state data are then\nsynchronized automatically whenever the devices are able to connect with\none another.\n.\nSee README for usage of the CLI tool.";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."async" or (errorHandler.buildDepError "async"))
(hsPkgs."binary" or (errorHandler.buildDepError "binary"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."clock" or (errorHandler.buildDepError "clock"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."cryptonite" or (errorHandler.buildDepError "cryptonite"))
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
(hsPkgs."fsnotify" or (errorHandler.buildDepError "fsnotify"))
(hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
(hsPkgs."hashtables" or (errorHandler.buildDepError "hashtables"))
(hsPkgs."iproute" or (errorHandler.buildDepError "iproute"))
(hsPkgs."memory" or (errorHandler.buildDepError "memory"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."network" or (errorHandler.buildDepError "network"))
(hsPkgs."stm" or (errorHandler.buildDepError "stm"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."time" or (errorHandler.buildDepError "time"))
(hsPkgs."uuid" or (errorHandler.buildDepError "uuid"))
(hsPkgs."zlib" or (errorHandler.buildDepError "zlib"))
] ++ (if system.isWindows
then [ (hsPkgs."Win32" or (errorHandler.buildDepError "Win32")) ]
else [ (hsPkgs."unix" or (errorHandler.buildDepError "unix")) ]);
pkgconfig = pkgs.lib.optional (flags.ice) (pkgconfPkgs."libpjproject" or (errorHandler.pkgConfDepError "libpjproject"));
build-tools = pkgs.lib.optional (flags.ice) (hsPkgs.pkgsBuildBuild.c2hs.components.exes.c2hs or (pkgs.pkgsBuildBuild.c2hs or (errorHandler.buildToolDepError "c2hs:c2hs")));
buildable = true;
};
exes = {
"erebos" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."cryptonite" or (errorHandler.buildDepError "cryptonite"))
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
(hsPkgs."erebos" or (errorHandler.buildDepError "erebos"))
(hsPkgs."haskeline" or (errorHandler.buildDepError "haskeline"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."network" or (errorHandler.buildDepError "network"))
(hsPkgs."process" or (errorHandler.buildDepError "process"))
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."time" or (errorHandler.buildDepError "time"))
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
(hsPkgs."uuid" or (errorHandler.buildDepError "uuid"))
];
buildable = true;
};
};
};
}
48 changes: 48 additions & 0 deletions ...ge/hasmtlib-2.3.0-r0-e33506f0048a834b38662f3d0bf423b011a084c97db4523609f2b6acd11d811c.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 = "3.0";
identifier = { name = "hasmtlib"; version = "2.3.0"; };
license = "GPL-3.0-only";
copyright = "© 2024 Julian Bruder";
maintainer = "[email protected]";
author = "Julian Bruder";
homepage = "https://github.com/bruderj15/Hasmtlib";
url = "";
synopsis = "A monad for interfacing with external SMT solvers";
description = "Hasmtlib is a library for generating SMTLib2-problems using a monad.\nIt takes care of encoding your problem, marshaling the data to an external solver and parsing and interpreting the result into Haskell types.\nIt is highly inspired by ekmett/ersatz which does the same for QSAT.\nCommunication with external solvers is handled by tweag/smtlib-backends.";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec"))
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."dependent-map" or (errorHandler.buildDepError "dependent-map"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
(hsPkgs."lens" or (errorHandler.buildDepError "lens"))
(hsPkgs."smtlib-backends" or (errorHandler.buildDepError "smtlib-backends"))
(hsPkgs."smtlib-backends-process" or (errorHandler.buildDepError "smtlib-backends-process"))
(hsPkgs."some" or (errorHandler.buildDepError "some"))
(hsPkgs."utf8-string" or (errorHandler.buildDepError "utf8-string"))
(hsPkgs."bitvec" or (errorHandler.buildDepError "bitvec"))
(hsPkgs."finite-typelits" or (errorHandler.buildDepError "finite-typelits"))
(hsPkgs."vector-sized" or (errorHandler.buildDepError "vector-sized"))
];
buildable = true;
};
};
}
Loading

0 comments on commit a14d546

Please sign in to comment.