aboutsummaryrefslogtreecommitdiff
path: root/gnu
AgeCommit message (Expand)Author
2020-01-07Merge branch 'staging'Marius Bakke
2020-01-07gnu: vimb: Update to 3.6.0....David Wilson
2020-01-07gnu: sdl-mixer: Fix fluidsynth in dependents....Danny Milosavljevic
2020-01-07gnu: lapack: Update to 3.9.0....Konrad Hinsen
2020-01-06gnu: coq-equations: Update to 1.2.1....Brett Gilio
2020-01-06gnu: coq-interval: Update to 3.4.1....Brett Gilio
2020-01-06gnu: coq-coquelicot: Truncate home-page....Brett Gilio
2020-01-06gnu: coq-coquelicot: Update to 3.0.3....Brett Gilio
2020-01-06gnu: coq-gappa: Use HTTPS home page URI....Brett Gilio
2020-01-06gnu: coq-gappa: Update to 1.4.2....Brett Gilio
2020-01-06gnu: coq-flocq: Use HTTPS home page URI....Brett Gilio
2020-01-06gnu: coq-flocq: Update to 3.2.0....Brett Gilio
2020-01-06gnu: coq: Reword several comments....Brett Gilio
2020-01-06gnu: coq: Update to 8.10.2....Brett Gilio
2020-01-06gnu: Add lablgtk3....Brett Gilio
2020-01-06gnu: Add ocaml-cairo2....Brett Gilio
2020-01-07gnu: emacs-treemacs: Install icons and scripts....Oleg Pykhalov
2020-01-06gnu: next: Update to 1.4.0....Pierre Neidhardt
2020-01-06gnu: supertux: Fix description....Nicolas Goaziou
2020-01-06gnu: supertux: Update to 0.6.1....Nicolas Goaziou
2020-01-06gnu: Add emacs-helm-clojuredocs....Pierre Neidhardt
2020-01-06gnu: Add emacs-edn....Pierre Neidhardt
2020-01-06activation: Check whether /proc/sys/kernel/modprobe exists....kanichos@yandex.ru
2020-01-06gnu: python-py3status: Fix patch of file path...Jakub Kądziołka
2020-01-06gnu: gnome-characters: Wrap program to provide the necessary Typelib files....kanichos@yandex.ru
2020-01-06gnu: ibus-rime: Record the right file name in "rime.xml"....kanichos@yandex.ru
2020-01-06Adjust module autoloads....Ludovic Courtès
2020-01-06gnu: guix: Ensure the bootstrap binary tarballs aren't GC'd....Ludovic Courtès
2020-01-06gnu: Add emacs-helm-cider....Pierre Neidhardt
2020-01-06gnu: lua-luv: Update to 1.32.0-0....Efraim Flashner
2020-01-06gnu: lua5.1-sec: Update to 0.9....Efraim Flashner
2020-01-06gnu: lua-filesystem: Update to 1.7.0.2....Efraim Flashner
2020-01-06gnu: make-lua-socket: Don't use unstable tarball....Efraim Flashner
2020-01-06gnu: lua-lgi: Don't use unstable tarball....Efraim Flashner
2020-01-06gnu: make-lua-sec: Don't use unstable tarball....Efraim Flashner
2020-01-06gnu: make-lua-filesystem: Don't use unstable tarball....Efraim Flashner
2020-01-06gnu: sdl-mixer: Describe runtime configuration....Timotej Lazar
2020-01-06system: linux-container: Recommend guix container....Efraim Flashner
2020-01-06gnu: python-anaconda-client: Don't use unstable tarball....Efraim Flashner
2020-01-06gnu: python-conda: Don't use unstable tarball....Efraim Flashner
2020-01-06gnu: python2-unicodecsv: Don't use unstable tarball....Efraim Flashner
2020-01-06gnu: python2-numpy@1.8: Don't use unstable tarball....Efraim Flashner
2020-01-06gnu: Add emacs-lsp-lua-emmy....Oleg Pykhalov
2020-01-06gnu: Add emacs-lsp-java....Oleg Pykhalov
2020-01-06gnu: Add emacs-treemacs-extra....Oleg Pykhalov
2020-01-06gnu: Add emacs-treemacs....Oleg Pykhalov
2020-01-06gnu: Add emacs-pfuture....Oleg Pykhalov
2020-01-06gnu: swh-plugins: Update home-page to new uri....Oleg Pykhalov
2020-01-06gnu: python-axolotl: Don't use unstable tarball....Efraim Flashner
2020-01-06gnu: perl-net-patricia: Fix build....Efraim Flashner
generated by cgit