<nicklaf>output path `/gnu/store/akc5vvh64mzrkg86zgg4fd2qpbrl7j38-erlang-19.3.tar.gz' should have sha256 hash `1b47jh549yywyp8fbs8a8j4ydr3zn982navzyqvlms6rg8vwb0pw', instead has `17ddyhz1awzfvy5mgx7a8nph12x24k1bamnhyk5zvw47i36wysfz'
<nicklaf>I downloaded that file with wget and sha256 gives yet a different hash
<apteryx_>I found another problem with the way Emacs dependencies are managed; apparently doing "guix environment --pure --ad-hoc emacs", emacs still discovers all of the emacs packages installed through Guix in your main profile.
<christopher74837>if you install guix on Debian, isn't there problems because you can't control the version of kernel running on the system...?
<roptat>it's ok, guix doesn't depend that much on kernel interfaces
<roptat>and programs usually use glibc which works for any kernel after 2.6.32 if I'm not mistaken (--enable-kernel=2.6.32 in glibc package)
<OriansJ>christopher74837: assuming proper engineering, there is no reason for any program (save those that depend on some recently developed feature that can't be approximated) should even care about kernel version
<OriansJ>also if certain kernel functionality is critical, you can always backport new kernel features as modules to previous versions of the linux kernel. (we have the source after all)
<vagrantc>so, if i've been running "guix pull" regularly, guix 0.14.0 isn't a huge deal, i'm guessing? mostly just useful for bootstrapping new systems?
<christopher74837>i was just trying to ancipate difficulties. I'm going to try to install guix on my Debian stretch system
<vagrantc>ACTION also recently installed guix on a debian system, but should have waited for 0.14.0 to come out
<vagrantc>ACTION wonders if people would balk at uploading a guix keyring to debian...
<OriansJ>vagrantc: go for it (if you think they'll accept it)
<vagrantc>it wouldn't be hard to do, but no idea what keys to include at this point
<shiranaihito>guys? :) please consider mirroring GuixSD as a plain ISO file, instead of the xz compressed version. I'm trying to install it on a Vultr VPS but it can't deal with the compression, and publishing it somewhere so that Vultr can download it is a bit of a pain in the ass :p