summaryrefslogtreecommitdiff
path: root/gnu
Commit message (Expand)AuthorAge
...
* gnu: hedgewars: Fix build.Lars-Dominik Braun2021-10-08
* gnu: cabal-install: Build with GHC 8.10.Lars-Dominik Braun2021-10-08
* gnu: Update Haskell ecosystem.Lars-Dominik Braun2021-10-08
* gnu: ghc-8: Update to 8.10.Lars-Dominik Braun2021-10-08
* gnu: ocaml-graphics: Update to 5.1.2.Julien Lepiller2021-10-08
* gnu: ocaml-version: Add upstream-name.Julien Lepiller2021-10-08
* gnu: ocaml-cairo2: Update to 0.6.2.Julien Lepiller2021-10-08
* gnu: ocaml-bisect-ppx: Add upstream-name.Julien Lepiller2021-10-08
* gnu: ocaml-base64: Update to 3.5.0.Julien Lepiller2021-10-08
* gnu: frama-c: Update to 23.1.Julien Lepiller2021-10-08
* gnu: why3: Update to 1.4.0.Julien Lepiller2021-10-08
* gnu: camlzip: Update to 1.11.Julien Lepiller2021-10-08
* gnu: coq: Add upstream-name.Julien Lepiller2021-10-08
* gnu: ocaml-ctypes: Update to 0.19.1.Xinglu Chen2021-10-08
* gnu: ocaml-migrate-parsetree: Update to 2.2.0.Xinglu Chen2021-10-08
* gnu: ocaml-bigstringaf: Update to 0.8.0.Xinglu Chen2021-10-08
* gnu: ocaml-uuidm: Update to 0.9.7.Xinglu Chen2021-10-08
* gnu: ocaml-cppo: Update to 1.6.8.Xinglu Chen2021-10-08
* gnu: ocaml-extlib: Update to 1.7.8.Xinglu Chen2021-10-08
* gnu: ocaml-cmdliner: Update to 1.0.4.Xinglu Chen2021-10-08
* gnu: ocaml-alcotest: Update to 1.4.0.Xinglu Chen2021-10-08
* gnu: caf: Update to 0.18.5.Greg Hogan2021-10-08
* gnu: pcg-cpp: Update to 0.98.1-ffd522e7.Greg Hogan2021-10-08
* gnu: folly: Update to 2021.10.04.00.Greg Hogan2021-10-08
* gnu: ceph: Fix breaking change in snappy.Greg Hogan2021-10-08
* gnu: Add erlang-covertool.Hartmut Goebel2021-10-07
* gnu: Add erlang-rebar3-proper.Hartmut Goebel2021-10-07
* gnu: Add erlang-rebar3-git-vsn.Hartmut Goebel2021-10-07
* gnu: Add erlang-rebar3-raw-deps.Hartmut Goebel2021-10-07
* gnu: Add erlang-proper.Hartmut Goebel2021-10-07
* gnu: Add erlang-jsone.Hartmut Goebel2021-10-07
* gnu: Add erlang-edown.Hartmut Goebel2021-10-07
* gnu: Add rebar3.Hartmut Goebel2021-10-07
* gnu: Add erlang-relx.Hartmut Goebel2021-10-07
* gnu: Add erlang-ssl-verify-fun.Hartmut Goebel2021-10-07
* gnu: Add erlang-hex-core.Hartmut Goebel2021-10-07
* gnu: Add erlang-parse-trans.Hartmut Goebel2021-10-07
* gnu: Add erlang-providers.Hartmut Goebel2021-10-07
* gnu: Add erlang-eunit-formatters.Hartmut Goebel2021-10-07
* gnu: Add erlang-getopt.Hartmut Goebel2021-10-07
* gnu: Add erlang-bbmustache.Hartmut Goebel2021-10-07
* gnu: Add erlang-cth-readable.Hartmut Goebel2021-10-07
* gnu: Add erlang-erlware-commons.Hartmut Goebel2021-10-07
* gnu: Add erlang-certifi.Hartmut Goebel2021-10-07
* gnu: Add erlang-cf.Hartmut Goebel2021-10-07
* gnu: Add emacs-global-tags.Clément Lassieur2021-10-07
* gnu: sbcl-cl-gserver: Update Git reference.Ludovic Courtès2021-10-07
* gnu: sbcl-golden-utils: Update source URL.Ludovic Courtès2021-10-07
* gnu: emacs-danneskjold-theme: Fix source hash.Ludovic Courtès2021-10-07
* gnu: font-canada1500: Update hash of source file.Ludovic Courtès2021-10-07