ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-11-15 19:35:25 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions
83954 commits 1 branch 0 tags 448 MiB
Commit graph

83954 commits

This branch
This branch
All branches
Author SHA1 Message Date
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
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