aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2019-08-07gnu: ghc-validation: Downgrade to 1....Robert Vollmert
2019-08-07gnu: ghc-concurrent-output: Downgrade to 1.10.9....Robert Vollmert
2019-08-07gnu: ghc-validation: Do not generate 'Setup.hs'....Robert Vollmert
2019-08-07gnu: Remove ghc-parsec, ghc-stm, ghc-text, ghc-xhtml....Robert Vollmert
2019-08-07import: hackage: Update list of ghc-included packages....Robert Vollmert
2019-08-07gnu: Add ghc-8.6....Robert Vollmert
2019-08-07gnu: ghc-8: Rename to 'ghc-8.4'....Robert Vollmert
2019-08-08gnu: wpa-supplicant: Update to 2.9....Marius Bakke
2019-08-08gnu: xf86-video-intel: Update to 2.99.917-14.6f4972d....Marius Bakke
2019-08-07machine: Add 'build-locally?' field for managed hosts....Jakob L. Kreuze
2019-08-07Merge remote-tracking branch 'origin/master' into wip-texliveRicardo Wurmus
2019-08-07deploy: Use all machine modules when loading deployment...Jakob L. Kreuze
2019-08-07reconfigure: Improve tests for system activation....Jakob L. Kreuze
2019-08-07gnu: igt-gpu-tools: Rework custom phases....Efraim Flashner
2019-08-07gnu: dosbox: Remove extra build phase....Efraim Flashner
2019-08-07gnu: zimg: Remove extra build phase....Efraim Flashner
2019-08-07gnu: leptonica: Remove extra build phase....Efraim Flashner
2019-08-07gnu: ghmm: Remove extra build phase....Efraim Flashner
2019-08-07gnu: ghmm: Update source file-name field....Efraim Flashner
2019-08-07gnu: dovecot-libsodium-plugin: Remove extra build phase....Efraim Flashner
2019-08-07gnu: dovecot-trees: Remove extra build phase....Efraim Flashner
2019-08-07gnu: libetpan: Rework custom phases....Efraim Flashner
2019-08-07gnu: libmediainfo: Remove extra build phase....Efraim Flashner
2019-08-07gnu: libsmpeg: Remove extra build phase....Efraim Flashner
2019-08-07gnu: vapoursynth: Remove extra build phase....Efraim Flashner
2019-08-07gnu: i3blocks: Remove extra build phase....Efraim Flashner
2019-08-07gnu: ocproxy: Remove extra build phase....Efraim Flashner
2019-08-07gnu: openconnect: Fix propagated-inputs....Efraim Flashner
2019-08-07gnu: gnome-maps: Fix runtime error....Ricardo Wurmus
2019-08-07gnu: r-dt: Update to 0.8....Ricardo Wurmus
2019-08-07gnu: r-epi: Update to 2.38....Ricardo Wurmus
2019-08-07gnu: r-ggpubr: Update to 0.2.2....Ricardo Wurmus
2019-08-07gnu: r-tinytex: Update to 0.15....Ricardo Wurmus
2019-08-07gnu: r-servr: Update to 0.15....Ricardo Wurmus
2019-08-07gnu: dolphin-emu: Update to commit 24718c1....Rutger Helling
2019-08-07gnu: linux-libre: Update to 5.2.7....Mark H Weaver
2019-08-07gnu: linux-libre@4.19: Update to 4.19.65....Mark H Weaver
2019-08-07gnu: linux-libre@4.14: Update to 4.14.137....Mark H Weaver
2019-08-07gnu: linux-libre@4.9: Update to 4.9.188....Mark H Weaver
2019-08-07gnu: linux-libre@4.4: Update to 4.4.188....Mark H Weaver
2019-08-06gnu: r-ggplotify: Update to 0.0.4....Ricardo Wurmus
2019-08-06gnu: r-bayestestr: Update to 0.2.5....Ricardo Wurmus
2019-08-06machine: Implement safety checks....Jakob L. Kreuze
2019-08-06reconfigure: Fix GC root installation....Jakob L. Kreuze
2019-08-06machine: Rename 'system' field....Jakob L. Kreuze
2019-08-06doc: Add note about signing keys....Jakob L. Kreuze
2019-08-06gnu: perl-hash-merge: Change inputs to propagated-inputs....Christopher Baines
2019-08-06gnu: ffmpeg: Update to 4.2....Rutger Helling
2019-08-06gnu: r-rsubread: Update to 1.34.6....Ricardo Wurmus
2019-08-06gnu: r-abaenrichment: Update to 1.14.1....Ricardo Wurmus