aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2017-10-22gnu: Add coq-bignums....Julien Lepiller
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