Merge pull request #230331 from r-ryantm/auto-update/papi

papi: 7.0.0 -> 7.0.1
This commit is contained in:
Weijia Wang 2023-05-06 21:03:05 +03:00 committed by GitHub
commit 21ce13c6eb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3,12 +3,12 @@
}:
stdenv.mkDerivation rec {
version = "7.0.0";
version = "7.0.1";
pname = "papi";
src = fetchurl {
url = "https://bitbucket.org/icl/papi/get/papi-${lib.replaceStrings ["."] ["-"] version}-t.tar.gz";
sha256 = "sha256-MxiOzfBxLmzsUg4jo2VHThyGE0/WYD3ZEBrq3WRjXGU=";
sha256 = "sha256-VajhmPW8sEJksfhLjBVlpBH7+AZr4fwKZPAtZxRF1Bk=";
};
setSourceRoot = ''