aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages
Commit message (Expand)AuthorAge
...
* gnu: linux-libre 6.6: Update to 6.6.16.Wilko Meyer2024-02-08
* gnu: linux-libre 6.7: Update to 6.7.4.Wilko Meyer2024-02-08
* gnu: opam: Update to 2.1.5.pukkamustard2024-02-08
* gnu: ocaml-base64: Update to 3.5.1.Julien Lepiller2024-02-08
* gnu: frama-c: Update to 27.1.Julien Lepiller2024-02-08
* gnu: Add dune-site.Julien Lepiller2024-02-08
* gnu: Add dune-private-libs.Julien Lepiller2024-02-08
* gnu: Add dune-stdune.Julien Lepiller2024-02-08
* gnu: Add dune-dyn.Julien Lepiller2024-02-08
* gnu: Add dune-ordering.Julien Lepiller2024-02-08
* gnu: Add ocaml-pp.Julien Lepiller2024-02-08
* gnu: Add ocaml-ppx-import.Arnaud DABY-SEESARAM2024-02-08
* gnu: Add ocaml-ppx-deriving-yaml.Arnaud DABY-SEESARAM2024-02-08
* gnu: Add ocaml-yaml.Arnaud DABY-SEESARAM2024-02-08
* gnu: Add ocaml-junit-alcotest.Arnaud DABY-SEESARAM2024-02-08
* gnu: Add ocaml-junit.Arnaud DABY-SEESARAM2024-02-08
* gnu: Add ocaml-ppx-deriving-yojson.Arnaud DABY-SEESARAM2024-02-08
* gnu: ocaml-ppx-bench: Update to 0.16.0.Julien Lepiller2024-02-08
* gnu: ocaml-jst-config: Update to 0.16.0.Julien Lepiller2024-02-08
* gnu: ocaml-ppx-bin-prot: Update to 0.16.0.Julien Lepiller2024-02-08
* gnu: ocaml-bin-prot: Update to 0.16.0.Julien Lepiller2024-02-08
* gnu: Add ocaml-ppx-stable-witness.Julien Lepiller2024-02-08
* gnu: ocaml-ppxlib: Update to 0.28.Julien Lepiller2024-02-08
* gnu: ocaml-sexplib: Update to 0.16.0.Julien Lepiller2024-02-08
* gnu: ocaml-alcotest: Update to 1.7.0.Julien Lepiller2024-02-08
* gnu: opam: Split build into smaller sub-packages.pukkamustard2024-02-08
* gnu: dune-bootstrap: Update to 3.11.0.pukkamustard2024-02-08
* gnu: coq: Update to 8.17.1.pukkamustard2024-02-08
* gnu: Update coq-interval to 4.8.0.pukkamustard2024-02-08
* gnu: Update coq-stdpp to 1.8.0.pukkamustard2024-02-08
* gnu: Update coq-autosubst to 1.8.pukkamustard2024-02-08
* gnu: Update coq-mathcomp to 1.17.0.pukkamustard2024-02-08
* gnu: Update coq-coquelicot to 3.4.0.pukkamustard2024-02-08
* gnu: Update coq-gappa to 1.5.3.pukkamustard2024-02-08
* gnu: Update coq-flocq to 4.1.1.pukkamustard2024-02-08
* gnu: ocaml: Update to 4.14.1.pukkamustard2024-02-08
* gnu: nats-server: Update to 2.10.10.Sharlatan Hellseher2024-02-08
* gnu: go-github-com-nats-io-nats-go: Update to 1.32.0.Sharlatan Hellseher2024-02-08
* gnu: go-github-com-nats-io-nkeys: Update to 0.4.7.Sharlatan Hellseher2024-02-08
* gnu: Add nats-server.Benjamin2024-02-08
* gnu: Add go-github-com-nats-io-nats-go.Benjamin2024-02-08
* gnu: Add go-github-com-nats-io-jwt-v2.Benjamin2024-02-08
* gnu: Add go-github-com-nats-io-nkeys.Benjamin2024-02-08
* gnu: Add go-github-com-nats-io-nuid.Benjamin2024-02-08
* gnu: Add go-go-uber-org-automaxprocs.Benjamin2024-02-08
* gnu: Add go-github-com-prashantv-gostub.Benjamin2024-02-08
* gnu: Add go-github-com-minio-highwayhash.Benjamin2024-02-08
* Revert update to Renpy 8.2.Liliana Marie Prikler2024-02-08
* gnu: Add python-geoip2fast.Ricardo Wurmus2024-02-08
* gnu: elixir: Remove wrap for mix.Andrew Tropin2024-02-08