| Commit message (Expand) | Author | Age |
* | gnu: retroarch: Update to 1.6.3. | 宋文武 | 2017-07-30 |
* | gnu: yosys: Add dependency on z3. | Theodoros Foradis | 2017-07-29 |
* | gnu: Add z3. | Theodoros Foradis | 2017-07-29 |
* | gnu: erlang: Fix man-pages search path of 'erl -man'. | Peter Mikkelsen | 2017-07-29 |
* | gnu: tome4: Clean up snippet. | Oleg Pykhalov | 2017-07-29 |
* | gnu: vim: Update to 8.0.0808. | Marius Bakke | 2017-07-29 |
* | gnu: emacs: Check GUIX_ENVIRONMENT when autoloading packages. | Kyle Meyer | 2017-07-29 |
* | gnu: Remove emacs-seq. | Kyle Meyer | 2017-07-29 |
* | gnu: Remove let-alist. | Kyle Meyer | 2017-07-29 |
* | gnu: emacs-ess: Install elisp files in "guix.d". | Alex Kost | 2017-07-29 |
* | gnu: grub-efi: Add mtools input. | Danny Milosavljevic | 2017-07-29 |
* | gnu: Add coq-interval. | Julien Lepiller | 2017-07-29 |
* | gnu: Add coq-coquelicot. | Julien Lepiller | 2017-07-29 |
* | gnu: Add coq-mathcomp. | Julien Lepiller | 2017-07-29 |
* | gnu: Add coq-gappa. | Julien Lepiller | 2017-07-29 |
* | gnu: Add coq-flocq. | Julien Lepiller | 2017-07-29 |
* | gnu: gnupg: Update to 2.1.22. | Marius Bakke | 2017-07-29 |
* | gnu: metabat: Update to 2.11.2. | Ben Woodcroft | 2017-07-29 |
* | gnu: mes: Update to 0.9. | Jan Nieuwenhuizen | 2017-07-29 |
* | gnu: gptfdisk: Update to 1.0.3. | Tobias Geerinckx-Rice | 2017-07-29 |
* | gnu: services: admin: Add tailon. | Christopher Baines | 2017-07-29 |
* | gnu: arandr: Remove make-xrandr-available phase. | Arun Isaac | 2017-07-29 |
* | gnu: Add emacs-rpm-spec-mode. | Oleg Pykhalov | 2017-07-29 |
* | gnu: mescc-tools: Update to 0.2. | Jan Nieuwenhuizen | 2017-07-29 |
* | gnu: linux-libre: Update to 4.12.4. | Mark H Weaver | 2017-07-28 |
* | gnu: linux-libre@4.9: Update to 4.9.40. | Mark H Weaver | 2017-07-28 |
* | gnu: linux-libre@4.4: Update to 4.4.79. | Mark H Weaver | 2017-07-28 |
* | gnu: sssd: Update to 1.15.3. | Tobias Geerinckx-Rice | 2017-07-29 |
* | gnu: bind: Update to 9.11.2. | Tobias Geerinckx-Rice | 2017-07-29 |
* | gnu: emacs-auctex: Update to 11.91.0. | Oleg Pykhalov | 2017-07-28 |
* | gnu: Add tome4. | Oleg Pykhalov | 2017-07-28 |
* | bootloader: Use <menu-entry> for the bootloader side. | Danny Milosavljevic | 2017-07-28 |
* | gnu: guix: Add dependency on Guile-Git. | Ludovic Courtès | 2017-07-28 |
* | gnu: guile-git: Update snapshot. | Ludovic Courtès | 2017-07-28 |
* | utils: Factorize XDG directory handling. | Ludovic Courtès | 2017-07-28 |
* | gnu: le-certs: Create OpenSSL hash symlinks. | Ludovic Courtès | 2017-07-28 |
* | gnu: btrfs-progs: Update to 4.12. | Tobias Geerinckx-Rice | 2017-07-28 |
* | gnu: redis: Update to 4.0.1. | Ben Woodcroft | 2017-07-28 |
* | gnu: ruby-json-pure: Update to 2.1.0. | Ben Woodcroft | 2017-07-28 |
* | gnu: bundler: Update to 1.15.3. | Ben Woodcroft | 2017-07-28 |
* | gnu: ruby-ffi: Update to 1.9.18. | Ben Woodcroft | 2017-07-28 |
* | gnu: redis: Update to 4.0.0. | Ben Woodcroft | 2017-07-28 |
* | gnu: ruby-nokogiri: Update to 1.8.0. | Ben Woodcroft | 2017-07-28 |
* | gnu: ruby-mini-portile2: Update to 2.2.0. | Ben Woodcroft | 2017-07-28 |
* | gnu: nautilus: Update to 3.24.2.1. | Tobias Geerinckx-Rice | 2017-07-28 |
* | gnu: gptfdisk: Update description. | Tobias Geerinckx-Rice | 2017-07-28 |
* | gnu: goffice: Update to 3.24.2.1. | Tobias Geerinckx-Rice | 2017-07-28 |
* | gnu: shotwell: Update to 0.26.2. | Tobias Geerinckx-Rice | 2017-07-28 |
* | gnu: whois: Update to 5.2.17. | Marius Bakke | 2017-07-28 |
* | gnu: nss, nss-certs: Update to 3.32. | Marius Bakke | 2017-07-28 |