jikes: removing
This commit is contained in:
parent
3323655ccb
commit
54e4b13887
@ -1,14 +0,0 @@
|
||||
{stdenv, fetchurl}:
|
||||
|
||||
stdenv.mkDerivation {
|
||||
name = "jikes-1.22";
|
||||
src = fetchurl {
|
||||
url = mirror://sourceforge/jikes/jikes-1.22.tar.bz2;
|
||||
sha256 = "1qqldrp74pzpy5ly421srqn30qppmm9cvjiqdngk8hf47dv2rc0c";
|
||||
};
|
||||
|
||||
meta = {
|
||||
platforms = stdenv.lib.platforms.unix;
|
||||
license = stdenv.lib.licenses.epl10;
|
||||
};
|
||||
}
|
@ -162,6 +162,7 @@ mapAliases ({
|
||||
infiniband-diags = rdma-core; # added 2019-08-09
|
||||
inotifyTools = inotify-tools;
|
||||
jbuilder = dune; # added 2018-09-09
|
||||
jikes = throw "deprecated in 2019-10-07: abandoned by upstream";
|
||||
joseki = apache-jena-fuseki; # added 2016-02-28
|
||||
json_glib = json-glib; # added 2018-02-25
|
||||
kdiff3-qt5 = kdiff3; # added 2017-02-18
|
||||
|
@ -8099,8 +8099,6 @@ in
|
||||
|
||||
javacard-devkit = pkgsi686Linux.callPackage ../development/compilers/javacard-devkit { };
|
||||
|
||||
jikes = callPackage ../development/compilers/jikes { };
|
||||
|
||||
julia_07 = callPackage ../development/compilers/julia/0.7.nix {
|
||||
gmp = gmp6;
|
||||
openblas = openblasCompat;
|
||||
|
Loading…
Reference in New Issue
Block a user