summary refs log tree commit diff
AgeCommit message (Expand)Author
2017-10-22gnu: Update coq-coquelicot to 3.0.1.Julien Lepiller
2017-10-22gnu: Update coq-mathcomp to 1.6.2.Julien Lepiller
2017-10-22gnu: Update coq-flocq to 2.6.0.Julien Lepiller
2017-10-22gnu: Update coq to 8.7.0.Julien Lepiller
2017-10-22gnu: camlp5: install META file.Julien Lepiller
2017-10-22gnu: lame: Update to 3.100.Marius Bakke
2017-10-21gnu: python-pyqt: Update to 5.9.Marius Bakke
2017-10-21gnu: python-sip: Update to 4.19.3.Marius Bakke
2017-10-21gnu: rest: Update to 0.8.1.Tobias Geerinckx-Rice
2017-10-21gnu: gnome-disk-utility: Update to 3.26.1.Tobias Geerinckx-Rice
2017-10-21gnu: perl-geo-ip: Update to 1.51.Tobias Geerinckx-Rice
2017-10-21Use HTTPS for bioconductor.org.Tobias Geerinckx-Rice
2017-10-21gnu: schismtracker: Update to 20170910.Kei Kebreau
2017-10-20gnu: Fix the hashes of mutated GitHub archives.Maxim Cournoyer
2017-10-20gnu: libvirt: Fix CVE-2017-1000256.Leo Famulari
2017-10-20gnu: mysql: Update to 5.7.20.Leo Famulari
2017-10-20gnu: webkitgtk: Update to 2.18.1.Leo Famulari
2017-10-20gnu: youtube-dl: Update to 2017.10.20.Tobias Geerinckx-Rice
2017-10-20gnu: dovecot: Update to 2.2.33.2.Tobias Geerinckx-Rice
2017-10-20gnu: ola: Build with protobuf@2.Tobias Geerinckx-Rice
2017-10-20gnu: font-hack: Update to 3.000.Tobias Geerinckx-Rice
2017-10-20gnu: Add aegisub.Julien Lepiller
2017-10-20gnu: Add ffms2.Julien Lepiller
2017-10-20gnu: speexdsp: Fix building on aarch64-linux.Efraim Flashner
2017-10-20gnu: Add emacs-json-snatcher.Oleg Pykhalov
2017-10-20gnu: shellcheck: Update to 0.4.6.ng0
2017-10-20gnu: dos2unix: Update to 7.4.0.Tobias Geerinckx-Rice
2017-10-20gnu: cowsay: Swap ‘build’ and ‘install’ phases.Tobias Geerinckx-Rice
2017-10-20gnu: cowsay: Update to 3.04.Tobias Geerinckx-Rice
2017-10-20gnu: colordiff: Use HTTPS home page.Tobias Geerinckx-Rice
2017-10-20gnu: unbound: Update to 1.6.7.Tobias Geerinckx-Rice
2017-10-20gnu: neofetch: Update to 3.3.0.Tobias Geerinckx-Rice
2017-10-20gnu: qtox: Update to 1.12.1.Tobias Geerinckx-Rice
2017-10-20gnu: speedtest-cli: Update to 1.0.7.Tobias Geerinckx-Rice
2017-10-20gnu: cppcheck: Update to 1.81.Tobias Geerinckx-Rice
2017-10-19gnu: python-sge-pygame: Update source URL.Kei Kebreau
2017-10-19gnu: musl: Update to 1.1.17.Leo Famulari
2017-10-19download: Download a nar when a VCS checkout fails.Ludovic Courtès
2017-10-19Add (guix progress).Ludovic Courtès
2017-10-19download: Make 'http-fetch' public.Ludovic Courtès
2017-10-19download: Remove old-Guile leftovers.Ludovic Courtès
2017-10-19vm: Always use GRUB/i386.Ludovic Courtès
2017-10-19gnu: linux-libre: Update to 4.13.8.Mark H Weaver
2017-10-19gnu: linux-libre@4.9: Update to 4.9.57.Mark H Weaver
2017-10-19gnu: linux-libre@4.4: Update to 4.4.93.Mark H Weaver
2017-10-19gnu: linux-libre@4.1: Update to 4.1.45.Mark H Weaver
2017-10-19gnu: yadifa: Update to 2.2.6.Marius Bakke
2017-10-19gnu: Add zathura-pdf-mupdf.Marius Bakke
2017-10-19gnu: qemu: Build with libjpeg-turbo.Marius Bakke
2017-10-19gnu: emacs: Fix Man default C header file search path.Oleg Pykhalov