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

Remove mcrl

Browse Source 
Does not build because source no longer exists
This commit is contained in:
Tim Steinbach 2016-11-03 21:34:28 -04:00
parent c36a1d6502
commit df76eac6c6
No known key found for this signature in database
GPG Key ID: 83FF2ACAEB6C2D24
2 changed files with 0 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
pkgs/tools/misc/mcrl/default.nix
View File

@ -1,14 +0,0 @@
{stdenv, fetchurl, coreutils}:
stdenv.mkDerivation {
name = "mcrl-2.18.4";
src = fetchurl {
url = http://homepages.cwi.nl/~mcrl/mcrl-2.18.4.tar.gz ;
sha256 = "0gld7x3cv3y0vwjr1snz24xzr818sj1l2dfn8qhirfyhc7dnnqfw";
};
RMPROG = "${coreutils}/bin/rm -f";
}

2
pkgs/top-level/all-packages.nix
View File

@ -884,8 +884,6 @@ in
mathics = pythonPackages.mathics; mathics = pythonPackages.mathics;
mcrl = callPackage ../tools/misc/mcrl { };
meson = callPackage ../development/tools/build-managers/meson { }; meson = callPackage ../development/tools/build-managers/meson { };
mp3fs = callPackage ../tools/filesystems/mp3fs { }; mp3fs = callPackage ../tools/filesystems/mp3fs { };