Skip to content

Commit dc859d3

Browse files
author
IOHK
committed
Automatic Update
1 parent 6e90df7 commit dc859d3

File tree

39 files changed

+1448
-3
lines changed

39 files changed

+1448
-3
lines changed

default.nix

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8001,6 +8001,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
80018001
"highlighter2" = import ./nix/highlighter2.nix;
80028002
"highlighting-kate" = import ./nix/highlighting-kate.nix;
80038003
"highs-lp" = import ./nix/highs-lp.nix;
8004+
"hikchr" = import ./nix/hikchr.nix;
80048005
"hills" = import ./nix/hills.nix;
80058006
"himerge" = import ./nix/himerge.nix;
80068007
"himg" = import ./nix/himg.nix;
@@ -9165,6 +9166,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
91659166
"inline-c-objc" = import ./nix/inline-c-objc.nix;
91669167
"inline-c-win32" = import ./nix/inline-c-win32.nix;
91679168
"inline-java" = import ./nix/inline-java.nix;
9169+
"inline-python" = import ./nix/inline-python.nix;
91689170
"inline-r" = import ./nix/inline-r.nix;
91699171
"inliterate" = import ./nix/inliterate.nix;
91709172
"input-parsers" = import ./nix/input-parsers.nix;
Lines changed: 66 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,66 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, errorHandler
8+
, config
9+
, ... }:
10+
{
11+
flags = { build-readme = true; };
12+
package = {
13+
specVersion = "1.24";
14+
identifier = { name = "aeson-gadt-th"; version = "0.2.5.4"; };
15+
license = "BSD-3-Clause";
16+
copyright = "2019 Obsidian Systems LLC";
17+
maintainer = "[email protected]";
18+
author = "Obsidian Systems LLC";
19+
homepage = "";
20+
url = "";
21+
synopsis = "Derivation of Aeson instances for GADTs";
22+
description = "Template Haskell for generating ToJSON and FromJSON instances for GADTs. See <https://github.com/obsidiansystems/aeson-gadt-th/blob/master/README.md README.md> for examples.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
30+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
31+
(hsPkgs."dependent-sum" or (errorHandler.buildDepError "dependent-sum"))
32+
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
33+
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
34+
(hsPkgs."th-abstraction" or (errorHandler.buildDepError "th-abstraction"))
35+
] ++ pkgs.lib.optional (compiler.isGhc && compiler.version.lt "8.2") (hsPkgs."dependent-sum" or (errorHandler.buildDepError "dependent-sum"));
36+
buildable = true;
37+
};
38+
exes = {
39+
"readme" = {
40+
depends = [
41+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
42+
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
43+
(hsPkgs."dependent-sum" or (errorHandler.buildDepError "dependent-sum"))
44+
(hsPkgs."dependent-sum-template" or (errorHandler.buildDepError "dependent-sum-template"))
45+
(hsPkgs."dependent-map" or (errorHandler.buildDepError "dependent-map"))
46+
(hsPkgs."aeson-gadt-th" or (errorHandler.buildDepError "aeson-gadt-th"))
47+
];
48+
buildable = if !flags.build-readme then false else true;
49+
};
50+
};
51+
tests = {
52+
"aeson-gadt-th-test" = {
53+
depends = [
54+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
55+
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
56+
(hsPkgs."aeson-qq" or (errorHandler.buildDepError "aeson-qq"))
57+
(hsPkgs."dependent-sum" or (errorHandler.buildDepError "dependent-sum"))
58+
(hsPkgs."aeson-gadt-th" or (errorHandler.buildDepError "aeson-gadt-th"))
59+
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
60+
(hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit"))
61+
];
62+
buildable = true;
63+
};
64+
};
65+
};
66+
}
Lines changed: 46 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,46 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, errorHandler
8+
, config
9+
, ... }:
10+
{
11+
flags = { build-readme = true; };
12+
package = {
13+
specVersion = "2.0";
14+
identifier = { name = "constraints-extras"; version = "0.4.0.2"; };
15+
license = "BSD-3-Clause";
16+
copyright = "Obsidian Systems LLC";
17+
maintainer = "[email protected]";
18+
author = "Cale Gibbard, Ali Abrar";
19+
homepage = "https://github.com/obsidiansystems/constraints-extras";
20+
url = "";
21+
synopsis = "Utility package for constraints";
22+
description = "Convenience functions and TH for working with constraints. See <https://github.com/obsidiansystems/constraints-extras/blob/develop/README.md README.md> for example usage.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."constraints" or (errorHandler.buildDepError "constraints"))
30+
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
31+
] ++ pkgs.lib.optional (compiler.isGhc && compiler.version.ge "9.12") (hsPkgs."aeson" or (errorHandler.buildDepError "aeson"));
32+
buildable = true;
33+
};
34+
exes = {
35+
"readme" = {
36+
depends = [
37+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
38+
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
39+
(hsPkgs."constraints" or (errorHandler.buildDepError "constraints"))
40+
(hsPkgs."constraints-extras" or (errorHandler.buildDepError "constraints-extras"))
41+
];
42+
buildable = if !flags.build-readme then false else true;
43+
};
44+
};
45+
};
46+
}
Lines changed: 39 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,39 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, errorHandler
8+
, config
9+
, ... }:
10+
{
11+
flags = {};
12+
package = {
13+
specVersion = "1.10";
14+
identifier = { name = "dependent-monoidal-map"; version = "0.1.1.5"; };
15+
license = "BSD-3-Clause";
16+
copyright = "2018 Obsidian Systems LLC";
17+
maintainer = "[email protected]";
18+
author = "Obsidian Systems LLC";
19+
homepage = "";
20+
url = "";
21+
synopsis = "Dependent map that uses semigroup mappend";
22+
description = "Data.Dependent.Map variant that appends conflicting entries when merging maps instead of discarding one side of the conflict.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
29+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
30+
(hsPkgs."constraints" or (errorHandler.buildDepError "constraints"))
31+
(hsPkgs."constraints-extras" or (errorHandler.buildDepError "constraints-extras"))
32+
(hsPkgs."dependent-map" or (errorHandler.buildDepError "dependent-map"))
33+
(hsPkgs."dependent-sum" or (errorHandler.buildDepError "dependent-sum"))
34+
(hsPkgs."dependent-sum-aeson-orphans" or (errorHandler.buildDepError "dependent-sum-aeson-orphans"))
35+
];
36+
buildable = true;
37+
};
38+
};
39+
}
Lines changed: 42 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,42 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, errorHandler
8+
, config
9+
, ... }:
10+
{
11+
flags = {};
12+
package = {
13+
specVersion = "1.10";
14+
identifier = {
15+
name = "dependent-sum-aeson-orphans";
16+
version = "0.3.1.1";
17+
};
18+
license = "BSD-3-Clause";
19+
copyright = "2020 Obsidian Systems LLC";
20+
maintainer = "[email protected]";
21+
author = "Obsidian Systems";
22+
homepage = "https://github.com/obsidiansystems/dependent-sum-aeson-orphans";
23+
url = "";
24+
synopsis = "JSON instances for DSum, DMap, and Some";
25+
description = "JSON instances for DSum, DMap, and Some.";
26+
buildType = "Simple";
27+
};
28+
components = {
29+
"library" = {
30+
depends = [
31+
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
32+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
33+
(hsPkgs."constraints" or (errorHandler.buildDepError "constraints"))
34+
(hsPkgs."constraints-extras" or (errorHandler.buildDepError "constraints-extras"))
35+
(hsPkgs."dependent-map" or (errorHandler.buildDepError "dependent-map"))
36+
(hsPkgs."dependent-sum" or (errorHandler.buildDepError "dependent-sum"))
37+
(hsPkgs."some" or (errorHandler.buildDepError "some"))
38+
];
39+
buildable = true;
40+
};
41+
};
42+
}
Lines changed: 55 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,55 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, errorHandler
8+
, config
9+
, ... }:
10+
{
11+
flags = {};
12+
package = {
13+
specVersion = "1.10";
14+
identifier = { name = "dependent-sum-template"; version = "0.2.0.2"; };
15+
license = "LicenseRef-PublicDomain";
16+
copyright = "";
17+
maintainer = "Obsidian Systems, LLC <[email protected]>";
18+
author = "James Cook <[email protected]>";
19+
homepage = "https://github.com/obsidiansystems/dependent-sum-template";
20+
url = "";
21+
synopsis = "Template Haskell code to generate instances of classes in some package";
22+
description = "Template Haskell code to generate instances of classes in some package, such as 'GEq' and 'GCompare'.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."some" or (errorHandler.buildDepError "some"))
30+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
31+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
32+
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
33+
(hsPkgs."th-abstraction" or (errorHandler.buildDepError "th-abstraction"))
34+
];
35+
buildable = if compiler.isGhc && compiler.version.lt "7.10"
36+
then false
37+
else true;
38+
};
39+
tests = {
40+
"test" = {
41+
depends = [
42+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
43+
(hsPkgs."constraints-extras" or (errorHandler.buildDepError "constraints-extras"))
44+
(hsPkgs."dependent-sum-template" or (errorHandler.buildDepError "dependent-sum-template"))
45+
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
46+
(hsPkgs."some" or (errorHandler.buildDepError "some"))
47+
(hsPkgs."th-abstraction" or (errorHandler.buildDepError "th-abstraction"))
48+
];
49+
buildable = if compiler.isGhc && compiler.version.lt "8.0"
50+
then false
51+
else true;
52+
};
53+
};
54+
};
55+
}
Lines changed: 51 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,51 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, errorHandler
8+
, config
9+
, ... }:
10+
{
11+
flags = {};
12+
package = {
13+
specVersion = "1.10";
14+
identifier = { name = "happy"; version = "2.1.4"; };
15+
license = "BSD-2-Clause";
16+
copyright = "(c) Andy Gill, Simon Marlow";
17+
maintainer = "https://github.com/haskell/happy";
18+
author = "Andy Gill and Simon Marlow";
19+
homepage = "https://www.haskell.org/happy/";
20+
url = "";
21+
synopsis = "Happy is a parser generator for Haskell";
22+
description = "Happy is a parser generator for Haskell. Given a grammar\nspecification in BNF, Happy generates Haskell code to parse the\ngrammar. Happy works in a similar way to the @yacc@ tool for C.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
exes = {
27+
"happy" = {
28+
depends = [
29+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
30+
(hsPkgs."array" or (errorHandler.buildDepError "array"))
31+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
32+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
33+
(hsPkgs."happy-lib" or (errorHandler.buildDepError "happy-lib"))
34+
];
35+
buildable = true;
36+
};
37+
};
38+
tests = {
39+
"tests" = {
40+
depends = [
41+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
42+
(hsPkgs."process" or (errorHandler.buildDepError "process"))
43+
];
44+
build-tools = [
45+
(hsPkgs.pkgsBuildBuild.happy.components.exes.happy or (pkgs.pkgsBuildBuild.happy or (errorHandler.buildToolDepError "happy:happy")))
46+
];
47+
buildable = true;
48+
};
49+
};
50+
};
51+
}

0 commit comments

Comments
 (0)