Skip to content

Commit 5cb9903

Browse files
author
IOHK
committed
Automatic Update
1 parent e1497d7 commit 5cb9903

File tree

79 files changed

+3115
-22
lines changed

Some content is hidden

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

79 files changed

+3115
-22
lines changed

default.nix

+2
Original file line numberDiff line numberDiff line change
@@ -400,6 +400,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
400400
"GLURaw" = import ./nix/_G_L_U_Raw.nix;
401401
"GLUT" = import ./nix/_G_L_U_T.nix;
402402
"GLUtil" = import ./nix/_G_L_Util.nix;
403+
"GOST34112012-Hash" = import ./nix/_G_O_S_T34112012-_Hash.nix;
403404
"GPX" = import ./nix/_G_P_X.nix;
404405
"GPipe" = import ./nix/_G_Pipe.nix;
405406
"GPipe-Collada" = import ./nix/_G_Pipe-_Collada.nix;
@@ -13230,6 +13231,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
1323013231
"rcu" = import ./nix/rcu.nix;
1323113232
"rdf" = import ./nix/rdf.nix;
1323213233
"rdf4h" = import ./nix/rdf4h.nix;
13234+
"rdf4h-vocab-activitystreams" = import ./nix/rdf4h-vocab-activitystreams.nix;
1323313235
"rdioh" = import ./nix/rdioh.nix;
1323413236
"rds-data-codecs" = import ./nix/rds-data-codecs.nix;
1323513237
"rdtsc" = import ./nix/rdtsc.nix;
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,47 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, errorHandler
8+
, config
9+
, ... }:
10+
{
11+
flags = {};
12+
package = {
13+
specVersion = "3.0";
14+
identifier = { name = "GOST34112012-Hash"; version = "0.1.1.0"; };
15+
license = "BSD-2-Clause";
16+
copyright = "";
17+
maintainer = "[email protected]";
18+
author = "Alexey Degtyarev <[email protected]>,\nDenis Afonin <[email protected]>";
19+
homepage = "https://github.com/verrens/GOST34112012-Hash";
20+
url = "";
21+
synopsis = "Bindings to the GOST R 34.11-2012 hashing implementation";
22+
description = "Binds https://github.com/adegtyarev/streebog , a C\nimplementation of the GOST R 34.11-2012 hash function.\nSee @c_src/streebog/README.md@ and @test/Main.hs@ to get started.\nRequires a processor that supports MSSE4.1!";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
30+
];
31+
buildable = true;
32+
};
33+
tests = {
34+
"test" = {
35+
depends = [
36+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
37+
(hsPkgs."GOST34112012-Hash" or (errorHandler.buildDepError "GOST34112012-Hash"))
38+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
39+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
40+
(hsPkgs."utf8-string" or (errorHandler.buildDepError "utf8-string"))
41+
(hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring"))
42+
];
43+
buildable = true;
44+
};
45+
};
46+
};
47+
}
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,47 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, errorHandler
8+
, config
9+
, ... }:
10+
{
11+
flags = {};
12+
package = {
13+
specVersion = "3.0";
14+
identifier = { name = "GOST34112012-Hash"; version = "0.1.1.1"; };
15+
license = "BSD-2-Clause";
16+
copyright = "";
17+
maintainer = "[email protected]";
18+
author = "Alexey Degtyarev <[email protected]>,\nDenis Afonin <[email protected]>";
19+
homepage = "https://github.com/verrens/GOST34112012-Hash";
20+
url = "";
21+
synopsis = "Bindings to the GOST R 34.11-2012 hashing implementation";
22+
description = "Binds https://github.com/adegtyarev/streebog , a C\nimplementation of the GOST R 34.11-2012 hash function.\nSee @c_src/streebog/README.md@ and @test/Main.hs@ to get started.\nRequires a processor that supports MSSE4.1!";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
30+
];
31+
buildable = true;
32+
};
33+
tests = {
34+
"test" = {
35+
depends = [
36+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
37+
(hsPkgs."GOST34112012-Hash" or (errorHandler.buildDepError "GOST34112012-Hash"))
38+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
39+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
40+
(hsPkgs."utf8-string" or (errorHandler.buildDepError "utf8-string"))
41+
(hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring"))
42+
];
43+
buildable = true;
44+
};
45+
};
46+
};
47+
}
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 = {};
12+
package = {
13+
specVersion = "3.0";
14+
identifier = { name = "GOST34112012-Hash"; version = "0.1.1.2"; };
15+
license = "BSD-2-Clause";
16+
copyright = "";
17+
maintainer = "[email protected]";
18+
author = "Alexey Degtyarev <[email protected]>,\nDenis Afonin <[email protected]>";
19+
homepage = "https://github.com/verrens/GOST34112012-Hash";
20+
url = "";
21+
synopsis = "Bindings to the GOST R 34.11-2012 hashing implementation";
22+
description = "Binds https://github.com/adegtyarev/streebog, a C\nimplementation of the GOST R 34.11-2012 hash function.\nSee c_src/streebog/README.md and test/Main.hs for examples.\nRequires a x86 processor that supports MSSE4.1!";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
30+
];
31+
buildable = true;
32+
};
33+
tests = {
34+
"test" = {
35+
depends = [
36+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
37+
(hsPkgs."GOST34112012-Hash" or (errorHandler.buildDepError "GOST34112012-Hash"))
38+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
39+
(hsPkgs."utf8-string" or (errorHandler.buildDepError "utf8-string"))
40+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
41+
];
42+
buildable = true;
43+
};
44+
};
45+
};
46+
}
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 = {};
12+
package = {
13+
specVersion = "3.0";
14+
identifier = { name = "GOST34112012-Hash"; version = "0.1.1.2"; };
15+
license = "BSD-2-Clause";
16+
copyright = "";
17+
maintainer = "[email protected]";
18+
author = "Alexey Degtyarev <[email protected]>,\nDenis Afonin <[email protected]>";
19+
homepage = "https://github.com/verrens/GOST34112012-Hash";
20+
url = "";
21+
synopsis = "Bindings to the GOST R 34.11-2012 hashing implementation";
22+
description = "Binds https://github.com/adegtyarev/streebog, a C\nimplementation of the GOST R 34.11-2012 hash function.\n.\nSee test/Main.hs for examples.\n.\nRequires a x86 processor that supports MSSE4.1!";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
30+
];
31+
buildable = true;
32+
};
33+
tests = {
34+
"test" = {
35+
depends = [
36+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
37+
(hsPkgs."GOST34112012-Hash" or (errorHandler.buildDepError "GOST34112012-Hash"))
38+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
39+
(hsPkgs."utf8-string" or (errorHandler.buildDepError "utf8-string"))
40+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
41+
];
42+
buildable = true;
43+
};
44+
};
45+
};
46+
}
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 = {};
12+
package = {
13+
specVersion = "3.0";
14+
identifier = { name = "GOST34112012-Hash"; version = "0.1.1.2"; };
15+
license = "BSD-2-Clause";
16+
copyright = "";
17+
maintainer = "[email protected]";
18+
author = "Alexey Degtyarev <[email protected]>,\nDenis Afonin <[email protected]>";
19+
homepage = "https://github.com/verrens/GOST34112012-Hash";
20+
url = "";
21+
synopsis = "Bindings to the GOST R 34.11-2012 hashing implementation";
22+
description = "Binds https://github.com/adegtyarev/streebog, a C\nimplementation of the GOST R 34.11-2012 hash function.\nSee test/Main.hs for examples.\nRequires a x86 processor that supports MSSE4.1!";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
30+
];
31+
buildable = true;
32+
};
33+
tests = {
34+
"test" = {
35+
depends = [
36+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
37+
(hsPkgs."GOST34112012-Hash" or (errorHandler.buildDepError "GOST34112012-Hash"))
38+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
39+
(hsPkgs."utf8-string" or (errorHandler.buildDepError "utf8-string"))
40+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
41+
];
42+
buildable = true;
43+
};
44+
};
45+
};
46+
}
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,54 @@
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 = "atp-haskell"; version = "1.14.3"; };
15+
license = "BSD-3-Clause";
16+
copyright = "";
17+
maintainer = "David Fox <[email protected]>";
18+
author = "John Harrison";
19+
homepage = "https://github.com/seereason/atp-haskell";
20+
url = "";
21+
synopsis = "Translation from Ocaml to Haskell of John Harrison's ATP code";
22+
description = "This package is a liberal translation from OCaml to Haskell of\nthe automated theorem prover written in OCaml in\nJohn Harrison's book \"Practical Logic and Automated\nReasoning\". Click on module ATP below for an overview.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."applicative-extras" or (errorHandler.buildDepError "applicative-extras"))
29+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
30+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
31+
(hsPkgs."extra" or (errorHandler.buildDepError "extra"))
32+
(hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit"))
33+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
34+
(hsPkgs."parsec" or (errorHandler.buildDepError "parsec"))
35+
(hsPkgs."pretty" or (errorHandler.buildDepError "pretty"))
36+
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
37+
(hsPkgs."time" or (errorHandler.buildDepError "time"))
38+
];
39+
buildable = true;
40+
};
41+
tests = {
42+
"atp-haskell-tests" = {
43+
depends = [
44+
(hsPkgs."atp-haskell" or (errorHandler.buildDepError "atp-haskell"))
45+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
46+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
47+
(hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit"))
48+
(hsPkgs."time" or (errorHandler.buildDepError "time"))
49+
];
50+
buildable = true;
51+
};
52+
};
53+
};
54+
}
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,40 @@
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 = "first-class-families"; version = "0.8.0.1"; };
15+
license = "MIT";
16+
copyright = "2018 Li-yao Xia";
17+
maintainer = "[email protected]";
18+
author = "Li-yao Xia";
19+
homepage = "https://github.com/Lysxia/first-class-families#readme";
20+
url = "";
21+
synopsis = "First-class type families";
22+
description = "A library for type-level programming.\n\nSee README.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ];
28+
buildable = true;
29+
};
30+
tests = {
31+
"fcf-test" = {
32+
depends = [
33+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
34+
(hsPkgs."first-class-families" or (errorHandler.buildDepError "first-class-families"))
35+
];
36+
buildable = true;
37+
};
38+
};
39+
};
40+
}
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,40 @@
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 = "first-class-families"; version = "0.8.1.0"; };
15+
license = "MIT";
16+
copyright = "2018-2024 Li-yao Xia";
17+
maintainer = "[email protected]";
18+
author = "Li-yao Xia";
19+
homepage = "https://github.com/Lysxia/first-class-families#readme";
20+
url = "";
21+
synopsis = "First-class type families";
22+
description = "A library for type-level programming.\n\nSee README.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ];
28+
buildable = true;
29+
};
30+
tests = {
31+
"fcf-test" = {
32+
depends = [
33+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
34+
(hsPkgs."first-class-families" or (errorHandler.buildDepError "first-class-families"))
35+
];
36+
buildable = true;
37+
};
38+
};
39+
};
40+
}

0 commit comments

Comments
 (0)