diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2024-04-30 16:25:30 +0300 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2024-05-27 10:26:23 +0300 |
| commit | d0de3c76028722e347874d3bbeae854dd936776b (patch) | |
| tree | 86b1025c37df396c7ce27dda1a58b636ff0d3678 /gnu/packages/agda.scm | |
| parent | e6eadcb136cfe350fa4ef69805ed2857bcb34d5a (diff) | |
| download | guix-d0de3c76028722e347874d3bbeae854dd936776b.tar.gz guix-d0de3c76028722e347874d3bbeae854dd936776b.zip | |
gnu: Add ovmf-x86-64.
* gnu/packages/firmware.scm (make-ovmf-firmware): New procedure.
(ovmf-x86-64): New variable.
Change-Id: I283065577b5507f3b7d695eaa67a6d248174bcf5
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions