diff options
author | Markus Mueller <john.subscriber@markus.institute> | 2017-09-08 14:26:41 +0000 |
---|---|---|
committer | Franz Pletz <fpletz@fnordicwalking.de> | 2017-09-10 17:55:46 +0200 |
commit | 300b9f13de59ce9a311b8785de990f4bd0d4baf9 (patch) | |
tree | 42470d868d7ff77ef490d160ab28caad1d51073b | |
parent | e09335914e48f9272b1e195c240235ccc994de3c (diff) |
mcrl2: 201409 -> 201707
(cherry picked from commit edd94f5fcd077a9e7eb80102cc076a8f8bfe3524)
-rw-r--r-- | pkgs/applications/science/logic/mcrl2/default.nix | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/pkgs/applications/science/logic/mcrl2/default.nix b/pkgs/applications/science/logic/mcrl2/default.nix index c8493b5946900..c9016a5ee0ce0 100644 --- a/pkgs/applications/science/logic/mcrl2/default.nix +++ b/pkgs/applications/science/logic/mcrl2/default.nix @@ -2,17 +2,16 @@ python27, python27Packages}: stdenv.mkDerivation rec { - version = "201409.1"; - build_nr = "13892"; + version = "201707"; + build_nr = "1"; name = "mcrl2-${version}"; src = fetchurl { - url = "http://www.mcrl2.org/download/devel/mcrl2-${version}.${build_nr}.tar.gz"; - sha256 = "0cknpind6rma12q93rbm638ijhy8sj8nd20wnw8l0f651wm0x036"; + url = "http://www.mcrl2.org/download/release/mcrl2-${version}.${build_nr}.tar.gz"; + sha256 = "1c8h94ja7271ph61zrcgnjgblxppld6v22f7f900prjgzbcfy14m"; }; - buildInputs = [ xlibs.libX11 cmake subversion mesa qt5.qtbase boost - python27 python27Packages.pyyaml python27Packages.psutil ]; + buildInputs = [ cmake mesa qt5.qtbase boost ]; enableParallelBuilding = true; |