summary refs log tree commit diff
AgeCommit message (Expand)Author
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 pathJakub 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
2020-01-06gnu: perl-ole-storage-lite: Update to 0.20.Efraim Flashner
2020-01-06gnu: python-whatever: Don't use unstable tarball.Efraim Flashner
2020-01-06gnu: python-urwidtrees: Don't use setuptools.Efraim Flashner
2020-01-06gnu: python-urwidtrees: Don't use unstable tarball.Efraim Flashner
2020-01-06gnu: python-mwclient: Update to 0.10.0.Efraim Flashner
2020-01-06gnu: python-jsonpatch-0.4: Don't use unstable tarball.Efraim Flashner