aboutsummaryrefslogtreecommitdiff
path: root/gnu
Commit message (Expand)AuthorAge
...
* | | | | | gnu: coq-equations: Update to 1.2.1.Brett Gilio2020-01-06
* | | | | | gnu: coq-interval: Update to 3.4.1.Brett Gilio2020-01-06
* | | | | | gnu: coq-coquelicot: Truncate home-page.Brett Gilio2020-01-06
* | | | | | gnu: coq-coquelicot: Update to 3.0.3.Brett Gilio2020-01-06
* | | | | | gnu: coq-gappa: Use HTTPS home page URI.Brett Gilio2020-01-06
* | | | | | gnu: coq-gappa: Update to 1.4.2.Brett Gilio2020-01-06
* | | | | | gnu: coq-flocq: Use HTTPS home page URI.Brett Gilio2020-01-06
* | | | | | gnu: coq-flocq: Update to 3.2.0.Brett Gilio2020-01-06
* | | | | | gnu: coq: Reword several comments.Brett Gilio2020-01-06
* | | | | | gnu: coq: Update to 8.10.2.Brett Gilio2020-01-06
* | | | | | gnu: Add lablgtk3.Brett Gilio2020-01-06
* | | | | | gnu: Add ocaml-cairo2.Brett Gilio2020-01-06
* | | | | | gnu: emacs-treemacs: Install icons and scripts.Oleg Pykhalov2020-01-07
* | | | | | gnu: next: Update to 1.4.0.Pierre Neidhardt2020-01-06
* | | | | | gnu: supertux: Fix description.Nicolas Goaziou2020-01-06
* | | | | | gnu: supertux: Update to 0.6.1.Nicolas Goaziou2020-01-06
* | | | | | gnu: Add emacs-helm-clojuredocs.Pierre Neidhardt2020-01-06
* | | | | | gnu: Add emacs-edn.Pierre Neidhardt2020-01-06
* | | | | | activation: Check whether /proc/sys/kernel/modprobe exists.kanichos@yandex.ru2020-01-06
* | | | | | gnu: python-py3status: Fix patch of file pathJakub Kądziołka2020-01-06
* | | | | | gnu: gnome-characters: Wrap program to provide the necessary Typelib files.kanichos@yandex.ru2020-01-06
* | | | | | gnu: ibus-rime: Record the right file name in "rime.xml".kanichos@yandex.ru2020-01-06
* | | | | | Adjust module autoloads.Ludovic Courtès2020-01-06
* | | | | | gnu: guix: Ensure the bootstrap binary tarballs aren't GC'd.Ludovic Courtès2020-01-06
* | | | | | gnu: Add emacs-helm-cider.Pierre Neidhardt2020-01-06
* | | | | | gnu: lua-luv: Update to 1.32.0-0.Efraim Flashner2020-01-06
* | | | | | gnu: lua5.1-sec: Update to 0.9.Efraim Flashner2020-01-06
* | | | | | gnu: lua-filesystem: Update to 1.7.0.2.Efraim Flashner2020-01-06
* | | | | | gnu: make-lua-socket: Don't use unstable tarball.Efraim Flashner2020-01-06
* | | | | | gnu: lua-lgi: Don't use unstable tarball.Efraim Flashner2020-01-06
* | | | | | gnu: make-lua-sec: Don't use unstable tarball.Efraim Flashner2020-01-06
* | | | | | gnu: make-lua-filesystem: Don't use unstable tarball.Efraim Flashner2020-01-06
* | | | | | gnu: sdl-mixer: Describe runtime configuration.Timotej Lazar2020-01-06
* | | | | | system: linux-container: Recommend guix container.Efraim Flashner2020-01-06
* | | | | | gnu: python-anaconda-client: Don't use unstable tarball.Efraim Flashner2020-01-06
* | | | | | gnu: python-conda: Don't use unstable tarball.Efraim Flashner2020-01-06
* | | | | | gnu: python2-unicodecsv: Don't use unstable tarball.Efraim Flashner2020-01-06
* | | | | | gnu: python2-numpy@1.8: Don't use unstable tarball.Efraim Flashner2020-01-06
* | | | | | gnu: Add emacs-lsp-lua-emmy.Oleg Pykhalov2020-01-06
* | | | | | gnu: Add emacs-lsp-java.Oleg Pykhalov2020-01-06
* | | | | | gnu: Add emacs-treemacs-extra.Oleg Pykhalov2020-01-06
* | | | | | gnu: Add emacs-treemacs.Oleg Pykhalov2020-01-06
* | | | | | gnu: Add emacs-pfuture.Oleg Pykhalov2020-01-06
* | | | | | gnu: swh-plugins: Update home-page to new uri.Oleg Pykhalov2020-01-06
* | | | | | gnu: python-axolotl: Don't use unstable tarball.Efraim Flashner2020-01-06
* | | | | | gnu: perl-net-patricia: Fix build.Efraim Flashner2020-01-06
* | | | | | gnu: perl-ole-storage-lite: Update to 0.20.Efraim Flashner2020-01-06
* | | | | | gnu: python-whatever: Don't use unstable tarball.Efraim Flashner2020-01-06
* | | | | | gnu: python-urwidtrees: Don't use setuptools.Efraim Flashner2020-01-06
* | | | | | gnu: python-urwidtrees: Don't use unstable tarball.Efraim Flashner2020-01-06