gnu: pipewalker: Update source URI.

* gnu/packages/games.scm (pipewalker)[source]: Update source URI.
This commit is contained in:
Efraim Flashner 2020-11-09 11:18:03 +02:00
parent 4b3a535770
commit 919100ef09
No known key found for this signature in database
GPG key ID: 41AAE7DCCA3D8351

View file

@ -1868,8 +1868,8 @@ (define-public pipewalker
(source (source
(origin (origin
(method url-fetch) (method url-fetch)
(uri (string-append "http://downloads.sourceforge.net/pipewalker/" (uri (string-append "mirror://sourceforge/pipewalker/pipewalker/"
"pipewalker-" version ".tar.gz")) version "/pipewalker-" version ".tar.gz"))
(sha256 (sha256
(base32 "1x46wgk0s55562pd96cxagxkn6wpgglq779f9b64ff1k3xzp3myn")))) (base32 "1x46wgk0s55562pd96cxagxkn6wpgglq779f9b64ff1k3xzp3myn"))))
(build-system gnu-build-system) (build-system gnu-build-system)