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

83707 commits

This branch
This branch
All branches
Author SHA1 Message Date
Lars-Dominik Braun
f9250b47d5
gnu: ghc-8: Update to 8.10. 
* gnu/packages/haskell.scm (ghc-8): Update to 8.10.
(ghc-8.8): Rename to just ghc.
(ghc-8.10): Dito.
 2021-10-08 09:13:51 +02:00
John Kehayias
fe56213027
guix: haskell-build-system: Always pass -package-db option. 
* guix/build/haskell-build-system.scm (run-setuphs): Pass -package-db option.

Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
 2021-10-08 09:13:46 +02:00
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
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