Skip to content

Commit

Permalink
Automatic Update
Browse files Browse the repository at this point in the history
  • Loading branch information
IOHK committed Oct 19, 2023
1 parent db5a770 commit 855a40f
Show file tree
Hide file tree
Showing 70 changed files with 2,465 additions and 5 deletions.
2 changes: 2 additions & 0 deletions default.nix
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9915,6 +9915,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
"liquid-prelude" = import ./nix/liquid-prelude.nix;
"liquid-vector" = import ./nix/liquid-vector.nix;
"liquidhaskell" = import ./nix/liquidhaskell.nix;
"liquidhaskell-boot" = import ./nix/liquidhaskell-boot.nix;
"liquidhaskell-cabal" = import ./nix/liquidhaskell-cabal.nix;
"liquidhaskell-cabal-demo" = import ./nix/liquidhaskell-cabal-demo.nix;
"lispparser" = import ./nix/lispparser.nix;
Expand Down Expand Up @@ -10976,6 +10977,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
"mysql-haskell" = import ./nix/mysql-haskell.nix;
"mysql-haskell-nem" = import ./nix/mysql-haskell-nem.nix;
"mysql-haskell-openssl" = import ./nix/mysql-haskell-openssl.nix;
"mysql-json-table" = import ./nix/mysql-json-table.nix;
"mysql-pure" = import ./nix/mysql-pure.nix;
"mysql-simple" = import ./nix/mysql-simple.nix;
"mysql-simple-quasi" = import ./nix/mysql-simple-quasi.nix;
Expand Down
49 changes: 49 additions & 0 deletions ...ge/Cabal-3.10.2.0-r0-6451397fa4458772abaa0e3d41988300c4b8ba5ddb7d13ca743ac0211462651e.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,49 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {};
package = {
specVersion = "2.2";
identifier = { name = "Cabal"; version = "3.10.2.0"; };
license = "BSD-3-Clause";
copyright = "2003-2023, Cabal Development Team (see AUTHORS file)";
maintainer = "cabal-devel@haskell.org";
author = "Cabal Development Team <cabal-devel@haskell.org>";
homepage = "http://www.haskell.org/cabal/";
url = "";
synopsis = "A framework for packaging Haskell software";
description = "The Haskell Common Architecture for Building Applications and\nLibraries: a framework defining a common interface for authors to more\neasily build their Haskell applications in a portable way.\n\nThe Haskell Cabal is part of a larger infrastructure for distributing,\norganizing, and cataloging Haskell libraries and tools.";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."Cabal-syntax" or (errorHandler.buildDepError "Cabal-syntax"))
(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."directory" or (errorHandler.buildDepError "directory"))
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
(hsPkgs."pretty" or (errorHandler.buildDepError "pretty"))
(hsPkgs."process" or (errorHandler.buildDepError "process"))
(hsPkgs."time" or (errorHandler.buildDepError "time"))
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."parsec" or (errorHandler.buildDepError "parsec"))
] ++ (if system.isWindows
then [ (hsPkgs."Win32" or (errorHandler.buildDepError "Win32")) ]
else [ (hsPkgs."unix" or (errorHandler.buildDepError "unix")) ]);
buildable = true;
};
};
}
48 changes: 48 additions & 0 deletions ...l-syntax-3.10.2.0-r0-e745710a77525a6a03d5eecbe00e894d36f05432caa6946778dae464eba1593a.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.2";
identifier = { name = "Cabal-syntax"; version = "3.10.2.0"; };
license = "BSD-3-Clause";
copyright = "2003-2023, Cabal Development Team (see AUTHORS file)";
maintainer = "cabal-devel@haskell.org";
author = "Cabal Development Team <cabal-devel@haskell.org>";
homepage = "http://www.haskell.org/cabal/";
url = "";
synopsis = "A library for working with .cabal files";
description = "This library provides tools for reading and manipulating the .cabal file\nformat.";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."array" or (errorHandler.buildDepError "array"))
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."binary" or (errorHandler.buildDepError "binary"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."parsec" or (errorHandler.buildDepError "parsec"))
(hsPkgs."pretty" or (errorHandler.buildDepError "pretty"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."time" or (errorHandler.buildDepError "time"))
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
] ++ (if system.isWindows
then [ (hsPkgs."Win32" or (errorHandler.buildDepError "Win32")) ]
else [ (hsPkgs."unix" or (errorHandler.buildDepError "unix")) ]);
buildable = true;
};
};
}
41 changes: 41 additions & 0 deletions ...age/PSQueue-1.2.0-r1-460457e5591ad4ec9d3332bb03798765fd1b79d4f6bcc3e9a71969cf7349d79e.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,41 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {};
package = {
specVersion = "2.0";
identifier = { name = "PSQueue"; version = "1.2.0"; };
license = "BSD-3-Clause";
copyright = "";
maintainer = "Teo Camarasu <teofilcamarasu@gmail.com>";
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"))
];
buildable = true;
};
};
};
}
52 changes: 52 additions & 0 deletions ...llocator-0.11.0.1-r0-8c3cbf3679dacbcf364a0775377e50599690ff2c25063e1d64a6be7135b72740.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,52 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {
generic-instances = false;
safe-foreign-calls = false;
vma-ndebug = false;
vma-recording = false;
};
package = {
specVersion = "2.2";
identifier = { name = "VulkanMemoryAllocator"; version = "0.11.0.1"; };
license = "BSD-3-Clause";
copyright = "";
maintainer = "Ellie Hermaszewska <live.long.and.prosper@monoid.al>";
author = "";
homepage = "https://github.com/expipiplus1/vulkan#readme";
url = "";
synopsis = "Bindings to the VulkanMemoryAllocator library";
description = "";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
(hsPkgs."vulkan" or (errorHandler.buildDepError "vulkan"))
] ++ (pkgs.lib).optional (compiler.isGhc && (compiler.version).ge "9.4") (hsPkgs."system-cxx-std-lib" or (errorHandler.buildDepError "system-cxx-std-lib"));
libs = (pkgs.lib).optionals (!(compiler.isGhc && (compiler.version).ge "9.4")) ((((pkgs.lib).optional (system.isLinux) (pkgs."stdc++" or (errorHandler.sysDepError "stdc++")) ++ (pkgs.lib).optional (system.isOsx || system.isFreebsd) (pkgs."c++" or (errorHandler.sysDepError "c++"))) ++ (pkgs.lib).optionals (system.isOpenbsd) [
(pkgs."c++" or (errorHandler.sysDepError "c++"))
(pkgs."c++abi" or (errorHandler.sysDepError "c++abi"))
(pkgs."pthread" or (errorHandler.sysDepError "pthread"))
]) ++ (pkgs.lib).optionals (system.isWindows) (if compiler.isGhc && (compiler.version).lt "9.3"
then [ (pkgs."stdc++" or (errorHandler.sysDepError "stdc++")) ]
else [
(pkgs."c++" or (errorHandler.sysDepError "c++"))
(pkgs."c++abi" or (errorHandler.sysDepError "c++abi"))
]));
buildable = true;
};
};
}
66 changes: 66 additions & 0 deletions ...e/cmark-gfm-0.2.6-r1-8672b9388f5ddfa8ece691e59b4272fa807a2ddf0698970cd73af9bebb98058d.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,66 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = { pkgconfig = false; };
package = {
specVersion = "1.12";
identifier = { name = "cmark-gfm"; version = "0.2.6"; };
license = "BSD-3-Clause";
copyright = "(C) 2015--17 John MacFarlane, (C) 2017--19 Ashe Connor";
maintainer = "ashe@kivikakk.ee";
author = "Asherah Connor";
homepage = "https://github.com/kivikakk/cmark-gfm-hs";
url = "";
synopsis = "Fast, accurate GitHub Flavored Markdown parser and renderer";
description = "This package provides Haskell bindings for\n<https://github.com/github/cmark-gfm libcmark-gfm>, the reference\nparser for <https://github.github.com/gfm/ GitHub Flavored Markdown>, a fully\nspecified variant of Markdown. It includes sources for\nlibcmark-gfm (0.29.0.gfm.13) and does not require prior installation of the\nC library.";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
] ++ (pkgs.lib).optional (compiler.isGhc && (compiler.version).lt "7.6") (hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim"));
libs = (pkgs.lib).optionals (flags.pkgconfig) [
(pkgs."cmark-gfm" or (errorHandler.sysDepError "cmark-gfm"))
(pkgs."cmark-gfm-extensions" or (errorHandler.sysDepError "cmark-gfm-extensions"))
];
buildable = true;
};
tests = {
"test-cmark-gfm" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."cmark-gfm" or (errorHandler.buildDepError "cmark-gfm"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit"))
];
buildable = true;
};
};
benchmarks = {
"bench-cmark-gfm" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."cmark-gfm" or (errorHandler.buildDepError "cmark-gfm"))
(hsPkgs."criterion" or (errorHandler.buildDepError "criterion"))
(hsPkgs."sundown" or (errorHandler.buildDepError "sundown"))
(hsPkgs."cheapskate" or (errorHandler.buildDepError "cheapskate"))
(hsPkgs."markdown" or (errorHandler.buildDepError "markdown"))
(hsPkgs."discount" or (errorHandler.buildDepError "discount"))
(hsPkgs."blaze-html" or (errorHandler.buildDepError "blaze-html"))
];
buildable = true;
};
};
};
}
58 changes: 58 additions & 0 deletions ...ge/di-monad-1.3.3-r0-e359e15ba57a4de82fdfedfc634ed2d06f0e7d2665a0197e4198416e2f073736.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,58 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {
monad-control = true;
pipes = true;
pipes-safe = true;
primitive = true;
streaming = true;
transformers-base = true;
unliftio-core = true;
};
package = {
specVersion = "1.18";
identifier = { name = "di-monad"; version = "1.3.3"; };
license = "BSD-3-Clause";
copyright = "Renzo Carbonara 2017-2018";
maintainer = "renλren.zone";
author = "Renzo Carbonara";
homepage = "https://github.com/k0001/di";
url = "";
synopsis = "mtl flavoured typeful hierarchical structured logging for di-core.";
description = "mtl flavoured typeful hierarchical structured logging for di-core.";
buildType = "Simple";
};
components = {
"library" = {
depends = (((((([
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."di-core" or (errorHandler.buildDepError "di-core"))
(hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."stm" or (errorHandler.buildDepError "stm"))
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
] ++ (pkgs.lib).optionals (flags.monad-control) [
(hsPkgs."monad-control" or (errorHandler.buildDepError "monad-control"))
(hsPkgs."transformers-base" or (errorHandler.buildDepError "transformers-base"))
]) ++ (pkgs.lib).optional (flags.pipes) (hsPkgs."pipes" or (errorHandler.buildDepError "pipes"))) ++ (pkgs.lib).optionals (flags.pipes-safe) [
(hsPkgs."pipes-safe" or (errorHandler.buildDepError "pipes-safe"))
(hsPkgs."pipes" or (errorHandler.buildDepError "pipes"))
(hsPkgs."monad-control" or (errorHandler.buildDepError "monad-control"))
(hsPkgs."transformers-base" or (errorHandler.buildDepError "transformers-base"))
]) ++ (pkgs.lib).optional (flags.primitive) (hsPkgs."primitive" or (errorHandler.buildDepError "primitive"))) ++ (pkgs.lib).optionals (flags.streaming) [
(hsPkgs."streaming" or (errorHandler.buildDepError "streaming"))
(hsPkgs."transformers-base" or (errorHandler.buildDepError "transformers-base"))
]) ++ (pkgs.lib).optional (flags.transformers-base) (hsPkgs."transformers-base" or (errorHandler.buildDepError "transformers-base"))) ++ (pkgs.lib).optional (flags.unliftio-core) (hsPkgs."unliftio-core" or (errorHandler.buildDepError "unliftio-core"));
buildable = true;
};
};
}
Loading

0 comments on commit 855a40f

Please sign in to comment.