aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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: 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
2019-02-06gnu: maxima: Update to 5.42.2....Kei Kebreau
2019-02-06gnu: emacs-lispyville: Update to 20181217....Pierre Neidhardt
2019-02-06gnu: emacs-lispy: Update to 20190205....Pierre Neidhardt
2019-02-06gnu: emacs-evil-collection: Update to 20190206....Pierre Neidhardt
2019-02-06gnu: emacs-evil: Update to 1.2.14....Pierre Neidhardt
2019-02-06gnu: Add guile-squee....Christopher Baines
2019-02-06gnu: ocaml-splittable-random: Change @defn to @acronym....Christopher Baines
2019-02-06gnu: ocaml-spawn: Add missing @end itemize to description....Christopher Baines
2019-02-06gnu: mpop: Update to 1.4.2....Arun Isaac
2019-02-05gnu: musescore: Update to 3.0.2....Nicolas Goaziou
2019-02-05gnu: Add ocaml-core-kernel....Julien Lepiller
2019-02-05gnu: Add ocaml-core....Julien Lepiller
2019-02-05gnu: Add ocaml-spawn....Julien Lepiller
2019-02-05gnu: Add ocaml-configurator....Julien Lepiller
2019-02-05gnu: Add ocaml-jane-street-headers....Julien Lepiller
2019-02-05gnu: Add ocaml-splittable-random....Julien Lepiller
2019-02-05gnu: Add ocaml-ppx-jane....Julien Lepiller
2019-02-05gnu: Add ocaml-ppx-bin-prot....Julien Lepiller
2019-02-05gnu: Add ocaml-ppx-base....Julien Lepiller
2019-02-05gnu: Add ocaml-ppx-typerep-conv....Julien Lepiller
2019-02-05gnu: Add ocaml-ppx-js-style....Julien Lepiller
2019-02-05gnu: Add ocaml-ppx-expect....Julien Lepiller
2019-02-05gnu: Add ocaml-ppx-assert....Julien Lepiller