summaryrefslogtreecommitdiff
path: root/gnu
AgeCommit message (Expand)Author
2021-10-08gnu: ocaml-bisect-ppx: Add upstream-name....Julien Lepiller
2021-10-08gnu: ocaml-base64: Update to 3.5.0....Julien Lepiller
2021-10-08gnu: frama-c: Update to 23.1....Julien Lepiller
2021-10-08gnu: why3: Update to 1.4.0....Julien Lepiller
2021-10-08gnu: camlzip: Update to 1.11....Julien Lepiller
2021-10-08gnu: coq: Add upstream-name....Julien Lepiller
2021-10-08gnu: ocaml-ctypes: Update to 0.19.1....Xinglu Chen
2021-10-08gnu: ocaml-migrate-parsetree: Update to 2.2.0....Xinglu Chen
2021-10-08gnu: ocaml-bigstringaf: Update to 0.8.0....Xinglu Chen
2021-10-08gnu: ocaml-uuidm: Update to 0.9.7....Xinglu Chen
2021-10-08gnu: ocaml-cppo: Update to 1.6.8....Xinglu Chen
2021-10-08gnu: ocaml-extlib: Update to 1.7.8....Xinglu Chen
2021-10-08gnu: ocaml-cmdliner: Update to 1.0.4....Xinglu Chen
2021-10-08gnu: ocaml-alcotest: Update to 1.4.0....Xinglu Chen
2021-10-08gnu: caf: Update to 0.18.5....Greg Hogan
2021-10-08gnu: pcg-cpp: Update to 0.98.1-ffd522e7....Greg Hogan
2021-10-08gnu: folly: Update to 2021.10.04.00....Greg Hogan
2021-10-08gnu: ceph: Fix breaking change in snappy....Greg Hogan
2021-10-07gnu: Add erlang-covertool....Hartmut Goebel
2021-10-07gnu: Add erlang-rebar3-proper....Hartmut Goebel
2021-10-07gnu: Add erlang-rebar3-git-vsn....Hartmut Goebel
2021-10-07gnu: Add erlang-rebar3-raw-deps....Hartmut Goebel
2021-10-07gnu: Add erlang-proper....Hartmut Goebel
2021-10-07gnu: Add erlang-jsone....Hartmut Goebel
2021-10-07gnu: Add erlang-edown....Hartmut Goebel
2021-10-07gnu: Add rebar3....Hartmut Goebel
2021-10-07gnu: Add erlang-relx....Hartmut Goebel
2021-10-07gnu: Add erlang-ssl-verify-fun....Hartmut Goebel
2021-10-07gnu: Add erlang-hex-core....Hartmut Goebel
2021-10-07gnu: Add erlang-parse-trans....Hartmut Goebel
2021-10-07gnu: Add erlang-providers....Hartmut Goebel
2021-10-07gnu: Add erlang-eunit-formatters....Hartmut Goebel
2021-10-07gnu: Add erlang-getopt....Hartmut Goebel
2021-10-07gnu: Add erlang-bbmustache....Hartmut Goebel
2021-10-07gnu: Add erlang-cth-readable....Hartmut Goebel
2021-10-07gnu: Add erlang-erlware-commons....Hartmut Goebel
2021-10-07gnu: Add erlang-certifi....Hartmut Goebel
2021-10-07gnu: Add erlang-cf....Hartmut Goebel
2021-10-07gnu: Add emacs-global-tags....Clément Lassieur
2021-10-07gnu: sbcl-cl-gserver: Update Git reference....Ludovic Courtès
2021-10-07gnu: sbcl-golden-utils: Update source URL....Ludovic Courtès
2021-10-07gnu: emacs-danneskjold-theme: Fix source hash....Ludovic Courtès
2021-10-07gnu: font-canada1500: Update hash of source file....Ludovic Courtès
2021-10-07gnu: mcrl2: Update hash of modified-in-place tarball....Ludovic Courtès
2021-10-07gnu: emacs-find-file-in-project: Update Git reference....Ludovic Courtès
2021-10-07gnu: fet: Add alternative URL for older source tarballs....Ludovic Courtès
2021-10-07gnu: redkite: Update source URL....Ludovic Courtès
2021-10-07gnu: pelican: Update to 4.7.0....Ben Sturmfels
2021-10-07gnu: Add adcli....Timotej Lazar
2021-10-07gnu: automake: Add 1.16.5....Ludovic Courtès
generated by cgit v1.2.3 (git 2.46.0) at 2024-08-13 22:51:15 +0000