bug#27735: Lookup by UUID

2017-07-19 Thread Ludovic Courtès
Hi! Danny Milosavljevic skribis: > I think it's a good interim solution. Based on your feedback I’ve come up with the two attached patches. I’ve checked at the REPL that ‘operating-system-uuid’ gives reasonable results for different ‘operating-system’ configs, and deterministic results for a g

bug#27725: Lapack 3.7.1 hash changed

2017-07-19 Thread Marius Bakke
Maxim Cournoyer writes: > From f69c6bbb8bee804057ccc1dc076311d3cbf5e89c Mon Sep 17 00:00:00 2001 > From: Maxim Cournoyer > Date: Sun, 16 Jul 2017 12:01:59 -0700 > Subject: [PATCH] gnu: lapack: Fix hash of release 3.7.1 > > Apparently the release was modified (cleaned-up) in-place. An issue was o

bug#27759: NTP pool vendor zone

2017-07-19 Thread Ludovic Courtès
Leo Famulari skribis: > Currently our ntp-service uses the top-level NTP pool servers [0]: > > (define %ntp-servers > ;; Default set of NTP servers. > '("0.pool.ntp.org" > "1.pool.ntp.org" > "2.pool.ntp.org")) > > However, the NTP Pool project requests that operating system vendors >

bug#27735: Unbootable images with GuixSD on... "GuixSD"

2017-07-19 Thread Danny Milosavljevic
Hi Ludo, I think it's a good interim solution. On Tue, 18 Jul 2017 13:49:01 +0200 l...@gnu.org (Ludovic Courtès) wrote: > + (define root-uuid > +;; UUID of the root file system, computed in a deterministic fashion. > +(if (string=? "iso9660" file-system-type)