Skip to content

Commit 4881d4b

Browse files
author
IOHK
committed
Automatic Update
1 parent 60dfd96 commit 4881d4b

File tree

62 files changed

+3266
-6
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

62 files changed

+3266
-6
lines changed

default.nix

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6937,6 +6937,8 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
69376937
"gpolyline" = import ./nix/gpolyline.nix;
69386938
"gps" = import ./nix/gps.nix;
69396939
"gps2htmlReport" = import ./nix/gps2html_Report.nix;
6940+
"gpu-vulkan-core" = import ./nix/gpu-vulkan-core.nix;
6941+
"gpu-vulkan-middle" = import ./nix/gpu-vulkan-middle.nix;
69406942
"gpx-conduit" = import ./nix/gpx-conduit.nix;
69416943
"grab" = import ./nix/grab.nix;
69426944
"grab-form" = import ./nix/grab-form.nix;
@@ -7845,6 +7847,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
78457847
"hetero-dict" = import ./nix/hetero-dict.nix;
78467848
"hetero-map" = import ./nix/hetero-map.nix;
78477849
"hetero-parameter-list" = import ./nix/hetero-parameter-list.nix;
7850+
"hetero-parameter-list-with-typelevel-tools" = import ./nix/hetero-parameter-list-with-typelevel-tools.nix;
78487851
"hetero-zip" = import ./nix/hetero-zip.nix;
78497852
"heterocephalus" = import ./nix/heterocephalus.nix;
78507853
"heterogeneous-list-literals" = import ./nix/heterogeneous-list-literals.nix;
@@ -9819,6 +9822,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
98199822
"language-sh" = import ./nix/language-sh.nix;
98209823
"language-slice" = import ./nix/language-slice.nix;
98219824
"language-spelling" = import ./nix/language-spelling.nix;
9825+
"language-spir-v" = import ./nix/language-spir-v.nix;
98229826
"language-sqlite" = import ./nix/language-sqlite.nix;
98239827
"language-sygus" = import ./nix/language-sygus.nix;
98249828
"language-thrift" = import ./nix/language-thrift.nix;
@@ -15283,7 +15287,9 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
1528315287
"storable-complex" = import ./nix/storable-complex.nix;
1528415288
"storable-endian" = import ./nix/storable-endian.nix;
1528515289
"storable-enum" = import ./nix/storable-enum.nix;
15290+
"storable-hetero-list" = import ./nix/storable-hetero-list.nix;
1528615291
"storable-offset" = import ./nix/storable-offset.nix;
15292+
"storable-peek-poke" = import ./nix/storable-peek-poke.nix;
1528715293
"storable-record" = import ./nix/storable-record.nix;
1528815294
"storable-static-array" = import ./nix/storable-static-array.nix;
1528915295
"storable-tuple" = import ./nix/storable-tuple.nix;
@@ -16275,6 +16281,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
1627516281
"too-many-cells" = import ./nix/too-many-cells.nix;
1627616282
"toodles" = import ./nix/toodles.nix;
1627716283
"toolbox" = import ./nix/toolbox.nix;
16284+
"tools-yj" = import ./nix/tools-yj.nix;
1627816285
"toolshed" = import ./nix/toolshed.nix;
1627916286
"top" = import ./nix/top.nix;
1628016287
"topaz" = import ./nix/topaz.nix;
@@ -17884,6 +17891,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
1788417891
"yices-easy" = import ./nix/yices-easy.nix;
1788517892
"yices-painless" = import ./nix/yices-painless.nix;
1788617893
"yiyd" = import ./nix/yiyd.nix;
17894+
"yj-sandbox" = import ./nix/yj-sandbox.nix;
1788717895
"yjftp" = import ./nix/yjftp.nix;
1788817896
"yjftp-libs" = import ./nix/yjftp-libs.nix;
1788917897
"yjsvg" = import ./nix/yjsvg.nix;
Lines changed: 50 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,50 @@
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.18";
14+
identifier = { name = "Diff"; version = "1.0"; };
15+
license = "BSD-3-Clause";
16+
copyright = "";
17+
maintainer = "David Fox <[email protected]>";
18+
author = "Sterling Clover";
19+
homepage = "https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.6927";
20+
url = "";
21+
synopsis = "Diff algorithm in pure Haskell";
22+
description = "Implementation of the standard diff algorithm in Haskell.\n\nTime complexity is O(ND) (input length * number of differences).\nSpace complexity is O(D^2). Includes utilities for pretty printing.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."array" or (errorHandler.buildDepError "array"))
30+
(hsPkgs."pretty" or (errorHandler.buildDepError "pretty"))
31+
];
32+
buildable = true;
33+
};
34+
tests = {
35+
"diff-tests" = {
36+
depends = [
37+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
38+
(hsPkgs."array" or (errorHandler.buildDepError "array"))
39+
(hsPkgs."pretty" or (errorHandler.buildDepError "pretty"))
40+
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
41+
(hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework"))
42+
(hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2"))
43+
(hsPkgs."process" or (errorHandler.buildDepError "process"))
44+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
45+
] ++ pkgs.lib.optional (compiler.isGhc && compiler.version.lt "8.0") (hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups"));
46+
buildable = true;
47+
};
48+
};
49+
};
50+
}
Lines changed: 50 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,50 @@
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.18";
14+
identifier = { name = "Diff"; version = "1.0.1"; };
15+
license = "BSD-3-Clause";
16+
copyright = "";
17+
maintainer = "David Fox <[email protected]>";
18+
author = "Sterling Clover";
19+
homepage = "https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.6927";
20+
url = "";
21+
synopsis = "Diff algorithm in pure Haskell";
22+
description = "Implementation of the standard diff algorithm in Haskell.\n\nTime complexity is O(ND) (input length * number of differences).\nSpace complexity is O(D^2). Includes utilities for pretty printing.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."array" or (errorHandler.buildDepError "array"))
30+
(hsPkgs."pretty" or (errorHandler.buildDepError "pretty"))
31+
];
32+
buildable = true;
33+
};
34+
tests = {
35+
"diff-tests" = {
36+
depends = [
37+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
38+
(hsPkgs."array" or (errorHandler.buildDepError "array"))
39+
(hsPkgs."pretty" or (errorHandler.buildDepError "pretty"))
40+
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
41+
(hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework"))
42+
(hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2"))
43+
(hsPkgs."process" or (errorHandler.buildDepError "process"))
44+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
45+
] ++ pkgs.lib.optional (compiler.isGhc && compiler.version.lt "8.0") (hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups"));
46+
buildable = true;
47+
};
48+
};
49+
};
50+
}
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.18";
14+
identifier = { name = "Diff"; version = "1.0.1.1"; };
15+
license = "BSD-3-Clause";
16+
copyright = "";
17+
maintainer = "David Fox <[email protected]>";
18+
author = "Sterling Clover";
19+
homepage = "https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.6927";
20+
url = "";
21+
synopsis = "Diff algorithm in pure Haskell";
22+
description = "Implementation of the standard diff algorithm in Haskell.\n\nTime complexity is O(ND) (input length * number of differences).\nSpace complexity is O(D^2). Includes utilities for pretty printing.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."array" or (errorHandler.buildDepError "array"))
30+
(hsPkgs."pretty" or (errorHandler.buildDepError "pretty"))
31+
];
32+
buildable = true;
33+
};
34+
tests = {
35+
"diff-tests" = {
36+
depends = [
37+
(hsPkgs."Diff" or (errorHandler.buildDepError "Diff"))
38+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
39+
(hsPkgs."array" or (errorHandler.buildDepError "array"))
40+
(hsPkgs."pretty" or (errorHandler.buildDepError "pretty"))
41+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
42+
(hsPkgs."process" or (errorHandler.buildDepError "process"))
43+
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
44+
(hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework"))
45+
(hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2"))
46+
];
47+
buildable = true;
48+
};
49+
};
50+
};
51+
}

0 commit comments

Comments
 (0)