Merge pull request #175337 from muscaln/picosdk

pico-sdk: 1.3.0 -> 1.3.1
This commit is contained in:
Bobby Rong 2022-05-31 19:07:22 +08:00 committed by GitHub
commit 4d807ba63f
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.0";
version = "1.3.1";
src = fetchFromGitHub {
owner = "raspberrypi";
repo = pname;
rev = version;
sha256 = "sha256-cc1UTc1aswtJzuaUdYNcCzLtQ9+Wggiy/eRE+UoxSgE=";
sha256 = "sha256-Yf3cVFdI8vR/qcxghcx8fsbYs1qD8r6O5aqZ0AkSLDc=";
};
nativeBuildInputs = [ cmake ];