gnu: gnumach-headers: Update to 1.8.
authorManolis Ragkousis <manolis837@gmail.com>
Mon, 19 Dec 2016 09:55:39 +0000 (11:55 +0200)
committerManolis Ragkousis <manolis837@gmail.com>
Mon, 19 Dec 2016 10:04:21 +0000 (12:04 +0200)
commitd950f038483a2e553fdbd01e6058ca1626629dfb
treeaa6d3b1909b298ab0d66138822dc9c4d61708276
parent5f80054053b6f2d74e25bfbee564e4f6d09f5c7f
gnu: gnumach-headers: Update to 1.8.

* gnu/packages/hurd.scm (gnumach-headers): Update to version 1.8.
gnu/packages/hurd.scm