[rwurmus@max-login6.mdc-berlin.net:~] $ time guix pull --commit=30289f4d4638452520f52c1a36240220d0d940ff Updating channel 'guix' from Git repository at 'https://git.savannah.gnu.org/git/guix.git'... Building from this channel: guix https://git.savannah.gnu.org/git/guix.git 30289f4 Computing Guix derivation for 'x86_64-linux'... | substitute: updating substitutes from 'https://ci.guix.gnu.org'... 100.0% substitute: updating substitutes from 'https://substitutes.guix.psychnotebook.org'... 100.0% The following derivations will be built: /gnu/store/n3vrsq2sq3kvim4axw0nscgq95qn4rm2-profile.drv /gnu/store/qqrz5qgzhyrmps1lzc8awajh588jzk5v-guix-30289f4d4.drv /gnu/store/b8rk8n1yw1mv09975gs25fzjxjkzm40s-guix-command.drv /gnu/store/bnxbpb1w4wgxrnhsrbw8s35zm7hjs5rz-guix-module-union.drv /gnu/store/zxf014m9bbmgfr0hma4hzw7ir4jkcj6x-guix-30289f4d4-modules.drv /gnu/store/604swbfda25f7k7zd4nblbmcazbvxbl7-guix-system-tests-modules.drv /gnu/store/a4q1bj4a4zb0c18vzwhsc3lkgpyryh7x-guix-system-tests.drv /gnu/store/q8864sibq2iy882bv833mww8yp6k7y1x-guix-system.drv /gnu/store/w8yfrsfw2lwimzrjy3x5p83kycdpmmlw-guix-cli.drv /gnu/store/6laglrpa89br3i32is9k777msigkrf9d-guix-system-modules.drv /gnu/store/nyfl8vahcp0rpskfz8h60gp66rv74qgw-guix-cli-modules.drv /gnu/store/h4acmzw5w60c67ma9c0wnvi8gglsfjrf-guix-daemon.drv /gnu/store/1z6bik26d3xxqpfgqg2x7mblryq132gr-inferior-script.scm.drv /gnu/store/nj3pw5xyr6w7jjyaf4swmh697zp361hh-profile.drv building /gnu/store/q8864sibq2iy882bv833mww8yp6k7y1x-guix-system.drv... building /gnu/store/w8yfrsfw2lwimzrjy3x5p83kycdpmmlw-guix-cli.drv... building /gnu/store/6laglrpa89br3i32is9k777msigkrf9d-guix-system-modules.drv... building /gnu/store/nyfl8vahcp0rpskfz8h60gp66rv74qgw-guix-cli-modules.drv... building /gnu/store/a4q1bj4a4zb0c18vzwhsc3lkgpyryh7x-guix-system-tests.drv... building /gnu/store/604swbfda25f7k7zd4nblbmcazbvxbl7-guix-system-tests-modules.drv... building /gnu/store/zxf014m9bbmgfr0hma4hzw7ir4jkcj6x-guix-30289f4d4-modules.drv... building /gnu/store/bnxbpb1w4wgxrnhsrbw8s35zm7hjs5rz-guix-module-union.drv... building /gnu/store/b8rk8n1yw1mv09975gs25fzjxjkzm40s-guix-command.drv... building /gnu/store/h4acmzw5w60c67ma9c0wnvi8gglsfjrf-guix-daemon.drv... building /gnu/store/qqrz5qgzhyrmps1lzc8awajh588jzk5v-guix-30289f4d4.drv... building CA certificate bundle... listing Emacs sub-directories... building fonts directory... building directory of Info manuals... building database for manual pages... building profile with 1 package... building /gnu/store/1z6bik26d3xxqpfgqg2x7mblryq132gr-inferior-script.scm.drv... building package cache... building profile with 1 package... hint: Consider setting the necessary environment variables by running: GUIX_PROFILE="/home/rwurmus/.config/guix/current" . "$GUIX_PROFILE/etc/profile" Alternately, see `guix package --search-paths -p "/home/rwurmus/.config/guix/current"'. New in this revision: 99 new packages: bitwise, c-vise, coq-ide, coq-ide-server, cpuinfo, createrepo-c, drpm, eigen-for-tensorflow-lite, emacs-autocrypt, emacs-geiser-chez, emacs-nasm-mode, emacs-org-cv, � 375 packages upgraded: apache-arrow@5.0.0, audacious@4.1, calibre@5.21.0, certbot@1.17.0, cl-alexandria@1.4, cmake@3.21.1, coq-bignums@8.13.0, coq-equations@1.2.4, coq-gappa@1.4.6, coq-interval@4.3.0, coq-mathcomp@1.12.0, coq-stdpp@1.5.0, � hint: Run `guix pull --news' to read all the news. hint: After setting `PATH', run `hash guix' to make sure your shell refers to `/home/rwurmus/.config/guix/current/bin/guix'. real 6m9.741s user 1m51.880s sys 0m3.824s