Merge pull request #246770 from r-ryantm/auto-update/flix

flix: 0.38.0 -> 0.39.0
This commit is contained in:
Pol Dellaiera 2023-08-02 18:21:17 +02:00 committed by GitHub
commit 1d11f5e3da
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,11 +2,11 @@
stdenvNoCC.mkDerivation rec { stdenvNoCC.mkDerivation rec {
pname = "flix"; pname = "flix";
version = "0.38.0"; version = "0.39.0";
src = fetchurl { src = fetchurl {
url = "https://github.com/flix/flix/releases/download/v${version}/flix.jar"; url = "https://github.com/flix/flix/releases/download/v${version}/flix.jar";
sha256 = "sha256-KiN7qpyAd1svRWWRtuj/lRXyHoLNM2FaTWVgFC4aPrg="; sha256 = "sha256-kIH5vv/7pKgfAL1BaWYH6PSyEaKVONcccUczsudyfO4=";
}; };
dontUnpack = true; dontUnpack = true;