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

pico-sdk: 1.4.0 -> 1.5.0
This commit is contained in:
Weijia Wang 2023-02-13 06:40:38 +01:00 committed by GitHub
commit 2a7ce2ac40
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.4.0";
version = "1.5.0";
src = fetchFromGitHub {
owner = "raspberrypi";
repo = pname;
rev = version;
sha256 = "sha256-i3IAaNcd0EfKNvU104a776O1poDAChlx1m+nP8iFn8E=";
sha256 = "sha256-p69go8KXQR21szPb+R1xuonyFj+ZJDunNeoU7M3zIsE=";
};
nativeBuildInputs = [ cmake ];