Julien Lepiller
78c930e617
gnu: ocaml-lwt-react: Update to 1.1.4.
...
* gnu/packages/ocaml.scm (ocaml-lwt-react): Update to 1.1.4.
2021-11-19 03:29:43 +01:00
Julien Lepiller
4c8714d406
gnu: ocaml-lwt: Update to 5.4.2.
...
* gnu/packages/ocaml.scm (ocaml-lwt): Update to 5.4.2.
2021-11-19 03:26:35 +01:00
Julien Lepiller
fff3185995
gnu: dune: Update to 2.9.1.
...
* gnu/packages/ocaml.scm (dune): Update to 2.9.1.
2021-11-19 02:54:00 +01:00
Leo Famulari
794f5a05f7
gnu: linux-libre 5.4: Update to 5.4.160.
...
* gnu/packages/linux.scm (linux-libre-5.4-version): Update to 5.4.160.
(linux-libre-5.4-pristine-source): Update hash.
2021-11-18 20:05:15 -05:00
Leo Famulari
2198d47723
gnu: linux-libre: Update to 5.14.19.
...
* gnu/packages/linux.scm (linux-libre-5.14-version): Update to 5.14.19.
(linux-libre-5.14-pristine-source, deblob-scripts-5.14): Update hashes.
2021-11-18 20:05:09 -05:00
Julien Lepiller
2f1f2ac1e9
gnu: ocaml-alcotest: Update to 1.5.0.
...
* gnu/packages/ocaml.scm (ocaml-alcotest): Update to 1.5.0.
2021-11-19 00:29:53 +01:00
Julien Lepiller
08326f3d62
gnu: Add gplates.
...
* gnu/packages/geo.scm (gplates): New variable.
2021-11-19 00:02:05 +01:00
Julien Lepiller
5012281765
gnu: ocaml-ocp-index: Update to 1.3.2.
...
* gnu/packages/ocaml.scm (ocaml-ocp-index): Update to 1.3.2.
2021-11-18 23:48:50 +01:00
Jacob Hrbek
92d6f17dfd
gnu: Add shell2batch.
...
* gnu/packages/crates-io.scm (shell2batch): New variable.
* gnu/packages/patches/rust-shell2batch-lint-fix.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-11-18 23:35:37 +01:00
Vagrant Cascadian
a8eea7a51e
gnu: qtltools: Fix typo.
...
* gnu/packages/bioinformatics.scm (qtltools)[description]: Switch from "allows
to go" to "allows going".
2021-11-18 14:20:07 -08:00
Vagrant Cascadian
b23d7aa880
gnu: r-bgeecall: Fix typo.
...
* gnu/packages/bioconductor.scm (r-bgeecall)[description]: Switch from "allows
to generate" to "allows generating".
2021-11-18 14:20:03 -08:00
Vagrant Cascadian
de0a3b578e
gnu: python-ueberzug: Fix typo.
...
* gnu/packages/python-xyz.scm (python-ueberzug)[description]: Use "draws"
instead of "allows to draw".
2021-11-18 14:19:59 -08:00
Vagrant Cascadian
6fc80d9d4c
gnu: r-msfeatures: Fix typos.
...
* gnu/packages/bioconductor.scm (r-msfeatures)[description]: Switch from
"allows to" to "can be used" and from "allows to aggregate" to "allows
aggregating".
2021-11-18 14:19:54 -08:00
Julien Lepiller
b1acfb676a
gnu: ocaml-ssl: Update to 0.5.10.
...
* gnu/packages/ocaml.scm (ocaml-ssl): Update to 0.5.10.
2021-11-18 23:17:08 +01:00
Maxim Cournoyer
4c91332cce
gnupg: Honor GnuPG's configuration for the key server.
...
The previous default "pool.sks-keyservers.net" doesn't seem to work anymore;
besides, users know best.
* guix/gnupg.scm (%openpgp-key-server): Default to #f, meaning not provided.
(gnupg-receive-keys): Make SERVER and KEYRING keyword arguments. Adjust doc.
Provide the '--keyserver' argument only when %openpgp-key-server is not #f.
(gnupg-verify*): Do not set a default value for SERVER. Adjust accordingly.
2021-11-18 14:41:53 -05:00
Efraim Flashner
dcc4028c0e
gnu: irrlicht: Update home-page.
...
* gnu/packages/games.scm (irrlicht)[home-page]: Update to new home-page.
2021-11-18 21:13:23 +02:00
Ricardo Wurmus
93b2ce1197
gnu: r-tximeta: Update to 1.12.3.
...
* gnu/packages/bioconductor.scm (r-tximeta): Update to 1.12.3.
2021-11-18 13:18:01 +00:00
Ricardo Wurmus
6a5e5bb9e2
gnu: r-biodb: Update to 1.2.1.
...
* gnu/packages/bioconductor.scm (r-biodb): Update to 1.2.1.
2021-11-18 13:18:01 +00:00
Ricardo Wurmus
13f8140290
gnu: r-chromstar: Update to 1.20.2.
...
* gnu/packages/bioconductor.scm (r-chromstar): Update to 1.20.2.
2021-11-18 13:18:00 +00:00
Ricardo Wurmus
34d17d5f62
gnu: r-scran: Update to 1.22.1.
...
* gnu/packages/bioconductor.scm (r-scran): Update to 1.22.1.
2021-11-18 13:18:00 +00:00
Ricardo Wurmus
0f72bdada5
gnu: r-hdf5array: Update to 1.22.1.
...
* gnu/packages/bioconductor.scm (r-hdf5array): Update to 1.22.1.
2021-11-18 13:18:00 +00:00
Ricardo Wurmus
ddb9d228b4
gnu: r-s4vectors: Update to 0.32.2.
...
* gnu/packages/bioconductor.scm (r-s4vectors): Update to 0.32.2.
2021-11-18 13:18:00 +00:00
Ricardo Wurmus
ef5bbc3416
gnu: r-biocset: Update to 1.8.1.
...
* gnu/packages/bioconductor.scm (r-biocset): Update to 1.8.1.
2021-11-18 13:18:00 +00:00
Ricardo Wurmus
3cfeeace83
gnu: r-biocpkgtools: Update to 1.12.2.
...
* gnu/packages/bioconductor.scm (r-biocpkgtools): Update to 1.12.2.
2021-11-18 13:17:59 +00:00
Ricardo Wurmus
6350413325
gnu: r-mixomics: Update to 6.18.0.
...
* gnu/packages/bioconductor.scm (r-mixomics): Update to 6.18.0.
2021-11-18 13:17:59 +00:00
Ricardo Wurmus
a03c84244d
gnu: r-rsubread: Update to 2.8.1.
...
* gnu/packages/bioconductor.scm (r-rsubread): Update to 2.8.1.
2021-11-18 13:17:59 +00:00
Ricardo Wurmus
d30d9c6001
gnu: r-geoquery: Update to 2.62.1.
...
* gnu/packages/bioconductor.scm (r-geoquery): Update to 2.62.1.
[propagated-inputs]: Add r-r-utils.
2021-11-18 13:17:59 +00:00
Ricardo Wurmus
f4b108d872
gnu: r-icobra: Update to 1.22.1.
...
* gnu/packages/bioconductor.scm (r-icobra): Update to 1.22.1.
2021-11-18 13:17:58 +00:00
Ricardo Wurmus
7e9a13d789
gnu: r-ggtree: Update to 3.2.1.
...
* gnu/packages/bioconductor.scm (r-ggtree): Update to 3.2.1.
2021-11-18 13:17:58 +00:00
Ricardo Wurmus
e52eb93765
gnu: r-treeio: Update to 1.18.1.
...
* gnu/packages/bioconductor.scm (r-treeio): Update to 1.18.1.
2021-11-18 13:17:58 +00:00
Ricardo Wurmus
34ba8b256b
gnu: r-systempiper: Update to 2.0.1.
...
* gnu/packages/bioconductor.scm (r-systempiper): Update to 2.0.1.
2021-11-18 13:17:58 +00:00
Ricardo Wurmus
6b1375d3af
gnu: r-msnbase: Update to 2.20.1.
...
* gnu/packages/bioconductor.scm (r-msnbase): Update to 2.20.1.
2021-11-18 13:17:58 +00:00
Ricardo Wurmus
f917fa4e50
gnu: r-ensembldb: Update to 2.18.2.
...
* gnu/packages/bioconductor.scm (r-ensembldb): Update to 2.18.2.
2021-11-18 13:17:57 +00:00
Ricardo Wurmus
30038c5738
gnu: r-chipseeker: Update to 1.30.2.
...
* gnu/packages/bioconductor.scm (r-chipseeker): Update to 1.30.2.
2021-11-18 13:17:57 +00:00
Ricardo Wurmus
443ed83bc3
gnu: r-annotationdbi: Update to 1.56.2.
...
* gnu/packages/bioconductor.scm (r-annotationdbi): Update to 1.56.2.
2021-11-18 13:17:57 +00:00
Ricardo Wurmus
f66da037b4
tests: Replace texlive importer tests.
...
* tests/texlive.scm (xml, sxml): Remove variables.
("fetch-sxml: returns SXML for valid XML", "sxml->package"): Remove tests.
("texlive->guix-package"): Add new test.
2021-11-18 13:17:57 +00:00
Ricardo Wurmus
424f2c92b4
import: texlive: Take different package database as optional argument.
...
* guix/import/texlive.scm (tlpdb->package): Expect PACKAGE-DATABASE as
argument.
(texlive->guix-package): Accept PACKAGE-DATABASE keyword.
2021-11-18 13:17:57 +00:00
Ricardo Wurmus
a030511fd9
import: texlive: Print inputs with labels and guixified names.
...
* guix/import/texlive.scm (tlpdb->package): Improve handling of propagated-inputs.
2021-11-18 13:17:56 +00:00
Nicolas Goaziou
039c3848c3
gnu: wireshark: Update to 3.4.10.
...
* gnu/packages/networking.scm (wireshark): Update to 3.4.10.
2021-11-18 09:18:41 +01:00
Nicolas Goaziou
f4aa543f74
gnu: emacs-elfeed-score: Update to 1.2.0.
...
* gnu/packages/emacs-xyz.scm (emacs-elfeed-score): Update to 1.2.0.
2021-11-18 09:13:22 +01:00
zimoun
7537ec816f
gnu: coq-stdpp: Adjust '#:make-flags'.
...
* gnu/packages/coq.scm (coq-stdpp)[arguments]<#:make-flags>: Set install
destination.
<#:phases>: Remove replace 'install.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-11-18 04:30:41 +01:00
zimoun
4423caece6
gnu: coq-equations: Adjust '#:make-flags'.
...
* gnu/packages/coq.scm (coq-equations)[arguments]<#:make-flags>: Set install
destination.
<#:phases>: Remove replace 'install.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-11-18 04:25:38 +01:00
zimoun
5d7d64ff85
gnu: coq-autosubst: Adjust '#:make-flags'.
...
* gnu/packages/coq.scm (coq-autosubst)[arguments]<#:make-flags>: Set install
destination.
<#:phases>: Remove replace 'install.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-11-18 04:22:21 +01:00
zimoun
7b93c6d777
gnu: coq-mathcomp: Adjust '#:make-flags'.
...
* gnu/packages/coq.scm (coq-mathcomp)[arguments]<#:make-flags>: Set install
destination.
<#:phases>: Remove replace 'install.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-11-18 04:08:08 +01:00
zimoun
2d60af4d6d
gnu: Add coq-semantics.
...
* gnu/packages/coq.scm (coq-semantics): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-11-18 04:08:00 +01:00
Vagrant Cascadian
e930d4a747
gnu: perl-tie-handle-offset: Fix typo.
...
* gnu/packages/perl.scm (perl-tie-handle-offset)[description]: Fix "This
module" typo.
2021-11-17 17:46:13 -08:00
Vagrant Cascadian
67900b9555
gnu: perl-business-ismn: Fix typo.
...
* gnu/packages/perl.scm (perl-business-ismn)[description]: Fix "This module"
typo.
2021-11-17 17:46:05 -08:00
Vagrant Cascadian
e52032ac1d
gnu: perl-business-issn: Fix typo.
...
* gnu/packages/perl.scm (perl-business-issn)[description]: Fix "This module"
typo.
2021-11-17 17:46:01 -08:00
Vagrant Cascadian
f4f93b38aa
gnu: perl-business-isbn: Fix typo.
...
* gnu/packages/perl.scm (perl-business-isbn)[description]: Fix "This module"
typo.
2021-11-17 17:45:53 -08:00
Vagrant Cascadian
8f6ac12fe4
gnu: perl-test-dir: Fix typo.
...
* gnu/packages/perl-check.scm (perl-test-dir)[description]: Fix "This module"
typo.
2021-11-17 17:45:49 -08:00