summary refs log tree commit diff
path: root/gnu
AgeCommit message (Expand)Author
2020-01-07gnu: coq-bignums: Fix comment spacing.Brett Gilio
2020-01-07gnu: coq-bignums: Update to 8.10.0.Brett Gilio
2020-01-07gnu: appstream-glib: Fix test failure.Marius Bakke
2020-01-07gnu: libgeotiff: Do not build static library.Marius Bakke
2020-01-07gnu: libgeotiff: Propagate proj.Marius Bakke
2020-01-07gnu: colord: Adjust inputs.Marius Bakke
2020-01-07gnu: ungoogled-chromium: Lower resource limits.Marius Bakke
2020-01-07gnu: ungoogled-chromium: Do not set LD_LIBRARY_PATH in wrapper.Marius Bakke
2020-01-07gnu: Ceph: Update to 14.2.5.Marius Bakke
2020-01-07gnu: rocksdb: Update to 6.5.2.Marius Bakke
2020-01-07gnu: python-patsy: Update to 0.5.1.Marius Bakke
2020-01-07gnu: googletest: Update to 1.10.0.Marius Bakke
2020-01-07gnu: icecat: Update to 68.4.0-guix0-preview1 [security fixes].Mark H Weaver
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 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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-27 07:44:31 +0000