Merge pull request #244355 from wineee/opensbi

opensbi: 1.3 -> 1.3.1
This commit is contained in:
Nick Cao 2023-07-19 16:41:49 -06:00 committed by GitHub
commit d3185b8a56
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -9,13 +9,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "opensbi"; pname = "opensbi";
version = "1.3"; version = "1.3.1";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "riscv-software-src"; owner = "riscv-software-src";
repo = "opensbi"; repo = "opensbi";
rev = "v${version}"; rev = "v${version}";
sha256 = "sha256-Dr16fVUGLYGnGYHkjAyqpJxt8p95F0CJIU9ESGWKGWo="; hash = "sha256-JNkPvmKYd5xbGB2lsZKWrpI6rBIckWbkLYu98bw7+QY=";
}; };
postPatch = '' postPatch = ''