protege: stop overwriting maven

This commit is contained in:
Sandro Jäckel 2024-07-15 15:12:13 +02:00
parent ba20a2a1ff
commit 3901bffc53
No known key found for this signature in database
GPG Key ID: 3AF5A43A3EECC2E5

View File

@ -8,10 +8,7 @@
, maven
}:
let
mvn = maven.override { jdk = jdk11; };
in
mvn.buildMavenPackage rec {
maven.buildMavenPackage rec {
pname = "protege";
version = "5.6.4";
@ -22,6 +19,7 @@ mvn.buildMavenPackage rec {
hash = "sha256-Q3MHa7nCeF31n7JPltcemFBc/sJwGA9Ev0ymjQhY/U0=";
};
mvnJdk = jdk11;
mvnHash = "sha256-kemP2gDv1CYuaoK0fwzBxdLTusarPasf2jCDQj/HPYE=";
patches = [