summary refs log tree commit diff
path: root/gnu
AgeCommit message (Expand)Author
2022-02-11gnu: coq-stdpp: Update to 1.7.0.Julien Lepiller
2022-02-11gnu: coq-mathcomp: Update to 1.14.0.Julien Lepiller
2022-02-11gnu: coq: Update to 8.15.0.Julien Lepiller
2022-02-11gnu: coq-interval: Update to 4.4.0.Julien Lepiller
2022-02-11gnu: coq-bignums: Update to 8.15.0.Julien Lepiller
2022-02-11gnu: coq-gappa: Update to 1.5.1.Julien Lepiller
2022-02-11gnu: coq-flocq: Update to 4.0.0.Julien Lepiller
2022-02-11gnu: emacs-orgit: Update to 1.8.0.Nicolas Goaziou
2022-02-11gnu: wireshark: Update to 3.6.2.Nicolas Goaziou
2022-02-10gnu: pioneer: Update to 20220203.Eric Bavier
2022-02-10gnu: bitlbee-discord: Update to 0.4.3-1.607f988.Adam Maleszka
2022-02-10gnu: LLVM: Support release candidates as version.Greg Hogan
2022-02-10gnu: lldb: Update to 13.0.1.Greg Hogan
2022-02-10services: gdm-service-type: Require elogind.Josselin Poiret
2022-02-10gnu: ell: Disable parallel tests.Simon South
2022-02-10gnu: flare-game: Update to 1.13.04.Nicolas Goaziou
2022-02-10gnu: flare-engine: Update to 1.13.04.Nicolas Goaziou
2022-02-10gnu: cl-numcl: Update to 0.2.0-3.a28f612.jgart
2022-02-10gnu: Add cl-asd-generator.jgart
2022-02-10gnu: ocaml-odoc: Update to 2.1.0.Julien Lepiller
2022-02-10gnu: ocaml-xmlm: Update to 1.4.0.Julien Lepiller
2022-02-10gnu: ocaml-ppxlib: Update to 0.24.0.Julien Lepiller
2022-02-10gnu: cpplint: Reduce closure size.Marius Bakke
2022-02-10gnu: cpplint: Update to 1.5.5.Marius Bakke
2022-02-10gnu: juCi++: Unbundle embedded copy of "nlohmann" JSON library.Marius Bakke
2022-02-10gnu: juCi++: Use G-expressions.Marius Bakke
2022-02-10gnu: juCi++: Remove input labels.Marius Bakke
2022-02-10gnu: juCi++: Update to 1.7.1.Marius Bakke
2022-02-10gnu: python-importmagic: Fix test failure.Marius Bakke
2022-02-09gnu: Add openboardview.Maxim Cournoyer
2022-02-09gnu: Add utf8-h.Maxim Cournoyer
2022-02-09gnu: Add glad.Maxim Cournoyer
2022-02-09gnu: Add imgui.Maxim Cournoyer
2022-02-09gnu: linux-libre 4.9: Update to 4.9.300.Leo Famulari
2022-02-09gnu: linux-libre 4.14: Update to 4.14.265.Leo Famulari
2022-02-09gnu: linux-libre 4.19: Update to 4.19.228.Leo Famulari
2022-02-09gnu: linux-libre 5.4: Update to 5.4.178.Leo Famulari
2022-02-09gnu: linux-libre 5.10: Update to 5.10.99.Leo Famulari
2022-02-09gnu: linux-libre: Update to 5.15.22.Leo Famulari
2022-02-09gnu: linux-libre 5.16: Update to 5.16.8.Leo Famulari
2022-02-09gnu: nar-herder: Update to 0-3.b026331.Christopher Baines
2022-02-09gnu: guix-build-coordinator: Update to 0-50.f122322.Christopher Baines
2022-02-09gnu: guix-data-service: Update to 0.0.1-29.4a1088c.Christopher Baines
2022-02-09gnu: QSyncthingTray: Deprecate in favor of Debian's syncthing-gtk fork.Leo Famulari
2022-02-09gnu: blender: Update to 3.0.1.Michael Rohleder
2022-02-09gnu: emacs-djvu: Use new package style.Nicolas Goaziou
2022-02-09gnu: searx: Fix build.kiasoc5
2022-02-09gnu: python-flask-babel: Update to 2.0.0.kiasoc5
2022-02-09gnu: grim: Update to 1.4.0.Jai Vetrivelan
2022-02-09gnu: emacs-theme-magic: Use new package style.Nicolas Goaziou