Dan Frumin
0b611996b9
gnu: coq-flocq: Update to 3.1.0.
...
* gnu/packages/coq.scm (coq-flocq): Update to 3.1.0.
(coq-interval): Update to 3.4.0.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-03-01 21:52:59 +01:00
Julien Lepiller
15f1bff4b6
nls: Update 'fr' translation of the manual.
2019-03-01 21:52:26 +01:00
Rutger Helling
abfc114ae5
gnu: sdl2: Add KMSDRM video backend.
...
* gnu/packages/sdl.scm (sdl2): Add KMSDRM video backend.
2019-03-01 20:08:38 +01:00
Tobias Geerinckx-Rice
70c8b1ec30
gnu: acpica: Update to 20190215.
...
* gnu/packages/admin.scm (acpica): Update to 20190215.
2019-03-01 18:03:38 +01:00
Marius Bakke
81bb55459a
gnu: libssh: Update to 0.8.7.
...
* gnu/packages/ssh.scm (libssh): Update to 0.8.7.
2019-03-01 17:31:20 +01:00
Marius Bakke
3e493945e8
gnu: re2: Update to 2019-03-01.
...
* gnu/packages/regex.scm (re2): Update to 2019-03-01.
2019-03-01 17:31:19 +01:00
Marius Bakke
407e1dcb72
gnu: libqmi: Update to 1.22.2.
...
* gnu/packages/freedesktop.scm (libqmi): Update to 1.22.2.
2019-03-01 17:31:19 +01:00
Marius Bakke
6c5101f8b6
gnu: libqmi: Don't use NAME in source URI.
...
* gnu/packages/freedesktop.scm (libqmi)[source](uri): Hard-code NAME.
2019-03-01 17:31:19 +01:00
Marius Bakke
3fc700d276
gnu: python-cryptography: Update to 2.6.1.
...
* gnu/packages/python-crypto.scm (python-cryptography-vectors,
python-cryptography): Update to 2.6.1.
2019-03-01 17:31:19 +01:00
Marius Bakke
2833756643
gnu: OpenSSL: Update to 1.1.1b.
...
* gnu/packages/tls.scm (openssl-next): Update to 1.1.1b.
2019-03-01 17:31:19 +01:00
Marius Bakke
82e7a51ccd
gnu: efibootmgr: Remove obsolete configure flag.
...
* gnu/packages/linux.scm (efibootmgr)[arguments]: Don't override CFLAGS.
2019-03-01 17:31:19 +01:00
Marius Bakke
30559d8ffd
gnu: efibootmgr: Don't use NAME in source URI.
...
* gnu/packages/linux.scm (efibootmgr)[source](uri): Hard-code NAME.
2019-03-01 17:31:18 +01:00
Ricardo Wurmus
a27ca96f10
gnu: Add velvet.
...
* gnu/packages/bioinformatics.scm (velvet): New variable.
2019-03-01 12:55:35 +01:00
Ricardo Wurmus
0ce256dc79
gnu: discrover: Remove indirect TexLive dependencies.
...
* gnu/packages/bioinformatics.scm (discrover)[native-inputs]: Remove
texlive-generic-ifxetex, texlive-latex-oberdiek, texlive-latex-url, and
texlive-latex-xcolor from texlive-union.
2019-03-01 12:55:35 +01:00
Ricardo Wurmus
0fc71e4b99
gnu: texlive-latex-pgf: Add missing input.
...
* gnu/packages/tex.scm (texlive-latex-pgf)[propagated-inputs]: Add
texlive-latex-xcolor.
2019-03-01 12:55:35 +01:00
Ricardo Wurmus
8983a52cb4
gnu: asymptote: Remove indirect TexLive dependency.
...
* gnu/packages/plotutils.scm (asymptote)[native-inputs]: Remove
texlive-generic-ifxetex from texlive-union.
2019-03-01 12:55:35 +01:00
Ricardo Wurmus
8412fa6cc7
gnu: hypre: Remove indirect TexLive dependencies.
...
* gnu/packages/maths.scm (hypre)[native-inputs]: Remove
texlive-latex-oberdiek, texlive-generic-ifxetex, and texlive-latex-url from
texlive-union.
2019-03-01 12:55:34 +01:00
Ricardo Wurmus
a9cd7b0314
gnu: texlive-latex-oberdiek: Add ifxetex to inputs.
...
* gnu/packages/tex.scm (texlive-latex-oberdiek)[propagated-inputs]: Add
texlive-generic-ifxetex.
2019-03-01 12:55:34 +01:00
Ricardo Wurmus
2a0bcbf49a
gnu: texlive-latex-hyperref: Add missing inputs.
...
* gnu/packages/tex.scm (texlive-latex-hyperref)[propagated-inputs]: Add
texlive-latex-oberdiek and texlive-latex-url.
2019-03-01 12:55:34 +01:00
Ivan Petkov
7d141788b1
gnu: rust: Factor out "cargo-utils" from "cargo-build-system".
...
* guix/build/cargo-utils.scm: New file.
* Makefile.am (MODULES): Add it.
* guix/build-system/cargo.scm (%cargo-utils-modules): New variable.
(%cargo-build-system-modules): Use it.
* guix/build/cargo-build-system.scm (file-sha256, generate-checksums): Move
from here...
* guix/build/cargo-utils.scm: ...to here.
* gnu/packages/rust.scm (rust-1.19.0)[arguments]<#:imported-modules>: Use
%cargo-utils-modules.
<#:phases>[patch-cargo-checksums]: Use (guix build cargo-utils).
* gnu/packages/gnuzilla.scm (icecat):
[arguments]<#:imported-modules>: Use %cargo-utils-modules.
<#phases>[patch-cargo-checksums]: import (guix build cargo-utils).
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2019-03-01 08:20:50 +01:00
Tobias Geerinckx-Rice
a215c938b3
gnu: openssl@1.1.1a: Don't inherit from openssl/fixed.
...
I was a bit hasty in a92c6b1a2b
.
openssl-next replaces the source, and OpenSSL 1.1.1 is invulnerable.
* gnu/packages/tls.scm (openssl-next)[inherit]: Inherit from openssl
once more.
2019-03-01 00:12:36 +01:00
Tobias Geerinckx-Rice
a92c6b1a2b
gnu: openssl: Fix CVE-2019-1559.
...
* gnu/packages/tls.scm (openssl)[replacement]: New field.
(openssl/fixed): New variable.
(openssl-next)[inherit]: Inherit from it instead.
* gnu/packages/patches/openssl-CVE-2019-1559.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
2019-03-01 00:00:16 +01:00
Tobias Geerinckx-Rice
8849109703
gnu: clementine: Use HTTPS home page.
...
* gnu/packages/music.scm (clementine)[home-page]: Use HTTPS.
2019-02-28 22:35:41 +01:00
Tobias Geerinckx-Rice
ec0b94672b
gnu: libunwind: Update to 1.3.1.
...
* gnu/packages/libunwind.scm (libunwind): Update to 1.3.1.
2019-02-28 22:35:41 +01:00
Tobias Geerinckx-Rice
2a18b57222
gnu: netpbm: Fix CVE-2017-258[67].
...
* gnu/packages/netpbm.scm (netpbm)[source]: Add patches.
* gnu/packages/patches/netpbm-CVE-2017-2586.patch,
gnu/packages/patches/netpbm-CVE-2017-2587.patch: New files.
* gnu/local.mk: Fix missing copyright year.
(dist_patch_DATA): Add them.
2019-02-28 22:35:41 +01:00
Tobias Geerinckx-Rice
13966cbd5e
gnu: supercollider: Update to 3.10.2.
...
* gnu/packages/audio.scm (supercollider): Update to 3.10.2.
[arguments]: Remove ’apply-system-yaml-cpp-fix’ phase.
2019-02-28 22:35:40 +01:00
Marius Bakke
c268c6a03e
gnu: speech-dispatcher: Build against eSpeak NG.
...
* gnu/packages/speech.scm (speech-dispatcher)[inputs]: Change from ESPEAK to
ESPEAK-NG.
2019-02-28 19:08:49 +01:00
Marius Bakke
7566afb1d2
gnu: Add eSpeak NG.
...
* gnu/packages/speech.scm (espeak-ng): New public variable.
2019-02-28 19:08:48 +01:00
Marius Bakke
b8098cc691
gnu: Move espeak to speech.scm.
...
* gnu/packages/audio.scm (espeak): Move from here ...
* gnu/packages/speech.scm (espeak): ... to here.
2019-02-28 19:08:48 +01:00
Marius Bakke
a4b71b32a7
gnu: Add pcaudiolib.
...
* gnu/packages/audio.scm (pcaudiolib): New public variable.
2019-02-28 19:08:48 +01:00
Marius Bakke
5d04ce48d1
gnu: speech-dispatcher: Update to 0.9.0.
...
* gnu/packages/speech.scm (speech-dispatcher): Update to 0.9.0.
[source](uri): Change to new upstream URI.
[arguments]: Add --with-kali and --with-baratinoo to #:configure-flags.
2019-02-28 19:08:48 +01:00
Marius Bakke
2422b1b450
gnu: speech-dispatcher: Don't build static libraries.
...
* gnu/packages/speech.scm (speech-dispatcher)[arguments]: New field.
2019-02-28 19:08:48 +01:00
Marius Bakke
14c272d5ce
gnu: GCC: Update to 8.3.0.
...
* gnu/packages/gcc.scm (gcc-8): Update to 8.3.0.
2019-02-28 19:08:48 +01:00
Marius Bakke
0ad4a12088
gnu: wpa_supplicant: Update to 2.7.
...
* gnu/packages/patches/wpa-supplicant-CVE-2017-13082.patch,
gnu/packages/patches/wpa-supplicant-CVE-2018-14526.patch,
gnu/packages/patches/wpa-supplicant-fix-key-reuse.patch,
gnu/packages/patches/wpa-supplicant-fix-nonce-reuse.patch,
gnu/packages/patches/wpa-supplicant-fix-zeroed-keys.patch,
gnu/packages/patches/wpa-supplicant-krack-followups.patch: Delete files.
* gnu/local.mk (dist_patch_DATA): Adjust accordingly.
* gnu/packages/admin.scm (wpa-supplicant-minimal): Update to 2.7.
[source](patches): Remove.
2019-02-28 19:08:48 +01:00
Efraim Flashner
c643b49244
gnu: Add toot.
...
* gnu/packages/mastodon.scm (toot): New variable.
* gnu/local.mk (GNU_SYSTSEM_MODULES): Register it.
2019-02-28 08:56:59 +02:00
Nicolas Goaziou
a9dac432d9
gnu: giac-xcas: Update to 1.5.0-43.
...
* gnu/packages/algebra.scm (giac-xcas): Update to 1.5.0-43.
2019-02-28 00:39:53 +01:00
Mark H Weaver
275beea9d8
gnu: linux-libre: Update to 4.20.13.
...
* gnu/packages/linux.scm (%linux-libre-version): Update to 4.20.13.
(%linux-libre-hash): Update hash.
2019-02-27 13:48:04 -05:00
Mark H Weaver
fd5784d889
gnu: linux-libre@4.19: Update to 4.19.26.
...
* gnu/packages/linux.scm (%linux-libre-4.19-version): Update to 4.19.26.
(%linux-libre-4.19-hash): Update hash.
2019-02-27 13:47:15 -05:00
Mark H Weaver
70b1b5b7d0
gnu: linux-libre@4.14: Update to 4.14.104.
...
* gnu/packages/linux.scm (%linux-libre-4.14-version): Update to 4.14.104.
(%linux-libre-4.14-hash): Update hash.
2019-02-27 13:46:17 -05:00
Mark H Weaver
c9ac753bce
gnu: linux-libre@4.9: Update to 4.9.161.
...
* gnu/packages/linux.scm (linux-libre-4.9): Update to 4.9.161.
2019-02-27 13:45:27 -05:00
Pierre Neidhardt
933d810e16
gnu: emacs-disk-usage: Update to 1.2.0.
...
* gnu/packages/emacs-xyz.scm (emacs-disk-usage): Update to 1.2.0.
2019-02-27 17:09:22 +01:00
Tobias Geerinckx-Rice
4915894759
gnu: lmdb: Update to 0.9.23.
...
* gnu/packages/databases.scm (lmdb): Update to 0.9.23.
2019-02-27 15:48:53 +01:00
Tobias Geerinckx-Rice
f167b432bb
gnu: lmdb: Don't use unstable tarball.
...
* gnu/packages/databases.scm (lmdb)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
[arguments]: Adjust source directory name.
2019-02-27 15:48:53 +01:00
Tobias Geerinckx-Rice
7e17784cbe
gnu: sbcl: Update to 1.4.16.
...
* gnu/packages/lisp.scm (sbcl): Update to 1.4.16.
2019-02-27 15:48:52 +01:00
Tobias Geerinckx-Rice
e17a0badef
gnu: libblockdev: Update to 2.21.
...
* gnu/packages/disk.scm (libblockdev): Update to 2.21.
2019-02-27 15:48:52 +01:00
Tobias Geerinckx-Rice
17c65da896
gnu: wesnoth: Update to 1.14.6.
...
* gnu/packages/games.scm (wesnoth): Update to 1.14.6.
[source]: Remove upstreamed patch.
* packages/patches/wesnoth-newer-boost.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
2019-02-27 15:48:52 +01:00
Tobias Geerinckx-Rice
0c2e055e18
gnu: wesnoth: Don't use NAME in source URI.
...
* gnu/packages/games.scm (wesnoth)[source]: Hard-code NAME.
2019-02-27 15:48:52 +01:00
Tobias Geerinckx-Rice
a4776d0981
gnu: ddrescue: Update to 1.24.
...
* gnu/packages/disk.scm (ddrescue): Update to 1.24.
2019-02-27 15:48:51 +01:00
Tobias Geerinckx-Rice
5fed63dda9
gnu: eog-plugins: Update to 3.26.3.
...
* gnu/packages/gnome.scm (eog-plugins): Update to 3.26.3.
2019-02-27 15:48:51 +01:00
Tobias Geerinckx-Rice
f3b88ed26c
gnu: eog-plugins: Don't use NAME in source URI.
...
* gnu/packages/gnome.scm (eog-plugins)[source]: Hard-code NAME.
2019-02-27 15:48:51 +01:00