summaryrefslogtreecommitdiff
path: root/gnu
AgeCommit message (Expand)Author
2017-07-29gnu: Add coq-coquelicot.Julien Lepiller
2017-07-29gnu: Add coq-mathcomp.Julien Lepiller
2017-07-29gnu: Add coq-gappa.Julien Lepiller
2017-07-29gnu: Add coq-flocq.Julien Lepiller
2017-07-29gnu: gnupg: Update to 2.1.22.Marius Bakke
2017-07-29gnu: metabat: Update to 2.11.2.Ben Woodcroft
2017-07-29gnu: mes: Update to 0.9.Jan Nieuwenhuizen
2017-07-29gnu: gptfdisk: Update to 1.0.3.Tobias Geerinckx-Rice
2017-07-29gnu: services: admin: Add tailon.Christopher Baines
2017-07-29gnu: arandr: Remove make-xrandr-available phase.Arun Isaac
2017-07-29gnu: Add emacs-rpm-spec-mode.Oleg Pykhalov
2017-07-29gnu: mescc-tools: Update to 0.2.Jan Nieuwenhuizen
2017-07-28gnu: linux-libre: Update to 4.12.4.Mark H Weaver
2017-07-28gnu: linux-libre@4.9: Update to 4.9.40.Mark H Weaver
2017-07-28gnu: linux-libre@4.4: Update to 4.4.79.Mark H Weaver
2017-07-29gnu: sssd: Update to 1.15.3.Tobias Geerinckx-Rice
2017-07-29gnu: bind: Update to 9.11.2.Tobias Geerinckx-Rice
2017-07-28gnu: emacs-auctex: Update to 11.91.0.Oleg Pykhalov
2017-07-28gnu: Add tome4.Oleg Pykhalov
2017-07-28bootloader: Use <menu-entry> for the bootloader side.Danny Milosavljevic
2017-07-28gnu: guix: Add dependency on Guile-Git.Ludovic Courtès
2017-07-28gnu: guile-git: Update snapshot.Ludovic Courtès
2017-07-28gnu: le-certs: Create OpenSSL hash symlinks.Ludovic Courtès
2017-07-28gnu: btrfs-progs: Update to 4.12.Tobias Geerinckx-Rice
2017-07-28gnu: redis: Update to 4.0.1.Ben Woodcroft
2017-07-28gnu: ruby-json-pure: Update to 2.1.0.Ben Woodcroft
2017-07-28gnu: bundler: Update to 1.15.3.Ben Woodcroft
2017-07-28gnu: ruby-ffi: Update to 1.9.18.Ben Woodcroft
2017-07-28gnu: redis: Update to 4.0.0.Ben Woodcroft
2017-07-28gnu: ruby-nokogiri: Update to 1.8.0.Ben Woodcroft
2017-07-28gnu: ruby-mini-portile2: Update to 2.2.0.Ben Woodcroft
2017-07-28gnu: nautilus: Update to 3.24.2.1.Tobias Geerinckx-Rice
2017-07-28gnu: gptfdisk: Update description.Tobias Geerinckx-Rice
2017-07-28gnu: goffice: Update to 3.24.2.1.Tobias Geerinckx-Rice
2017-07-28gnu: shotwell: Update to 0.26.2.Tobias Geerinckx-Rice
2017-07-28gnu: whois: Update to 5.2.17.Marius Bakke
2017-07-28gnu: nss, nss-certs: Update to 3.32.Marius Bakke
2017-07-27gnu: nspr: Update to 4.16.Marius Bakke
2017-07-27gnu: python-cryptography: Update to 2.0.2.Marius Bakke
2017-07-27gnu: subversion: Update to 1.8.18.Leo Famulari
2017-07-27gnu: net-tools: Update to 1.60-0.479bb4a7.Leo Famulari
2017-07-27services: guix-publish: Run in a UTF-8 locale.Ludovic Courtès
2017-07-27system: Add 'grep --color' alias in '.bash_profile' skeleton.Ludovic Courtès
2017-07-27gnu: gzochi: Update to 0.11.1.Julian Graham
2017-07-27gnu: openmpi: Add "static" output.Ludovic Courtès
2017-07-27gnu: r-preprocesscore: Update to 1.38.1.Ricardo Wurmus
2017-07-27gnu: Add cowsay.Ricardo Wurmus
2017-07-27gnu: nnn: Update to 1.3.Tobias Geerinckx-Rice
2017-07-26gnu: openmpi: Enable SGE support.Dave Love
2017-07-26gnu: mg: Add new phase to find 'diff'.ng0