jasmin: use jdk8

This commit is contained in:
Gabriel Ebner 2020-09-19 17:40:36 +02:00
parent 12a9e3043a
commit ffc9f680e8

View File

@ -1,13 +1,13 @@
{ stdenv { stdenv
, fetchurl , fetchurl
, unzip , unzip
, jdk , jdk8
, ant , ant
, makeWrapper , makeWrapper
, jre
, callPackage , callPackage
}: }:
let jre = jdk8.jre; jdk = jdk8; in
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "jasmin"; pname = "jasmin";
version = "2.4"; version = "2.4";