aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorEfraim Flashner <efraim@flashner.co.il>2024-04-30 16:26:29 +0300
committerEfraim Flashner <efraim@flashner.co.il>2024-05-27 10:26:23 +0300
commit2a45000102f5e9add6f6d47e4d460c40701cc9c9 (patch)
tree3d0ff360c89b536ea32faebbe1e97ba74d9e6293 /gnu/packages/agda.scm
parentd0de3c76028722e347874d3bbeae854dd936776b (diff)
downloadguix-2a45000102f5e9add6f6d47e4d460c40701cc9c9.tar.gz
guix-2a45000102f5e9add6f6d47e4d460c40701cc9c9.zip
gnu: Add ovmf-i686.
* gnu/packages/firmware.scm (ovmf-i686): New variable. Change-Id: Ie5702435695e24ed1d2731152a89b0aeb9a050dd
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions