summary refs log tree commit diff
path: root/gnu
AgeCommit message (Expand)Author
2024-02-09gnu: wabt: Update to 1.0.34.Vagrant Cascadian
2024-02-09gnu: diffoscope: Update to 256 [security fixes].Vagrant Cascadian
2024-02-09gnu: kubo: Update to 0.19.0.Artyom V. Poptsov
2024-02-08gnu: linux-libre 6.1: Update to 6.1.77.Wilko Meyer
2024-02-08gnu: linux-libre 6.6: Update to 6.6.16.Wilko Meyer
2024-02-08gnu: linux-libre 6.7: Update to 6.7.4.Wilko Meyer
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