aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* gnu: Update coq-interval to 3.3.0.Julien Lepiller2017-10-22
* gnu: Add coq-bignums.Julien Lepiller2017-10-22
* gnu: Update coq-coquelicot to 3.0.1.Julien Lepiller2017-10-22
* gnu: Update coq-mathcomp to 1.6.2.Julien Lepiller2017-10-22
* gnu: Update coq-flocq to 2.6.0.Julien Lepiller2017-10-22
* gnu: Update coq to 8.7.0.Julien Lepiller2017-10-22
* gnu: camlp5: install META file.Julien Lepiller2017-10-22
* gnu: lame: Update to 3.100.Marius Bakke2017-10-22
* gnu: python-pyqt: Update to 5.9.Marius Bakke2017-10-21
* gnu: python-sip: Update to 4.19.3.Marius Bakke2017-10-21
* gnu: rest: Update to 0.8.1.Tobias Geerinckx-Rice2017-10-21
* gnu: gnome-disk-utility: Update to 3.26.1.Tobias Geerinckx-Rice2017-10-21
* gnu: perl-geo-ip: Update to 1.51.Tobias Geerinckx-Rice2017-10-21
* Use HTTPS for bioconductor.org.Tobias Geerinckx-Rice2017-10-21
* gnu: schismtracker: Update to 20170910.Kei Kebreau2017-10-21
* gnu: Fix the hashes of mutated GitHub archives.Maxim Cournoyer2017-10-20
* gnu: libvirt: Fix CVE-2017-1000256.Leo Famulari2017-10-20
* gnu: mysql: Update to 5.7.20.Leo Famulari2017-10-20
* gnu: webkitgtk: Update to 2.18.1.Leo Famulari2017-10-20
* gnu: youtube-dl: Update to 2017.10.20.Tobias Geerinckx-Rice2017-10-20
* gnu: dovecot: Update to 2.2.33.2.Tobias Geerinckx-Rice2017-10-20
* gnu: ola: Build with protobuf@2.Tobias Geerinckx-Rice2017-10-20
* gnu: font-hack: Update to 3.000.Tobias Geerinckx-Rice2017-10-20
* gnu: Add aegisub.Julien Lepiller2017-10-20
* gnu: Add ffms2.Julien Lepiller2017-10-20
* gnu: speexdsp: Fix building on aarch64-linux.Efraim Flashner2017-10-20
* gnu: Add emacs-json-snatcher.Oleg Pykhalov2017-10-20
* gnu: shellcheck: Update to 0.4.6.ng02017-10-20
* gnu: dos2unix: Update to 7.4.0.Tobias Geerinckx-Rice2017-10-20
* gnu: cowsay: Swap ‘build’ and ‘install’ phases.Tobias Geerinckx-Rice2017-10-20
* gnu: cowsay: Update to 3.04.Tobias Geerinckx-Rice2017-10-20
* gnu: colordiff: Use HTTPS home page.Tobias Geerinckx-Rice2017-10-20
* gnu: unbound: Update to 1.6.7.Tobias Geerinckx-Rice2017-10-20
* gnu: neofetch: Update to 3.3.0.Tobias Geerinckx-Rice2017-10-20
* gnu: qtox: Update to 1.12.1.Tobias Geerinckx-Rice2017-10-20
* gnu: speedtest-cli: Update to 1.0.7.Tobias Geerinckx-Rice2017-10-20
* gnu: cppcheck: Update to 1.81.Tobias Geerinckx-Rice2017-10-20
* gnu: python-sge-pygame: Update source URL.Kei Kebreau2017-10-19
* gnu: musl: Update to 1.1.17.Leo Famulari2017-10-19
* download: Download a nar when a VCS checkout fails.Ludovic Courtès2017-10-19
* Add (guix progress).Ludovic Courtès2017-10-19
* download: Make 'http-fetch' public.Ludovic Courtès2017-10-19
* download: Remove old-Guile leftovers.Ludovic Courtès2017-10-19
* vm: Always use GRUB/i386.Ludovic Courtès2017-10-19
* gnu: linux-libre: Update to 4.13.8.Mark H Weaver2017-10-19
* gnu: linux-libre@4.9: Update to 4.9.57.Mark H Weaver2017-10-19
* gnu: linux-libre@4.4: Update to 4.4.93.Mark H Weaver2017-10-19
* gnu: linux-libre@4.1: Update to 4.1.45.Mark H Weaver2017-10-19
* gnu: yadifa: Update to 2.2.6.Marius Bakke2017-10-19
* gnu: Add zathura-pdf-mupdf.Marius Bakke2017-10-19