aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* gnu: Add dune-pdelab.Ricardo Wurmus2019-02-08
* gnu: Add dune-functions.Ricardo Wurmus2019-02-08
* gnu: Add dune-typetree.Ricardo Wurmus2019-02-08
* gnu: Add dune-alugrid.Ricardo Wurmus2019-02-08
* gnu: Add usbmuxd.Danny Milosavljevic2019-02-08
* gnu: Add ifuse.Danny Milosavljevic2019-02-08
* gnu: libimobiledevice: Propagate "libplist".Danny Milosavljevic2019-02-08
* gnu: guile-redis: Update to 1.3.0.Ricardo Wurmus2019-02-08
* gnu: Add dune-localfunctions.Ricardo Wurmus2019-02-08
* gnu: Add dune-istl.Ricardo Wurmus2019-02-08
* gnu: Add dune-grid.Ricardo Wurmus2019-02-08
* gnu: umoci: Update to 0.4.4.Tobias Geerinckx-Rice2019-02-08
* gnu: guile-squee: Fix the license.Christopher Baines2019-02-08
* git: Always use the system certificates by default.Ludovic Courtès2019-02-08
* guix build: '--with-branch' & co. fetch submodules.Ludovic Courtès2019-02-08
* git: Add a 'recursive?' field to <git-checkout> records.Ludovic Courtès2019-02-08
* git: Support recursive updates of submodules.Ludovic Courtès2019-02-08
* build: clean-go: Do not warn about *.go files in "test-tmp".Eric Bavier2019-02-07
* gnu: hdf5: Upgrade to 1.8.21.Eric Bavier2019-02-07
* gnu: hdf5: Remove use of deprecated MPI1 symbols.Eric Bavier2019-02-07
* gnu: superlu-dist: Remove use of deprecated MPI1 symbols.Eric Bavier2019-02-07
* gnu: emacs-fish-completion: Update to 1.0.Pierre Neidhardt2019-02-07
* gnu: Add gpx.Tim Stahel2019-02-07
* gnu: Add dune-geometry.Ricardo Wurmus2019-02-07
* gnu: Add dune-common.Ricardo Wurmus2019-02-07
* gnu: Add coq-autosubstDan Frumin2019-02-07
* gnu: linux-libre: Update to 4.20.7.Mark H Weaver2019-02-07
* gnu: linux-libre@4.19: Update to 4.19.20.Mark H Weaver2019-02-07
* gnu: linux-libre@4.14: Update to 4.14.98.Mark H Weaver2019-02-07
* gnu: linux-libre@4.9: Update to 4.9.155.Mark H Weaver2019-02-07
* gnu: linux-libre@4.4: Update to 4.4.173.Mark H Weaver2019-02-07
* gnu: Add emacs-redshank.Pierre Neidhardt2019-02-07
* status: Do not systematically erase the previous line.Ludovic Courtès2019-02-07
* doc: Mention flag to get an ISO image.Ludovic Courtès2019-02-07
* gnu: openmpi: Add dependency on SLURM.Ludovic Courtès2019-02-07
* profiles: Raise an error for unmatched patterns.Ludovic Courtès2019-02-07
* gnu: flatpak: Update to 1.2.0.Rutger Helling2019-02-07
* gnu: python2-rope: Update to 0.11.0Brett Gilio2019-02-07
* gnu: python-configargparse: Update to 0.14.0.Vagrant Cascadian2019-02-07
* gnu: python-wheel: Update to 0.32.2.Vagrant Cascadian2019-02-07
* gnu: Add datefudge.Kyle Meyer2019-02-06
* gnu: iproute2: Update to 4.20.0.Ludovic Courtès2019-02-06
* monads, gexp: Prevent redefinition of syntax parameters.Ludovic Courtès2019-02-06
* daemon: Emit a 'build-succeeded' event in check mode.Ludovic Courtès2019-02-06
* gnu: abcde: Update to 2.9.3.Kei Kebreau2019-02-06
* gnu: star: Update to 2.7.0b.Ricardo Wurmus2019-02-06
* gnu: wxmaxima: Update to 19.01.3.Kei Kebreau2019-02-06
* gnu: maxima: Update to 5.42.2.Kei Kebreau2019-02-06
* gnu: emacs-lispyville: Update to 20181217.Pierre Neidhardt2019-02-06
* gnu: emacs-lispy: Update to 20190205.Pierre Neidhardt2019-02-06