summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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 <[email protected]>
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 <[email protected]>
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 <[email protected]>
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 <[email protected]>
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 <[email protected]>
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 <[email protected]>
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 <[email protected]>
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 <[email protected]>
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 <[email protected]>
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 <[email protected]>
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 <[email protected]>
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 <[email protected]>
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-07build-system: Add 'rebar3-build-system'.Hartmut Goebel
* guix/build-system/rebar3.scm, guix/build/rebar3-build-system.scm: New files. * Makefile.am (MODULES): Add them.
2021-10-07import: Add hex.pm importer.Hartmut Goebel
hex.pm is a package repository for Erlang and Elixir. * guix/scripts/import.scm (importers): Add "hexpm". * guix/scripts/import/hexpm.scm, guix/import/hexpm.scm, guix/hexpm-download.scm: New files. * guix/import/utils.scm (source-spec->object): Add "hexpm-fetch" to list of fetch methods. * guix/upstream.scm (package-update/hexpm-fetch): New function. (%method-updates) Add it. * Makefile.am: Add them.
2021-10-07Add (guix extracting-download).Hartmut Goebel
* guix/extracting-download.scm: New file * Makefile.am (MODULES): Add it.
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 v1.2.3 (git 2.45.2) at 2025-04-12 12:24:55 +0000