diff options
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/hurd.scm | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/gnu/packages/hurd.scm b/gnu/packages/hurd.scm index 557091d055..ba91b60bea 100644 --- a/gnu/packages/hurd.scm +++ b/gnu/packages/hurd.scm @@ -35,6 +35,10 @@ (and (string-suffix? "-gnu" triplet) (not (string-contains triplet "linux")))) +(define (gnumach-source-url version) + (string-append "mirror://gnu/gnumach/gnumach-" + version ".tar.gz")) + (define-public gnumach-headers (package (name "gnumach-headers") @@ -42,8 +46,7 @@ (source (origin (method url-fetch) - (uri (string-append "mirror://gnu/gnumach/gnumach-" - version ".tar.gz")) + (uri (gnumach-source-url version)) (sha256 (base32 "02hygsfpd2dljl5lg1vjjg9pizi9jyxd4aiiqzjshz6jax62jm9f")))) |