Merge pull request #260604 from r-ryantm/auto-update/openspecfun

openspecfun: 0.5.5 -> 0.5.6
This commit is contained in:
Nick Cao 2023-10-12 11:37:50 -04:00 committed by GitHub
commit 006b4a03b4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,12 +2,12 @@
stdenv.mkDerivation rec {
pname = "openspecfun";
version = "0.5.5";
version = "0.5.6";
src = fetchFromGitHub {
owner = "JuliaLang";
repo = "openspecfun";
rev = "v${version}";
sha256 = "sha256-fX2wc8LHUcF5nN/hiA60ZZ7emRTs0SznOm/0q6lD+Ko=";
sha256 = "sha256-4MPoRMtDTkdvDfhNXKk/80pZjXRNEPcysLNTb5ohxWk=";
};
makeFlags = [ "prefix=$(out)" ];