summary refs log tree commit diff
AgeCommit message (Expand)Author
2018-11-18system: Please Emacs.Ludovic Courtès
2018-11-18system: De-monadify 'operating-system-boot-parameters'.Ludovic Courtès
2018-11-18linux-initrd: Return file-like objects instead of monadic values.Ludovic Courtès
2018-11-18system: Simplify kernel argument handling.Ludovic Courtès
2018-11-18bootloader: De-monadify configuration file generators.Ludovic Courtès
2018-11-18activation: Aways pass '-d HOME' to 'useradd'.Ludovic Courtès
2018-11-18gnu: ocaml: Update to 4.7.0.Julien Lepiller
2018-11-18build-system/ocaml: Use invoke and return #t.Julien Lepiller
2018-11-18gnu: maxima: Fix tests on i686 and x86_64.Kei Kebreau
2018-11-18gnu: ccl: Include x86-headers and remove missing "contrib" folder.Pierre Neidhardt
2018-11-17gnu: mesa: Stay on RTTI-less LLVM.Marius Bakke
2018-11-17gnu: Add ClamAV.Eric Bavier
2018-11-17gnu: Add TomsFastMath.Eric Bavier
2018-11-17llvm: Build with RTTI by default.Eric Bavier
2018-11-17gnu: u-boot: Update to 2018.11.Vagrant Cascadian
2018-11-16doc: Mention that ./pre-inst-env is generated.Ludovic Courtès
2018-11-16gnu: Add git-when-merged.Kyle Meyer
2018-11-16gnu: Add caps-plugins-lv2.Thorsten Wilms
2018-11-16doc: Recommend pool.sks-keyservers.net.Ludovic Courtès
2018-11-16gnu: tiled: Update to 1.2.1.David Thompson
2018-11-16progress: Do not display the last 0B transfer when size is unknown.Clément Lassieur
2018-11-16progress: Fix crash because of division by zero.Clément Lassieur
2018-11-16guile: newt: Update revision to 2.Mathieu Othacehe
2018-11-16gnu: Add cmh.Andreas Enge
2018-11-16gnu: gp2c: Update to 0.0.11pl1.Andreas Enge
2018-11-15gnu: emacs-realgud: Patch configure.ac to repair the build.Maxim Cournoyer
2018-11-15gnu: Add nanopolish.pimi
2018-11-15doc: Fix typo in connman config.Giovanni Biscuolo
2018-11-15gnu: sambamba: Update to 0.6.8.Roel Janssen
2018-11-14gnu: linux-libre: Update to 4.19.2.Mark H Weaver
2018-11-14gnu: linux-libre@4.14: Update to 4.14.81.Mark H Weaver
2018-11-14gnu: linux-libre@4.9: Update to 4.9.137.Mark H Weaver
2018-11-14gnu: Add fenics.Paul Garlick
2018-11-14gnu: Add fenics-dolfin.Paul Garlick
2018-11-14gnu: Add python-fenics-ffc.Paul Garlick
2018-11-14gnu: Add python-fenics-fiat.Paul Garlick
2018-11-14gnu: Add python-fenics-ufl.Paul Garlick
2018-11-14gnu: Add python-fenics-dijitso.Paul Garlick
2018-11-14gnu: Add python-slepc4py.Paul Garlick
2018-11-14gnu: Add python-petsc4py.Paul Garlick
2018-11-14gnu: Add python-mpi4py.Paul Garlick
2018-11-14daemon: Install 'authenticate' script under LIBEXECDIR/guix.Ludovic Courtès
2018-11-14gnu: guix-daemon: Install 'guix-authenticate'.Ludovic Courtès
2018-11-14download: Access content-addressed mirrors over HTTPS.Ludovic Courtès
2018-11-14download: Add Software Heritage as a content-addressed mirror.Ludovic Courtès
2018-11-14gnu: xf86-video-r128: Update to 6.12.0.Marius Bakke
2018-11-14gnu: mtools: Update to 4.0.20.Marius Bakke
2018-11-14gnu: nano: Update to 3.2.Marius Bakke
2018-11-14gnu: sudo: Update to 1.8.26.Marius Bakke
2018-11-14gnu: feh: Update to 3.0.Marius Bakke