me
/
guix
Archived
1
0
Fork 0
Commit Graph

71395 Commits (4985a4272497bf9ba87a2190353d915da9b55906)

Author SHA1 Message Date
Tobias Geerinckx-Rice fe197971bb
gnu: bash-completion: Look in user directories first.
* gnu/packages/patches/bash-completion-directories.patch: Move user
directories to the head of the list.
2021-06-16 12:13:39 +02:00
Pierre Neidhardt 72a5095e17
gnu: sbcl-quri: Update to 0.4.0.
* gnu/packages/lisp-xyz.scm (sbcl-quri): Update to 0.4.0.
2021-06-16 09:20:27 +02:00
Raghav Gururajan 7959aabbe1
gnu: Add slstatus.
* gnu/packages/suckless.scm (slstatus): New variable.
2021-06-16 02:28:49 -04:00
Boris A. Dekshteyn 9952987273
gnu: font-terminus: Update to 4.49.1.
* gnu/packages/fonts.scm (font-terminus): Update to 4.49.1.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2021-06-15 21:18:54 +03:00
Xinglu Chen 8b07bbdcf7
gnu: python-pygit2: Update to 1.6.0.
* gnu/packages/python-xyz.scm (python-pygit2): Update to 1.6.0.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2021-06-15 21:10:55 +03:00
Solene Rapenne 74218eceae
gnu: rednotebook: Update to 2.22.
* gnu/packages/rednotebook.scm (rednotebook): Update to 2.22.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2021-06-15 21:09:05 +03:00
Vinicius Monego e0407ca0a3
gnu: libngspice: Enable ciderlib.
* gnu/packages/engineering.scm (libngspice)[source]: Remove snippet that
deleted ciderlib.
[arguments]: Pass "--enable-ciderlib" to #:configure-flags.
[license]: Add license for ciderlib.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2021-06-15 20:40:24 +03:00
Vinicius Monego 2b8730bf80
gnu: libngspice: Update to 34.
* gnu/packages/engineering.scm (libngspice): Update to 34.
[source]: Make some cosmetic changes.
[arguments]<#:phases>: Don't return #t.
(ngspice)[arguments]<#:phases>: Don't return #t. Remove 'delete-cmpp-dlmain
phase because these files are not installed anymore.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2021-06-15 20:39:22 +03:00
Jack Hill 2277552a33
gnu: goffice: Update to 0.10.50.
* gnu/packages/gnome.scm (goffice): Update to 0.10.50.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2021-06-15 20:31:32 +03:00
Pierre Neidhardt 41a7df0cf4
gnu: sbcl-cl-webkit: Update to 20210610.
* gnu/packages/lisp-xyz.scm (sbcl-cl-webkit): Update to 20210610.
2021-06-15 15:12:46 +02:00
Tobias Geerinckx-Rice cc1576d54e
gnu: nano: Update to 5.8.
* gnu/packages/nano.scm (nano): Update to 5.8.
2021-06-15 14:31:00 +02:00
Nicolas Goaziou 2c54668d5a
gnu: tectonic: Unbundle Harfbuzz.
* gnu/packages/rust-apps.scm (tectonic)[arguments]<#:cargo-build-flags>: Force
using our Harfbuzz.
2021-06-15 12:07:48 +02:00
Nicolas Goaziou dc5f1d9d05
gnu: tectonic: Update to 0.6.1.
* gnu/packages/rust-apps.scm (tectonic): Update to 0.6.1.
2021-06-15 12:07:48 +02:00
Nicolas Goaziou 44852308f9
gnu: Add rust-tectonic-status-base-0.2.
* gnu/packages/crates-io.scm (rust-tectonic-status-base-0.2): New variable.
(rust-tectonic-status-base-0.1): Inherit from above.
2021-06-15 12:07:48 +02:00
Nicolas Goaziou 23293e2665
gnu: Add rust-tectonic-bridge-core-0.2.
* gnu/packages/crates-io.scm (rust-tectonic-bridge-core-0.2): New variable.
(rust-tectonic-bridge-core-0.1): Inherit from above.
2021-06-15 12:07:47 +02:00
Nicolas Goaziou dfa07bf257
gnu: Add rust-tectonic-io-base-0.3.
* gnu/packages/crates-io.scm (rust-tectonic-io-base-0.3): New variable.
(rust-tectonic-io-base-0.2): Inherit from above.
2021-06-15 12:07:47 +02:00
Nicolas Goaziou 948fb52b2c
gnu: Add rust-tectonic-bundles-0.1.
* gnu/packages/crates-io.scm (rust-tectonic-bundles-0.1): New variable.
2021-06-15 12:07:46 +02:00
Nicolas Goaziou 5759e72639
gnu: Add rust-tectonic-docmodel-0.1.
* gnu/packages/crates-io.scm (rust-tectonic-docmodel-0.1): New variable.
2021-06-15 12:07:46 +02:00
Nicolas Goaziou 050453cf10
gnu: rust-tectonic-engine-xetex-0.1: Update to 0.1.1.
* gnu/packages/crates-io.scm (rust-tectonic-engine-xetex-0.1): Update to 0.1.1.
2021-06-15 12:07:45 +02:00
Mark H Weaver 61b904b744
gnu: icecat: Fix Kerberos support.
Fixes <https://bugs.gnu.org/48959>.

* gnu/packages/gnuzilla.scm (icecat)[arguments]: In the 'wrap-program' phase,
add mit-krb5 to the LD_LIBRARY_PATH.
2021-06-15 04:51:21 -04:00
Nicolas Goaziou 804c3c953e
gnu: emacs-gnugo: Update to 3.1.1.
* gnu/packages/emacs-xyz.scm (emacs-gnugo): Update to 3.1.1.
2021-06-15 08:57:55 +02:00
Christopher Baines a25e051895
gnu: guix-build-coordinator: Update to 0-32.870a0c6.
* gnu/packages/package-management.scm (guix-build-coordinator): Update to to
0-32.870a0c6.
2021-06-14 23:47:17 +01:00
Tobias Geerinckx-Rice e7aac78ee9
gnu: tor: Update to 0.4.6.5.
* gnu/packages/tor.scm (tor): Update to 0.4.6.5.
[source]: Add a patch to fix building with GCC 7.
* gnu/packages/patches/tor-fix-build-with-gcc-7.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
2021-06-14 23:21:16 +02:00
Ricardo Wurmus 748d3a2b8a
gnu: Add python-cgatcore.
* gnu/packages/bioinformatics.scm (python-cgatcore): New variable.
2021-06-14 23:13:56 +02:00
Ricardo Wurmus b63cae13c1
gnu: Add python-ruffus.
* gnu/packages/python-science.scm (python-ruffus): New variable.
2021-06-14 23:13:56 +02:00
Tobias Geerinckx-Rice 27a26663f6
gnu: tor: Update to 0.4.5.9 [security fixes].
This release fixes CVE-2021-34548, CVE-2021-34550, and TROVE-2021-004.

* gnu/packages/tor.scm (tor): Update to 0.4.5.9.
2021-06-14 22:41:40 +02:00
Kei Kebreau e84a710b57
gnu: wxmaxima: Update to 21.05.2.
* gnu/packages/maths.scm (wxmaxima): Update to 21.05.2.
2021-06-14 13:02:50 -04:00
Kei Kebreau a029cb5e5c
gnu: maxima: Update to 5.45.0.
* gnu/packages/maths.scm (maxima): Update to 5.45.0.
2021-06-14 13:02:50 -04:00
Efraim Flashner 48bb619947
gnu: julia-scratch: Update to 1.1.0.
* gnu/packages/julia-xyz.scm (julia-scratch): Update to 1.1.0.
2021-06-14 19:41:03 +03:00
Efraim Flashner d964f9d83a
gnu: julia-reexport: Update to 1.1.0.
* gnu/packages/julia-xyz.scm (julia-reexport): Update to 1.1.0.
2021-06-14 19:41:03 +03:00
Efraim Flashner a424ebdefc
gnu: julia-pdmats: Update to 0.11.1.
* gnu/packages/julia-xyz.scm (julia-pdmats): Update to 0.11.1.
2021-06-14 19:41:03 +03:00
Efraim Flashner f862cb7525
gnu: julia-offsetarrays: Update to 1.9.2.
* gnu/packages/julia-xyz.scm (julia-offsetarrays): Update to 1.9.2.
2021-06-14 19:41:03 +03:00
Efraim Flashner 3e6ee9ee7f
gnu: julia-iocapture: Update to 0.2.2.
* gnu/packages/julia-xyz.scm (julia-iocapture): Update to 0.2.2.
2021-06-14 19:41:03 +03:00
Efraim Flashner bef5db80ee
gnu: julia-ffmpeg: Update to 0.4.1.
* gnu/packages/julia-xyz.scm (julia-ffmpeg): Update to 0.4.1.
2021-06-14 19:41:02 +03:00
Efraim Flashner 96ebbd4598
gnu: julia-docstringextensions: Update to 0.8.5.
* gnu/packages/julia-xyz.scm (julia-docstringextensions): Update to 0.8.5.
2021-06-14 19:41:02 +03:00
Efraim Flashner 272ca183b4
gnu: julia-compat: Update to 3.30.0.
* gnu/packages/julia-xyz.scm (julia-compat): Update to 3.30.0.
2021-06-14 19:41:02 +03:00
Efraim Flashner 963ae006f4
gnu: julia-adapt: Update to 3.3.1.
* gnu/packages/julia-xyz.scm (julia-adapt): Update to 3.3.1.
2021-06-14 19:41:02 +03:00
Efraim Flashner 996f4b9321
gnu: julia-unitful: Update to 1.8.0.
* gnu/packages/julia-xyz.scm (julia-unitful): Update to 1.8.0.
2021-06-14 19:41:02 +03:00
Ludovic Courtès f70c3429ed
services: Remove deprecated service procedures.
These service procedures were deprecated in January 2019, for instance
in commit 65a67bf711.

* gnu/services/avahi.scm (avahi-service): Remove.
* gnu/services/base.scm (console-keymap, guix-service)
(guix-publish-service, gpm-service, urandom-seed-service): Remove.
* gnu/services/desktop.scm (upower-service, colord-service): Remove.
* gnu/services/mcron.scm (mcron-service): Remove.
* gnu/services/messaging.scm (bitlbee-service): Remove.
* gnu/services/networking.scm (dhcp-client-service, ntp-service)
(tor-service): Remove.
* gnu/services/xorg.scm (slim-service, gdm-service): Remove.
2021-06-14 18:35:17 +02:00
Ludovic Courtès 73622e613b
gnu: hwloc: Update to 2.5.0.
* gnu/packages/mpi.scm (hwloc-2): Update to 2.5.0.
2021-06-14 18:35:17 +02:00
Carl Dong 83d9e2ee56
gnu: gcc-8: Make static libs reproducible
This fixes the nonreproducibility in gcc documented here:
https://reproducible-builds.org/docs/archives/#gnu-libtool

* gnu/packages/patches/gcc-8-sort-libtool-find-output.patch: New patch.
* gnu/local.mk (dist_patch_DATA): Register it.
* gnu/packages/gcc.scm (gcc-8)[source]: Apply it.
2021-06-14 12:29:11 -04:00
Ricardo Wurmus 209da4fce6
gnu: Add irods-client-icommands.
* gnu/packages/irods.scm (irods-client-icommands): New variable.
2021-06-14 16:35:06 +02:00
Ricardo Wurmus b2f0271c64
gnu: Add irods.
* gnu/packages/irods.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
2021-06-14 16:35:06 +02:00
Ricardo Wurmus 6ad4c7e0e2
gnu: Add avro-cpp-1.9-for-irods.
* gnu/packages/serialization.scm (avro-cpp-1.9-for-irods): New variable.
2021-06-14 16:35:06 +02:00
Ricardo Wurmus 81e11608cb
gnu: Add fmt-for-irods.
* gnu/packages/pretty-print.scm (fmt-for-irods): New variable.
2021-06-14 16:05:07 +02:00
Ricardo Wurmus 9e220f099d
gnu: Add nanodbc-for-irods.
* gnu/packages/databases.scm (nanodbc-for-irods): New variable.
2021-06-14 16:05:07 +02:00
Ricardo Wurmus a94aef3f8d
gnu: Add snappy-with-clang6.
* gnu/packages/compression.scm (snappy-with-clang6): New variable.
2021-06-14 16:05:07 +02:00
Ricardo Wurmus 2b857ba64c
gnu: Add boost-for-irods.
* gnu/packages/boost.scm (boost-for-irods): New variable.
2021-06-14 16:05:07 +02:00
Efraim Flashner ad2a86b00a
gnu: julia-static: Update to 0.2.5.
* gnu/packages/julia-xyz.scm (julia-static): Update to 0.2.5.
2021-06-14 14:45:24 +03:00
Efraim Flashner 51ef08e592
gnu: julia-weakrefstrings: Update to 1.0.0.
* gnu/packages/julia-xyz.scm (julia-weakrefstrings): Update to 1.0.0.
[propagated-inputs]: Add julia-parsers.
2021-06-14 14:45:23 +03:00
Efraim Flashner 56753c0f2e
gnu: Add julia-referencetests.
* gnu/packages/julia-xyz.scm (julia-referencetests): New variable.
2021-06-14 14:45:23 +03:00
Efraim Flashner 0ffa25213e
gnu: Add julia-imagemagick.
* gnu/packages/julia-xyz.scm (julia-imagemagick): New variable.
2021-06-14 14:45:23 +03:00
Efraim Flashner 6669b005c8
gnu: Add julia-imageinterminal.
* gnu/packages/julia-xyz.scm (julia-imageinterminal): New variable.
2021-06-14 14:45:23 +03:00
Efraim Flashner f4e3a504dc
gnu: Add julia-imagetransformations.
* gnu/packages/julia-xyz.scm (julia-imagetransformations): New variable.
2021-06-14 14:45:23 +03:00
Efraim Flashner fcc15a4a32
gnu: Add julia-interpolations.
* gnu/packages/julia-xyz.scm (julia-interpolations): New variable.
2021-06-14 14:45:23 +03:00
Efraim Flashner 9e21a2a108
gnu: Add julia-coordinatetransformations.
* gnu/packages/julia-xyz.scm (julia-coordinatetransformations): New variable.
2021-06-14 14:45:23 +03:00
Efraim Flashner f5de098ccf
gnu: Add julia-imageshow.
* gnu/packages/julia-xyz.scm (julia-imageshow): New variable.
2021-06-14 14:45:22 +03:00
Efraim Flashner e43c498bb1
gnu: Add julia-imagebase.
* gnu/packages/julia-xyz.scm (julia-imagebase): New variable.
2021-06-14 14:45:22 +03:00
Efraim Flashner 6eb1b1d879
gnu: Add julia-imagemetadata.
* gnu/packages/julia-xyz.scm (julia-imagemetadata): New variable.
2021-06-14 14:45:22 +03:00
Efraim Flashner 57860112ce
gnu: Add julia-imageaxes.
* gnu/packages/julia-xyz.scm (julia-imageaxes): New variable.
2021-06-14 14:45:22 +03:00
Efraim Flashner 87f27b0fc8
gnu: Add julia-imagecore.
* gnu/packages/julia-xyz.scm (julia-imagecore): New variable.
2021-06-14 14:45:22 +03:00
Efraim Flashner a5dc174209
gnu: Add julia-mosaicviews.
* gnu/packages/julia-xyz.scm (julia-mosaicviews): New variable.
2021-06-14 14:45:22 +03:00
Efraim Flashner e490262fbd
gnu: Add julia-stackviews.
* gnu/packages/julia-xyz.scm (julia-stackviews): New variable.
2021-06-14 14:45:22 +03:00
Efraim Flashner f52f7a3085
gnu: Add julia-nlsolversbase.
* gnu/packages/julia-xyz.scm (julia-nlsolversbase): New variable.
2021-06-14 14:45:22 +03:00
Efraim Flashner 01e9e008a4
gnu: Add julia-recursivearraytools.
* gnu/packages/julia-xyz.scm (julia-recursivearraytools): New variable.
2021-06-14 14:45:21 +03:00
Efraim Flashner 9f9d887ef8
gnu: Add julia-finitediff.
* gnu/packages/julia-xyz.scm (julia-finitediff): New variable.
2021-06-14 14:45:21 +03:00
Efraim Flashner ed6c0f8521
gnu: Add julia-positivefactorizations.
* gnu/packages/julia-xyz.scm (julia-positivefactorizations): New variable.
2021-06-14 14:45:21 +03:00
Efraim Flashner e9a0f6a4a5
gnu: Add julia-reversediff.
* gnu/packages/julia-xyz.scm (julia-reversediff): New variable.
2021-06-14 14:45:21 +03:00
Efraim Flashner f9f98a2f06
gnu: Add julia-functionwrappers.
* gnu/packages/julia-xyz.scm (julia-functionwrappers): New variable.
2021-06-14 14:45:21 +03:00
Efraim Flashner ab7d4e851d
gnu: Add julia-recipespipeline.
* gnu/packages/julia-xyz.scm (julia-recipespipeline): New variable.
2021-06-14 14:45:21 +03:00
Efraim Flashner 6ddeadbaf0
gnu: Add julia-testimages.
* gnu/packages/julia-xyz.scm (julia-testimages): New variable.
2021-06-14 14:45:21 +03:00
Efraim Flashner cb66e4ae6a
gnu: Add julia-axisarrays.
* gnu/packages/julia-xyz.scm (julia-axisarrays): New variable.
2021-06-14 14:45:20 +03:00
Efraim Flashner 736eecd52d
gnu: Add julia-intervalsets.
* gnu/packages/julia-xyz.scm (julia-intervalsets): New variable.
2021-06-14 14:45:20 +03:00
Efraim Flashner 25ece40ef7
gnu: Add julia-ellipsisnotation.
* gnu/packages/julia-xyz.scm (julia-ellipsisnotation): New variable.
2021-06-14 14:45:20 +03:00
Efraim Flashner ef15951445
gnu: Add julia-arrayinterface.
* gnu/packages/julia-xyz.scm (julia-arrayinterface): New variable.
2021-06-14 14:45:20 +03:00
Efraim Flashner 52811a7609
gnu: Add julia-deepdiffs.
* gnu/packages/julia-xyz.scm (julia-deepdiffs): New variable.
2021-06-14 14:45:20 +03:00
Efraim Flashner 9810337bb6
gnu: Add julia-fileio.
* gnu/packages/julia-xyz.scm (julia-fileio): New variable.
2021-06-14 14:45:20 +03:00
Efraim Flashner 08ad8d69ed
gnu: Add julia-filepathsbase.
* gnu/packages/julia-xyz.scm (julia-filepathsbase): New variable.
2021-06-14 14:45:20 +03:00
Efraim Flashner a5daa8c0ab
gnu: Add julia-json3.
* gnu/packages/julia-xyz.scm (julia-json3): New variable.
2021-06-14 14:45:19 +03:00
Efraim Flashner adb3d8797d
gnu: Add julia-structtypes.
* gnu/packages/julia-xyz.scm (julia-structtypes): New variable.
2021-06-14 14:45:19 +03:00
Efraim Flashner 2405fcb4bc
gnu: Add julia-combinatorics.
* gnu/packages/julia-xyz.scm (julia-combinatorics): New variable.
2021-06-14 14:45:11 +03:00
Leo Prikler d3ff6e5d1b
gnu: komikku: Update to 0.29.2.
* gnu/packages/gnome.scm (komikku): Update to 0.29.2.
[inputs]: Add python-cloudscraper.
2021-06-14 13:08:45 +02:00
Sharlatan Hellseher 5cf9137ccb
gnu: Add cl-cepl.
* gnu/packages/lisp-xyz.scm (cl-cepl, ecl-cepl, sbcl-cepl): New variables.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2021-06-14 09:55:38 +02:00
Sharlatan Hellseher cb5ba97e1c
gnu: cl-specialized-function: Update to 0.1-3.5e2b044.
* gnu/packages/lisp-xyz.scm: (sbcl-specialized-function): Update to
  0.1-3.5e2b044.
  [arguments]: Enable tests.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2021-06-14 09:55:38 +02:00
Sharlatan Hellseher 7cf3860429
gnu: Add cl-chirp.
* gnu/packages/lisp-xyz.scm (cl-chirp, ecl-chirp, sbcl-chirp): New variables.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2021-06-14 09:55:38 +02:00
Sharlatan Hellseher 901ceafadd
gnu: Add cl-glfw3.
* gnu/packages/lisp-xyz.scm (sbcl-cl-glfw3, ecl-cl-glfw3, cl-glfw3): New
  variables.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2021-06-14 09:55:37 +02:00
Mark H Weaver 26ac7d0246
gnu: nettle-3.7: Update to 3.7.3 [fixes CVE-2021-3580].
* gnu/packages/nettle.scm (nettle-3.7): Update to 3.7.3.
2021-06-14 03:30:13 -04:00
Mark H Weaver 3abaca2aae
gnu: nettle-3.5: Add replacement to fix CVE-2021-3580 et al.
* gnu/packages/patches/nettle-3.5-check-_pkcs1_sec_decrypt-msg-len.patch,
gnu/packages/patches/nettle-3.5-CVE-2021-3580-pt1.patch,
gnu/packages/patches/nettle-3.5-CVE-2021-3580-pt2.patch: New files.
* gnu/local.mk (dist_patch_DATA): Add them.
* gnu/packages/nettle.scm (nettle)[replacement]: New field.
(nettle-3.5/fixed): New variable.
2021-06-14 03:30:03 -04:00
Solene Rapenne d3acad1626
gnu: gnumeric: Update to 1.12.50.
* gnu/packages/gnome.scm (gnumeric): Update to 1.12.50.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2021-06-14 09:49:10 +03:00
Maxim Cournoyer e3d67b71cb
gnu: Add qtbase 6.1.0.
* gnu/packages/qt.scm (qtbase): New variable.
2021-06-14 00:26:20 -04:00
Maxim Cournoyer ea0a51071e
gnu: Rename qtbase to qtbase-5.
This change was automated via the following command:

$ git ls-files | xargs sed -i 's/,qtbase)/,qtbase-5)/g'
$ git ls-files | xargs sed -i 's/inherit qtbase)/inherit qtbase-5)/g'
$ git ls-files | xargs sed -i 's/package-version qtbase)/package-version qtbase-5)/g'
$ git checkout etc    # to clear some spurious changes

This is done so the qtbase package can be upgraded to version 6 in the
following commit.
2021-06-14 00:24:42 -04:00
Solene Rapenne d06cec625d
gnu: prosody: Update to 0.11.9.
* gnu/packages/messaging.scm (prosody): Update to 0.11.9.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-06-13 23:57:45 +02:00
Paul A. Patience 483f537081
doc, gnu, guix: Fix typos.
* doc/guix.texi: Fix various typos and reword a sentence.
* gnu/packages/cpp.scm (cpplint)[description]: Fix typo.
* gnu/packages/dns.scm (ldns): Fix typo in comment.
* gnu/packages/games.scm (yamagi-quake2): Fix typo in comment.
* gnu/packages/qt.scm (python-pyqtwebengine): Fix typo in comment.
* gnu/packages/rails.scm (ruby-autoprefixer-rails): Fix typo in comment.
* gnu/packages/syndication.scm (quiterss)[description]: Fix typo.
* gnu/packages/terminals.scm (kmscon): Fix typo in comment.
* gnu/packages/xml.scm (perl-xml-sax-base)[description]: Fix typo.
  (python-elementpath)[description]: Fix typo.
* guix/build/asdf-build-system.scm (output-translation): Fix typo in docstring.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-06-13 23:57:45 +02:00
Xinglu Chen 44ed008ac1
gnu: proof-general: Update to 4.4-0.bc86736.
There hasn’t been a new release since 2016 and there has been more than 450
new commits since then.

* gnu/packages/coq.scm (proof-general): Update to 4.4-0.bc86736.
[arguments]<#:make-flags>: Set ELISP_START.
<#:phases>: Remove ‘coq-prog’ procedure which was unused; don’t run
‘substitute*’ on bin/proofgeneral since it no longer exists.  Don’t end phases
with #t, this will be unnecessary once the ‘core-updates’ branch is merged.
[home-page]: Remove trailing whitesapce.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-06-13 23:57:45 +02:00
Michael Rohleder 9eabf4983f
gnu: ristretto: Update to 0.11.0.
* gnu/packages/xfce.scm (ristretto): Update to 0.11.0.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-06-13 23:57:45 +02:00
Solene Rapenne ea0a33e8ee
gnu: goaccess: Update to 1.5.
works fine for me, tested with a huge log file and many parameters.

* gnu/packages/web.scm (goaccess): Update to 1.5.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-06-13 23:57:44 +02:00
Leo Famulari ee48e784b9
gnu: connman: Fix CVE-2021-33833.
* gnu/packages/patches/connman-CVE-2021-33833.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/connman.scm (connman)[source]: Use it.
2021-06-13 14:45:19 -04:00
Zheng junjie 7b7399594e
gnu: Add rust-analyzer.
* gnu/packages/rust-apps.scm (rust-analyzer): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:17 +02:00
Zheng junjie 0376b6d4ae
gnu: rust-libc-0.2: Update to 0.2.96.
* gnu/packages/crates-io.scm (rust-libc-0.2): Update to 0.2.96.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:16 +02:00
Zheng junjie edddfe5af7
gnu: rust-oorandom-11.1: Update to 11.1.3.
* gnu/packages/crates-io.scm (rust-oorandom-11.1): Update to 11.1.3.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:16 +02:00
Zheng junjie d325a07d4a
gnu: rust-dissimilar-1: Update to 1.0.2.
* gnu/packages/crates-io.scm (rust-dissimilar-1): Update to 1.0.2.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:16 +02:00
Zheng junjie 6a65ac7055
gnu: rust-indexmap-1: Update to 1.6.2.
* gnu/packages/crates-io.scm (rust-indexmap-1): Update to 1.6.2.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:15 +02:00
Zheng junjie dfef83e03c
gnu: rust-mio-0.7: Update to 0.7.11.
* gnu/packages/crates-io.scm (rust-mio-0.7): Update to 0.7.11.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:15 +02:00
Zheng junjie 8f1915b0c3
gnu: rust-semver-parser-0.10: Update to 0.10.2.
* gnu/packages/crates-io.scm (rust-semver-parser-0.10): Update to 0.10.2.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:15 +02:00
Zheng junjie 2c234f6385
gnu: Add rust-lsp-types-0.89.
* gnu/packages/crates-io.scm (rust-lsp-types-0.89): New variable.
(rust-lsp-types-0.83): inherit from above.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:14 +02:00
Zheng junjie dee3c3bfcc
gnu: Add rust-xflags-0.2.
* gnu/packages/crates-io.scm (rust-xflags-0.2): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:14 +02:00
Zheng junjie 0cc855cf73
gnu: Add rust-xflags-macros-0.2.
* gnu/packages/crates-io.scm (rust-xflags-macros-0.2): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:14 +02:00
Zheng junjie d9d83b482c
gnu: Add rust-write-json-0.1.
* gnu/packages/crates-io.scm (rust-write-json-0.1): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:13 +02:00
Zheng junjie d70f78911d
gnu: Add rust-smol-str-0.1.
* gnu/packages/crates-io.scm (rust-smol-str-0.1): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:13 +02:00
Zheng junjie 7c65ae4197
gnu: Add rust-ungrammar-1.
* gnu/packages/crates-io.scm (rust-ungrammar-1): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:13 +02:00
Zheng junjie 34c474ecf4
gnu: Add rust-serde-path-to-error-0.1.
* gnu/packages/crates-io.scm (rust-serde-path-to-error-0.1): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:12 +02:00
Zheng junjie 94bb3f65b6
gnu: Add rust-pulldown-cmark-to-cmark-6.
* gnu/packages/crates-io.scm (rust-pulldown-cmark-to-cmark-6): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:12 +02:00
Zheng junjie 5e33305f38
gnu: Add rust-rowan-0.13.
* gnu/packages/crates-io.scm (rust-rowan-0.13): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:12 +02:00
Zheng junjie 8b3e8eabdb
gnu: Add rust-m-lexer-0.0.4.
* gnu/packages/crates-io.scm (rust-m-lexer-0.0.4): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:11 +02:00
Zheng junjie 96351de6b2
gnu: Add rust-text-size-1.
* gnu/packages/crates-io.scm (rust-text-size-1): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:11 +02:00
Zheng junjie 6ec682f543
gnu: Add rust-perf-event-0.4.
* gnu/packages/crates-io.scm (rust-perf-event-0.4): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:11 +02:00
Zheng junjie 594137c14f
gnu: Add rust-pulldown-cmark-0.8.
* gnu/packages/crates-io.scm (rust-pulldown-cmark-0.8): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:10 +02:00
Zheng junjie 285a8e048b
gnu: Add rust-markup5ever-rcdom-0.1.
* gnu/packages/crates-io.scm (rust-markup5ever-rcdom-0.1): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:10 +02:00
Zheng junjie ce246feb5b
gnu: Add rust-perf-event-open-sys-1.
* gnu/packages/crates-io.scm (rust-perf-event-open-sys-1): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:10 +02:00
Zheng junjie dfce19156c
gnu: Add rust-randomize-3.
* gnu/packages/crates-io.scm (rust-randomize-3): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:09 +02:00
Zheng junjie 0f118c51eb
gnu: Add rust-notify-5.
* gnu/packages/crates-io.scm (rust-notify-5): New variable.
(rust-notify-4): inherit from above.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:09 +02:00
Zheng junjie b019034cee
gnu: Add rust-fsevent-2.
* gnu/packages/crates-io.scm (rust-fsevent-2): New variable.
(rust-fsevent-0.4): inherit from above.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:09 +02:00
Zheng junjie 2911f5a5e4
gnu: rust-time-0.2: fix inputs.
* gnu/packages/crates-io.scm (rust-time-0.2)[cargo-inputs]: Add rust-version-check-0.9.
[cargo-development-inputs]: Add rust-rand-0.7, rust-serde-json-1,rust-standback-0.2.
Remove rust-version-check-0.9.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:08 +02:00
Zheng junjie 35459b600e
gnu: Add rust-fsevent-sys-3.
* gnu/packages/crates-io.scm (rust-fsevent-sys-3): New variable.
(rust-fsevent-sys-2): inherit from above.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:08 +02:00
Zheng junjie 83ed670443
gnu: Add rust-inotify-0.9.
* gnu/packages/crates-io.scm (rust-inotify-0.9): New variable.
(rust-inotify-0.8): inherit from above.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:08 +02:00
Zheng junjie 76b21762c1
gnu: Add rust-lsp-server-0.5.
* gnu/packages/crates-io.scm (rust-lsp-server-0.5): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:07 +02:00
Zheng junjie 952de8bdc2
gnu: Add rust-lsp-types-0.83.
* gnu/packages/crates-io.scm (rust-lsp-types-0.83): New variable.
(rust-lsp-types-0.80): inherit from above.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:07 +02:00
Zheng junjie b59e785e3c
gnu: Add rust-jod-thread-0.1.
* gnu/packages/crates-io.scm (rust-jod-thread-0.1): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:07 +02:00
Zheng junjie 78387d4672
gnu: Add rust-drop-bomb-0.1.
* gnu/packages/crates-io.scm (rust-drop-bomb-0.1): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:07 +02:00
Zheng junjie 458632fc08
gnu: Add rust-cov-mark-1.
* gnu/packages/crates-io.scm (rust-cov-mark-1): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:06 +02:00
Zheng junjie 3653cfc991
gnu: Add rust-cargo-metadata-0.13.
* gnu/packages/crates-io.scm (rust-cargo-metadata-0.13): New variable.
(rust-cargo-metadata-0.9): inherit from above.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:06 +02:00
Zheng junjie 4f40b4e795
gnu: Add rust-countme-2.
* gnu/packages/crates-io.scm (rust-countme-2): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:06 +02:00
Zheng junjie b9dc1b2552
gnu: Add rust-camino-1.
* gnu/packages/crates-io.scm (rust-camino-1): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:05 +02:00
Zheng junjie 1f92a0ce5a
gnu: Add rust-arrayvec-0.7.
* gnu/packages/crates-io.scm (rust-arrayvec-0.7): New variable.
(rust-arrayvec-0.5): inherit from above.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:05 +02:00
Zheng junjie 493720d233
gnu: Add rust-xshell-0.1.
* gnu/packages/crates-io.scm (rust-xshell-0.1): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:05 +02:00
Zheng junjie 0bba028e65
gnu: Add rust-xshell-macros-0.1.
* gnu/packages/crates-io.scm (rust-xshell-macros-0.1): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:04 +02:00
Zheng junjie 3e825016cb
gnu: Add rust-anymap-0.12.
* gnu/packages/crates-io.scm (rust-anymap-0.12): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:04 +02:00
Zheng junjie b270f0f089
gnu: Add rust-object-0.24.
* gnu/packages/crates-io.scm (rust-object-0.24): New variable.
(rust-object-0.23): inherit from above.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:04 +02:00
Zheng junjie e029ba158f
gnu: Add rust-snap-1.
* gnu/packages/crates-io.scm (rust-snap-1): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:03 +02:00
Zheng Junjie 5e549fb8ed
gnu: Add rust-memmap2-0.2.
* gnu/packages/crates-io.scm (rust-memmap2-0.2): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:03 +02:00
Zheng junjie 751aa90ee4
gnu: Add rust-libloading-0.7.
* gnu/packages/crates-io.scm (rust-libloading-0.7): New variable.
(rust-libloading-0.6): inherit from above.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:03 +02:00
Zheng junjie 3abd9fab74
gnu: Add rust-dot-0.1.
* gnu/packages/crates-io.scm (rust-dot-0.1): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:03 +02:00
Zheng junjie c237f52724
gnu: Add rust-chalk-recursive-0.68.
* gnu/packages/crates-io.scm (rust-chalk-recursive-0.68): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:02 +02:00
Zheng junjie b25f3c8951
gnu: Add rust-chalk-solve-0.68.
* gnu/packages/crates-io.scm (rust-chalk-solve-0.68): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:02 +02:00
Zheng junjie 74910530b6
gnu: Add rust-tracing-tree-0.1.
* gnu/packages/crates-io.scm (rust-tracing-tree-0.1): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:02 +02:00
Zheng junjie 51bad52e24
gnu: Add rust-chalk-ir-0.68.
* gnu/packages/crates-io.scm (rust-chalk-ir-0.68): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:01 +02:00
Zheng junjie 530f32fb8e
gnu: Add rust-chalk-derive-0.68.
* gnu/packages/crates-io.scm (rust-chalk-derive-0.68): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:01 +02:00
Zheng junjie 83e80943c8
gnu: Add rust-tikv-jemalloc-ctl-0.4.
* gnu/packages/crates-io.scm (rust-tikv-jemalloc-ctl-0.4): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:01 +02:00
Zheng junjie 89038e0234
gnu: Add rust-tikv-jemallocator-0.4.
* gnu/packages/crates-io.scm (rust-tikv-jemallocator-0.4): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:00 +02:00
Zheng junjie 61145d2796
gnu: Add rust-tikv-jemalloc-sys-0.4.
* gnu/packages/crates-io.scm (rust-tikv-jemalloc-sys-0.4): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-06-13 19:14:00 +02:00