aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages
AgeCommit message (Expand)Author
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: 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-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-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
2017-07-26gnu: mg: Fetch source via HTTPS....ng0
2017-07-26gnu: mg: Update to 20170401....ng0
2017-07-26gnu: Add python-flask-principal....Danny Milosavljevic
2017-07-26gnu: Add lziprecover....Tobias Geerinckx-Rice
2017-07-26gnu: net-tools: Add a test-only variant and use it for GnuTLS....Leo Famulari
generated by cgit