summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2024-02-08gnu: ocaml-bin-prot: Update to 0.16.0.Julien Lepiller
2024-02-08gnu: Add ocaml-ppx-stable-witness.Julien Lepiller
2024-02-08gnu: ocaml-ppxlib: Update to 0.28.Julien Lepiller
2024-02-08gnu: ocaml-sexplib: Update to 0.16.0.Julien Lepiller
2024-02-08gnu: ocaml-alcotest: Update to 1.7.0.Julien Lepiller
2024-02-08gnu: opam: Split build into smaller sub-packages.pukkamustard
2024-02-08gnu: dune-bootstrap: Update to 3.11.0.pukkamustard
2024-02-08gnu: coq: Update to 8.17.1.pukkamustard
2024-02-08gnu: Update coq-interval to 4.8.0.pukkamustard
2024-02-08gnu: Update coq-stdpp to 1.8.0.pukkamustard
2024-02-08gnu: Update coq-autosubst to 1.8.pukkamustard
2024-02-08gnu: Update coq-mathcomp to 1.17.0.pukkamustard
2024-02-08gnu: Update coq-coquelicot to 3.4.0.pukkamustard
2024-02-08gnu: Update coq-gappa to 1.5.3.pukkamustard
2024-02-08gnu: Update coq-flocq to 4.1.1.pukkamustard
2024-02-08gnu: ocaml: Update to 4.14.1.pukkamustard
2024-02-08gnu: nats-server: Update to 2.10.10.Sharlatan Hellseher
2024-02-08gnu: go-github-com-nats-io-nats-go: Update to 1.32.0.Sharlatan Hellseher
2024-02-08gnu: go-github-com-nats-io-nkeys: Update to 0.4.7.Sharlatan Hellseher
2024-02-08gnu: Add nats-server.Benjamin
2024-02-08gnu: Add go-github-com-nats-io-nats-go.Benjamin
2024-02-08gnu: Add go-github-com-nats-io-jwt-v2.Benjamin
2024-02-08gnu: Add go-github-com-nats-io-nkeys.Benjamin
2024-02-08gnu: Add go-github-com-nats-io-nuid.Benjamin
2024-02-08gnu: Add go-go-uber-org-automaxprocs.Benjamin
2024-02-08gnu: Add go-github-com-prashantv-gostub.Benjamin
2024-02-08gnu: Add go-github-com-minio-highwayhash.Benjamin
2024-02-08Revert update to Renpy 8.2.Liliana Marie Prikler
2024-02-08gnu: Add python-geoip2fast.Ricardo Wurmus
2024-02-08gnu: elixir: Remove wrap for mix.Andrew Tropin
2024-02-07gnu: janet: Update to 1.33.0unwox
2024-02-07gnu: qgis: Fix build against proj 9.3.1.Felix Gruber
2024-02-07gnu: grass: Update to 7.8.8.Felix Gruber
2024-02-07gnu: python-pyshp: Update to 2.3.1.Felix Gruber
2024-02-07gnu: python-shapely: Update to 2.0.2.Felix Gruber
2024-02-07gnu: geos: Update to 3.12.1.Felix Gruber
2024-02-07gnu: libgeotiff: Fix build with proj 9.3.1.Felix Gruber
2024-02-07gnu: python-pyproj: Update to 3.6.1.Felix Gruber
2024-02-07gnu: proj: Update to 9.3.1.Felix Gruber
2024-02-07gnu: Register missing patch.Efraim Flashner
2024-02-06gnu: python-ipydatawidgets: Fix build.Sharlatan Hellseher
2024-02-06gnu: python-traittypes: Simplify package.Sharlatan Hellseher
2024-02-06gnu: python-pynrrd: Update to 1.0.0.Sharlatan Hellseher
2024-02-06gnu: python-pynrrd: Improve description.Sharlatan Hellseher
2024-02-06gnu: Add python-pynrrd.Antero Mejr
2024-02-06gnu gnuatro: Update to 0.22.Andy Tai
2024-02-06gnu: Add r-imifa.Mădălin Ionel Patrașcu
2024-02-06gnu: Add r-mvnfast.Mădălin Ionel Patrașcu
2024-02-06gnu: Add openmm.Ricardo Wurmus
2024-02-05gnu: linux-libre 6.1: Update to 6.1.76.Wilko Meyer