Skip to content

Commit 9586d67

Browse files
author
IOHK
committed
Automatic Update
1 parent 74179ea commit 9586d67

File tree

38 files changed

+1205
-4
lines changed

38 files changed

+1205
-4
lines changed

‎default.nix

+1
Original file line numberDiff line numberDiff line change
@@ -7044,6 +7044,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
70447044
"h-reversi" = import ./nix/h-reversi.nix;
70457045
"h2048" = import ./nix/h2048.nix;
70467046
"h2c" = import ./nix/h2c.nix;
7047+
"h3spec" = import ./nix/h3spec.nix;
70477048
"hArduino" = import ./nix/h_Arduino.nix;
70487049
"hBDD" = import ./nix/h_B_D_D.nix;
70497050
"hBDD-CMUBDD" = import ./nix/h_B_D_D-_C_M_U_B_D_D.nix;

‎hackage/amqp-streamly-0.3.0-r0-7377fb533b7fe1fb513def2c44613d796bcb40ce3cb7de43ddfee2a21a830a4d.nix

+54
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.12";
14+
identifier = { name = "amqp-streamly"; version = "0.3.0"; };
15+
license = "BSD-3-Clause";
16+
copyright = "Gautier DI FOLCO";
17+
maintainer = "[email protected]";
18+
author = "Gautier DI FOLCO";
19+
homepage = "https://github.com/blackheaven/amqp-streamly#readme";
20+
url = "";
21+
synopsis = "A simple streamly wrapper for amqp";
22+
description = "A simple streamly wrapper for amqp. Provides two functions `produce` and `consume`.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."amqp" or (errorHandler.buildDepError "amqp"))
29+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
30+
(hsPkgs."streamly-core" or (errorHandler.buildDepError "streamly-core"))
31+
(hsPkgs."streamly" or (errorHandler.buildDepError "streamly"))
32+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
33+
];
34+
buildable = true;
35+
};
36+
tests = {
37+
"spec" = {
38+
depends = [
39+
(hsPkgs."amqp" or (errorHandler.buildDepError "amqp"))
40+
(hsPkgs."amqp-streamly" or (errorHandler.buildDepError "amqp-streamly"))
41+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
42+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
43+
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
44+
(hsPkgs."process" or (errorHandler.buildDepError "process"))
45+
(hsPkgs."streamly-core" or (errorHandler.buildDepError "streamly-core"))
46+
(hsPkgs."streamly" or (errorHandler.buildDepError "streamly"))
47+
(hsPkgs."testcontainers" or (errorHandler.buildDepError "testcontainers"))
48+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
49+
];
50+
buildable = true;
51+
};
52+
};
53+
};
54+
}

‎hackage/bench-1.0.13-r0-1b4d13b36cbd4bb1f81493eff589c2d92b8dc7bc91bfce77b3ef68224a72fa0f.nix

+41
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,41 @@
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 = "bench"; version = "1.0.13"; };
15+
license = "BSD-3-Clause";
16+
copyright = "2016 Gabriella Gonzalez";
17+
maintainer = "[email protected]";
18+
author = "Gabriella Gonzalez";
19+
homepage = "https://github.com/Gabriella439/bench";
20+
url = "";
21+
synopsis = "Command-line benchmark tool";
22+
description = "Think of this as a more powerful alternative to the @time@\ncommand. Use this command-line tool to benchmark a command\nusing Haskell's @criterion@ library.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
exes = {
27+
"bench" = {
28+
depends = [
29+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
30+
(hsPkgs."criterion" or (errorHandler.buildDepError "criterion"))
31+
(hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
32+
(hsPkgs."process" or (errorHandler.buildDepError "process"))
33+
(hsPkgs."silently" or (errorHandler.buildDepError "silently"))
34+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
35+
(hsPkgs."turtle" or (errorHandler.buildDepError "turtle"))
36+
];
37+
buildable = true;
38+
};
39+
};
40+
};
41+
}

‎hackage/cfg-0.0.2.2-r0-ccb84c9b2d8d69040a4e1e8a0d5f71185720309f9a8ed8afe1d5529c5a6307f1.nix

+75
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,75 @@
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 = "cfg"; version = "0.0.2.2"; };
15+
license = "MIT";
16+
copyright = "(c) 2023 Jonathan Lorimer";
17+
maintainer = "Jonathan Lorimer <[email protected]>";
18+
author = "Jonathan Lorimer";
19+
homepage = "https://github.com/JonathanLorimer/cfg#readme";
20+
url = "";
21+
synopsis = "Type directed application configuration parsing and accessors";
22+
description = "`cfg` is a library that provides Generic machinery for generating configuration accessors, \nand parsers from Haskell types. This package is intended to be used to build out additional \n\"sources\" for configuration access, the environment source is provided in this package as a default.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
30+
(hsPkgs."free" or (errorHandler.buildDepError "free"))
31+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
32+
(hsPkgs."pretty-simple" or (errorHandler.buildDepError "pretty-simple"))
33+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
34+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
35+
(hsPkgs."errors" or (errorHandler.buildDepError "errors"))
36+
(hsPkgs."megaparsec" or (errorHandler.buildDepError "megaparsec"))
37+
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
38+
];
39+
buildable = true;
40+
};
41+
tests = {
42+
"cfg-tests" = {
43+
depends = [
44+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
45+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
46+
(hsPkgs."free" or (errorHandler.buildDepError "free"))
47+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
48+
(hsPkgs."pretty-simple" or (errorHandler.buildDepError "pretty-simple"))
49+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
50+
(hsPkgs."cfg" or (errorHandler.buildDepError "cfg"))
51+
(hsPkgs."hedgehog" or (errorHandler.buildDepError "hedgehog"))
52+
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
53+
(hsPkgs."hspec-core" or (errorHandler.buildDepError "hspec-core"))
54+
(hsPkgs."hspec-discover" or (errorHandler.buildDepError "hspec-discover"))
55+
(hsPkgs."hspec-expectations" or (errorHandler.buildDepError "hspec-expectations"))
56+
(hsPkgs."hspec-hedgehog" or (errorHandler.buildDepError "hspec-hedgehog"))
57+
];
58+
buildable = true;
59+
};
60+
"documentation" = {
61+
depends = [
62+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
63+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
64+
(hsPkgs."free" or (errorHandler.buildDepError "free"))
65+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
66+
(hsPkgs."pretty-simple" or (errorHandler.buildDepError "pretty-simple"))
67+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
68+
(hsPkgs."cfg" or (errorHandler.buildDepError "cfg"))
69+
(hsPkgs."doctest" or (errorHandler.buildDepError "doctest"))
70+
];
71+
buildable = true;
72+
};
73+
};
74+
};
75+
}

‎hackage/clash-shake-0.3.2-r1-f4b1951b8cba3b9a3febf095acc5e9162a03625dc524ad42680ee686bd571fbf.nix

+44
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,44 @@
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.12";
14+
identifier = { name = "clash-shake"; version = "0.3.2"; };
15+
license = "MIT";
16+
copyright = "2021-2022 Gergő Érdi";
17+
maintainer = "[email protected]";
18+
author = "Gergő Érdi";
19+
homepage = "https://github.com/gergoerdi/clash-shake#readme";
20+
url = "";
21+
synopsis = "Shake rules for building Clash programs";
22+
description = "Shake rules for building Clash programs and synthesizing FPGA\nconfiguration. Contains build rules for Xilinx ISE, Xilinx Vivado,\nIntel Quartus and the open-source SymbiFlow toolchains. See\n<https://github.com/gergoerdi/clash-pong/> for an example project.";
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."bytestring" or (errorHandler.buildDepError "bytestring"))
31+
(hsPkgs."clash-ghc" or (errorHandler.buildDepError "clash-ghc"))
32+
(hsPkgs."clash-lib" or (errorHandler.buildDepError "clash-lib"))
33+
(hsPkgs."clash-prelude" or (errorHandler.buildDepError "clash-prelude"))
34+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
35+
(hsPkgs."shake" or (errorHandler.buildDepError "shake"))
36+
(hsPkgs."split" or (errorHandler.buildDepError "split"))
37+
(hsPkgs."stache" or (errorHandler.buildDepError "stache"))
38+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
39+
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
40+
];
41+
buildable = true;
42+
};
43+
};
44+
}

‎hackage/clashilator-0.1.2.1-r1-c506ba29f7b915be031723f7c9980fafcf200bea2c2a48a237c2aa4b30782c69.nix

+67
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,67 @@
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.12";
14+
identifier = { name = "clashilator"; version = "0.1.2.1"; };
15+
license = "MIT";
16+
copyright = "";
17+
maintainer = "[email protected]";
18+
author = "Gergő Érdi";
19+
homepage = "https://github.com/gergoerdi/clashilator#readme";
20+
url = "";
21+
synopsis = "Automated Clash to Verilator bridge";
22+
description = "Code generator and @Setup.hs@ hooks to generate a Verilator simulation and access it from Clash";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal"))
29+
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
30+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
31+
(hsPkgs."clash-ghc" or (errorHandler.buildDepError "clash-ghc"))
32+
(hsPkgs."clash-lib" or (errorHandler.buildDepError "clash-lib"))
33+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
34+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
35+
(hsPkgs."ghc" or (errorHandler.buildDepError "ghc"))
36+
(hsPkgs."lens" or (errorHandler.buildDepError "lens"))
37+
(hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
38+
(hsPkgs."shake" or (errorHandler.buildDepError "shake"))
39+
(hsPkgs."stache" or (errorHandler.buildDepError "stache"))
40+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
41+
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
42+
];
43+
buildable = true;
44+
};
45+
exes = {
46+
"clashilator" = {
47+
depends = [
48+
(hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal"))
49+
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
50+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
51+
(hsPkgs."clash-ghc" or (errorHandler.buildDepError "clash-ghc"))
52+
(hsPkgs."clash-lib" or (errorHandler.buildDepError "clash-lib"))
53+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
54+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
55+
(hsPkgs."ghc" or (errorHandler.buildDepError "ghc"))
56+
(hsPkgs."lens" or (errorHandler.buildDepError "lens"))
57+
(hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
58+
(hsPkgs."shake" or (errorHandler.buildDepError "shake"))
59+
(hsPkgs."stache" or (errorHandler.buildDepError "stache"))
60+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
61+
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
62+
];
63+
buildable = true;
64+
};
65+
};
66+
};
67+
}

‎hackage/clashilator-0.1.3-r0-c6147f9ec5f108ac1698b39c4adf322045590ba60542e9086d8d0170a0829c95.nix

+67
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,67 @@
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.12";
14+
identifier = { name = "clashilator"; version = "0.1.3"; };
15+
license = "MIT";
16+
copyright = "";
17+
maintainer = "[email protected]";
18+
author = "Gergő Érdi";
19+
homepage = "https://github.com/gergoerdi/clashilator#readme";
20+
url = "";
21+
synopsis = "Automated Clash to Verilator bridge";
22+
description = "Code generator and @Setup.hs@ hooks to generate a Verilator simulation and access it from Clash";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal"))
29+
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
30+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
31+
(hsPkgs."clash-ghc" or (errorHandler.buildDepError "clash-ghc"))
32+
(hsPkgs."clash-lib" or (errorHandler.buildDepError "clash-lib"))
33+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
34+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
35+
(hsPkgs."ghc" or (errorHandler.buildDepError "ghc"))
36+
(hsPkgs."lens" or (errorHandler.buildDepError "lens"))
37+
(hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
38+
(hsPkgs."shake" or (errorHandler.buildDepError "shake"))
39+
(hsPkgs."stache" or (errorHandler.buildDepError "stache"))
40+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
41+
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
42+
];
43+
buildable = true;
44+
};
45+
exes = {
46+
"clashilator" = {
47+
depends = [
48+
(hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal"))
49+
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
50+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
51+
(hsPkgs."clash-ghc" or (errorHandler.buildDepError "clash-ghc"))
52+
(hsPkgs."clash-lib" or (errorHandler.buildDepError "clash-lib"))
53+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
54+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
55+
(hsPkgs."ghc" or (errorHandler.buildDepError "ghc"))
56+
(hsPkgs."lens" or (errorHandler.buildDepError "lens"))
57+
(hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
58+
(hsPkgs."shake" or (errorHandler.buildDepError "shake"))
59+
(hsPkgs."stache" or (errorHandler.buildDepError "stache"))
60+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
61+
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
62+
];
63+
buildable = true;
64+
};
65+
};
66+
};
67+
}

0 commit comments

Comments
 (0)