bug#33758: No longer possible to run ./pre-inst-env guix without compiling first

2018-12-14 Thread swedebugia
Hi Is this a bug? first *clone repository* then ./bootstrap && ./configure then ./pre-inst-env guix weather -m ~/sdb.scm --substitute-urls="https://ci.guix.info http://mirror.hydra.gnu.org; Backtrace: In ice-9/boot-9.scm: 222:29 19 (map1 _) 222:29 18 (map1 _) 222:29 17 (map1 _)

bug#33755: error: execlp: No such file or directory from guix environment

2018-12-14 Thread swedebugia
Hi Is this a bug? sdb@antelope ~/src/guix$ guix environment guix -- ad-hoc libgit2 texinfo guix environment: error: execlp: No such file or directory I meant to type: sdb@antelope ~/src/guix$ guix environment guix --ad-hoc libgit2 texinfo I would have liked an error saying "error: package

bug#33754: guix-0.16.0-4.60b0402 fails to build on armhf-linux

2018-12-14 Thread Mark H Weaver
guix-0.16.0-4.60b0402 fails to build on armhf-linux, in what appears to be a reproducible failure. https://hydra.gnu.org/build/3281991 Two tests fail: tests/graph.scm and tests/guix-package.sh. Both failures are ultimately caused by the following error: (match-error "match" "no matching

bug#33751: SQLite "Magellan" vulnerability

2018-12-14 Thread Marius Bakke
Marius Bakke writes: > Hello! > > There is allegedly a remote code execution bug in all versions of SQLite > prior to 3.26.0: . > > I think it is safe to graft 3.26.0 in-place: > > $ abidiff >

bug#33751: SQLite "Magellan" vulnerability

2018-12-14 Thread Marius Bakke
Hello! There is allegedly a remote code execution bug in all versions of SQLite prior to 3.26.0: . I think it is safe to graft 3.26.0 in-place: $ abidiff /gnu/store/pba3xzrkq2k4wgh3arif4xpkblr5qz2n-sqlite-3.24.0/lib/libsqlite3.so

bug#33362: System tests stuck in "shepherd[1]: waiting for udevd..."

2018-12-14 Thread Mark H Weaver
I just found that 4 out of 6 Intel build slots on Hydra have been occupied for the last 10+ hours on more instances of this bug: https://hydra.gnu.org/build/3281985 https://hydra.gnu.org/build/3281874 https://hydra.gnu.org/build/3281957 https://hydra.gnu.org/build/3281830 I killed these

bug#33750: Virt-manager missing USB/PCI host device options

2018-12-14 Thread Rutger Helling
In virt-manager when clicking "Add hardware" on a VM the USB/PCI Host Device boxes are greyed out with the message "Connection does not support host device enumeration". It seems we're missing some dependencies. pgpB0Yvs2FE9b.pgp Description: OpenPGP digital signature

bug#33676: GuixSD on eoma68-a20?

2018-12-14 Thread Danny Milosavljevic
Hi Andreas, can you check whether dirindex (hashtables for directory) is enabled? # tune2fs -l /dev/... | grep -o dir_index See also https://blog.merovius.de/2013/10/20/ext4-mysterious-no-space-left-on.html pgpULx3lqTzrM.pgp Description: OpenPGP digital signature

bug#33673: PATCH: Fwd: Re: bug#33673: "guix system --help" does not detail how to use --on-error=strategy

2018-12-14 Thread swedebugia
Is this patch ok? Forwarded Message Subject: Re: bug#33673: "guix system --help" does not detail how to use --on-error=strategy Date: Tue, 11 Dec 2018 18:10:06 +0100 From: Ludovic Courtès To: Efraim Flashner CC: swedebu...@riseup.net, 33...@debbugs.gnu.org Hi! Efraim

bug#33745: Unnecessary dependencies in Coq

2018-12-14 Thread Dan Frumin
Oh, I forgot about another potential issue: right now the Coq package _hardcodes_ the use of Icecat as a default browser: (modify-phases %standard-phases (replace 'configure (lambda* (#:key outputs #:allow-other-keys) (let* ((out (assoc-ref outputs

bug#33745: Unnecessary dependencies in Coq

2018-12-14 Thread Dan Frumin
I believe that the current Coq package [1] pulls in way too many dependencies. Firstly, as it was already mentioned on Guix-devel [2], the package pulls in texlive and Hevea. I think those are needed only for building the pdf reference manual. Secondly, the Coq package depends on lablgtk -- I

bug#33638: ruby-sass-spec substitute hash mismatch (mirror.hydra.gnu.org)

2018-12-14 Thread Christopher Baines
Leo Famulari writes: > On Wed, Dec 05, 2018 at 10:05:57PM +, Christopher Baines wrote: >> >> substituting >> /gnu/store/mnvng3pdri5v8497j5a6nij53z3knlk1-ruby-sass-spec-3.5.4... >> downloading from >>

bug#33676: ENOSPC upon offloading

2018-12-14 Thread Ludovic Courtès
Hello, Danny Milosavljevic skribis: > I've tried it now and I get: > > dannym@bayfront ~/src/guix$ ./pre-inst-env guix system disk-image > --system=armhf-linux gnu/system/install.scm > ... > importing file or directory > '/gnu/store/3qrkj5zqmhnkr953xznmy96fq8i55ia5-glibc-b > ootstrap-0'... >

bug#33720: GNUTLS substitute error

2018-12-14 Thread Ludovic Courtès
Hello, Formbi skribis: >>Did you follow the TLS / X.509 steps mentioned in the manual? > yes > >>How did you install Guix? How did you start guix-daemon? > > I installed it with the AUR package. I start guix-daemon using the systemd > service that came with it. In that case could you report

bug#33676: GuixSD on eoma68-a20?

2018-12-14 Thread Ludovic Courtès
Hello! Danny Milosavljevic skribis: > Ye! > > flash-image just successfully built on Hydra. > > Can I have the resulting file please? > > See https://hydra.gnu.org/build/3255541/log/raw I believe you can download it by running: guix build