From d7474f4fa713eeb2a975fbca186168fdbb120024 Mon Sep 17 00:00:00 2001 From: "R. Ryantm" Date: Wed, 22 Mar 2023 02:22:17 +0000 Subject: [PATCH] jflex: 1.8.2 -> 1.9.1 --- pkgs/development/libraries/java/jflex/default.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/development/libraries/java/jflex/default.nix b/pkgs/development/libraries/java/jflex/default.nix index 4f5a9de7bd5..90e4d4329d5 100644 --- a/pkgs/development/libraries/java/jflex/default.nix +++ b/pkgs/development/libraries/java/jflex/default.nix @@ -2,11 +2,11 @@ stdenv.mkDerivation rec { pname = "jflex"; - version = "1.8.2"; + version = "1.9.1"; src = fetchurl { url = "http://jflex.de/release/jflex-${version}.tar.gz"; - sha256 = "1ar7g6zb2xjgnws3j4cqcp86jplhc9av8cpcjdmxw08x6igd5q51"; + sha256 = "sha256-4MHp7vkf9t8E1z+l6v8T86ArZ5/uFHTlzK4AciTfbfY="; }; sourceRoot = "${pname}-${version}";