Julien Lepiller
b1baba38c0
gnu: coq: Add upstream-name.
...
This prevents an error on inherited packages when running the updater.
* gnu/packages/coq.scm (coq)[properties]: Add upstream-name.
2021-10-08 04:33:52 +02:00
Xinglu Chen
a0804f4445
gnu: 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>
2021-10-08 03:31:32 +02:00
Xinglu Chen
76177e816a
gnu: 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>
2021-10-08 03:28:51 +02:00
Xinglu Chen
14f9caf9de
gnu: 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>
2021-10-08 03:21:08 +02:00
Xinglu Chen
e78d9ea012
gnu: 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>
2021-10-08 03:19:43 +02:00
Xinglu Chen
d11b3bc71c
gnu: 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>
2021-10-08 03:07:39 +02:00
Xinglu Chen
8b9d17e770
gnu: 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>
2021-10-08 03:05:53 +02:00
Xinglu Chen
52e9a8f581
gnu: 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>
2021-10-08 03:03:06 +02:00
Xinglu Chen
6b198cc874
gnu: 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>
2021-10-08 02:52:08 +02:00
Greg Hogan
0a34ba76ef
gnu: caf: Update to 0.18.5.
...
* gnu/packages/cpp.scm (caf): Update to 0.18.5.
Signed-off-by: Marius Bakke <marius@gnu.org>
2021-10-08 00:00:22 +02:00
Greg Hogan
c1d40c2621
gnu: 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>
2021-10-08 00:00:21 +02:00
Greg Hogan
7861d92399
gnu: 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>
2021-10-08 00:00:21 +02:00
Greg Hogan
04c5d89482
gnu: 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>
2021-10-08 00:00:21 +02:00
Hartmut Goebel
f86f7e24b3
gnu: Add erlang-covertool.
...
* gnu/packages/erlang.scm (erlang-covertool): New variable.
2021-10-07 22:35:30 +02:00
Hartmut Goebel
fd4a80a46c
gnu: Add erlang-rebar3-proper.
...
* gnu/packages/erlang.scm (erlang-rebar3-proper): New variable.
2021-10-07 22:35:30 +02:00
Hartmut Goebel
0402da848b
gnu: Add erlang-rebar3-git-vsn.
...
* gnu/packages/erlang.scm (erlang-rebar3-git-vsn): New variable.
2021-10-07 22:35:30 +02:00
Hartmut Goebel
7f039171e9
gnu: Add erlang-rebar3-raw-deps.
...
* gnu/packages/erlang.scm (erlang-rebar3-raw-deps): New variable.
2021-10-07 22:35:30 +02:00
Hartmut Goebel
d37baa4bcf
gnu: Add erlang-proper.
...
* gnu/packages/erlang.scm (erlang-proper): New variable.
2021-10-07 22:35:30 +02:00
Hartmut Goebel
c71bc563f2
gnu: Add erlang-jsone.
...
* gnu/packages/erlang.scm (erlang-jsone): New variable.
2021-10-07 22:35:30 +02:00
Hartmut Goebel
68d3564497
gnu: Add erlang-edown.
...
* gnu/packages/erlang.scm (erlang-edown): New variable.
2021-10-07 22:35:29 +02:00
Hartmut Goebel
1d210dc54d
gnu: Add rebar3.
...
* gnu/packages/erlang.scm (rebar3): New variable.
2021-10-07 22:35:29 +02:00
Hartmut Goebel
1a9063843c
gnu: Add erlang-relx.
...
* gnu/packages/erlang.scm (erlang-relx): New variable.
2021-10-07 22:35:29 +02:00
Hartmut Goebel
8b9b1b3819
gnu: Add erlang-ssl-verify-fun.
...
* gnu/packages/erlang.scm (erlang-ssl-verify-fun): New variable.
2021-10-07 22:35:29 +02:00
Hartmut Goebel
c7339e0a82
gnu: Add erlang-hex-core.
...
* gnu/packages/erlang.scm (erlang-hex-core): New variable.
2021-10-07 22:35:29 +02:00
Hartmut Goebel
735c00978b
gnu: Add erlang-parse-trans.
...
* gnu/packages/erlang.scm (erlang-parse-trans): New variable.
2021-10-07 22:35:29 +02:00
Hartmut Goebel
b2054a5da1
gnu: Add erlang-providers.
...
* gnu/packages/erlang.scm (erlang-providers): New variable.
2021-10-07 22:35:29 +02:00
Hartmut Goebel
d2063c08cc
gnu: Add erlang-eunit-formatters.
...
* gnu/packages/erlang.scm (erlang-eunit-formatters): New variable.
2021-10-07 22:35:29 +02:00
Hartmut Goebel
e10cdd2c74
gnu: Add erlang-getopt.
...
* gnu/packages/erlang.scm (erlang-getopt): New variable.
2021-10-07 22:35:29 +02:00
Hartmut Goebel
f9bd633798
gnu: Add erlang-bbmustache.
...
* gnu/packages/erlang.scm (erlang-bbmustache): New variable.
2021-10-07 22:35:29 +02:00
Hartmut Goebel
8c40443a15
gnu: Add erlang-cth-readable.
...
* gnu/packages/erlang.scm (erlang-cth-readable): New variable.
2021-10-07 22:35:29 +02:00
Hartmut Goebel
29666a1b92
gnu: Add erlang-erlware-commons.
...
* gnu/packages/erlang.scm (erlang-erlware-commons): New variable.
2021-10-07 22:35:29 +02:00
Hartmut Goebel
8184d7679a
gnu: Add erlang-certifi.
...
* gnu/packages/erlang.scm (erlang-certifi): New variable.
2021-10-07 22:35:29 +02:00
Hartmut Goebel
c1f065d9a5
gnu: Add erlang-cf.
...
* gnu/packages/erlang.scm (erlang-cf): New variable.
2021-10-07 22:35:29 +02:00
Hartmut Goebel
1660253c3c
build-system: Add 'rebar3-build-system'.
...
* guix/build-system/rebar3.scm, guix/build/rebar3-build-system.scm: New files.
* Makefile.am (MODULES): Add them.
2021-10-07 22:35:28 +02:00
Hartmut Goebel
d780d0a2bb
import: Add hex.pm importer.
...
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-07 22:35:28 +02:00
Hartmut Goebel
f63c79bf76
Add (guix extracting-download).
...
* guix/extracting-download.scm: New file
* Makefile.am (MODULES): Add it.
2021-10-07 22:24:23 +02:00
Clément Lassieur
34baab7a7b
gnu: Add emacs-global-tags.
...
* gnu/packages/emacs-xyz.scm (emacs-global-tags): New variable.
2021-10-07 18:29:14 +02:00
Ludovic Courtès
f7f036e7c3
gnu: sbcl-cl-gserver: Update Git reference.
...
* gnu/packages/lisp-xyz.scm (sbcl-cl-gserver)[source]: Specify commit
rather than rely on the tag.
2021-10-07 14:45:22 +02:00
Ludovic Courtès
ef93b238f6
gnu: sbcl-golden-utils: Update source URL.
...
* gnu/packages/lisp-xyz.scm (sbcl-golden-utils)[home-page]: Update.
[source]: Update URL.
2021-10-07 14:21:37 +02:00
Ludovic Courtès
910b40060c
gnu: emacs-danneskjold-theme: Fix source hash.
...
Commit e12ba46c4c
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-07 13:17:44 +02:00
Ludovic Courtès
dcd4d69768
gnu: 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.
2021-10-07 13:12:14 +02:00
Ludovic Courtès
16e3f8d90a
gnu: mcrl2: Update hash of modified-in-place tarball.
...
Fixes <https://issues.guix.gnu.org/51074 >.
* gnu/packages/maths.scm (mcrl2)[source]: Update hash.
2021-10-07 12:52:44 +02:00
Ludovic Courtès
944bd79113
gnu: emacs-find-file-in-project: Update Git reference.
...
* gnu/packages/emacs-xyz.scm (emacs-find-file-in-project)[source]:
Specify commit rather than tag.
2021-10-07 12:25:17 +02:00
Ludovic Courtès
e85ccc8b50
gnu: fet: Add alternative URL for older source tarballs.
...
* gnu/packages/education.scm (fet)[source]: Add "old/" URL.
2021-10-07 12:16:32 +02:00
Ludovic Courtès
4ddcd0e206
gnu: redkite: Update source URL.
...
* gnu/packages/audio.scm (redkite)[source]: Update URL.
2021-10-07 12:12:02 +02:00
Ludovic Courtès
1327ec822f
import: crate: Gracefully handle missing license info.
...
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-07 10:47:44 +02:00
Ben Sturmfels
cd52869134
gnu: 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>
2021-10-07 10:47:43 +02:00
Timotej Lazar
6be0bdf506
gnu: Add adcli.
...
* gnu/packages/sssd.scm (adcli): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-10-07 10:47:43 +02:00
Ludovic Courtès
be16519902
gnu: automake: Add 1.16.5.
...
* gnu/packages/autotools.scm (automake-1.16.5): New variable.
2021-10-07 10:47:43 +02:00
Ludovic Courtès
3f717a09e7
guix system: Adjust bootloader message to plural "targets".
...
This is a followup to 2ca982ff41
.
* guix/scripts/system.scm (install): Adjust message to plural 'targets'.
2021-10-07 10:47:43 +02:00