aboutsummaryrefslogtreecommitdiff
path: root/gnu
Commit message (Expand)AuthorAge
* gnu: why3: Update to 1.7.2.Jean-Pierre De Jesus DIAZ2024-05-15
* gnu: frama-c: Update to 28.1.Jean-Pierre De Jesus DIAZ2024-05-15
* gnu: Add ocaml-unionfind.Jean-Pierre De Jesus DIAZ2024-05-15
* gnu: coq-flocq: Update to 4.1.4.Jean-Pierre De Jesus DIAZ2024-05-15
* gnu: ocaml-lablgtk3-sourceview3: Fix inputs.Jean-Pierre De Jesus DIAZ2024-05-15
* gnu: krita: Fix build.Remco van 't Veer2024-05-15
* gnu: minizinc: Use gexps.Andreas Enge2024-05-15
* gnu: minizinc: Add chuffed backend.Herman Rimm2024-05-15
* gnu: Add obs-source-record.Oleg Pykhalov2024-05-15
* gnu: obs: Update to 29.1.3.Oleg Pykhalov2024-05-15
* gnu: java-jctools-core-1: Skip tests on aarch64-linux.Efraim Flashner2024-05-15
* gnu: slade: Update to 3.2.5a.Efraim Flashner2024-05-15
* gnu: java-swt: Update source URI.Efraim Flashner2024-05-15
* gnu: java-swt: Fix build on some systems.Efraim Flashner2024-05-15
* gnu: arcan-sdl: Build with sdl2.Efraim Flashner2024-05-15
* gnu: the-butterfly-effect: Fix build.Efraim Flashner2024-05-15
* gnu: quagga: Build with gcc-9.Efraim Flashner2024-05-15
* gnu: quagga: Remove pre-generated files.Efraim Flashner2024-05-15
* gnu: gecode: Downgrade to 6.2.0-2.2d20e88.Andreas Enge2024-05-15
* gnu: gecode: Use gexps.Andreas Enge2024-05-15
* gnu: python-pivy: Update to 0.6.8.Artyom V. Poptsov2024-05-15
* gnu: python-pivy: Fix build.Artyom V. Poptsov2024-05-15
* gnu: qgis: Update to 3.34.6.Nicolas Graves2024-05-15
* gnu: qgis: Improve package style.Nicolas Graves2024-05-15
* gnu: qgis: Improve package style.Nicolas Graves2024-05-15
* gnu: gecode: Update to 6.2.0-1.f7f0d7c.Andreas Enge2024-05-15
* gnu: Add chuffed.Herman Rimm2024-05-15
* gnu: python-lazy-loader: Update to 0.4.Sharlatan Hellseher2024-05-15
* gnu: Add draco.Vinicius Monego2024-05-15
* gnu: Add tinygltf.Vinicius Monego2024-05-15
* gnu: pigx-rnaseq: Update to 0.1.1.Ricardo Wurmus2024-05-15
* gnu: icecat: Update to 115.11.0-guix0-preview1 [security fixes].Mark H Weaver2024-05-14
* gnu: kakoune: Update to 2024.05.09.Ashish SHUKLA2024-05-14
* gnu: yamagi-quake2: Update to 8.30.James Smith2024-05-14
* gnu: guile-lib: Fix tests for Guile 2.2.Artyom V. Poptsov2024-05-14
* gnu: guile-lib: Remove "strip" phase.Artyom V. Poptsov2024-05-14
* gnu: xpra: Update to 6.0.Andy Tai2024-05-14
* gnu: guix: Update to 1.4.0-20.37719d3.Christopher Baines2024-05-14
* gnu: Add emacs-helm-org-ql.Nicolas Graves via Guix-patches via2024-05-14
* gnu: gnome-shell: Wrap screencast service.Dariqq2024-05-14
* gnu: renpy: Update to 8.3.0.Liliana Marie Prikler2024-05-14
* gnu: python-pygame-sdl2: Update to 2.1.0+renpy8.3.0.Liliana Marie Prikler2024-05-14
* gnu: Add python-clintest.Liliana Marie Prikler2024-05-14
* gnu: r-logspline: Update to 2.1.22.Ricardo Wurmus2024-05-13
* gnu: r-tclust: Update to 2.0-4.Ricardo Wurmus2024-05-13
* gnu: r-estimability: Update to 1.5.1.Ricardo Wurmus2024-05-13
* gnu: r-paws-storage: Update to 0.6.0.Ricardo Wurmus2024-05-13
* gnu: r-paws-database: Update to 0.6.0.Ricardo Wurmus2024-05-13
* gnu: r-paws-networking: Update to 0.6.0.Ricardo Wurmus2024-05-13
* gnu: r-paws-machine-learning: Update to 0.6.0.Ricardo Wurmus2024-05-13