aboutsummaryrefslogtreecommitdiff
path: root/gnu
Commit message (Expand)AuthorAge
...
* 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
* 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
* gnu: python-cryptography: Update to 2.0.2.Marius Bakke2017-07-27
* gnu: subversion: Update to 1.8.18.Leo Famulari2017-07-27
* gnu: net-tools: Update to 1.60-0.479bb4a7.Leo Famulari2017-07-27
* services: guix-publish: Run in a UTF-8 locale.Ludovic Courtès2017-07-27
* system: Add 'grep --color' alias in '.bash_profile' skeleton.Ludovic Courtès2017-07-27
* gnu: gzochi: Update to 0.11.1.Julian Graham2017-07-27
* gnu: openmpi: Add "static" output.Ludovic Courtès2017-07-27
* gnu: r-preprocesscore: Update to 1.38.1.Ricardo Wurmus2017-07-27
* gnu: Add cowsay.Ricardo Wurmus2017-07-27
* gnu: nnn: Update to 1.3.Tobias Geerinckx-Rice2017-07-27
* gnu: openmpi: Enable SGE support.Dave Love2017-07-26