diff options
| author | Zheng Junjie <zhengjunjie@iscas.ac.cn> | 2024-09-19 17:56:29 +0800 |
|---|---|---|
| committer | Vagrant Cascadian <vagrant@debian.org> | 2024-09-19 09:06:06 -0700 |
| commit | 22795da619f22a12a1823503535072104c175035 (patch) | |
| tree | 72cc80c866084c2808af55f291eb53bd021e3d3d /gnu/services.scm | |
| parent | 0feeac35cb14ccfa2193c1ecbba9d0b9936d9bb6 (diff) | |
| download | guix-22795da619f22a12a1823503535072104c175035.tar.gz guix-22795da619f22a12a1823503535072104c175035.zip | |
gnu: opensbi: Update to 1.5.1.
* gnu/packages/firmware.scm (make-opensbi-package): Update to 1.5.1.
Signed-off-by: Vagrant Cascadian <vagrant@debian.org>
Change-Id: Ia70e7619d0b4064917b1595509bad543044830f2
Diffstat (limited to 'gnu/services.scm')
0 files changed, 0 insertions, 0 deletions