aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages
AgeCommit message (Collapse)Author
2021-10-08gnu: ghc-8: Update to 8.10.Lars-Dominik Braun
* gnu/packages/haskell.scm (ghc-8): Update to 8.10. (ghc-8.8): Rename to just ghc. (ghc-8.10): Dito.
2021-10-08gnu: ocaml-graphics: Update to 5.1.2.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-graphics): Update to 5.1.2.
2021-10-08gnu: ocaml-version: Add upstream-name.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-version)[properties]: Add upstream-name.
2021-10-08gnu: ocaml-cairo2: Update to 0.6.2.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-cairo2): Update to 0.6.2. * gnu/packages/patches/ocaml-cairo2-caml_ba_array-fix.patch: Remove file. * gnu/local.scm (dist_patch_DATA): Remove it.
2021-10-08gnu: ocaml-bisect-ppx: Add upstream-name.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-bisect-ppx)[properties]: Add upstream-name.
2021-10-08gnu: ocaml-base64: Update to 3.5.0.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-base64): Update to 3.5.0.
2021-10-08gnu: frama-c: Update to 23.1.Julien Lepiller
* gnu/packages/maths.scm (frama-c): Update to 23.1.
2021-10-08gnu: why3: Update to 1.4.0.Julien Lepiller
* gnu/packages/maths.scm (why3): Update to 1.4.0.
2021-10-08gnu: camlzip: Update to 1.11.Julien Lepiller
* gnu/packages/ocaml.scm (camlzip): Update to 1.11.
2021-10-08gnu: coq: Add upstream-name.Julien Lepiller
This prevents an error on inherited packages when running the updater. * gnu/packages/coq.scm (coq)[properties]: Add upstream-name.
2021-10-08gnu: ocaml-ctypes: Update to 0.19.1.Xinglu Chen
* gnu/packages/ocaml.scm (ocaml-ctypes): Update to 0.19.1. [arguments]<#:tests?>: Enable. <#phases>{make-writable}: Simplify. [inputs]: Remove ocaml-topkg and opam. Move ocaml-ounit and ocaml-lwt to ... [native-inputs]: ... here. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-10-08gnu: ocaml-migrate-parsetree: Update to 2.2.0.Xinglu Chen
* gnu/packages/ocaml.scm (ocaml-migrate-parsetree): Update to 2.2.0. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-10-08gnu: ocaml-bigstringaf: Update to 0.8.0.Xinglu Chen
* gnu/packages/ocaml.scm (ocaml-bigstringaf): Update to 0.8.0. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-10-08gnu: ocaml-uuidm: Update to 0.9.7.Xinglu Chen
* gnu/packages/ocaml.scm (ocaml-uuidm): Update to 0.9.7. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-10-08gnu: ocaml-cppo: Update to 1.6.8.Xinglu Chen
* gnu/packages/ocaml.scm (ocaml-cppo): Update to 1.6.8. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-10-08gnu: ocaml-extlib: Update to 1.7.8.Xinglu Chen
* gnu/packages/ocaml.scm (ocaml-extlib): Update to 1.7.8. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-10-08gnu: ocaml-cmdliner: Update to 1.0.4.Xinglu Chen
* gnu/packages/ocaml.scm (ocaml-cmdliner): Update to 1.0.4. [source]: Use HTTPS URL. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-10-08gnu: ocaml-alcotest: Update to 1.4.0.Xinglu Chen
* gnu/packages/ocaml.scm (ocaml-alcotest): Update to 1.4.0. [source]: Use Git repo instead of GitHub tarball. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-10-08gnu: caf: Update to 0.18.5.Greg Hogan
* gnu/packages/cpp.scm (caf): Update to 0.18.5. Signed-off-by: Marius Bakke <marius@gnu.org>
2021-10-08gnu: pcg-cpp: Update to 0.98.1-ffd522e7.Greg Hogan
* gnu/packages/cpp.scm (pcg-cpp): Update to 0.98.1-ffd522e7. Signed-off-by: Marius Bakke <marius@gnu.org>
2021-10-08gnu: folly: Update to 2021.10.04.00.Greg Hogan
* gnu/packages/cpp.scm (folly): Update to 2021.10.04.00. Signed-off-by: Marius Bakke <marius@gnu.org>
2021-10-08gnu: ceph: Fix breaking change in snappy.Greg Hogan
* gnu/packages/storage.scm (ceph)[source]: Add patch. * gnu/packages/patches/ceph-fix-snappy-breaking-change.patch: New file. * gnu/local.mk: Add it. Signed-off-by: Marius Bakke <marius@gnu.org>
2021-10-07gnu: Add erlang-covertool.Hartmut Goebel
* gnu/packages/erlang.scm (erlang-covertool): New variable.
2021-10-07gnu: Add erlang-rebar3-proper.Hartmut Goebel
* gnu/packages/erlang.scm (erlang-rebar3-proper): New variable.
2021-10-07gnu: Add erlang-rebar3-git-vsn.Hartmut Goebel
* gnu/packages/erlang.scm (erlang-rebar3-git-vsn): New variable.
2021-10-07gnu: Add erlang-rebar3-raw-deps.Hartmut Goebel
* gnu/packages/erlang.scm (erlang-rebar3-raw-deps): New variable.
2021-10-07gnu: Add erlang-proper.Hartmut Goebel
* gnu/packages/erlang.scm (erlang-proper): New variable.
2021-10-07gnu: Add erlang-jsone.Hartmut Goebel
* gnu/packages/erlang.scm (erlang-jsone): New variable.
2021-10-07gnu: Add erlang-edown.Hartmut Goebel
* gnu/packages/erlang.scm (erlang-edown): New variable.
2021-10-07gnu: Add rebar3.Hartmut Goebel
* gnu/packages/erlang.scm (rebar3): New variable.
2021-10-07gnu: Add erlang-relx.Hartmut Goebel
* gnu/packages/erlang.scm (erlang-relx): New variable.
2021-10-07gnu: Add erlang-ssl-verify-fun.Hartmut Goebel
* gnu/packages/erlang.scm (erlang-ssl-verify-fun): New variable.
2021-10-07gnu: Add erlang-hex-core.Hartmut Goebel
* gnu/packages/erlang.scm (erlang-hex-core): New variable.
2021-10-07gnu: Add erlang-parse-trans.Hartmut Goebel
* gnu/packages/erlang.scm (erlang-parse-trans): New variable.
2021-10-07gnu: Add erlang-providers.Hartmut Goebel
* gnu/packages/erlang.scm (erlang-providers): New variable.
2021-10-07gnu: Add erlang-eunit-formatters.Hartmut Goebel
* gnu/packages/erlang.scm (erlang-eunit-formatters): New variable.
2021-10-07gnu: Add erlang-getopt.Hartmut Goebel
* gnu/packages/erlang.scm (erlang-getopt): New variable.
2021-10-07gnu: Add erlang-bbmustache.Hartmut Goebel
* gnu/packages/erlang.scm (erlang-bbmustache): New variable.
2021-10-07gnu: Add erlang-cth-readable.Hartmut Goebel
* gnu/packages/erlang.scm (erlang-cth-readable): New variable.
2021-10-07gnu: Add erlang-erlware-commons.Hartmut Goebel
* gnu/packages/erlang.scm (erlang-erlware-commons): New variable.
2021-10-07gnu: Add erlang-certifi.Hartmut Goebel
* gnu/packages/erlang.scm (erlang-certifi): New variable.
2021-10-07gnu: Add erlang-cf.Hartmut Goebel
* gnu/packages/erlang.scm (erlang-cf): New variable.
2021-10-07gnu: Add emacs-global-tags.Clément Lassieur
* gnu/packages/emacs-xyz.scm (emacs-global-tags): New variable.
2021-10-07gnu: sbcl-cl-gserver: Update Git reference.Ludovic Courtès
* gnu/packages/lisp-xyz.scm (sbcl-cl-gserver)[source]: Specify commit rather than rely on the tag.
2021-10-07gnu: sbcl-golden-utils: Update source URL.Ludovic Courtès
* gnu/packages/lisp-xyz.scm (sbcl-golden-utils)[home-page]: Update. [source]: Update URL.
2021-10-07gnu: emacs-danneskjold-theme: Fix source hash.Ludovic Courtès
Commit e12ba46c4c0686271a7e420d10fdda2b427bcf4d erroneously kept the content hash unchanged, even though it changed the commit. * gnu/packages/emacs-xyz.scm (emacs-danneskjold-theme)[source]: Update hash.
2021-10-07gnu: font-canada1500: Update hash of source file.Ludovic Courtès
The original source is nowhere to be found so it might have been modified upstream right after the package was added, or it might have been a mistake. * gnu/packages/fonts.scm (font-canada1500)[source]: Update hash.
2021-10-07gnu: mcrl2: Update hash of modified-in-place tarball.Ludovic Courtès
Fixes <https://issues.guix.gnu.org/51074>. * gnu/packages/maths.scm (mcrl2)[source]: Update hash.
2021-10-07gnu: emacs-find-file-in-project: Update Git reference.Ludovic Courtès
* gnu/packages/emacs-xyz.scm (emacs-find-file-in-project)[source]: Specify commit rather than tag.
2021-10-07gnu: fet: Add alternative URL for older source tarballs.Ludovic Courtès
* gnu/packages/education.scm (fet)[source]: Add "old/" URL.
generated by cgit