summary refs log tree commit diff
AgeCommit message (Expand)Author
2019-02-08gnu: sdl2-ttf: Update to 2.0.15.Tobias Geerinckx-Rice
2019-02-08gnu: rcas-web: Update to 0.1.0.Ricardo Wurmus
2019-02-09gnu: swaks: Update to 20181104.0.Arun Isaac
2019-02-08gnu: Add dune-pdelab.Ricardo Wurmus
2019-02-08gnu: Add dune-functions.Ricardo Wurmus
2019-02-08gnu: Add dune-typetree.Ricardo Wurmus
2019-02-08gnu: Add dune-alugrid.Ricardo Wurmus
2019-02-08gnu: Add usbmuxd.Danny Milosavljevic
2019-02-08gnu: Add ifuse.Danny Milosavljevic
2019-02-08gnu: libimobiledevice: Propagate "libplist".Danny Milosavljevic
2019-02-08gnu: guile-redis: Update to 1.3.0.Ricardo Wurmus
2019-02-08gnu: Add dune-localfunctions.Ricardo Wurmus
2019-02-08gnu: Add dune-istl.Ricardo Wurmus
2019-02-08gnu: Add dune-grid.Ricardo Wurmus
2019-02-08gnu: umoci: Update to 0.4.4.Tobias Geerinckx-Rice
2019-02-08gnu: guile-squee: Fix the license.Christopher Baines
2019-02-08git: Always use the system certificates by default.Ludovic Courtès
2019-02-08guix build: '--with-branch' & co. fetch submodules.Ludovic Courtès
2019-02-08git: Add a 'recursive?' field to <git-checkout> records.Ludovic Courtès
2019-02-08git: Support recursive updates of submodules.Ludovic Courtès
2019-02-07build: clean-go: Do not warn about *.go files in "test-tmp".Eric Bavier
2019-02-07gnu: hdf5: Upgrade to 1.8.21.Eric Bavier
2019-02-07gnu: hdf5: Remove use of deprecated MPI1 symbols.Eric Bavier
2019-02-07gnu: superlu-dist: Remove use of deprecated MPI1 symbols.Eric Bavier
2019-02-07gnu: emacs-fish-completion: Update to 1.0.Pierre Neidhardt
2019-02-07gnu: Add gpx.Tim Stahel
2019-02-07gnu: Add dune-geometry.Ricardo Wurmus
2019-02-07gnu: Add dune-common.Ricardo Wurmus
2019-02-07gnu: Add coq-autosubstDan Frumin
2019-02-07gnu: linux-libre: Update to 4.20.7.Mark H Weaver
2019-02-07gnu: linux-libre@4.19: Update to 4.19.20.Mark H Weaver
2019-02-07gnu: linux-libre@4.14: Update to 4.14.98.Mark H Weaver
2019-02-07gnu: linux-libre@4.9: Update to 4.9.155.Mark H Weaver
2019-02-07gnu: linux-libre@4.4: Update to 4.4.173.Mark H Weaver
2019-02-07gnu: Add emacs-redshank.Pierre Neidhardt
2019-02-07status: Do not systematically erase the previous line.Ludovic Courtès
2019-02-07doc: Mention flag to get an ISO image.Ludovic Courtès
2019-02-07gnu: openmpi: Add dependency on SLURM.Ludovic Courtès
2019-02-07profiles: Raise an error for unmatched patterns.Ludovic Courtès
2019-02-07gnu: flatpak: Update to 1.2.0.Rutger Helling
2019-02-07gnu: python2-rope: Update to 0.11.0Brett Gilio
2019-02-07gnu: python-configargparse: Update to 0.14.0.Vagrant Cascadian
2019-02-07gnu: python-wheel: Update to 0.32.2.Vagrant Cascadian
2019-02-06gnu: Add datefudge.Kyle Meyer
2019-02-06gnu: iproute2: Update to 4.20.0.Ludovic Courtès
2019-02-06monads, gexp: Prevent redefinition of syntax parameters.Ludovic Courtès
2019-02-06daemon: Emit a 'build-succeeded' event in check mode.Ludovic Courtès
2019-02-06gnu: abcde: Update to 2.9.3.Kei Kebreau
2019-02-06gnu: star: Update to 2.7.0b.Ricardo Wurmus
2019-02-06gnu: wxmaxima: Update to 19.01.3.Kei Kebreau