};
patches = [ ./add_all.patch ]; # This patch includes js modification which requires to re-run the jsshrink below
buildInputs = [ unzip jre ];
};
patches = [ ./add_all.patch ]; # This patch includes js modification which requires to re-run the jsshrink below
buildInputs = [ unzip jre ];