aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages
AgeCommit message (Expand)Author
2024-02-09gnu: bcachefs-tools: Restyle format....Ahmad Draidi
2024-02-09gnu: bcachefs-tools: Update to 1.4.1....Ahmad Draidi
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