Skip to content

Commit 2cd96c7

Browse files
author
IOHK
committed
Automatic Update
1 parent 88fb58d commit 2cd96c7

9 files changed

+345
-0
lines changed

‎hackage/grisette-0.11.0.0-r0-9daeea607f2ddaea81c0245c0919c2768d59fdb70bff497ace3e3e701af53170.nix

+138
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,138 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, errorHandler
8+
, config
9+
, ... }:
10+
{
11+
flags = { optimize = true; };
12+
package = {
13+
specVersion = "1.12";
14+
identifier = { name = "grisette"; version = "0.11.0.0"; };
15+
license = "BSD-3-Clause";
16+
copyright = "2021-2024 Sirui Lu";
17+
maintainer = "Sirui Lu ([email protected])";
18+
author = "Sirui Lu, Rastislav Bodík";
19+
homepage = "https://github.com/lsrcz/grisette#readme";
20+
url = "";
21+
synopsis = "Symbolic evaluation as a library";
22+
description = "Grisette is a reusable symbolic evaluation library for Haskell. By\ntranslating programs into constraints, Grisette can help the development of\nprogram reasoning tools, including verification, synthesis, and more.\n\nThe \"Grisette\" module exports all the core APIs for building a symbolic\nevaluation tool. A high-level overview of the module structures are available\nthere.\n\nA detailed introduction to Grisette is available at \"Grisette.Core\". More\nlifted libraries are provided in @Grisette.Lib.*@ modules.\n\nThe \"Grisette.Unified\" module offers an experimental unified interface for\nsymbolic and concrete evaluation. This module should be imported qualified.\n\nFor more details, please checkout the README and\n[tutorials](https://github.com/lsrcz/grisette/tree/main/tutorials).";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
29+
(hsPkgs."array" or (errorHandler.buildDepError "array"))
30+
(hsPkgs."async" or (errorHandler.buildDepError "async"))
31+
(hsPkgs."atomic-primops" or (errorHandler.buildDepError "atomic-primops"))
32+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
33+
(hsPkgs."binary" or (errorHandler.buildDepError "binary"))
34+
(hsPkgs."bytes" or (errorHandler.buildDepError "bytes"))
35+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
36+
(hsPkgs."cereal" or (errorHandler.buildDepError "cereal"))
37+
(hsPkgs."cereal-text" or (errorHandler.buildDepError "cereal-text"))
38+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
39+
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
40+
(hsPkgs."generic-deriving" or (errorHandler.buildDepError "generic-deriving"))
41+
(hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
42+
(hsPkgs."libBF" or (errorHandler.buildDepError "libBF"))
43+
(hsPkgs."loch-th" or (errorHandler.buildDepError "loch-th"))
44+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
45+
(hsPkgs."parallel" or (errorHandler.buildDepError "parallel"))
46+
(hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter"))
47+
(hsPkgs."sbv" or (errorHandler.buildDepError "sbv"))
48+
(hsPkgs."stm" or (errorHandler.buildDepError "stm"))
49+
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
50+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
51+
(hsPkgs."th-abstraction" or (errorHandler.buildDepError "th-abstraction"))
52+
(hsPkgs."th-compat" or (errorHandler.buildDepError "th-compat"))
53+
(hsPkgs."th-lift-instances" or (errorHandler.buildDepError "th-lift-instances"))
54+
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
55+
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
56+
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
57+
];
58+
buildable = true;
59+
};
60+
tests = {
61+
"doctest" = {
62+
depends = [
63+
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
64+
(hsPkgs."array" or (errorHandler.buildDepError "array"))
65+
(hsPkgs."async" or (errorHandler.buildDepError "async"))
66+
(hsPkgs."atomic-primops" or (errorHandler.buildDepError "atomic-primops"))
67+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
68+
(hsPkgs."binary" or (errorHandler.buildDepError "binary"))
69+
(hsPkgs."bytes" or (errorHandler.buildDepError "bytes"))
70+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
71+
(hsPkgs."cereal" or (errorHandler.buildDepError "cereal"))
72+
(hsPkgs."cereal-text" or (errorHandler.buildDepError "cereal-text"))
73+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
74+
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
75+
(hsPkgs."doctest" or (errorHandler.buildDepError "doctest"))
76+
(hsPkgs."generic-deriving" or (errorHandler.buildDepError "generic-deriving"))
77+
(hsPkgs."grisette" or (errorHandler.buildDepError "grisette"))
78+
(hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
79+
(hsPkgs."libBF" or (errorHandler.buildDepError "libBF"))
80+
(hsPkgs."loch-th" or (errorHandler.buildDepError "loch-th"))
81+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
82+
(hsPkgs."parallel" or (errorHandler.buildDepError "parallel"))
83+
(hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter"))
84+
(hsPkgs."sbv" or (errorHandler.buildDepError "sbv"))
85+
(hsPkgs."stm" or (errorHandler.buildDepError "stm"))
86+
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
87+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
88+
(hsPkgs."th-abstraction" or (errorHandler.buildDepError "th-abstraction"))
89+
(hsPkgs."th-compat" or (errorHandler.buildDepError "th-compat"))
90+
(hsPkgs."th-lift-instances" or (errorHandler.buildDepError "th-lift-instances"))
91+
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
92+
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
93+
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
94+
];
95+
buildable = true;
96+
};
97+
"spec" = {
98+
depends = [
99+
(hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit"))
100+
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
101+
(hsPkgs."array" or (errorHandler.buildDepError "array"))
102+
(hsPkgs."async" or (errorHandler.buildDepError "async"))
103+
(hsPkgs."atomic-primops" or (errorHandler.buildDepError "atomic-primops"))
104+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
105+
(hsPkgs."binary" or (errorHandler.buildDepError "binary"))
106+
(hsPkgs."bytes" or (errorHandler.buildDepError "bytes"))
107+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
108+
(hsPkgs."cereal" or (errorHandler.buildDepError "cereal"))
109+
(hsPkgs."cereal-text" or (errorHandler.buildDepError "cereal-text"))
110+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
111+
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
112+
(hsPkgs."generic-deriving" or (errorHandler.buildDepError "generic-deriving"))
113+
(hsPkgs."grisette" or (errorHandler.buildDepError "grisette"))
114+
(hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
115+
(hsPkgs."libBF" or (errorHandler.buildDepError "libBF"))
116+
(hsPkgs."loch-th" or (errorHandler.buildDepError "loch-th"))
117+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
118+
(hsPkgs."parallel" or (errorHandler.buildDepError "parallel"))
119+
(hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter"))
120+
(hsPkgs."sbv" or (errorHandler.buildDepError "sbv"))
121+
(hsPkgs."stm" or (errorHandler.buildDepError "stm"))
122+
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
123+
(hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework"))
124+
(hsPkgs."test-framework-hunit" or (errorHandler.buildDepError "test-framework-hunit"))
125+
(hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2"))
126+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
127+
(hsPkgs."th-abstraction" or (errorHandler.buildDepError "th-abstraction"))
128+
(hsPkgs."th-compat" or (errorHandler.buildDepError "th-compat"))
129+
(hsPkgs."th-lift-instances" or (errorHandler.buildDepError "th-lift-instances"))
130+
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
131+
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
132+
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
133+
];
134+
buildable = true;
135+
};
136+
};
137+
};
138+
}

‎hackage/redact-0.6.0.0-r0-f7922b325f6248231d81dfa73350bbdf2a5830ef8f8af754009f266b1c1a83b0.nix

+79
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,79 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, errorHandler
8+
, config
9+
, ... }:
10+
{
11+
flags = { optparse-applicative_ge_0_18 = false; };
12+
package = {
13+
specVersion = "3.0";
14+
identifier = { name = "redact"; version = "0.6.0.0"; };
15+
license = "MIT";
16+
copyright = "Copyright (c) 2020-2024 Travis Cardwell";
17+
maintainer = "Travis Cardwell <[email protected]>";
18+
author = "Travis Cardwell <[email protected]>";
19+
homepage = "https://github.com/ExtremaIS/redact-haskell#readme";
20+
url = "";
21+
synopsis = "hide secret text on the terminal";
22+
description = "This package provides a utility for redacting secret text on the terminal.\nPlease see the README on GitHub at\n<https://github.com/ExtremaIS/redact-haskell#readme>.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."ansi-terminal" or (errorHandler.buildDepError "ansi-terminal"))
29+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
30+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
31+
];
32+
buildable = true;
33+
};
34+
exes = {
35+
"redact" = {
36+
depends = [
37+
(hsPkgs."ansi-terminal" or (errorHandler.buildDepError "ansi-terminal"))
38+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
39+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
40+
(hsPkgs."redact" or (errorHandler.buildDepError "redact"))
41+
] ++ (if flags.optparse-applicative_ge_0_18
42+
then [
43+
(hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
44+
(hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter"))
45+
]
46+
else [
47+
(hsPkgs."ansi-wl-pprint" or (errorHandler.buildDepError "ansi-wl-pprint"))
48+
(hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
49+
]);
50+
buildable = true;
51+
};
52+
};
53+
tests = {
54+
"redact-test" = {
55+
depends = [
56+
(hsPkgs."ansi-terminal" or (errorHandler.buildDepError "ansi-terminal"))
57+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
58+
(hsPkgs."redact" or (errorHandler.buildDepError "redact"))
59+
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
60+
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit"))
61+
(hsPkgs."array" or (errorHandler.buildDepError "array"))
62+
(hsPkgs."constraints" or (errorHandler.buildDepError "constraints"))
63+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
64+
(hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
65+
(hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
66+
(hsPkgs."extra" or (errorHandler.buildDepError "extra"))
67+
(hsPkgs."monad-control" or (errorHandler.buildDepError "monad-control"))
68+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
69+
(hsPkgs."stm" or (errorHandler.buildDepError "stm"))
70+
(hsPkgs."syb" or (errorHandler.buildDepError "syb"))
71+
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
72+
(hsPkgs."transformers-base" or (errorHandler.buildDepError "transformers-base"))
73+
(hsPkgs."unliftio" or (errorHandler.buildDepError "unliftio"))
74+
];
75+
buildable = true;
76+
};
77+
};
78+
};
79+
}

‎hackage/tasty-bench-0.4.1-r0-5160322917f145f1feef29ff0d086607f61c2e7b61575c2795e57eada5589494.nix

+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 = { tasty = true; };
12+
package = {
13+
specVersion = "1.18";
14+
identifier = { name = "tasty-bench"; version = "0.4.1"; };
15+
license = "MIT";
16+
copyright = "2021 Andrew Lelechenko";
17+
maintainer = "Andrew Lelechenko <[email protected]>";
18+
author = "Andrew Lelechenko";
19+
homepage = "https://github.com/Bodigrim/tasty-bench";
20+
url = "";
21+
synopsis = "Featherlight benchmark framework";
22+
description = "Featherlight framework (only one file!)\nfor performance measurement with API mimicking\n@criterion@ and @gauge@, featuring built-in comparison\nagainst previous runs and between benchmarks. Our benchmarks are just\nregular @tasty@ tests.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = ([
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
30+
(hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim"))
31+
] ++ pkgs.lib.optionals (flags.tasty) [
32+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
33+
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
34+
]) ++ pkgs.lib.optional (compiler.isGhc && compiler.version.lt "8.4") (hsPkgs."time" or (errorHandler.buildDepError "time"));
35+
buildable = true;
36+
};
37+
benchmarks = {
38+
"bench-fibo" = {
39+
depends = [
40+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
41+
(hsPkgs."tasty-bench" or (errorHandler.buildDepError "tasty-bench"))
42+
];
43+
buildable = true;
44+
};
45+
};
46+
};
47+
}

‎hackage/utxorpc-0.0.15.0-r0-485256bfd2a315367c075d00c565fc406c49f50144bef476e1a3af114692968a.nix

+36
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,36 @@
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 = "utxorpc"; version = "0.0.15.0"; };
15+
license = "Apache-2.0";
16+
copyright = "";
17+
maintainer = "TxPipe <[email protected]>\nDominic Mayhew <[email protected]>";
18+
author = "TxPipe <[email protected]>";
19+
homepage = "https://github.com/utxorpc/spec#readme";
20+
url = "";
21+
synopsis = "Generated code for a gRPC interface for UTxO Blockchains";
22+
description = "[UTxO RPC](https://utxorpc.org/) (u5c for short) is an interface tailored for interactions with UTxO-based blockchains, prioritizing performance and developer experience. By providing a common contract, a range of SDKs, and thorough documentation, UTxO RPC aims to facilitate:\n\n* Reusability: Enabling shared components that can be reused across different projects to simplify the integration effort.\n* Interoperability: A common interface to simplify integrations between different parties and avoid the common pitfall of vendor lock-in.\n* Performance: A serialized binary format which is compact and efficient, resulting in smaller message sizes and reduced network overhead compared to its JSON counterpart\n\nPlease note that this package only contains the generated Haskell code from the u5c specification. To write a u5c implementation, please see the [client](https://hackage.haskell.org/package/utxorpc-client) or [server](https://hackage.haskell.org/package/utxorpc-server) SDK.\n\nFor documentation on the specification, see [https://utxorpc.org](https://utxorpc.org/).";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."proto-lens" or (errorHandler.buildDepError "proto-lens"))
30+
(hsPkgs."proto-lens-protobuf-types" or (errorHandler.buildDepError "proto-lens-protobuf-types"))
31+
(hsPkgs."proto-lens-runtime" or (errorHandler.buildDepError "proto-lens-runtime"))
32+
];
33+
buildable = true;
34+
};
35+
};
36+
}

‎index-state-hashes.nix

+1
Original file line numberDiff line numberDiff line change
@@ -2099,4 +2099,5 @@
20992099
"2024-12-27T00:00:00Z" = "b011604bd8ce23add092c9e35884b7c06b2a88e3350f2500fc024cd975ccb88d";
21002100
"2024-12-28T00:00:00Z" = "cdfb2bedfc79c68a738197c984de0a51bb05d707d0f003d0e9a3c3314cd6c261";
21012101
"2024-12-29T00:00:00Z" = "b68faed67cd52bf7cddb6071f31fe544e0a30506285b990cd648e061e256ccf0";
2102+
"2024-12-30T00:00:00Z" = "e08fa5f304be0876bef6b90196e234357c1df691d309a64a6621464c1ee8da48";
21022103
}

‎nix/grisette.nix

+11
Original file line numberDiff line numberDiff line change
@@ -21,6 +21,17 @@
2121
default = "r0";
2222
};
2323
};
24+
"0.11.0.0" = {
25+
sha256 = "7e48504f4ba4bdfe04bc451df7c9bf76eb09f0853ac460f0a80e91836fc381b9";
26+
revisions = {
27+
r0 = {
28+
nix = import ../hackage/grisette-0.11.0.0-r0-9daeea607f2ddaea81c0245c0919c2768d59fdb70bff497ace3e3e701af53170.nix;
29+
revNum = 0;
30+
sha256 = "9daeea607f2ddaea81c0245c0919c2768d59fdb70bff497ace3e3e701af53170";
31+
};
32+
default = "r0";
33+
};
34+
};
2435
"0.2.0.0" = {
2536
sha256 = "fd215f3da3c349c5ed2b17333731c10622c3a38c3aa3a31cfd65f5741055ea50";
2637
revisions = {

‎nix/redact.nix

+11
Original file line numberDiff line numberDiff line change
@@ -41,4 +41,15 @@
4141
default = "r3";
4242
};
4343
};
44+
"0.6.0.0" = {
45+
sha256 = "0aaa9977c9956b47e39e29195ae53545ba158cf68291a50f0b278b94bfe18177";
46+
revisions = {
47+
r0 = {
48+
nix = import ../hackage/redact-0.6.0.0-r0-f7922b325f6248231d81dfa73350bbdf2a5830ef8f8af754009f266b1c1a83b0.nix;
49+
revNum = 0;
50+
sha256 = "f7922b325f6248231d81dfa73350bbdf2a5830ef8f8af754009f266b1c1a83b0";
51+
};
52+
default = "r0";
53+
};
54+
};
4455
}

‎nix/tasty-bench.nix

+11
Original file line numberDiff line numberDiff line change
@@ -213,4 +213,15 @@
213213
default = "r1";
214214
};
215215
};
216+
"0.4.1" = {
217+
sha256 = "315c77e1f0f5fddf3b8465060867bb30c6d6562867b8609afdc7f6e14e295777";
218+
revisions = {
219+
r0 = {
220+
nix = import ../hackage/tasty-bench-0.4.1-r0-5160322917f145f1feef29ff0d086607f61c2e7b61575c2795e57eada5589494.nix;
221+
revNum = 0;
222+
sha256 = "5160322917f145f1feef29ff0d086607f61c2e7b61575c2795e57eada5589494";
223+
};
224+
default = "r0";
225+
};
226+
};
216227
}

‎nix/utxorpc.nix

+11
Original file line numberDiff line numberDiff line change
@@ -54,6 +54,17 @@
5454
default = "r0";
5555
};
5656
};
57+
"0.0.15.0" = {
58+
sha256 = "44121c65954ff4842c3f49ad51d0bedb0333ccbb8272afbedc1839b0de14b704";
59+
revisions = {
60+
r0 = {
61+
nix = import ../hackage/utxorpc-0.0.15.0-r0-485256bfd2a315367c075d00c565fc406c49f50144bef476e1a3af114692968a.nix;
62+
revNum = 0;
63+
sha256 = "485256bfd2a315367c075d00c565fc406c49f50144bef476e1a3af114692968a";
64+
};
65+
default = "r0";
66+
};
67+
};
5768
"0.0.3.0" = {
5869
sha256 = "32c9a650a08e90705a6a73983235912c57172c04723a39e9188624daf7f9a8db";
5970
revisions = {

0 commit comments

Comments
 (0)