aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2019-02-08gnu: spice-protocol: Update to 0.12.15....Tobias Geerinckx-Rice
2019-02-08gnu: torsocks: Update to 2.3.0....Tobias Geerinckx-Rice
2019-02-08gnu: torsocks: Don't use NAME in source URI....Tobias Geerinckx-Rice
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-autosubst...Dan 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.0...Brett 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: mariadb: Add comments about failing tests....Marius Bakke
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