tribes/guix
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-11 07:30:38 +02:00
Code Activity
83,655 Commits 73 Branches 40 Tags
3fc0fa988eaaf73da8637dcd152e03749d2eec52
Commit Graph

74708 Commits

Author SHA1 Message Date
Julien Lepiller
3fc0fa988e gnu: ocaml-graphics: Update to 5.1.2. 
* gnu/packages/ocaml.scm (ocaml-graphics): Update to 5.1.2.
 2021-10-08 04:34:11 +02:00
Julien Lepiller
f86cad2fbe gnu: ocaml-version: Add upstream-name. 
* gnu/packages/ocaml.scm (ocaml-version)[properties]: Add upstream-name.
 2021-10-08 04:34:09 +02:00
Julien Lepiller
a3d528fa24 gnu: ocaml-cairo2: Update to 0.6.2. 
* 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-08 04:34:07 +02:00
Julien Lepiller
bf64ef1a83 gnu: ocaml-bisect-ppx: Add upstream-name. 
* gnu/packages/ocaml.scm (ocaml-bisect-ppx)[properties]: Add
upstream-name.
 2021-10-08 04:34:06 +02:00
Julien Lepiller
9eea1f8f6f gnu: ocaml-base64: Update to 3.5.0. 
* gnu/packages/ocaml.scm (ocaml-base64): Update to 3.5.0.
 2021-10-08 04:34:02 +02:00
Julien Lepiller
6516e88fe3 gnu: frama-c: Update to 23.1. 
* gnu/packages/maths.scm (frama-c): Update to 23.1.
 2021-10-08 04:34:00 +02:00
Julien Lepiller
26dd2321fe gnu: why3: Update to 1.4.0. 
* gnu/packages/maths.scm (why3): Update to 1.4.0.
 2021-10-08 04:33:58 +02:00
Julien Lepiller
24fba107d1 gnu: camlzip: Update to 1.11. 
* gnu/packages/ocaml.scm (camlzip): Update to 1.11.
 2021-10-08 04:33:56 +02:00
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
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