-
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
Jul 24, 2024
1 parent
063fafb
commit e5ef290
Showing
24 changed files
with
921 additions
and
0 deletions.
There are no files selected for viewing
46 changes: 46 additions & 0 deletions
46
...age/gemmula-1.1.1-r0-f93ac48e69bf7a45624ae41f85b3bb551223759fc1325cab44653963fa2dc1be.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 = {}; | ||
package = { | ||
specVersion = "1.18"; | ||
identifier = { name = "gemmula"; version = "1.1.1"; }; | ||
license = "AGPL-3.0-only"; | ||
copyright = ""; | ||
maintainer = "Sena <[email protected]>"; | ||
author = "Sena <[email protected]>"; | ||
homepage = "https://codeberg.org/sena/gemmula"; | ||
url = ""; | ||
synopsis = "A tiny gemtext parser"; | ||
description = "gemmula is a tiny and functional gemtext (unofficially @text/gemini@)\nparser that aims to parse a gemtext document from and back into Text,\naccording to the Gemini hypertext format specification at\n<https://geminiprotocol.net/docs/gemtext-specification.gmi>."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"gemmulae-probatio" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) | ||
(hsPkgs."raw-strings-qq" or (errorHandler.buildDepError "raw-strings-qq")) | ||
(hsPkgs."gemmula" or (errorHandler.buildDepError "gemmula")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
64 changes: 64 additions & 0 deletions
64
...mula-altera-2.1.1-r0-88fd0ccd2f95dfa81bb673cb432f797454372a26565e75a5c698d87ac23bee1e.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,64 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "1.18"; | ||
identifier = { name = "gemmula-altera"; version = "2.1.1"; }; | ||
license = "AGPL-3.0-only"; | ||
copyright = ""; | ||
maintainer = "Sena <[email protected]>"; | ||
author = "Sena <[email protected]>"; | ||
homepage = "https://codeberg.org/sena/gemmula/src/commit/2fbca325abf875db71739a4242fe181de8a84cf6"; | ||
url = ""; | ||
synopsis = "A tiny gemtext converter for gemmula"; | ||
description = "gemmula-altera is a tiny gemtext converter, built on the gemmula library.\nIt provides simple encodings for Markdown and HTML, plus a tiny\ncommand line helper."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."gemmula" or (errorHandler.buildDepError "gemmula")) | ||
(hsPkgs."HTTP" or (errorHandler.buildDepError "HTTP")) | ||
(hsPkgs."modern-uri" or (errorHandler.buildDepError "modern-uri")) | ||
]; | ||
buildable = true; | ||
}; | ||
exes = { | ||
"gemalter" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) | ||
(hsPkgs."directory" or (errorHandler.buildDepError "directory")) | ||
(hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative")) | ||
(hsPkgs."gemmula" or (errorHandler.buildDepError "gemmula")) | ||
(hsPkgs."gemmula-altera" or (errorHandler.buildDepError "gemmula-altera")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
tests = { | ||
"gemmulae-alterius-probatio" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) | ||
(hsPkgs."raw-strings-qq" or (errorHandler.buildDepError "raw-strings-qq")) | ||
(hsPkgs."gemmula" or (errorHandler.buildDepError "gemmula")) | ||
(hsPkgs."gemmula-altera" or (errorHandler.buildDepError "gemmula-altera")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
48 changes: 48 additions & 0 deletions
48
...ge/hasmtlib-2.0.0-r0-42035bb1a7de5c55cf988ee851c44d533d1f71128cb03bfe344739a61232f508.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,48 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "3.0"; | ||
identifier = { name = "hasmtlib"; version = "2.0.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; | ||
}; | ||
}; | ||
} |
48 changes: 48 additions & 0 deletions
48
...ge/hasmtlib-2.0.1-r0-161045b11815b1d500e165759ea931902d1de9b88db62851b8b80d738c25b629.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,48 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "3.0"; | ||
identifier = { name = "hasmtlib"; version = "2.0.1"; }; | ||
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; | ||
}; | ||
}; | ||
} |
50 changes: 50 additions & 0 deletions
50
...-env-conf-0.4.0.0-r0-a3ae19ebcda4088d4b39fae050de4ccb1fb665fa96ff5855773306e5907e3427.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,50 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "1.12"; | ||
identifier = { name = "opt-env-conf"; version = "0.4.0.0"; }; | ||
license = "LGPL-3.0-only"; | ||
copyright = "Copyright: (c) 2024 Tom Sydney Kerckhove"; | ||
maintainer = "[email protected]"; | ||
author = "Tom Sydney Kerckhove"; | ||
homepage = "https://github.com/NorfairKing/opt-env-conf#readme"; | ||
url = ""; | ||
synopsis = "Settings parsing for Haskell: command-line arguments, environment variables, and configuration values."; | ||
description = ""; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) | ||
(hsPkgs."autodocodec" or (errorHandler.buildDepError "autodocodec")) | ||
(hsPkgs."autodocodec-nix" or (errorHandler.buildDepError "autodocodec-nix")) | ||
(hsPkgs."autodocodec-schema" or (errorHandler.buildDepError "autodocodec-schema")) | ||
(hsPkgs."autodocodec-yaml" or (errorHandler.buildDepError "autodocodec-yaml")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) | ||
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) | ||
(hsPkgs."path" or (errorHandler.buildDepError "path")) | ||
(hsPkgs."path-io" or (errorHandler.buildDepError "path-io")) | ||
(hsPkgs."safe-coloured-text" or (errorHandler.buildDepError "safe-coloured-text")) | ||
(hsPkgs."safe-coloured-text-layout" or (errorHandler.buildDepError "safe-coloured-text-layout")) | ||
(hsPkgs."safe-coloured-text-terminfo" or (errorHandler.buildDepError "safe-coloured-text-terminfo")) | ||
(hsPkgs."selective" or (errorHandler.buildDepError "selective")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."validity" or (errorHandler.buildDepError "validity")) | ||
(hsPkgs."validity-containers" or (errorHandler.buildDepError "validity-containers")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
} |
37 changes: 37 additions & 0 deletions
37
...sformers-0.12.0.0-r0-871bde4d2d12ea658cd4ef0a0f9adddad6ad78130f804b874315be7a24fa8222.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,37 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "2.4"; | ||
identifier = { name = "predicate-transformers"; version = "0.12.0.0"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = ""; | ||
maintainer = "[email protected]"; | ||
author = "Edmund Noble"; | ||
homepage = ""; | ||
url = ""; | ||
synopsis = "A library for writing predicates and transformations over predicates in Haskell"; | ||
description = "This package provides ways to write predicates such that they compose nicely and are easy to debug."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."adjunctions" or (errorHandler.buildDepError "adjunctions")) | ||
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) | ||
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) | ||
(hsPkgs."lens" or (errorHandler.buildDepError "lens")) | ||
] ++ pkgs.lib.optional (!(compiler.isGhc && compiler.version.ge "8.0")) (hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups")); | ||
buildable = true; | ||
}; | ||
}; | ||
} |
54 changes: 54 additions & 0 deletions
54
...rollbar-cli-1.1.0-r0-759f461d60910430b9de363a2e1cee1bce47b391cc682ebc36d0aea4a945d39e.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,54 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "1.12"; | ||
identifier = { name = "rollbar-cli"; version = "1.1.0"; }; | ||
license = "MIT"; | ||
copyright = "2020-present Stack Builders Inc."; | ||
maintainer = "David Mazarro <[email protected]>"; | ||
author = "Stack Builders Inc."; | ||
homepage = "https://github.com/stackbuilders/rollbar-haskell#readme"; | ||
url = ""; | ||
synopsis = "Simple CLI tool to perform commons tasks such as tracking deploys."; | ||
description = "Please see the README on GitHub at\n<https://github.com/stackbuilders/rollbar-haskell/tree/master/rollbar-cli>"; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative")) | ||
(hsPkgs."rollbar-client" or (errorHandler.buildDepError "rollbar-client")) | ||
]; | ||
buildable = true; | ||
}; | ||
exes = { | ||
"rollbar" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."rollbar-cli" or (errorHandler.buildDepError "rollbar-cli")) | ||
(hsPkgs."rollbar-client" or (errorHandler.buildDepError "rollbar-client")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
tests = { | ||
"spec" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."rollbar-cli" or (errorHandler.buildDepError "rollbar-cli")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
Oops, something went wrong.