summaryrefslogtreecommitdiff
path: root/gnu
AgeCommit message (Expand)Author
2021-10-08gnu: frama-c: Update to 23.1....* gnu/packages/maths.scm (frama-c): Update to 23.1. Julien Lepiller
2021-10-08gnu: why3: Update to 1.4.0....* gnu/packages/maths.scm (why3): Update to 1.4.0. Julien Lepiller
2021-10-08gnu: camlzip: Update to 1.11....* gnu/packages/ocaml.scm (camlzip): Update to 1.11. Julien Lepiller
2021-10-08gnu: coq: Add upstream-name....This prevents an error on inherited packages when running the updater. * gnu/packages/coq.scm (coq)[properties]: Add upstream-name. Julien Lepiller
2021-10-08gnu: ocaml-ctypes: Update to 0.19.1....* 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> Xinglu Chen
2021-10-08gnu: ocaml-migrate-parsetree: Update to 2.2.0....* gnu/packages/ocaml.scm (ocaml-migrate-parsetree): Update to 2.2.0. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Xinglu Chen
2021-10-08gnu: ocaml-bigstringaf: Update to 0.8.0....* gnu/packages/ocaml.scm (ocaml-bigstringaf): Update to 0.8.0. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Xinglu Chen
2021-10-08gnu: ocaml-uuidm: Update to 0.9.7....* gnu/packages/ocaml.scm (ocaml-uuidm): Update to 0.9.7. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Xinglu Chen
2021-10-08gnu: ocaml-cppo: Update to 1.6.8....* gnu/packages/ocaml.scm (ocaml-cppo): Update to 1.6.8. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Xinglu Chen
2021-10-08gnu: ocaml-extlib: Update to 1.7.8....* gnu/packages/ocaml.scm (ocaml-extlib): Update to 1.7.8. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Xinglu Chen
2021-10-08gnu: ocaml-cmdliner: Update to 1.0.4....* gnu/packages/ocaml.scm (ocaml-cmdliner): Update to 1.0.4. [source]: Use HTTPS URL. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Xinglu Chen
2021-10-08gnu: ocaml-alcotest: Update to 1.4.0....* 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> Xinglu Chen
2021-10-08gnu: caf: Update to 0.18.5....* gnu/packages/cpp.scm (caf): Update to 0.18.5. Signed-off-by: Marius Bakke <marius@gnu.org> Greg Hogan
2021-10-08gnu: pcg-cpp: Update to 0.98.1-ffd522e7....* gnu/packages/cpp.scm (pcg-cpp): Update to 0.98.1-ffd522e7. Signed-off-by: Marius Bakke <marius@gnu.org> Greg Hogan
2021-10-08gnu: folly: Update to 2021.10.04.00....* gnu/packages/cpp.scm (folly): Update to 2021.10.04.00. Signed-off-by: Marius Bakke <marius@gnu.org> Greg Hogan
2021-10-08gnu: ceph: Fix breaking change in snappy....* 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> Greg Hogan
2021-10-07gnu: Add erlang-covertool....* gnu/packages/erlang.scm (erlang-covertool): New variable. Hartmut Goebel
2021-10-07gnu: Add erlang-rebar3-proper....* gnu/packages/erlang.scm (erlang-rebar3-proper): New variable. Hartmut Goebel
2021-10-07gnu: Add erlang-rebar3-git-vsn....* gnu/packages/erlang.scm (erlang-rebar3-git-vsn): New variable. Hartmut Goebel
2021-10-07gnu: Add erlang-rebar3-raw-deps....* gnu/packages/erlang.scm (erlang-rebar3-raw-deps): New variable. Hartmut Goebel
2021-10-07gnu: Add erlang-proper....* gnu/packages/erlang.scm (erlang-proper): New variable. Hartmut Goebel
2021-10-07gnu: Add erlang-jsone....* gnu/packages/erlang.scm (erlang-jsone): New variable. Hartmut Goebel
2021-10-07gnu: Add erlang-edown....* gnu/packages/erlang.scm (erlang-edown): New variable. Hartmut Goebel
2021-10-07gnu: Add rebar3....* gnu/packages/erlang.scm (rebar3): New variable. Hartmut Goebel
2021-10-07gnu: Add erlang-relx....* gnu/packages/erlang.scm (erlang-relx): New variable. Hartmut Goebel
2021-10-07gnu: Add erlang-ssl-verify-fun....* gnu/packages/erlang.scm (erlang-ssl-verify-fun): New variable. Hartmut Goebel
2021-10-07gnu: Add erlang-hex-core....* gnu/packages/erlang.scm (erlang-hex-core): New variable. Hartmut Goebel
2021-10-07gnu: Add erlang-parse-trans....* gnu/packages/erlang.scm (erlang-parse-trans): New variable. Hartmut Goebel
2021-10-07gnu: Add erlang-providers....* gnu/packages/erlang.scm (erlang-providers): New variable. Hartmut Goebel
2021-10-07gnu: Add erlang-eunit-formatters....* gnu/packages/erlang.scm (erlang-eunit-formatters): New variable. Hartmut Goebel
2021-10-07gnu: Add erlang-getopt....* gnu/packages/erlang.scm (erlang-getopt): New variable. Hartmut Goebel
2021-10-07gnu: Add erlang-bbmustache....* gnu/packages/erlang.scm (erlang-bbmustache): New variable. Hartmut Goebel
2021-10-07gnu: Add erlang-cth-readable....* gnu/packages/erlang.scm (erlang-cth-readable): New variable. Hartmut Goebel
2021-10-07gnu: Add erlang-erlware-commons....* gnu/packages/erlang.scm (erlang-erlware-commons): New variable. Hartmut Goebel
2021-10-07gnu: Add erlang-certifi....* gnu/packages/erlang.scm (erlang-certifi): New variable. Hartmut Goebel
2021-10-07gnu: Add erlang-cf....* gnu/packages/erlang.scm (erlang-cf): New variable. Hartmut Goebel
2021-10-07gnu: Add emacs-global-tags....* gnu/packages/emacs-xyz.scm (emacs-global-tags): New variable. Clément Lassieur
2021-10-07gnu: sbcl-cl-gserver: Update Git reference....* gnu/packages/lisp-xyz.scm (sbcl-cl-gserver)[source]: Specify commit rather than rely on the tag. Ludovic Courtès
2021-10-07gnu: sbcl-golden-utils: Update source URL....* gnu/packages/lisp-xyz.scm (sbcl-golden-utils)[home-page]: Update. [source]: Update URL. Ludovic Courtès
2021-10-07gnu: emacs-danneskjold-theme: Fix source hash....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. Ludovic Courtès
2021-10-07gnu: font-canada1500: Update hash of source file....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. Ludovic Courtès
2021-10-07gnu: mcrl2: Update hash of modified-in-place tarball....Fixes <https://issues.guix.gnu.org/51074>. * gnu/packages/maths.scm (mcrl2)[source]: Update hash. Ludovic Courtès
2021-10-07gnu: emacs-find-file-in-project: Update Git reference....* gnu/packages/emacs-xyz.scm (emacs-find-file-in-project)[source]: Specify commit rather than tag. Ludovic Courtès
2021-10-07gnu: fet: Add alternative URL for older source tarballs....* gnu/packages/education.scm (fet)[source]: Add "old/" URL. Ludovic Courtès
2021-10-07gnu: redkite: Update source URL....* gnu/packages/audio.scm (redkite)[source]: Update URL. Ludovic Courtès
2021-10-07gnu: pelican: Update to 4.7.0....* 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> Ben Sturmfels
2021-10-07gnu: Add adcli....* gnu/packages/sssd.scm (adcli): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Timotej Lazar
2021-10-07gnu: automake: Add 1.16.5....* gnu/packages/autotools.scm (automake-1.16.5): New variable. Ludovic Courtès
2021-10-07gnu: giac: Update to 1.7.0-37....* gnu/packages/algebra.scm (giac): Update to 1.7.0-37. Nicolas Goaziou
2021-10-07gnu: wireshark: Update to 3.4.9....* gnu/packages/networking.scm (wireshark): Update to 3.4.9. Nicolas Goaziou
generated by cgit v1.2.3 (git 2.46.2) at 2024-12-29 08:11:40 +0000