Skip to content

Commit 3367b87

Browse files
author
IOHK
committed
Automatic Update
1 parent a10a061 commit 3367b87

File tree

36 files changed

+1164
-3
lines changed

36 files changed

+1164
-3
lines changed

‎default.nix

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5292,6 +5292,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
52925292
"equeue" = import ./nix/equeue.nix;
52935293
"equivalence" = import ./nix/equivalence.nix;
52945294
"erd" = import ./nix/erd.nix;
5295+
"erebos" = import ./nix/erebos.nix;
52955296
"erf" = import ./nix/erf.nix;
52965297
"erf-native" = import ./nix/erf-native.nix;
52975298
"erlang" = import ./nix/erlang.nix;
@@ -17136,6 +17137,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
1713617137
"word-array" = import ./nix/word-array.nix;
1713717138
"word-compat" = import ./nix/word-compat.nix;
1713817139
"word-note-sox" = import ./nix/word-note-sox.nix;
17140+
"word-notes-datatype" = import ./nix/word-notes-datatype.nix;
1713917141
"word-trie" = import ./nix/word-trie.nix;
1714017142
"word-vector" = import ./nix/word-vector.nix;
1714117143
"word-wrap" = import ./nix/word-wrap.nix;

‎hackage/MicroHs-0.9.5.0-r0-1e16602fefa5bd6565e3a72177f0f76467003de6957f4b24f06d280e71f33f07.nix

Lines changed: 44 additions & 0 deletions
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 = "3.0";
14+
identifier = { name = "MicroHs"; version = "0.9.5.0"; };
15+
license = "Apache-2.0";
16+
copyright = "2023 Lennart Augustsson";
17+
maintainer = "[email protected]";
18+
author = "[email protected]";
19+
homepage = "";
20+
url = "";
21+
synopsis = "A compiler for a subset of Haskell";
22+
description = "A compiler for a subset of Haskell.\nThe compiler translates to combinators and can compile itself.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
exes = {
27+
"mhs" = {
28+
depends = [
29+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
30+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
31+
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
32+
(hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim"))
33+
(hsPkgs."haskeline" or (errorHandler.buildDepError "haskeline"))
34+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
35+
(hsPkgs."time" or (errorHandler.buildDepError "time"))
36+
(hsPkgs."pretty" or (errorHandler.buildDepError "pretty"))
37+
(hsPkgs."process" or (errorHandler.buildDepError "process"))
38+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
39+
];
40+
buildable = true;
41+
};
42+
};
43+
};
44+
}

‎hackage/digest-0.0.2.1-r0-938215f33ed3546dc2f059f3707f7370e9e9e1c0285cac16379ebfa45e9054c0.nix

Lines changed: 43 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,43 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, errorHandler
8+
, config
9+
, ... }:
10+
{
11+
flags = {
12+
pkg-config = true;
13+
have_builtin_prefetch = false;
14+
have_mm_prefetch = false;
15+
have_sse42 = false;
16+
have_arm64_crc32c = false;
17+
have_strong_getauxval = false;
18+
have_weak_getauxval = false;
19+
};
20+
package = {
21+
specVersion = "2.4";
22+
identifier = { name = "digest"; version = "0.0.2.1"; };
23+
license = "BSD-2-Clause";
24+
copyright = "(c) 2009 Eugene Kirpichov";
25+
maintainer = "Eugene Kirpichov <[email protected]>";
26+
author = "Eugene Kirpichov <[email protected]>";
27+
homepage = "";
28+
url = "";
29+
synopsis = "CRC32 and Adler32 hashes for bytestrings";
30+
description = "This package provides efficient hash implementations for\nstrict and lazy bytestrings. For now, CRC32 and Adler32 are supported;\nthey are implemented as FFI bindings to efficient code from zlib.";
31+
buildType = "Simple";
32+
};
33+
components = {
34+
"library" = {
35+
depends = [
36+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
37+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
38+
] ++ (pkgs.lib).optional (!(flags.pkg-config && !system.isWindows && !system.isFreebsd)) (hsPkgs."zlib" or (errorHandler.buildDepError "zlib"));
39+
pkgconfig = (pkgs.lib).optional (flags.pkg-config && !system.isWindows && !system.isFreebsd) (pkgconfPkgs."zlib" or (errorHandler.pkgConfDepError "zlib"));
40+
buildable = true;
41+
};
42+
};
43+
}

‎hackage/eflint-3.1.0.2-r0-3307270092698e52740be2ee2af2455aad4924875099e1685524f92e459c831c.nix

Lines changed: 89 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,89 @@
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 = "eflint"; version = "3.1.0.2"; };
15+
license = "BSD-3-Clause";
16+
copyright = "Copyright (C) 2019-2022 L. Thomas van Binsbergen";
17+
maintainer = "[email protected]";
18+
author = "L. Thomas van Binsbergen";
19+
homepage = "http://cci-research.nl";
20+
url = "";
21+
synopsis = "Simulation interpreter for FLINT policy descriptions";
22+
description = "Software systems that share potentially sensitive data are subjected to laws, regulations, policies and/or contracts. The monitoring, control and enforcement processes applied to these systems are currently to a large extent manual, which we rather automate by embedding the processes as dedicated and adaptable software services in order to improve efficiency and effectiveness. This approach requires such regulatory services to be closely aligned with a formal description of the relevant norms.\n\neFLINT is a domain-specific language developed for formalizing norms from a variety of sources. The theoretical foundations of the language are found in transition systems and in Hohfeld’s framework of legal fundamental conceptions. The language can be used to formalize norms from a large variety of sources. The resulting specifications are executable and support several forms of reasoning such as automatic case assessment, manual exploration and simulation. Moreover, the specifications can be used to develop regulatory services for several types of monitoring, control and enforcement. The language is evaluated through a case study formalizing articles 6(1)(a) and 16 of the General Data Protection Regulation (GDPR).\n\nRelated papers:\n\n*eFLINT: a Domain-Specific Language for Executable Norm Specifications. Proceedings of GPCE '20. L. Thomas van Binsbergen, Lu-Chi Liu, Robert van Doesburg, and Tom van Engers. <https://doi.org/10.1145/3425898.3426958>.\n*Dynamic generation of access control policies from social policies. Proceedings of The 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2021). Procedia Computer Science 198C (2022) pp. 140-147. L. Thomas van Binsbergen, Milen G. Kebede, Joshua Baugh, Tom van Engers, Dannis G. van Vuurden.\n\nPreprints available at <https://ltvanbinsbergen.nl>";
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."hxt" or (errorHandler.buildDepError "hxt"))
31+
(hsPkgs."time" or (errorHandler.buildDepError "time"))
32+
(hsPkgs."gll" or (errorHandler.buildDepError "gll"))
33+
(hsPkgs."regex-applicative" or (errorHandler.buildDepError "regex-applicative"))
34+
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
35+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
36+
(hsPkgs."network" or (errorHandler.buildDepError "network"))
37+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
38+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
39+
(hsPkgs."exploring-interpreters" or (errorHandler.buildDepError "exploring-interpreters"))
40+
(hsPkgs."fgl" or (errorHandler.buildDepError "fgl"))
41+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
42+
];
43+
buildable = true;
44+
};
45+
exes = {
46+
"eflint-server" = {
47+
depends = [
48+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
49+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
50+
(hsPkgs."hxt" or (errorHandler.buildDepError "hxt"))
51+
(hsPkgs."time" or (errorHandler.buildDepError "time"))
52+
(hsPkgs."gll" or (errorHandler.buildDepError "gll"))
53+
(hsPkgs."regex-applicative" or (errorHandler.buildDepError "regex-applicative"))
54+
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
55+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
56+
(hsPkgs."network" or (errorHandler.buildDepError "network"))
57+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
58+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
59+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
60+
(hsPkgs."exploring-interpreters" or (errorHandler.buildDepError "exploring-interpreters"))
61+
(hsPkgs."fgl" or (errorHandler.buildDepError "fgl"))
62+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
63+
];
64+
buildable = true;
65+
};
66+
"eflint-repl" = {
67+
depends = [
68+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
69+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
70+
(hsPkgs."hxt" or (errorHandler.buildDepError "hxt"))
71+
(hsPkgs."time" or (errorHandler.buildDepError "time"))
72+
(hsPkgs."gll" or (errorHandler.buildDepError "gll"))
73+
(hsPkgs."regex-applicative" or (errorHandler.buildDepError "regex-applicative"))
74+
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
75+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
76+
(hsPkgs."network" or (errorHandler.buildDepError "network"))
77+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
78+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
79+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
80+
(hsPkgs."haskeline" or (errorHandler.buildDepError "haskeline"))
81+
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
82+
(hsPkgs."exploring-interpreters" or (errorHandler.buildDepError "exploring-interpreters"))
83+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
84+
];
85+
buildable = true;
86+
};
87+
};
88+
};
89+
}

‎hackage/erebos-0.1.0-r0-c190952d5be78d2dfd305101c568c9ccaf6db765a905bce661b3635ceac21ff7.nix

Lines changed: 81 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,81 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, errorHandler
8+
, config
9+
, ... }:
10+
{
11+
flags = {};
12+
package = {
13+
specVersion = "2.2";
14+
identifier = { name = "erebos"; version = "0.1.0"; };
15+
license = "BSD-3-Clause";
16+
copyright = "";
17+
maintainer = "[email protected]";
18+
author = "Roman Smrž <[email protected]>";
19+
homepage = "http://erebosprotocol.net";
20+
url = "";
21+
synopsis = "Decentralized messaging and synchronization";
22+
description = "Library and simple CLI interface implementing the Erebos identity\nmanagement, decentralized messaging and synchronization protocol, along\nwith local storage.\n\nErebos identity is based on locally stored cryptographic keys, all\ncommunication is end-to-end encrypted. Multiple devices can be attached to\nthe same identity, after which they function interchangeably, without any\none being in any way \"primary\"; messages and other state data are then\nsynchronized automatically whenever the devices are able to connect with\none another.\n\nSee README for usage of the CLI tool.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."async" or (errorHandler.buildDepError "async"))
30+
(hsPkgs."binary" or (errorHandler.buildDepError "binary"))
31+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
32+
(hsPkgs."cereal" or (errorHandler.buildDepError "cereal"))
33+
(hsPkgs."clock" or (errorHandler.buildDepError "clock"))
34+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
35+
(hsPkgs."cryptonite" or (errorHandler.buildDepError "cryptonite"))
36+
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
37+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
38+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
39+
(hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
40+
(hsPkgs."hashtables" or (errorHandler.buildDepError "hashtables"))
41+
(hsPkgs."hinotify" or (errorHandler.buildDepError "hinotify"))
42+
(hsPkgs."iproute" or (errorHandler.buildDepError "iproute"))
43+
(hsPkgs."memory" or (errorHandler.buildDepError "memory"))
44+
(hsPkgs."mime" or (errorHandler.buildDepError "mime"))
45+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
46+
(hsPkgs."network" or (errorHandler.buildDepError "network"))
47+
(hsPkgs."stm" or (errorHandler.buildDepError "stm"))
48+
(hsPkgs."tagged" or (errorHandler.buildDepError "tagged"))
49+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
50+
(hsPkgs."time" or (errorHandler.buildDepError "time"))
51+
(hsPkgs."unix" or (errorHandler.buildDepError "unix"))
52+
(hsPkgs."uuid" or (errorHandler.buildDepError "uuid"))
53+
(hsPkgs."zlib" or (errorHandler.buildDepError "zlib"))
54+
];
55+
pkgconfig = [
56+
(pkgconfPkgs."libpjproject" or (errorHandler.pkgConfDepError "libpjproject"))
57+
];
58+
build-tools = [
59+
(hsPkgs.buildPackages.c2hs.components.exes.c2hs or (pkgs.buildPackages.c2hs or (errorHandler.buildToolDepError "c2hs:c2hs")))
60+
];
61+
buildable = true;
62+
};
63+
exes = {
64+
"erebos" = {
65+
depends = [
66+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
67+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
68+
(hsPkgs."cryptonite" or (errorHandler.buildDepError "cryptonite"))
69+
(hsPkgs."erebos" or (errorHandler.buildDepError "erebos"))
70+
(hsPkgs."haskeline" or (errorHandler.buildDepError "haskeline"))
71+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
72+
(hsPkgs."network" or (errorHandler.buildDepError "network"))
73+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
74+
(hsPkgs."time" or (errorHandler.buildDepError "time"))
75+
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
76+
];
77+
buildable = true;
78+
};
79+
};
80+
};
81+
}

‎hackage/hyper-0.2.1.1-r4-8329039caa858b093bdcfcad19fe9a78bb362ebeeead5ef0196da72f0e6bcdbb.nix

Lines changed: 36 additions & 0 deletions
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 = "1.10";
14+
identifier = { name = "hyper"; version = "0.2.1.1"; };
15+
license = "BSD-3-Clause";
16+
copyright = "(c) Heinrich Apfelmus 2016-2024";
17+
maintainer = "Heinrich Apfelmus <apfelmus quantentunnel de>";
18+
author = "Heinrich Apfelmus";
19+
homepage = "https://github.com/HeinrichApfelmus/hyper-haskell";
20+
url = "";
21+
synopsis = "Display class for the HyperHaskell graphical Haskell interpreter";
22+
description = "This package is part of the /HyperHaskell/ project and provides\nthe @Display@ class for visualizing and pretty printing Haskell values.\n";
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."blaze-html" or (errorHandler.buildDepError "blaze-html"))
31+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
32+
];
33+
buildable = true;
34+
};
35+
};
36+
}

‎hackage/hyper-extra-0.2.0.1-r1-bd497811ae46260652f1aec401621410f481b9b87440814a398a4dad648bbe6e.nix

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 = "hyper-extra"; version = "0.2.0.1"; };
15+
license = "BSD-3-Clause";
16+
copyright = "(c) Heinrich Apfelmus 2016-2024";
17+
maintainer = "Heinrich Apfelmus <apfelmus quantentunnel de>";
18+
author = "Heinrich Apfelmus";
19+
homepage = "https://github.com/HeinrichApfelmus/hyper-haskell";
20+
url = "";
21+
synopsis = "Display instances for the HyperHaskell graphical Haskell interpreter";
22+
description = "This package is part of the /HyperHaskell/ project and provides\nvisual representations for various data types, in particular\ndiagrams from the @diagrams@ package.\n";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
30+
(hsPkgs."diagrams-lib" or (errorHandler.buildDepError "diagrams-lib"))
31+
(hsPkgs."diagrams-svg" or (errorHandler.buildDepError "diagrams-svg"))
32+
(hsPkgs."svg-builder" or (errorHandler.buildDepError "svg-builder"))
33+
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
34+
(hsPkgs."hyper" or (errorHandler.buildDepError "hyper"))
35+
];
36+
buildable = true;
37+
};
38+
};
39+
}

0 commit comments

Comments
 (0)