summary refs log tree commit diff
path: root/gnu
AgeCommit message (Expand)Author
2024-02-08gnu: opam: Update to 2.1.5.pukkamustard
2024-02-08gnu: ocaml-base64: Update to 3.5.1.Julien Lepiller
2024-02-08gnu: frama-c: Update to 27.1.Julien Lepiller
2024-02-08gnu: Add dune-site.Julien Lepiller
2024-02-08gnu: Add dune-private-libs.Julien Lepiller
2024-02-08gnu: Add dune-stdune.Julien Lepiller
2024-02-08gnu: Add dune-dyn.Julien Lepiller
2024-02-08gnu: Add dune-ordering.Julien Lepiller
2024-02-08gnu: Add ocaml-pp.Julien Lepiller
2024-02-08gnu: Add ocaml-ppx-import.Arnaud DABY-SEESARAM
2024-02-08gnu: Add ocaml-ppx-deriving-yaml.Arnaud DABY-SEESARAM
2024-02-08gnu: Add ocaml-yaml.Arnaud DABY-SEESARAM
2024-02-08gnu: Add ocaml-junit-alcotest.Arnaud DABY-SEESARAM
2024-02-08gnu: Add ocaml-junit.Arnaud DABY-SEESARAM
2024-02-08gnu: Add ocaml-ppx-deriving-yojson.Arnaud DABY-SEESARAM
2024-02-08gnu: ocaml-ppx-bench: Update to 0.16.0.Julien Lepiller
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.0unwox
2024-02-07gnu: qgis: Fix build against proj 9.3.1.Felix Gruber
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-12-19 11:18:56 +0000