Merge pull request #213100 from r-ryantm/auto-update/chuck

chuck: 1.4.1.1 -> 1.4.2.0
This commit is contained in:
Weijia Wang 2023-01-28 10:37:00 +01:00 committed by GitHub
commit e59a190bd0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3,12 +3,12 @@
}:
stdenv.mkDerivation rec {
version = "1.4.1.1";
version = "1.4.2.0";
pname = "chuck";
src = fetchurl {
url = "http://chuck.cs.princeton.edu/release/files/chuck-${version}.tgz";
sha256 = "sha256-RFnubxUdpy3N4VJeCv4FMp1hCGNWsWjs/AvDpXApD2M=";
sha256 = "sha256-hIwsC9rYgXWSTFqUufKGqoT0Gnsf4nR4KQ0iSVbj8xg=";
};
nativeBuildInputs = [ flex bison which ]