From b6d13a0d7fce48b5bcce8093926df36abb05e467 Mon Sep 17 00:00:00 2001 From: Stefan Fehrenbach Date: Fri, 26 May 2023 14:38:47 +0200 Subject: [PATCH] frink: 2023-01-31 -> 2023-05-22 --- pkgs/development/tools/frink/default.nix | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/pkgs/development/tools/frink/default.nix b/pkgs/development/tools/frink/default.nix index eb61e4b23114..73b5ee21c314 100644 --- a/pkgs/development/tools/frink/default.nix +++ b/pkgs/development/tools/frink/default.nix @@ -8,12 +8,12 @@ }: stdenv.mkDerivation rec { pname = "frink"; - version = "2023-01-31"; + version = "2023-05-22"; src = fetchurl { # Upstream does not provide versioned download links - url = "https://web.archive.org/web/20230202134810/https://frinklang.org/frinkjar/frink.jar"; - sha256 = "sha256-xs1FQvFPgeAxscAiwBBP8N8aYe0OlsYbH/vbzzCbYZc="; + url = "https://web.archive.org/web/20230526123219/https://frinklang.org/frinkjar/frink.jar"; + sha256 = "sha256-IgINJvt9G5f1HELKhV5BHIu9NoA8STDqNg/dVTFzK0Y="; }; dontUnpack = true;