Merge pull request #183728 from r-ryantm/auto-update/pico-sdk

pico-sdk: 1.3.1 -> 1.4.0
This commit is contained in:
Jonas Heinrich 2022-08-27 15:09:05 +02:00 committed by GitHub
commit 8023e6aeea
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,13 +2,13 @@
stdenv.mkDerivation rec {
pname = "pico-sdk";
version = "1.3.1";
version = "1.4.0";
src = fetchFromGitHub {
owner = "raspberrypi";
repo = pname;
rev = version;
sha256 = "sha256-Yf3cVFdI8vR/qcxghcx8fsbYs1qD8r6O5aqZ0AkSLDc=";
sha256 = "sha256-i3IAaNcd0EfKNvU104a776O1poDAChlx1m+nP8iFn8E=";
};
nativeBuildInputs = [ cmake ];