summary refs log tree commit diff
AgeCommit message (Expand)Author
2017-04-16gnu: diffoscope: Update to 81.Kei Kebreau
2017-04-16lint: Avoid non-literal format strings.Ludovic Courtès
2017-04-16gnu: Add emacs-calfw.Vasile Dumitrascu
2017-04-16gnu: guile-xosd, guile-daemon: Switch to Guile 2.2.Alex Kost
2017-04-16gnu: guile-daemon: Update to 0.1.2.Alex Kost
2017-04-15gnu: Add graphene.Roel Janssen
2017-04-16gnu: bullet: Update to 2.86.1.Tobias Geerinckx-Rice
2017-04-16gnu: game-development: Use HTTPS where possible.Tobias Geerinckx-Rice
2017-04-16gnu: thefuck: Update to 3.16.Tobias Geerinckx-Rice
2017-04-16gnu: offlineimap: Update to 7.1.0.Tobias Geerinckx-Rice
2017-04-16gnu: youtube-dl: Update to 2017.04.16.Tobias Geerinckx-Rice
2017-04-15gnu: vim: Update to 8.0.0566.ng0
2017-04-16tests: dicod: Bail out if we cannot connect within 20 seconds.Ludovic Courtès
2017-04-16services: Add a default value to various service types.Ludovic Courtès
2017-04-16services: Service types can now specify a default value for instances.Ludovic Courtès
2017-04-16ui: Gracefully report '&message' conditions.Ludovic Courtès
2017-04-16services: 'service-parameters' becomes 'service-value'.Ludovic Courtès
2017-04-16gnu: racket: Update to 6.8.Arun Isaac
2017-04-15system: Make grub use <menu-entry> instead of <boot-parameters> again.Danny Milosavljevic
2017-04-15gnu: giac-xcas: Update to 1.2.3-37.Nicolas Goaziou
2017-04-15gnu: asymptote: Update to 2.41Nicolas Goaziou
2017-04-15gnu: idris: Fix idris-default-arguments.Peter Mikkelsen
2017-04-15gnu: idris: Update to 1.0.Peter Mikkelsen
2017-04-15gnu: speedtest-cli: Update to 1.0.3.Mathieu Othacehe
2017-04-15scripts: system: Introduce profile-boot-parameters.Danny Milosavljevic
2017-04-15gnu: ceph: Disable failing test.Marius Bakke
2017-04-15gnu: rocksdb: Don't build static library.Marius Bakke
2017-04-15gnu: rocksdb: Disable failing test.Marius Bakke
2017-04-15gnu: bc: Update to 1.07.1.Marius Bakke
2017-04-15gnu: mupdf: Update to 1.11.Marius Bakke
2017-04-15gnu: xf86-video-intel: Update to 2.99.917-5-b57abe2.Marius Bakke
2017-04-15gnu: kodi: Update to 18.0_alpha-2-478d306.Marius Bakke
2017-04-15system: Pass boot-parameters to (gnu system grub).Mathieu Othacehe
2017-04-15system: grub: Use (first all-entries) instead of (first entries).Danny Milosavljevic
2017-04-15tests: Remove unused import (gnu system grub).Danny Milosavljevic
2017-04-15scripts: system: Rename grub? and install-grub? to bootloader? and install-b...Mathieu Othacehe
2017-04-15system: Rename (internal) grub-device to fs->boot-device.Mathieu Othacehe
2017-04-15vm: Reword grub.cfg to bootcfg.Mathieu Othacehe
2017-04-15system: Rename operating-system-grub.cfg to operating-system-bootcfg.Mathieu Othacehe
2017-04-15scripts: system: Back out operating-system-bootcfg change.Danny Milosavljevic
2017-04-15gnu: wireshark: Update to 2.2.6.Nicolas Goaziou
2017-04-15scripts: system: Move save-load-path-excursion and save-environment-excursion...Danny Milosavljevic
2017-04-15system: Rename kernel->grub-label to kernel->boot-label.Mathieu Othacehe
2017-04-15scripts: system: Move save-load-path-excursion and save-environment-excursion...Mathieu Othacehe
2017-04-15gnu: Add orca.宋文武
2017-04-15gnu: Add python-pyatspi.宋文武
2017-04-15gnu: speech-dispatcher: Add more inputs.宋文武
2017-04-14gnu: samba: Update to 4.5.8.Leo Famulari
2017-04-14gnu: mutt: Update to 1.8.1.Leo Famulari
2017-04-14gnu: gpgme: Update to 1.9.0.Leo Famulari