diff options
| author | Markus Mueller <john.subscriber@markus.institute> | 2017-09-08 14:26:41 +0000 |
|---|---|---|
| committer | Robin Gloster <mail@glob.in> | 2017-09-08 18:26:25 +0200 |
| commit | edd94f5fcd077a9e7eb80102cc076a8f8bfe3524 (patch) | |
| tree | 267bb49962da3bd0408936065e1548f0aa3391e4 /pkgs/applications/science/logic/mcrl2/default.nix | |
| parent | 6f292e925042b71198fb8813d34319eb8877da6e (diff) | |
| download | nixpkgs-edd94f5fcd077a9e7eb80102cc076a8f8bfe3524.tar nixpkgs-edd94f5fcd077a9e7eb80102cc076a8f8bfe3524.tar.gz nixpkgs-edd94f5fcd077a9e7eb80102cc076a8f8bfe3524.tar.bz2 nixpkgs-edd94f5fcd077a9e7eb80102cc076a8f8bfe3524.tar.lz nixpkgs-edd94f5fcd077a9e7eb80102cc076a8f8bfe3524.tar.xz nixpkgs-edd94f5fcd077a9e7eb80102cc076a8f8bfe3524.tar.zst nixpkgs-edd94f5fcd077a9e7eb80102cc076a8f8bfe3524.zip | |
mcrl2: 201409 -> 201707
Diffstat (limited to 'pkgs/applications/science/logic/mcrl2/default.nix')
| -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 c8493b59469..c9016a5ee0c 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; |