guix-play/etc
Ludovic Courtès 1fc90e89f0
guix-install.sh: Use pool.sks-keyservers.net.
"pgp.mit.edu" has been unavailable for some time.

* etc/guix-install.sh (chk_require): Change key server to
pool.sks-keyservers.net.
2018-12-13 18:44:40 +01:00
..
completion bash completion: Restore completion of available packages for 'guix build'. 2018-11-06 00:04:11 +01:00
git
snippets etc: Use git-file-name if origin is git-fetch. 2018-10-10 17:33:42 +02:00
substitutes etc: Add "ci.guix.info.pub" public key file. 2018-12-04 10:57:56 +01:00
guix-daemon.cil.in
guix-daemon.conf.in build: Binary tarball now populates the "current-guix" profile. 2018-11-23 15:42:01 +01:00
guix-daemon.service.in build: Binary tarball now populates the "current-guix" profile. 2018-11-23 15:42:01 +01:00
guix-install.sh guix-install.sh: Use pool.sks-keyservers.net. 2018-12-13 18:44:40 +01:00
guix-publish.conf.in build: Binary tarball now populates the "current-guix" profile. 2018-11-23 15:42:01 +01:00
guix-publish.service.in build: Binary tarball now populates the "current-guix" profile. 2018-11-23 15:42:01 +01:00
indent-code.el.in