Skip to content

Commit

Permalink
Automatic Update
Browse files Browse the repository at this point in the history
  • Loading branch information
IOHK committed Sep 14, 2024
1 parent 2dcdeed commit 35f1e6f
Show file tree
Hide file tree
Showing 53 changed files with 2,058 additions and 2 deletions.
2 changes: 2 additions & 0 deletions default.nix
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6589,6 +6589,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
"gitdo" = import ./nix/gitdo.nix;
"githash" = import ./nix/githash.nix;
"github" = import ./nix/github.nix;
"github-app-token" = import ./nix/github-app-token.nix;
"github-backup" = import ./nix/github-backup.nix;
"github-data" = import ./nix/github-data.nix;
"github-post-receive" = import ./nix/github-post-receive.nix;
Expand Down Expand Up @@ -16448,6 +16449,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
"twitter-feed" = import ./nix/twitter-feed.nix;
"twitter-types" = import ./nix/twitter-types.nix;
"twitter-types-lens" = import ./nix/twitter-types-lens.nix;
"twobitreader" = import ./nix/twobitreader.nix;
"tx" = import ./nix/tx.nix;
"txt" = import ./nix/txt.nix;
"txt-sushi" = import ./nix/txt-sushi.nix;
Expand Down
115 changes: 115 additions & 0 deletions hackage/Agda-2.7.0.1-r0-de2cd86b8bc48a4db277f14bb39c63ffc95ea6b79ff2aa266eccf52b2045e909.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,115 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {
debug = false;
debug-serialisation = false;
debug-parsing = false;
enable-cluster-counting = false;
optimise-heavily = false;
};
package = {
specVersion = "2.4";
identifier = { name = "Agda"; version = "2.7.0.1"; };
license = "MIT";
copyright = "(c) 2005-2024 The Agda Team.";
maintainer = "The Agda Team";
author = "The Agda Team, see https://agda.readthedocs.io/en/latest/team.html";
homepage = "https://wiki.portal.chalmers.se/agda/";
url = "";
synopsis = "A dependently typed functional programming language and proof assistant";
description = "Agda is a dependently typed functional programming language: It has\ninductive families, which are similar to Haskell's GADTs, but they\ncan be indexed by values and not just types. It also has\nparameterised modules, mixfix operators, Unicode characters, and an\ninteractive Emacs interface (the type checker can assist in the\ndevelopment of your code).\n\nAgda is also a proof assistant: It is an interactive system for\nwriting and checking proofs. Agda is based on intuitionistic type\ntheory, a foundational system for constructive mathematics developed\nby the Swedish logician Per Martin-Löf. It has many\nsimilarities with other proof assistants based on dependent types,\nsuch as Coq, Idris, Lean and NuPRL.\n\nThis package includes both a command-line program (agda) and an\nEmacs mode. If you want to use the Emacs mode you can set it up by\nrunning @agda-mode setup@ (see the README).";
buildType = "Custom";
setup-depends = [
(hsPkgs.pkgsBuildBuild.base or (pkgs.pkgsBuildBuild.base or (errorHandler.setupDepError "base")))
(hsPkgs.pkgsBuildBuild.Cabal or (pkgs.pkgsBuildBuild.Cabal or (errorHandler.setupDepError "Cabal")))
(hsPkgs.pkgsBuildBuild.directory or (pkgs.pkgsBuildBuild.directory or (errorHandler.setupDepError "directory")))
(hsPkgs.pkgsBuildBuild.filepath or (pkgs.pkgsBuildBuild.filepath or (errorHandler.setupDepError "filepath")))
(hsPkgs.pkgsBuildBuild.process or (pkgs.pkgsBuildBuild.process or (errorHandler.setupDepError "process")))
];
};
components = {
"library" = {
depends = ([
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
(hsPkgs."ansi-terminal" or (errorHandler.buildDepError "ansi-terminal"))
(hsPkgs."array" or (errorHandler.buildDepError "array"))
(hsPkgs."async" or (errorHandler.buildDepError "async"))
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."binary" or (errorHandler.buildDepError "binary"))
(hsPkgs."blaze-html" or (errorHandler.buildDepError "blaze-html"))
(hsPkgs."boxes" or (errorHandler.buildDepError "boxes"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."case-insensitive" or (errorHandler.buildDepError "case-insensitive"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."data-hash" or (errorHandler.buildDepError "data-hash"))
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
(hsPkgs."dlist" or (errorHandler.buildDepError "dlist"))
(hsPkgs."edit-distance" or (errorHandler.buildDepError "edit-distance"))
(hsPkgs."equivalence" or (errorHandler.buildDepError "equivalence"))
(hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
(hsPkgs."ghc-compact" or (errorHandler.buildDepError "ghc-compact"))
(hsPkgs."gitrev" or (errorHandler.buildDepError "gitrev"))
(hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
(hsPkgs."haskeline" or (errorHandler.buildDepError "haskeline"))
(hsPkgs."monad-control" or (errorHandler.buildDepError "monad-control"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."murmur-hash" or (errorHandler.buildDepError "murmur-hash"))
(hsPkgs."parallel" or (errorHandler.buildDepError "parallel"))
(hsPkgs."peano" or (errorHandler.buildDepError "peano"))
(hsPkgs."pqueue" or (errorHandler.buildDepError "pqueue"))
(hsPkgs."pretty" or (errorHandler.buildDepError "pretty"))
(hsPkgs."process" or (errorHandler.buildDepError "process"))
(hsPkgs."regex-tdfa" or (errorHandler.buildDepError "regex-tdfa"))
(hsPkgs."split" or (errorHandler.buildDepError "split"))
(hsPkgs."stm" or (errorHandler.buildDepError "stm"))
(hsPkgs."STMonadTrans" or (errorHandler.buildDepError "STMonadTrans"))
(hsPkgs."strict" or (errorHandler.buildDepError "strict"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."time" or (errorHandler.buildDepError "time"))
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
(hsPkgs."uri-encode" or (errorHandler.buildDepError "uri-encode"))
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
(hsPkgs."vector-hashtables" or (errorHandler.buildDepError "vector-hashtables"))
(hsPkgs."zlib" or (errorHandler.buildDepError "zlib"))
] ++ pkgs.lib.optional (flags.enable-cluster-counting) (hsPkgs."text-icu" or (errorHandler.buildDepError "text-icu"))) ++ pkgs.lib.optional (system.isWindows) (hsPkgs."Win32" or (errorHandler.buildDepError "Win32"));
build-tools = [
(hsPkgs.pkgsBuildBuild.alex.components.exes.alex or (pkgs.pkgsBuildBuild.alex or (errorHandler.buildToolDepError "alex:alex")))
(hsPkgs.pkgsBuildBuild.happy.components.exes.happy or (pkgs.pkgsBuildBuild.happy or (errorHandler.buildToolDepError "happy:happy")))
];
buildable = (if compiler.isGhc && compiler.version.eq "8.6.1"
then false
else true) && (if system.isWindows && (compiler.isGhc && compiler.version.eq "8.6.3")
then false
else true);
};
exes = {
"agda" = {
depends = [
(hsPkgs."Agda" or (errorHandler.buildDepError "Agda"))
(hsPkgs."base" or (errorHandler.buildDepError "base"))
];
buildable = true;
};
"agda-mode" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
(hsPkgs."process" or (errorHandler.buildDepError "process"))
];
buildable = true;
};
};
};
}
37 changes: 37 additions & 0 deletions ...icroCabal-0.2.1.0-r0-e0bc052848e11bb8408b12bcf32801dda0c149a66ff5972423756e295f11a2a3.nix
View file
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 = "3.0";
identifier = { name = "MicroCabal"; version = "0.2.1.0"; };
license = "Apache-2.0";
copyright = "2024 Lennart Augustsson";
maintainer = "[email protected]";
author = "[email protected]";
homepage = "";
url = "";
synopsis = "A partial Cabal replacement";
description = "A portable subset of the Cabal functionality.";
buildType = "Simple";
};
components = {
exes = {
"mcabal" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
(hsPkgs."process" or (errorHandler.buildDepError "process"))
];
buildable = true;
};
};
};
}
37 changes: 37 additions & 0 deletions ...icroCabal-0.2.1.1-r0-5199902439121783f22bcaa3570e34aba4f1ecbc9b574dced9ae4ba6311dbf5a.nix
View file
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 = "3.0";
identifier = { name = "MicroCabal"; version = "0.2.1.1"; };
license = "Apache-2.0";
copyright = "2024 Lennart Augustsson";
maintainer = "[email protected]";
author = "[email protected]";
homepage = "";
url = "";
synopsis = "A partial Cabal replacement";
description = "A portable subset of the Cabal functionality.";
buildType = "Simple";
};
components = {
exes = {
"mcabal" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
(hsPkgs."process" or (errorHandler.buildDepError "process"))
];
buildable = true;
};
};
};
}
42 changes: 42 additions & 0 deletions .../MicroHs-0.9.18.0-r0-0956a5f71edd2173faa902bcb1613ed1b3f3b8c53191e256314b98a70da64528.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,42 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {};
package = {
specVersion = "3.0";
identifier = { name = "MicroHs"; version = "0.9.18.0"; };
license = "Apache-2.0";
copyright = "2023,2024 Lennart Augustsson";
maintainer = "[email protected]";
author = "[email protected]";
homepage = "";
url = "";
synopsis = "A small compiler for Haskell";
description = "A compiler for an extended subset of Haskell-2010.\nThe compiler translates to combinators and can compile itself.";
buildType = "Simple";
};
components = {
exes = {
"mhs" = {
depends = pkgs.lib.optionals (compiler.isGhc && true) [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
(hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim"))
(hsPkgs."haskeline" or (errorHandler.buildDepError "haskeline"))
(hsPkgs."time" or (errorHandler.buildDepError "time"))
(hsPkgs."process" or (errorHandler.buildDepError "process"))
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
];
buildable = true;
};
};
};
}
65 changes: 65 additions & 0 deletions ...debounce-0.2.0.12-r0-c9c7fff07226ccd50c12c73de948f403ee8e319673dc18561bdec870509692d4.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 = "2.0";
identifier = { name = "fold-debounce"; version = "0.2.0.12"; };
license = "BSD-3-Clause";
copyright = "";
maintainer = "Toshio Ito <[email protected]>";
author = "Toshio Ito <[email protected]>";
homepage = "https://github.com/debug-ito/fold-debounce";
url = "";
synopsis = "Fold multiple events that happen in a given period of time.";
description = "Fold multiple events that happen in a given period of time. See \"Control.FoldDebounce\".";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."data-default-class" or (errorHandler.buildDepError "data-default-class"))
(hsPkgs."stm" or (errorHandler.buildDepError "stm"))
(hsPkgs."time" or (errorHandler.buildDepError "time"))
(hsPkgs."stm-delay" or (errorHandler.buildDepError "stm-delay"))
];
buildable = true;
};
tests = {
"spec" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."fold-debounce" or (errorHandler.buildDepError "fold-debounce"))
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
(hsPkgs."stm" or (errorHandler.buildDepError "stm"))
(hsPkgs."time" or (errorHandler.buildDepError "time"))
];
build-tools = [
(hsPkgs.pkgsBuildBuild.hspec-discover.components.exes.hspec-discover or (pkgs.pkgsBuildBuild.hspec-discover or (errorHandler.buildToolDepError "hspec-discover:hspec-discover")))
];
buildable = true;
};
"spec-threaded" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."fold-debounce" or (errorHandler.buildDepError "fold-debounce"))
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
(hsPkgs."stm" or (errorHandler.buildDepError "stm"))
(hsPkgs."time" or (errorHandler.buildDepError "time"))
];
build-tools = [
(hsPkgs.pkgsBuildBuild.hspec-discover.components.exes.hspec-discover or (pkgs.pkgsBuildBuild.hspec-discover or (errorHandler.buildToolDepError "hspec-discover:hspec-discover")))
];
buildable = true;
};
};
};
}
Loading

0 comments on commit 35f1e6f

Please sign in to comment.