aboutsummaryrefslogtreecommitdiff
path: root/gnu
AgeCommit message (Collapse)Author
2021-10-08gnu: cabal-install: Build with GHC 8.10.Lars-Dominik Braun
* gnu/packages/patches/cabal-install-base16-bytestring1.0.patch: New patch. * gnu/packages/patches/cabal-install-ghc8.10.patch: Ditto. * gnu/local.mk (dist_patch_DATA): Add them. * gnu/packages/haskell-apps.scm (cabal-install) [source]: Use them.
2021-10-08gnu: Update Haskell ecosystem.Lars-Dominik Braun
Bump packages’ versions to the lastest Stackage or Hackage release. Since packages are interdependent, do so in a single commit. 525 packages have been updated. These packages have been removed, because they fail to build, have no newer version available and no dependencies: corrode ghc-easytest ghc-edisonapi ghc-edisoncore ghc-pandoc-types ghc-regex-tdfa-text These have been removed, because they are no longer required: ghc-happy-1.19.9 ghc-prettyprinter-1.6 ghc-protolude-0.3 ghc-pandoc-citeproc and pandoc-citeproc have been removed, because pandoc does not use them any more. Co-authored-by: Xinglu Chen <public@yoctocell.xyz>
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.
generated by cgit