aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2024-02-08gnu: ocaml-jst-config: Update to 0.16.0....Julien Lepiller
2024-02-08gnu: ocaml-ppx-bin-prot: Update to 0.16.0....Julien Lepiller
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.0...unwox
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