gnu: seabios: Update source URI.

* gnu/packages/firmware.scm (seabios)[source](uri): Download from seabios.org.
master
Marius Bakke 2018-08-27 22:34:16 +02:00
parent eb87b634a7
commit 2987b2e0d2
No known key found for this signature in database
GPG Key ID: A2A06DF2A33A54FA
1 changed files with 1 additions and 1 deletions

View File

@ -188,7 +188,7 @@ by the b43-open driver of Linux-libre.")
(version "1.11.0")
(source (origin
(method url-fetch)
(uri (string-append "https://code.coreboot.org/p/seabios/downloads/get/"
(uri (string-append "https://www.seabios.org/downloads/"
"seabios-" version ".tar.gz"))
(sha256
(base32