aboutsummaryrefslogtreecommitdiff
path: root/gnu
AgeCommit message (Expand)Author
2022-09-22gnu: coq: Update to 8.16.0....Julien Lepiller
2022-09-22gnu: coq-interval: Update to 4.5.2....Julien Lepiller
2022-09-22gnu: coq-mathcomp: Update to 1.15.0....Julien Lepiller
2022-09-22gnu: coq-gappa: Update to 1.5.2....Julien Lepiller
2022-09-22gnu: coq-flocq: Update to 4.1.0....Julien Lepiller
2022-09-22gnu: lablgtk3: Update to 3.1.2....Julien Lepiller
2022-09-22gnu: Add ocaml-lablgtk3-sourceview3....Julien Lepiller
2022-09-21gnu: linux-libre 4.9: Update to 4.9.239....Leo Famulari
2022-09-21gnu: linux-libre 4.14: Update to 4.14.294....Leo Famulari
2022-09-21gnu: linux-libre 4.19: Update to 4.19.259....Leo Famulari
2022-09-21gnu: linux-libre 5.4: Update to 5.4.214....Leo Famulari
2022-09-21gnu: linux-libre 5.10: Update to 5.10.144....Leo Famulari
2022-09-21gnu: linux-libre 5.15: Update to 5.15.69....Leo Famulari
2022-09-21gnu: linux-libre: Update to 5.19.10....Leo Famulari
2022-09-22gnu: xonsh: Update to 0.13.3....arkhan
2022-09-22gnu: clojure-tools: Update to 1.11.1.1165....Rostislav Svoboda
2022-09-22gnu: xfce4-places-plugin: Update to 1.8.2....Michael Rohleder
2022-09-22gnu: xfce4-datetime-plugin: Update to 0.8.2....Michael Rohleder
2022-09-22gnu: xfce4-pulseaudio-plugin: Update to 0.4.5....Michael Rohleder
2022-09-21gnu: python-cooler: Skip broken test....Ricardo Wurmus
2022-09-21gnu: python-cooler: Do not use flake8....Ricardo Wurmus
2022-09-21gnu: Add python-ephem....Vagrant Cascadian
2022-09-21gnu: Add python-suntime....Vagrant Cascadian
2022-09-21gnu: gp2c: Update to 0.0.13....Andreas Enge
2022-09-21gnu: pari-gp: Update to 2.15.0....Andreas Enge
2022-09-21gnu: Add espeakup....Hunter Jozwiak
2022-09-21gnu: Add r-chromunity....Ricardo Wurmus
2022-09-21gnu: Add r-skitools....Ricardo Wurmus
2022-09-21gnu: Add r-gchain....Ricardo Wurmus
2022-09-21gnu: Add r-gtrack....Ricardo Wurmus
2022-09-21gnu: Add r-bamutils....Ricardo Wurmus
2022-09-21gnu: Add r-gutils....Ricardo Wurmus
2022-09-21gnu: maven-slf4j-provider: Fix style....Artyom V. Poptsov
2022-09-21gnu: maven-slf4j-provider: Bugfix....Artyom V. Poptsov
2022-09-21gnu: telegram-desktop: Use API ID from Snap builds....Hilton Chain
2022-09-21gnu: telegram-desktop: Use modern package style....Hilton Chain
2022-09-21gnu: webrtc-for-telegram-desktop: Use modern package style....Hilton Chain
2022-09-21gnu: telegram-desktop: Delete trailing #t....Hilton Chain
2022-09-21gnu: webrtc-for-telegram-desktop: Delete trailing #t....Hilton Chain
2022-09-21gnu: Add gnome-console....Sughosha
2022-09-21gnu: Add gnome-text-editor....Sughosha
2022-09-20gnu: guile-aiscm-next: Deprecate in favor of guile-aiscm....Ricardo Wurmus
2022-09-20gnu: guile-aiscm: Update to 0.24.2....Ricardo Wurmus
2022-09-20gnu: emacs-rustic: Update to 3.4....Nicolas Goaziou
2022-09-20gnu: emacs-repl-toggle: Update to 0.7.2....Nicolas Goaziou
2022-09-20gnu: emacs-boxquote: Update to 2.3....Nicolas Goaziou
2022-09-20gnu: emacs-osm: Update to 0.8....Morgan Smith
2022-09-20gnu: Add emacs-pdfgrep....pinoaffe
2022-09-20gnu: emacs-setup: Update to 1.3.2....Nicolas Goaziou
2022-09-20gnu: emacs-taxy: Update to 0.10.1....Nicolas Goaziou
generated by cgit