JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

mcrl2: 201409 -> 201707

Browse Source
This commit is contained in:
Markus Mueller 2017-09-08 14:26:41 +00:00 committed by Robin Gloster
parent 6f292e9250
commit edd94f5fcd
1 changed files with 5 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
pkgs/applications/science/logic/mcrl2/default.nix
View File

@ -2,17 +2,16 @@
python27, python27Packages}: python27, python27Packages}:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
version = "201409.1"; version = "201707";
build_nr = "13892"; build_nr = "1";
name = "mcrl2-${version}"; name = "mcrl2-${version}";
src = fetchurl { src = fetchurl {
url = "http://www.mcrl2.org/download/devel/mcrl2-${version}.${build_nr}.tar.gz"; url = "http://www.mcrl2.org/download/release/mcrl2-${version}.${build_nr}.tar.gz";
sha256 = "0cknpind6rma12q93rbm638ijhy8sj8nd20wnw8l0f651wm0x036"; sha256 = "1c8h94ja7271ph61zrcgnjgblxppld6v22f7f900prjgzbcfy14m";
}; };
buildInputs = [ xlibs.libX11 cmake subversion mesa qt5.qtbase boost buildInputs = [ cmake mesa qt5.qtbase boost ];
python27 python27Packages.pyyaml python27Packages.psutil ];
enableParallelBuilding = true; enableParallelBuilding = true;