Merge pull request #209985 from r-ryantm/auto-update/julia_18

julia_18: 1.8.4 -> 1.8.5
This commit is contained in:
Mario Rodas 2023-01-12 02:51:28 -05:00 committed by GitHub
commit 7b9bc04277
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -13,11 +13,11 @@
stdenv.mkDerivation rec {
pname = "julia";
version = "1.8.4";
version = "1.8.5";
src = fetchurl {
url = "https://github.com/JuliaLang/julia/releases/download/v${version}/julia-${version}-full.tar.gz";
hash = "sha256-HNAyJixcQgSKeBm8zWhOhDu7j2bPn/VsMViB6kMfADM=";
hash = "sha256-NVVAgKS0085S7yICVDBr1CrA2I7/nrhVkqV9BmPbXfI=";
};
patches = [