gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

frink: 2023-01-31 -> 2023-05-22

Browse Source
This commit is contained in:
Stefan Fehrenbach
2023-05-27 14:51:43 +02:00
parent 7cd7ada4ff
commit b6d13a0d7f
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/tools/frink/default.nix
+3 -3
View File
@@ -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;