gnu: gnumach-headers: Update to 1.5
authorManolis Ragkousis <manolis837@gmail.com>
Thu, 16 Apr 2015 10:09:02 +0000 (13:09 +0300)
committerManolis Ragkousis <manolis837@gmail.com>
Thu, 16 Apr 2015 11:13:11 +0000 (14:13 +0300)
commit78dc44908edbb9e7d773a351ca12cef22755fb91
treed58c3d0685ce156b24090053a465a6dbed42b5cf
parent2127cedb23ab051d9f03bdab7b7ae5d5c472baff
gnu: gnumach-headers: Update to 1.5

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