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

86090 commits

This branch
This branch
All branches
Author SHA1 Message Date
Julien Lepiller
5bcf0101b2
gnu: coq-coquelicot: Update to 3.2.0. 
* gnu/packages/coq.scm (coq-coquelicot): Update to 3.2.0.
 2021-11-21 19:27:05 +01:00
Julien Lepiller
698e5c38b4
gnu: coq-mathcomp: Update to 1.13.0. 
* gnu/packages/coq.scm (coq-mathcomp): Update to 1.13.0.
 2021-11-21 19:27:02 +01:00
Julien Lepiller
67fbcd437c
gnu: coq-gappa: Update to 1.5.0. 
* gnu/packages/coq.scm (coq-gappa): Update to 1.5.0.
 2021-11-21 19:26:57 +01:00
Julien Lepiller
45bc66dbe9
gnu: coq-flocq: Update to 3.4.2. 
* gnu/packages/coq.scm (coq-flocq): Update to 3.4.2.
 2021-11-21 19:26:26 +01:00
Julien Lepiller
29e9dc49cc
gnu: camlboot: Increase max-silent-time. 
* gnu/packages/ocaml.scm (camlboot)[properties]: Set max-silent-time to
10 hours.
 2021-11-21 16:20:57 +01:00
Liliana Marie Prikler
f0a30bf8aa
gnu: ibus-theme-tools: Do not delete check phase. 
* gnu/packages/ibus.scm (ibus-theme-tools)[#:tests?]: Add with value #f and
an appropriate comment.
[#:phases]: Drop.
 2021-11-21 15:17:32 +01:00
Songlin Jiang
6972c4f212
gnu: Add ibus-theme-tools. 
* gnu/packages/ibus.scm (ibus-theme-tools): New variable.

Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
 2021-11-21 15:10:39 +01:00
Songlin Jiang
7cc2f02281
gnu: Add gnome-shell-extension-customize-ibus. 
* gnu/packages/gnome-xyz.scm (gnome-shell-extension-customize-ibus): New
variable.

Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
 2021-11-21 15:08:54 +01:00
Jaft
9bfbba8af5
gnu: Add gsimplecal. 
* gnu/packages/calendar.scm (gsimplecal): New variable.

Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
 2021-11-21 09:43:23 +01:00
Julien Lepiller
348f1f7cb5
gnu: camlboot: Update to latest commit. 
* gnu/packages/ocaml.scm (camlboot): Update to latest commit.
 2021-11-21 04:14:49 +01:00
Julien Lepiller
0846e7d326
gnu: Add ocaml-charinfo-width. 
* gnu/packages/ocaml.scm (ocaml4.07-charinfo-width): Replace with...
(ocaml-charinfo-width): ...this. Use latest ocaml package.
 2021-11-20 19:39:57 +01:00
Julien Lepiller
f9bf7de5b4
gnu: Add ocaml-gsl. 
* gnu/packages/ocaml.scm (ocaml4.07-gsl): Replace with...
(ocaml-gsl): ...this. Use latest ocaml package.
(ocaml4.07-gsl-1): Adapt accordingly.
 2021-11-20 19:39:54 +01:00
Julien Lepiller
0481810ebf
gnu: Add ocaml-fftw3. 
* gnu/packages/ocaml.scm (ocaml4.07-fftw3): Replace with...
(ocaml-fftw3) ...this. Use latest ocaml package.
 2021-11-20 19:39:52 +01:00
Julien Lepiller
e9d3f3656b
gnu: Add ocaml-lacaml. 
* gnu/packages/ocaml.scm (ocaml4.07-lacaml): Replace with...
(ocaml-lacaml): ...this.  Use latest ocaml package.
 2021-11-20 19:39:25 +01:00
Leo Famulari
40239e23e8
gnu: linux-libre 5.10: Update to 5.10.80. 
* gnu/packages/linux.scm (linux-libre-5.10-version): Update to 5.10.80.
(linux-libre-5.10-pristine-source): Update hash.
 2021-11-20 13:15:11 -05:00
Leo Famulari
d2f5bc7da8
gnu: linux-libre: Update to 5.14.20. 
* gnu/packages/linux.scm (linux-libre-5.14-version): Update to 5.14.20.
(linux-libre-5.14-pristine-source): Update hash.
 2021-11-20 13:15:07 -05:00
Julien Lepiller
0a4656f1c1
gnu: ocaml-version: Update to 3.4.0. 
* gnu/packages/ocaml.scm (ocaml-version): Update to 3.4.0.
 2021-11-20 17:09:03 +01:00
Julien Lepiller
4378eb9a15
gnu: ocaml-tyxml: Update to 4.5.0. 
* gnu/packages/ocaml.scm (ocaml-tyxml): Update to 4.5.0.
 2021-11-20 17:08:55 +01:00
Julien Lepiller
c2242284ab
gnu: ocaml-topkg: Update to 1.0.4. 
* gnu/packages/ocaml.scm (ocaml-topkg): Update to 1.0.4.
 2021-11-20 17:08:50 +01:00
Julien Lepiller
972c6fe87b
gnu: ocaml-stdlib-shims: Update to 0.3.0. 
* gnu/packages/ocaml.scm (ocaml-stdlib-shims): Update to 0.3.0.
 2021-11-20 17:08:47 +01:00
Julien Lepiller
5a3fcf0cac
gnu: ocaml-sedlex: Update to 2.4. 
* gnu/packages/ocaml.scm (ocaml-sedlex): Update to 2.4.
[native-inputs]: Remove ocamlbuild.
[propagated-inputs]: Remove ocaml-ppx-tools-versioned.
(ocaml4.07-sedlex)[propagated-inputs]: Add ocaml-ppx-tools-versioned.
 2021-11-20 17:08:37 +01:00
Julien Lepiller
40f7eb975b
gnu: ocaml-qtest: Update to 2.11.2. 
* gnu/packages/ocaml.scm (ocaml-qtest): Update to 2.11.2.
 2021-11-20 17:08:33 +01:00
Julien Lepiller
b0e76b0828
gnu: ocaml-qcheck: Update to 0.18. 
* gnu/packages/ocaml.scm (ocaml-qcheck): Update to 0.18.
* gnu/packages/patches/ocaml-qcheck-fix-test-whitespace.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
 2021-11-20 17:08:06 +01:00
Julien Lepiller
0df82727a6
gnu: ocaml-ppx-variants-conv: Update to 0.14.2. 
* gnu/packages/ocaml.scm (ocaml-ppx-variants-conv): Update to 0.14.2.
[origin]: Remove patch.
* gnu/packages/patches/ocaml-ppx-variants-ppxlib-api-change.patch:
Remove file.
* gnu/local.mk (dist_patch_DATA): Remove it.
 2021-11-20 17:07:50 +01:00
Julien Lepiller
97fd67edea
gnu: ocaml-ppx-js-style: Update to 0.14.1. 
* gnu/packages/ocaml.scm (ocaml-ppx-js-style): Update to 0.14.1.
 2021-11-20 17:07:44 +01:00
Julien Lepiller
95e6a977fa
gnu: ocaml-odoc: Update to 2.0.0. 
* gnu/packages/ocaml.scm (ocaml-odoc): Update to 2.0.0.
[inputs, native-inputs]: Adjust inputs.
(ocaml4.07-odoc)[inputs, native-inputs]: Keep previous inputs.
 2021-11-20 17:07:24 +01:00
Julien Lepiller
1277bd9fc0
gnu: ocaml-ocplib-endian: Update to 1.2. 
* gnu/packages/ocaml.scm (ocaml-ocplib-endian): Update to 1.2.
 2021-11-20 17:07:14 +01:00
Julien Lepiller
e46621ca6c
gnu: ocaml-mtime: Update to 1.3.0. 
* gnu/packages/ocaml.scm (ocaml-mtime): Update to 1.3.0.
 2021-11-20 17:07:10 +01:00
Julien Lepiller
63e5e127cb
gnu: ocaml-mdx: Remove unneeded dependency. 
* gnu/packages/ocaml.scm (ocaml-mdx)[inputs]: remove
ocaml-migrate-parsetree.
 2021-11-20 17:06:59 +01:00
Julien Lepiller
e7bf93e5cc
gnu: ocaml-integers: Update to 0.5.1. 2021-11-20 17:06:50 +01:00
Julien Lepiller
426faa76d1
gnu: ocaml-fmt: Update to 0.9.0. 
* gnu/packages/ocaml.scm (ocaml-fmt): Update to 0.9.0.
(ocaml4.07-fmt): New variable.
 2021-11-20 17:06:30 +01:00
Ricardo Wurmus
c618f4a9cc
gnu: pigx-bsseq: Update to 0.1.6. 
* gnu/packages/bioinformatics.scm (pigx-bsseq): Update to 0.1.6.
 2021-11-20 16:31:32 +01:00
Foo Chuan Wei
5b96e96510
gnu: Add cl-flute. 
* gnu/packages/lisp-xyz.scm (cl-flute, ecl-flute, sbcl-flute):
  New variables.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
 2021-11-20 14:55:16 +01:00
Foo Chuan Wei
118382b2a4
gnu: Add cl-let-over-lambda. 
* gnu/packages/lisp-xyz.scm (cl-let-over-lambda, ecl-let-over-lambda,
  sbcl-let-over-lambda): New variables.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
 2021-11-20 14:51:09 +01:00
Foo Chuan Wei
740854ff06
gnu: Add cl-assoc-utils. 
* gnu/packages/lisp-xyz.scm (cl-assoc-utils, ecl-assoc-utils,
  sbcl-assoc-utils): New variables.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
 2021-11-20 14:44:58 +01:00
Ekaitz Zarraga
60bb03605a
gnu: Add libresprite. 
* gnu/packages/game-development.scm (libresprite): New variable.

Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
 2021-11-20 12:16:11 +01:00
Foo Chuan Wei
b7a515c510
gnu: Add litecli. 
* gnu/packages/databases.scm (litecli): New variable.

Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
 2021-11-20 11:41:22 +01:00
Nicolas Goaziou
5c0e4cb107
gnu: python-folium: Fix build. 
* gnu/packages/python-xyz.scm (python-folium): Update hash. Upstream
apparently re-tagged a different commit.
 2021-11-20 09:52:20 +01:00
Nicolas Goaziou
2afe2fe85e
gnu: emacs-iter2: Update to 1.1. 
* gnu/packages/emacs-xyz.scm (emacs-iter2): Update to 1.1.
 2021-11-20 09:42:46 +01:00
Julien Lepiller
70a88dac11
gnu: laby: Fix build. 
* gnu/packages/games.scm (laby)[inputs]: Use lablgtk3.
[arguments]: Remove allow-unsafe-strings phase.
 2021-11-20 04:02:54 +01:00
Julien Lepiller
42eeea188d
gnu: ocaml-frontc: Update to 4.1.0. 
* gnu/packages/ocaml.scm (ocaml-frontc): Update to 4.1.0.
(ocaml4.07-frontc): New variable.
 2021-11-20 03:48:28 +01:00
Julien Lepiller
32cecfa057
gnu: ocaml-fileutils: Update to 0.6.3. 
* gnu/packages/ocaml.scm (ocaml-fileutils): Update to 0.6.3.
 2021-11-20 03:48:21 +01:00
Julien Lepiller
b8f950cf9d
gnu: ocaml-csv: Update to 2.4. 
* gnu/packages/ocaml.scm (ocaml-csv): Update to 2.4.
 2021-11-20 03:48:19 +01:00
Julien Lepiller
8e15801f23
gnu: ocaml-csexp: Update to 1.5.1. 
* gnu/packages/ocaml.scm (ocaml-csexp): Update to 1.5.1.
 2021-11-20 03:48:17 +01:00
Julien Lepiller
25be347f00
gnu: ocaml-compiler-libs: Update to 0.12.4. 
* gnu/packages/ocaml.scm (ocaml-compiler-libs): Update to 0.12.4.
 2021-11-20 03:48:11 +01:00
Julien Lepiller
58d65f9da8
gnu: ocaml-menhir: Make it its own variant. 
* gnu/packages/ocaml.scm (ocaml-menhir)[properties]: Use the same menhir
even with ocaml-4.07.
 2021-11-20 03:48:05 +01:00
Julien Lepiller
718700cc95
gnu: ocaml-bitsring: Update to 4.1.0. 
* gnu/packages/ocaml.scm (ocaml-bitstring): Update to 4.1.0.
(ocaml4.07-bitstring): New variable.
 2021-11-20 03:47:56 +01:00
Julien Lepiller
27c701a17b
gnu: coq-interval: Update home-page. 
* gnu/packages/coq.scm (coq-interval)[home-page]: Update.
 2021-11-20 00:39:01 +01:00
Julien Lepiller
d326fdb7af
gnu: coq-gappa: Update home-page. 
* gnu/packages/coq.scm (coq-gappa)[home-page]: Update.
 2021-11-20 00:38:55 +01:00
Julien Lepiller
5f7fb8bd37
gnu: coq-flocq: Update home-page. 
* gnu/packages/coq.scm (coq-flocq)[home-page]: Update.
 2021-11-20 00:36:08 +01:00