diff options
| author | Manolis Ragkousis <manolis837@gmail.com> | 2016-12-19 11:57:41 +0200 |
|---|---|---|
| committer | Manolis Ragkousis <manolis837@gmail.com> | 2016-12-19 12:04:43 +0200 |
| commit | 9c9402be2e971db5d49ecb1bc4be67af8ca97a95 (patch) | |
| tree | 61c86cf91c61e6eb893fcc2a324f71220e4649bc | |
| parent | d950f038483a2e553fdbd01e6058ca1626629dfb (diff) | |
gnu: mig: Update to 1.8.
* gnu/packages/hurd.scm (mig): Update to version 1.8.
| -rw-r--r-- | gnu/packages/hurd.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/hurd.scm b/gnu/packages/hurd.scm index 376021bf97b..08868808c77 100644 --- a/gnu/packages/hurd.scm +++ b/gnu/packages/hurd.scm | |||
| @@ -71,7 +71,7 @@ | |||
| 71 | (define-public mig | 71 | (define-public mig |
| 72 | (package | 72 | (package |
| 73 | (name "mig") | 73 | (name "mig") |
| 74 | (version "1.7") | 74 | (version "1.8") |
| 75 | (source | 75 | (source |
| 76 | (origin | 76 | (origin |
| 77 | (method url-fetch) | 77 | (method url-fetch) |
| @@ -79,7 +79,7 @@ | |||
| 79 | version ".tar.gz")) | 79 | version ".tar.gz")) |
| 80 | (sha256 | 80 | (sha256 |
| 81 | (base32 | 81 | (base32 |
| 82 | "1hxqd8p14pgamgavmbmziswvd1zvwqx7lgc9qga805q9jrs93q2b")))) | 82 | "1gyda8sq6b379nx01hkpbd85lz39irdvz2b9wbr63gicicx8i706")))) |
| 83 | (build-system gnu-build-system) | 83 | (build-system gnu-build-system) |
| 84 | ;; Flex is needed both at build and run time. | 84 | ;; Flex is needed both at build and run time. |
| 85 | (inputs `(("gnumach-headers" ,gnumach-headers) | 85 | (inputs `(("gnumach-headers" ,gnumach-headers) |