randoop: 4.3.3 -> 4.3.4 (#414617)

This commit is contained in:
Weijia Wang 2025-06-17 17:40:55 +02:00 committed by GitHub
commit b94b8ca2ca
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -6,12 +6,12 @@
}:
stdenv.mkDerivation rec {
version = "4.3.3";
version = "4.3.4";
pname = "randoop";
src = fetchurl {
url = "https://github.com/randoop/randoop/releases/download/v${version}/${pname}-${version}.zip";
sha256 = "sha256-x9kAoVa4wvUp3gpg9GCodvjwql3CBtn5EqJIZYSSqVI=";
sha256 = "sha256-yzQw9l3uAq51SHXJ4rsZNRCiFdhOEoSrwv9iPvD2i9c=";
};
nativeBuildInputs = [ unzip ];