Skip to content

Commit 7a26dca

Browse files
author
IOHK
committed
Automatic Update
1 parent 3db1b82 commit 7a26dca

13 files changed

+500
-1
lines changed

‎hackage/cpsa-4.4.4-r0-cc651edff6c8984df7e85e11d40adf13d1c77ebd8cfda9fc65a7d6338dd9fde3.nix

+145
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,145 @@
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 = "cpsa"; version = "4.4.4"; };
15+
license = "BSD-3-Clause";
16+
copyright = "";
17+
maintainer = "[email protected]";
18+
author = "";
19+
homepage = "";
20+
url = "";
21+
synopsis = "Symbolic cryptographic protocol analyzer";
22+
description = "The Cryptographic Protocol Shapes Analyzer (CPSA) attempts to\nenumerate all essentially different executions possible for a\ncryptographic protocol. We call them the shapes of the protocol.\nMany naturally occurring protocols have only finitely many, indeed\nvery few shapes. Authentication and secrecy properties are easy to\ndetermine from them, as are attacks and anomalies, and an auxiliary\ntool reads off strongest authentication and secrecy goals from the\nshapes.\n\nFor each input problem, the CPSA program is given some initial\nbehavior, and it discovers what shapes are compatible with it.\nNormally, the initial behavior is from the point of view of one\nparticipant. The analysis reveals what the other participants must\nhave done, given the participant's view. The search is complete,\ni.e. we proved every shape can in fact be found in a finite number\nof steps, relative to a procedural semantics of protocol roles.\n\nThe package contains a set of programs used to perform the analysis\nand display it in a browser. Program documentation is in the doc\ndirectory in the source distribution, and installed in the package's\ndata directory. You can locate the package's data directory by\ntyping \"cpsa --help\" to a command prompt. New users should study\nthe documentation and the sample inputs in the data directory. The\nsource distribution includes a test suite with an expanded set of\ninput files and is easily installed on operating systems that decend\nfrom Unix. Serious Windows users should install MSYS so as to allow\nthe use of make and script execution.\n\nThe theory and algorithm used by CPSA was developed with the help of\nJoshua D. Guttman, John D. Ramsdell, Jon C. Herzog, Shaddin\nF. Doghmi, F. Javier Thayer, Paul D. Rowe, and Moses D. Liskov.\nJohn D. Ramsdell implemented the algorithm in Haskell. CPSA was\ndesigned and implemented at The MITRE Corporation.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
exes = {
27+
"cpsa4" = {
28+
depends = [
29+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
30+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
31+
(hsPkgs."parallel" or (errorHandler.buildDepError "parallel"))
32+
];
33+
buildable = true;
34+
};
35+
"cpsa4sas" = {
36+
depends = [
37+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
38+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
39+
];
40+
buildable = true;
41+
};
42+
"cpsa4prot" = {
43+
depends = [
44+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
45+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
46+
];
47+
buildable = true;
48+
};
49+
"cpsa4goalsat" = {
50+
depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ];
51+
buildable = true;
52+
};
53+
"cpsa4diff" = {
54+
depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ];
55+
buildable = true;
56+
};
57+
"cpsa4graph" = {
58+
depends = [
59+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
60+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
61+
];
62+
buildable = true;
63+
};
64+
"cpsa4shapes" = {
65+
depends = [
66+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
67+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
68+
];
69+
buildable = true;
70+
};
71+
"cpsa4pp" = {
72+
depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ];
73+
buildable = true;
74+
};
75+
"cpsa4json" = {
76+
depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ];
77+
buildable = true;
78+
};
79+
"cpsa4init" = {
80+
depends = [
81+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
82+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
83+
];
84+
buildable = true;
85+
};
86+
"cpsa42latex" = {
87+
depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ];
88+
buildable = true;
89+
};
90+
"cpsa4roletran" = {
91+
depends = [
92+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
93+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
94+
];
95+
buildable = true;
96+
};
97+
"cpsa4coq" = {
98+
depends = [
99+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
100+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
101+
];
102+
buildable = true;
103+
};
104+
"cpsa4rolecoq" = {
105+
depends = [
106+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
107+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
108+
];
109+
buildable = true;
110+
};
111+
"cpsa4debranch" = {
112+
depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ];
113+
buildable = true;
114+
};
115+
"cpsa4query" = {
116+
depends = [
117+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
118+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
119+
];
120+
buildable = true;
121+
};
122+
"cpsa4prolog" = {
123+
depends = [
124+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
125+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
126+
];
127+
buildable = true;
128+
};
129+
"cpsa4db" = {
130+
depends = [
131+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
132+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
133+
];
134+
buildable = true;
135+
};
136+
"cpsa4dbprolog" = {
137+
depends = [
138+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
139+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
140+
];
141+
buildable = true;
142+
};
143+
};
144+
};
145+
}

‎hackage/hasmtlib-1.1.0-r0-e6969ce641b9b92ba766e74d21819e14a4feed2928858902f64e4e77b01190fe.nix

+48
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,48 @@
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 = "hasmtlib"; version = "1.1.0"; };
15+
license = "GPL-3.0-only";
16+
copyright = "2024 Julian Bruder";
17+
maintainer = "[email protected]";
18+
author = "Julian Bruder";
19+
homepage = "https://github.com/bruderj15/Hasmtlib";
20+
url = "";
21+
synopsis = "A monad for interfacing with external SMT solvers";
22+
description = "Hasmtlib is a library for generating SMTLib2-problems using a monad.\nIt takes care of encoding your problem, marshaling the data to an external solver and parsing and interpreting the result into Haskell types.\nIt is highly inspired by ekmett/ersatz which does the same for QSAT.\nCommunication with external solvers is handled by tweag/smtlib-backends.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec"))
29+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
30+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
31+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
32+
(hsPkgs."dependent-map" or (errorHandler.buildDepError "dependent-map"))
33+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
34+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
35+
(hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
36+
(hsPkgs."lens" or (errorHandler.buildDepError "lens"))
37+
(hsPkgs."smtlib-backends" or (errorHandler.buildDepError "smtlib-backends"))
38+
(hsPkgs."smtlib-backends-process" or (errorHandler.buildDepError "smtlib-backends-process"))
39+
(hsPkgs."some" or (errorHandler.buildDepError "some"))
40+
(hsPkgs."utf8-string" or (errorHandler.buildDepError "utf8-string"))
41+
(hsPkgs."bitvec" or (errorHandler.buildDepError "bitvec"))
42+
(hsPkgs."finite-typelits" or (errorHandler.buildDepError "finite-typelits"))
43+
(hsPkgs."vector-sized" or (errorHandler.buildDepError "vector-sized"))
44+
];
45+
buildable = true;
46+
};
47+
};
48+
}

‎hackage/hspray-0.5.4.0-r0-21ce78ca776a16bd58fd24b60b66c8a4457dc9b95987b3aa327a5c25df584f34.nix

+65
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,65 @@
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 = "hspray"; version = "0.5.4.0"; };
15+
license = "GPL-3.0-only";
16+
copyright = "2022-2024 Stéphane Laurent";
17+
maintainer = "[email protected]";
18+
author = "Stéphane Laurent";
19+
homepage = "https://github.com/stla/hspray#readme";
20+
url = "";
21+
synopsis = "Multivariate polynomials and fractions of multivariate polynomials.";
22+
description = "Manipulation of multivariate polynomials over a commutative ring and fractions of multivariate polynomials over a commutative field, Gröbner bases, resultant, subresultants, Sturm-Habicht sequence, and greatest common divisor. It is possible to deal with multivariate polynomials whose coefficients are fractions of multivariate polynomials, and they can be interpreted as parametric polynomials with symbolic parameters.";
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."hashable" or (errorHandler.buildDepError "hashable"))
31+
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
32+
(hsPkgs."numeric-prelude" or (errorHandler.buildDepError "numeric-prelude"))
33+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
34+
(hsPkgs."matrix" or (errorHandler.buildDepError "matrix"))
35+
(hsPkgs."extra" or (errorHandler.buildDepError "extra"))
36+
];
37+
buildable = true;
38+
};
39+
tests = {
40+
"unit-tests" = {
41+
depends = [
42+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
43+
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
44+
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit"))
45+
(hsPkgs."numeric-prelude" or (errorHandler.buildDepError "numeric-prelude"))
46+
(hsPkgs."matrix" or (errorHandler.buildDepError "matrix"))
47+
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
48+
(hsPkgs."hspray" or (errorHandler.buildDepError "hspray"))
49+
];
50+
buildable = true;
51+
};
52+
};
53+
benchmarks = {
54+
"benchmarks" = {
55+
depends = [
56+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
57+
(hsPkgs."tasty-bench" or (errorHandler.buildDepError "tasty-bench"))
58+
(hsPkgs."numeric-prelude" or (errorHandler.buildDepError "numeric-prelude"))
59+
(hsPkgs."hspray" or (errorHandler.buildDepError "hspray"))
60+
];
61+
buildable = true;
62+
};
63+
};
64+
};
65+
}

‎hackage/ldap-client-0.4.3-r0-3004cfa2976ae3f193a18d5f8820370d74432c0ff58083bb8a929701d46db9d9.nix

+57
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,57 @@
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 = "ldap-client"; version = "0.4.3"; };
15+
license = "BSD-2-Clause";
16+
copyright = "2015 Matvey Aksenov, 2019 AlasConnect LLC";
17+
maintainer = "[email protected], [email protected]";
18+
author = "Matvey Aksenov, AlasConnect LLC";
19+
homepage = "https://github.com/alasconnect/ldap-client";
20+
url = "";
21+
synopsis = "Pure Haskell LDAP Client Library";
22+
description = "Pure Haskell LDAP client library implementing (the parts of) RFC 4511.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."asn1-encoding" or (errorHandler.buildDepError "asn1-encoding"))
29+
(hsPkgs."asn1-types" or (errorHandler.buildDepError "asn1-types"))
30+
(hsPkgs."async" or (errorHandler.buildDepError "async"))
31+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
32+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
33+
(hsPkgs."crypton-connection" or (errorHandler.buildDepError "crypton-connection"))
34+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
35+
(hsPkgs."fail" or (errorHandler.buildDepError "fail"))
36+
(hsPkgs."network" or (errorHandler.buildDepError "network"))
37+
(hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups"))
38+
(hsPkgs."stm" or (errorHandler.buildDepError "stm"))
39+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
40+
];
41+
buildable = true;
42+
};
43+
tests = {
44+
"spec" = {
45+
depends = [
46+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
47+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
48+
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
49+
(hsPkgs."ldap-client" or (errorHandler.buildDepError "ldap-client"))
50+
(hsPkgs."process" or (errorHandler.buildDepError "process"))
51+
(hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups"))
52+
];
53+
buildable = true;
54+
};
55+
};
56+
};
57+
}

‎hackage/libmpd-0.10.0.1-r0-6782337b0b060384820ab2e1831dd4d51444a2c61875240ebe9b38de15ce22a4.nix

+69
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,69 @@
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.4";
14+
identifier = { name = "libmpd"; version = "0.10.0.1"; };
15+
license = "MIT";
16+
copyright = "Ben Sinclair 2005-2009, Joachim Fasting 2007-2015,\nDaniel Schoepe 2009, Andrzej Rybczak 2010,\nSimon Hengel 2011-2014, Niklas Haas 2012,\nMatvey Aksenov 2014, Wieland Hoffmann 2014,\nTim Heap 2014, Tobias Brandt 2014";
17+
maintainer = "Joachim Fasting <[email protected]>";
18+
author = "Ben Sinclair";
19+
homepage = "http://github.com/vimus/libmpd-haskell#readme";
20+
url = "";
21+
synopsis = "An MPD client library.";
22+
description = "A client library for MPD, the Music Player Daemon.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec"))
30+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
31+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
32+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
33+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
34+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
35+
(hsPkgs."time" or (errorHandler.buildDepError "time"))
36+
(hsPkgs."data-default-class" or (errorHandler.buildDepError "data-default-class"))
37+
(hsPkgs."network" or (errorHandler.buildDepError "network"))
38+
(hsPkgs."safe-exceptions" or (errorHandler.buildDepError "safe-exceptions"))
39+
(hsPkgs."utf8-string" or (errorHandler.buildDepError "utf8-string"))
40+
];
41+
buildable = true;
42+
};
43+
tests = {
44+
"specs" = {
45+
depends = [
46+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
47+
(hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec"))
48+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
49+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
50+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
51+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
52+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
53+
(hsPkgs."time" or (errorHandler.buildDepError "time"))
54+
(hsPkgs."data-default-class" or (errorHandler.buildDepError "data-default-class"))
55+
(hsPkgs."network" or (errorHandler.buildDepError "network"))
56+
(hsPkgs."safe-exceptions" or (errorHandler.buildDepError "safe-exceptions"))
57+
(hsPkgs."utf8-string" or (errorHandler.buildDepError "utf8-string"))
58+
(hsPkgs."unix" or (errorHandler.buildDepError "unix"))
59+
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
60+
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
61+
];
62+
build-tools = [
63+
(hsPkgs.buildPackages.hspec-discover.components.exes.hspec-discover or (pkgs.buildPackages.hspec-discover or (errorHandler.buildToolDepError "hspec-discover:hspec-discover")))
64+
];
65+
buildable = true;
66+
};
67+
};
68+
};
69+
}

0 commit comments

Comments
 (0)