aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* gnu: yosys: Add dependency on z3.Theodoros Foradis2017-07-29
* gnu: Add z3.Theodoros Foradis2017-07-29
* gnu: erlang: Fix man-pages search path of 'erl -man'.Peter Mikkelsen2017-07-29
* gnu: tome4: Clean up snippet.Oleg Pykhalov2017-07-29
* gnu: vim: Update to 8.0.0808.Marius Bakke2017-07-29
* gnu: emacs: Check GUIX_ENVIRONMENT when autoloading packages.Kyle Meyer2017-07-29
* gnu: Remove emacs-seq.Kyle Meyer2017-07-29
* gnu: Remove let-alist.Kyle Meyer2017-07-29
* gnu: emacs-ess: Install elisp files in "guix.d".Alex Kost2017-07-29
* gnu: grub-efi: Add mtools input.Danny Milosavljevic2017-07-29
* gnu: Add coq-interval.Julien Lepiller2017-07-29
* gnu: Add coq-coquelicot.Julien Lepiller2017-07-29
* gnu: Add coq-mathcomp.Julien Lepiller2017-07-29
* gnu: Add coq-gappa.Julien Lepiller2017-07-29
* gnu: Add coq-flocq.Julien Lepiller2017-07-29
* gnu: gnupg: Update to 2.1.22.Marius Bakke2017-07-29
* gnu: metabat: Update to 2.11.2.Ben Woodcroft2017-07-29
* gnu: mes: Update to 0.9.Jan Nieuwenhuizen2017-07-29
* gnu: gptfdisk: Update to 1.0.3.Tobias Geerinckx-Rice2017-07-29
* gnu: services: admin: Add tailon.Christopher Baines2017-07-29
* gnu: arandr: Remove make-xrandr-available phase.Arun Isaac2017-07-29
* gnu: Add emacs-rpm-spec-mode.Oleg Pykhalov2017-07-29
* gnu: mescc-tools: Update to 0.2.Jan Nieuwenhuizen2017-07-29
* gnu: linux-libre: Update to 4.12.4.Mark H Weaver2017-07-28
* gnu: linux-libre@4.9: Update to 4.9.40.Mark H Weaver2017-07-28
* gnu: linux-libre@4.4: Update to 4.4.79.Mark H Weaver2017-07-28
* gnu: sssd: Update to 1.15.3.Tobias Geerinckx-Rice2017-07-29
* gnu: bind: Update to 9.11.2.Tobias Geerinckx-Rice2017-07-29
* gnu: emacs-auctex: Update to 11.91.0.Oleg Pykhalov2017-07-28
* gnu: Add tome4.Oleg Pykhalov2017-07-28
* bootloader: Use <menu-entry> for the bootloader side.Danny Milosavljevic2017-07-28
* gnu: guix: Add dependency on Guile-Git.Ludovic Courtès2017-07-28
* gnu: guile-git: Update snapshot.Ludovic Courtès2017-07-28
* utils: Factorize XDG directory handling.Ludovic Courtès2017-07-28
* gnu: le-certs: Create OpenSSL hash symlinks.Ludovic Courtès2017-07-28
* gnu: btrfs-progs: Update to 4.12.Tobias Geerinckx-Rice2017-07-28
* gnu: redis: Update to 4.0.1.Ben Woodcroft2017-07-28
* gnu: ruby-json-pure: Update to 2.1.0.Ben Woodcroft2017-07-28
* gnu: bundler: Update to 1.15.3.Ben Woodcroft2017-07-28
* gnu: ruby-ffi: Update to 1.9.18.Ben Woodcroft2017-07-28
* gnu: redis: Update to 4.0.0.Ben Woodcroft2017-07-28
* gnu: ruby-nokogiri: Update to 1.8.0.Ben Woodcroft2017-07-28
* gnu: ruby-mini-portile2: Update to 2.2.0.Ben Woodcroft2017-07-28
* gnu: nautilus: Update to 3.24.2.1.Tobias Geerinckx-Rice2017-07-28
* gnu: gptfdisk: Update description.Tobias Geerinckx-Rice2017-07-28
* gnu: goffice: Update to 3.24.2.1.Tobias Geerinckx-Rice2017-07-28
* gnu: shotwell: Update to 0.26.2.Tobias Geerinckx-Rice2017-07-28
* gnu: whois: Update to 5.2.17.Marius Bakke2017-07-28
* gnu: nss, nss-certs: Update to 3.32.Marius Bakke2017-07-28
* gnu: nspr: Update to 4.16.Marius Bakke2017-07-27