summaryrefslogtreecommitdiff
path: root/gnu
Commit message (Expand)AuthorAgeFilesLines
* system: Please Emacs....Ludovic Courtès2018-11-181-2/+2
* system: De-monadify 'operating-system-boot-parameters'....Ludovic Courtès2018-11-181-28/+27
* linux-initrd: Return file-like objects instead of monadic values....Ludovic Courtès2018-11-183-24/+21
* system: Simplify kernel argument handling....Ludovic Courtès2018-11-182-50/+48
* bootloader: De-monadify configuration file generators....Ludovic Courtès2018-11-184-69/+56
* activation: Aways pass '-d HOME' to 'useradd'....Ludovic Courtès2018-11-182-11/+17
* gnu: ocaml: Update to 4.7.0....Julien Lepiller2018-11-184-739/+1870
* gnu: maxima: Fix tests on i686 and x86_64....Kei Kebreau2018-11-181-0/+12
* gnu: ccl: Include x86-headers and remove missing "contrib" folder....Pierre Neidhardt2018-11-181-2/+6
* gnu: mesa: Stay on RTTI-less LLVM....Marius Bakke2018-11-172-1/+22
* gnu: Add ClamAV....Eric Bavier2018-11-174-1/+275
* gnu: Add TomsFastMath....Eric Bavier2018-11-173-0/+143
* llvm: Build with RTTI by default....Eric Bavier2018-11-172-14/+3
* gnu: u-boot: Update to 2018.11....Vagrant Cascadian2018-11-171-2/+4
* gnu: Add git-when-merged....Kyle Meyer2018-11-161-0/+52
* gnu: Add caps-plugins-lv2....Thorsten Wilms2018-11-161-0/+42
* gnu: tiled: Update to 1.2.1....David Thompson2018-11-161-2/+2
* guile: newt: Update revision to 2....Mathieu Othacehe2018-11-161-3/+3
* gnu: Add cmh....Andreas Enge2018-11-161-1/+31
* gnu: gp2c: Update to 0.0.11pl1....Andreas Enge2018-11-161-2/+2
* gnu: emacs-realgud: Patch configure.ac to repair the build....Maxim Cournoyer2018-11-153-1/+34
* gnu: Add nanopolish....pimi2018-11-151-0/+74
* gnu: sambamba: Update to 0.6.8....Roel Janssen2018-11-151-12/+13
* gnu: linux-libre: Update to 4.19.2....Mark H Weaver2018-11-141-2/+2
* gnu: linux-libre@4.14: Update to 4.14.81....Mark H Weaver2018-11-141-2/+2
* gnu: linux-libre@4.9: Update to 4.9.137....Mark H Weaver2018-11-141-2/+2
* gnu: Add fenics....Paul Garlick2018-11-141-0/+117
* gnu: Add fenics-dolfin....Paul Garlick2018-11-141-0/+191
* gnu: Add python-fenics-ffc....Paul Garlick2018-11-141-0/+52
* gnu: Add python-fenics-fiat....Paul Garlick2018-11-141-0/+42
* gnu: Add python-fenics-ufl....Paul Garlick2018-11-141-0/+37
* gnu: Add python-fenics-dijitso....Paul Garlick2018-11-141-1/+50
* gnu: Add python-slepc4py....Paul Garlick2018-11-141-0/+37
* gnu: Add python-petsc4py....Paul Garlick2018-11-141-0/+35
* gnu: Add python-mpi4py....Paul Garlick2018-11-141-0/+42
* gnu: guix-daemon: Install 'guix-authenticate'....Ludovic Courtès2018-11-141-1/+2
* gnu: xf86-video-r128: Update to 6.12.0....Marius Bakke2018-11-141-2/+2
* gnu: mtools: Update to 4.0.20....Marius Bakke2018-11-141-3/+3
* gnu: nano: Update to 3.2....Marius Bakke2018-11-141-2/+2
* gnu: sudo: Update to 1.8.26....Marius Bakke2018-11-141-2/+2
* gnu: feh: Update to 3.0....Marius Bakke2018-11-141-2/+2
* gnu: Add jamm....Ricardo Wurmus2018-11-141-0/+79
* gnu: Add r-ouch....Ricardo Wurmus2018-11-141-0/+20
* gnu: Add r-activity....Ricardo Wurmus2018-11-141-0/+26
* gnu: Add r-circular....Ricardo Wurmus2018-11-141-0/+25
* gnu: Add r-overlap....Ricardo Wurmus2018-11-141-0/+21
* gnu: Add r-acdm....Ricardo Wurmus2018-11-141-0/+28
* gnu: Add r-acd....Ricardo Wurmus2018-11-141-0/+20
* gnu: Add r-abn....Ricardo Wurmus2018-11-141-0/+37
* gnu: Add r-rjags....Ricardo Wurmus2018-11-141-0/+26