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

Merge pull request #273310 from fehrenbach/frink-2023-12-02

Browse Source 
frink: 2023-07-31 -> 2023-12-02
This commit is contained in:
Peder Bergebakken Sundt
2024-06-05 14:51:19 +02:00
committed by GitHub
parent 375ac09eed 535bf0cc69
commit c5e45a46db
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-07-31";
version = "2023-12-02";
src = fetchurl {
# Upstream does not provide versioned download links
url = "https://web.archive.org/web/20230806114836/https://frinklang.org/frinkjar/frink.jar";
sha256 = "sha256-u44g/pM4ie3NcBh6MZpN8+oWZLYz0LN5ozetee1iXNk=";
url = "https://web.archive.org/web/20231210094124/https://frinklang.org/frinkjar/frink.jar";
sha256 = "sha256-oURRTrgyVMPD4cOdM6g0bDpZ0KMlVsLqa0nzC1UvqIs=";
};
dontUnpack = true;