diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2017-02-20 12:56:14 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2017-02-20 12:56:14 +0200 |
| commit | d15432ca9e9359b865aac63ae47863e94bbce0e4 (patch) | |
| tree | be4e6f52cb8e31f5b5fad637c95c0a730ea76081 /gnu/packages/hurd.scm | |
| parent | def971689052ebc3e0a68684328c28cac35b8596 (diff) | |
| parent | 3b254d76132627ff62ac5571f4175669164624c5 (diff) | |
| download | guix-d15432ca9e9359b865aac63ae47863e94bbce0e4.tar.gz | |
Merge remote-tracking branch 'origin/master' into core-updates
Diffstat (limited to 'gnu/packages/hurd.scm')
| -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")))) |