summary refs log tree commit diff
AgeCommit message (Collapse)Author
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-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.
2021-10-07gnu: redkite: Update source URL.Ludovic Courtès
* gnu/packages/audio.scm (redkite)[source]: Update URL.
2021-10-07import: crate: Gracefully handle missing license info.Ludovic Courtès
Fixes <https://issues.guix.gnu.org/51048>. Reported by Michael Zappa <me@michzappa.com>. * guix/import/crate.scm (<crate-version>)[license]: Translate 'null to #f. (make-crate-sexp): Handle LICENSE = #f.
2021-10-07gnu: pelican: Update to 4.7.0.Ben Sturmfels
* gnu/packages/python-xyz.scm (pelican): Update to 4.7.0. [inputs]: Add field. Add dependency on python-rich. [propagated-inputs]: Remove python-six. Move dependencies to inputs. Remove field. [home-page]: Update link. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-10-07gnu: Add adcli.Timotej Lazar
* gnu/packages/sssd.scm (adcli): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-12-02 03:16:14 +0000