Skip to content

Commit

Permalink
Automatic Update
Browse files Browse the repository at this point in the history
  • Loading branch information
IOHK committed Sep 9, 2024
1 parent 022ccd7 commit 5a3e431
Show file tree
Hide file tree
Showing 61 changed files with 2,340 additions and 11 deletions.
1 change: 1 addition & 0 deletions default.nix
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13243,6 +13243,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
"quotet" = import ./nix/quotet.nix;
"qux" = import ./nix/qux.nix;
"r-glpk-phonetic-languages-ukrainian-durations" = import ./nix/r-glpk-phonetic-languages-ukrainian-durations.nix;
"r-tree" = import ./nix/r-tree.nix;
"r3x-haskell-sdk" = import ./nix/r3x-haskell-sdk.nix;
"raaz" = import ./nix/raaz.nix;
"rabocsv2qif" = import ./nix/rabocsv2qif.nix;
Expand Down
31 changes: 31 additions & 0 deletions ...age/array-0.5.8.0-r0-173e6b024509aadce9c70dc9b05b62035a436e982a48442229821b78678b4d6e.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,31 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {};
package = {
specVersion = "1.10";
identifier = { name = "array"; version = "0.5.8.0"; };
license = "BSD-3-Clause";
copyright = "";
maintainer = "[email protected]";
author = "";
homepage = "";
url = "";
synopsis = "Mutable and immutable arrays";
description = "In addition to providing the \"Data.Array\" module\n<http://www.haskell.org/onlinereport/haskell2010/haskellch14.html as specified in the Haskell 2010 Language Report>,\nthis package also defines the classes 'IArray' of\nimmutable arrays and 'MArray' of arrays mutable within appropriate\nmonads, as well as some instances of these classes.";
buildType = "Simple";
};
components = {
"library" = {
depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ];
buildable = true;
};
};
}
31 changes: 31 additions & 0 deletions ...age/array-0.5.8.0-r1-16f95533d2b46c45ad43e935c5ec04564717015ce9fe42151b3f523e5c5f1449.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,31 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {};
package = {
specVersion = "1.10";
identifier = { name = "array"; version = "0.5.8.0"; };
license = "BSD-3-Clause";
copyright = "";
maintainer = "[email protected]";
author = "";
homepage = "";
url = "";
synopsis = "Mutable and immutable arrays";
description = "In addition to providing the \"Data.Array\" module\n<http://www.haskell.org/onlinereport/haskell2010/haskellch14.html as specified in the Haskell 2010 Language Report>,\nthis package also defines the classes 'IArray' of\nimmutable arrays and 'MArray' of arrays mutable within appropriate\nmonads, as well as some instances of these classes.";
buildType = "Simple";
};
components = {
"library" = {
depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ];
buildable = true;
};
};
}
55 changes: 55 additions & 0 deletions ...m-migrate-0.5.2.1-r2-8418cc3dfbb8ebd63fc7d490167206bce2c1784e4617be4fa9d60ddbe3b7081d.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,55 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = { werror = false; };
package = {
specVersion = "1.18";
identifier = { name = "beam-migrate"; version = "0.5.2.1"; };
license = "MIT";
copyright = "Copyright (C) 2017-2018 Travis Athougies";
maintainer = "[email protected]";
author = "Travis Athougies";
homepage = "https://travis.athougies.net/projects/beam.html";
url = "";
synopsis = "SQL DDL support and migrations support library for Beam";
description = "This package provides type classes to allow backends to implement\nSQL DDL support for beam. This allows you to use beam syntax to\nwrite type-safe schema generation code.\nThe package also provides features to introspect beam schemas,\nand support for automatic generation of migrations in SQL and\nHaskell formats.\nThis is mostly a low-level support library. Most often, this\nlibrary is used to write tooling to support DDL manipulation in\nyour project, or to enable migrations support in beam backends.\nFor a more turnkey solution for database migrations, consider\nthe <http://hackage.haskell.org/package/beam-migrate-cli beam-migrate>\ncommand line tool. This provides out-of-the-box support for migrations,\nschema change management, and version control, based on the features\nprovided in this library.";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."beam-core" or (errorHandler.buildDepError "beam-core"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."free" or (errorHandler.buildDepError "free"))
(hsPkgs."time" or (errorHandler.buildDepError "time"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."scientific" or (errorHandler.buildDepError "scientific"))
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
(hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
(hsPkgs."microlens" or (errorHandler.buildDepError "microlens"))
(hsPkgs."parallel" or (errorHandler.buildDepError "parallel"))
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
(hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim"))
(hsPkgs."haskell-src-exts" or (errorHandler.buildDepError "haskell-src-exts"))
(hsPkgs."pretty" or (errorHandler.buildDepError "pretty"))
(hsPkgs."dependent-map" or (errorHandler.buildDepError "dependent-map"))
(hsPkgs."dependent-sum" or (errorHandler.buildDepError "dependent-sum"))
(hsPkgs."pqueue" or (errorHandler.buildDepError "pqueue"))
(hsPkgs."uuid-types" or (errorHandler.buildDepError "uuid-types"))
];
buildable = true;
};
};
}
93 changes: 93 additions & 0 deletions ...oodhound-0.23.0.0-r0-384e4ddfb28bd2650096e91b169ff562d2ab1f21bd9aecfcf08f67a96c69ab70.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,93 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {};
package = {
specVersion = "3.4";
identifier = { name = "bloodhound"; version = "0.23.0.0"; };
license = "BSD-3-Clause";
copyright = "2018 Chris Allen";
maintainer = "[email protected]";
author = "Chris Allen";
homepage = "https://github.com/bitemyapp/bloodhound.git#readme";
url = "";
synopsis = "Elasticsearch client library for Haskell";
description = "Elasticsearch made awesome for Haskell hackers";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."blaze-builder" or (errorHandler.buildDepError "blaze-builder"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
(hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
(hsPkgs."http-client" or (errorHandler.buildDepError "http-client"))
(hsPkgs."http-types" or (errorHandler.buildDepError "http-types"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."network-uri" or (errorHandler.buildDepError "network-uri"))
(hsPkgs."optics-core" or (errorHandler.buildDepError "optics-core"))
(hsPkgs."scientific" or (errorHandler.buildDepError "scientific"))
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."time" or (errorHandler.buildDepError "time"))
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
(hsPkgs."versions" or (errorHandler.buildDepError "versions"))
];
buildable = true;
};
tests = {
"bloodhound-tests" = {
depends = [
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
(hsPkgs."aeson-optics" or (errorHandler.buildDepError "aeson-optics"))
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."bloodhound" or (errorHandler.buildDepError "bloodhound"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."errors" or (errorHandler.buildDepError "errors"))
(hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
(hsPkgs."generic-random" or (errorHandler.buildDepError "generic-random"))
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
(hsPkgs."hspec-discover" or (errorHandler.buildDepError "hspec-discover"))
(hsPkgs."http-client" or (errorHandler.buildDepError "http-client"))
(hsPkgs."http-types" or (errorHandler.buildDepError "http-types"))
(hsPkgs."microlens" or (errorHandler.buildDepError "microlens"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."optics" or (errorHandler.buildDepError "optics"))
(hsPkgs."pretty-simple" or (errorHandler.buildDepError "pretty-simple"))
(hsPkgs."quickcheck-properties" or (errorHandler.buildDepError "quickcheck-properties"))
(hsPkgs."temporary" or (errorHandler.buildDepError "temporary"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."time" or (errorHandler.buildDepError "time"))
(hsPkgs."unix-compat" or (errorHandler.buildDepError "unix-compat"))
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
(hsPkgs."versions" or (errorHandler.buildDepError "versions"))
];
buildable = true;
};
"doctests" = {
depends = [
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."bloodhound" or (errorHandler.buildDepError "bloodhound"))
(hsPkgs."doctest" or (errorHandler.buildDepError "doctest"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
];
buildable = true;
};
};
};
}
148 changes: 148 additions & 0 deletions hackage/copilot-4.0-r0-92552eb6adaeccfd3f416d822fc7c1d53fe97cc9dcf9791a81d048445d4b437b.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,148 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = { examples = false; };
package = {
specVersion = "1.10";
identifier = { name = "copilot"; version = "4.0"; };
license = "BSD-3-Clause";
copyright = "";
maintainer = "Ivan Perez <[email protected]>";
author = "Frank Dedden, Nis Nordby Wegmann, Lee Pike, Robin Morisset, Sebastian Niller, Alwyn Goodloe, Ivan Perez";
homepage = "https://copilot-language.github.io";
url = "";
synopsis = "A stream DSL for writing embedded C programs.";
description = "Copilot is a stream-based runtime verification framework implemented as an\nembedded domain-specific language (EDSL) in Haskell. Programs can be\ninterpreted for testing, or translated into C99 code to be incorporated in a\nproject, or as a standalone application. The C99 backend output is constant\nin memory and time, making it suitable for systems with hard realtime\nrequirements.\n\nThis package is the main entry-point for using Copilot.\n\nA tutorial, examples, and other information are available at\n<https://copilot-language.github.io>.";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
(hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core"))
(hsPkgs."copilot-theorem" or (errorHandler.buildDepError "copilot-theorem"))
(hsPkgs."copilot-language" or (errorHandler.buildDepError "copilot-language"))
(hsPkgs."copilot-libraries" or (errorHandler.buildDepError "copilot-libraries"))
(hsPkgs."copilot-c99" or (errorHandler.buildDepError "copilot-c99"))
(hsPkgs."copilot-prettyprinter" or (errorHandler.buildDepError "copilot-prettyprinter"))
];
buildable = true;
};
exes = {
"what4-propositional" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
(hsPkgs."copilot-theorem" or (errorHandler.buildDepError "copilot-theorem"))
];
buildable = if flags.examples then true else false;
};
"what4-arithmetic" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
(hsPkgs."copilot-theorem" or (errorHandler.buildDepError "copilot-theorem"))
];
buildable = if flags.examples then true else false;
};
"what4-structs" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
(hsPkgs."copilot-theorem" or (errorHandler.buildDepError "copilot-theorem"))
];
buildable = if flags.examples then true else false;
};
"wcv" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
(hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core"))
(hsPkgs."copilot-theorem" or (errorHandler.buildDepError "copilot-theorem"))
];
buildable = if flags.examples then true else false;
};
"addmult" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
(hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core"))
(hsPkgs."copilot-theorem" or (errorHandler.buildDepError "copilot-theorem"))
];
buildable = if flags.examples then true else false;
};
"array" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
];
buildable = if flags.examples then true else false;
};
"cast" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
];
buildable = if flags.examples then true else false;
};
"clock" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
(hsPkgs."copilot-libraries" or (errorHandler.buildDepError "copilot-libraries"))
(hsPkgs."copilot-core" or (errorHandler.buildDepError "copilot-core"))
(hsPkgs."copilot-theorem" or (errorHandler.buildDepError "copilot-theorem"))
];
buildable = if flags.examples then true else false;
};
"counter" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
(hsPkgs."copilot-c99" or (errorHandler.buildDepError "copilot-c99"))
];
buildable = if flags.examples then true else false;
};
"engine" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
];
buildable = if flags.examples then true else false;
};
"heater" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
(hsPkgs."copilot-c99" or (errorHandler.buildDepError "copilot-c99"))
];
buildable = if flags.examples then true else false;
};
"structs" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
(hsPkgs."copilot-c99" or (errorHandler.buildDepError "copilot-c99"))
];
buildable = if flags.examples then true else false;
};
"voting" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."copilot" or (errorHandler.buildDepError "copilot"))
];
buildable = if flags.examples then true else false;
};
};
};
}
Loading

0 comments on commit 5a3e431

Please sign in to comment.