tangled
alpha
login
or
join now
pyrox.dev
/
nixpkgs
0
fork
atom
lol
0
fork
atom
overview
issues
pulls
pipelines
souffle: 2.2 -> 2.3
R. Ryantm
3 years ago
3a3ad4c7
334071af
+2
-2
1 changed file
expand all
collapse all
unified
split
pkgs
development
compilers
souffle
default.nix
+2
-2
pkgs/development/compilers/souffle/default.nix
···
10
10
in
11
11
stdenv.mkDerivation rec {
12
12
pname = "souffle";
13
13
-
version = "2.2";
13
13
+
version = "2.3";
14
14
15
15
src = fetchFromGitHub {
16
16
owner = "souffle-lang";
17
17
repo = "souffle";
18
18
rev = version;
19
19
-
sha256 = "sha256-whvC+DL9XbQLc4wf2kFxUKXSyJnGkYq0/0uLCLbliJU=";
19
19
+
sha256 = "sha256-wdTBSmyA2I+gaSV577NNKA2oY2fdVTGmvV7h15NY1tU=";
20
20
};
21
21
22
22
nativeBuildInputs = [ bison cmake flex mcpp doxygen graphviz makeWrapper perl ];