nixo
/
guix-devel
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
39,065 Commits 1 Branch 0 Tags 104 MiB
Commit Graph

33264 Commits

Author SHA1 Message Date
Efraim Flashner 8b9fab8f76
gnu: emacs-git-modes: Don't use unstable tarball. 
* gnu/packages/emacs-xyz.scm (emacs-git-mode)[source]: Use 'git-fetch'.
 2019-01-23 10:51:20 +02:00
Rutger Helling 07725a0a66
gnu: wine-staging: Update to 4.0. 
* gnu/packages/wine.scm (wine-staging-patchset-data): Update to 4.0.
* gnu/packages/wine.scm (wine-staging): Update to 4.0.
 2019-01-23 09:14:29 +01:00
Rutger Helling 0e41f95eec
gnu: wine: Update to 4.0. 
* gnu/packages/wine.scm (wine): Update to 4.0.
[inputs]: Add sdl2 and vulkan-loader.
* gnu/packages/wine.scm (wine-staging)[inputs]: Remove sdl2 and vulkan-loader,
inherit from wine instead.
 2019-01-23 09:04:45 +01:00
Mark H Weaver 6a6799b27a
gnu: linux-libre: Update to 4.20.4. 
* gnu/packages/linux.scm (%linux-libre-version): Update to 4.20.4.
(%linux-libre-hash): Update hash.
 2019-01-23 01:16:17 -05:00
Mark H Weaver 5123e57fc9
gnu: linux-libre@4.19: Update to 4.19.17. 
* gnu/packages/linux.scm (%linux-libre-4.19-version): Update to 4.19.17.
(%linux-libre-4.19-hash): Update hash.
 2019-01-23 01:15:20 -05:00
Maxim Cournoyer 82328c0105
gnu: emacs-ert-runner: Update to latest upstream commit. 
The latest tag is many years old, and the latest upstream branch includes
important fixes such as displaying correctly the backtrace upon encountering
errors (see:
4b6e6cb81f).

* gnu/packages/emacs-xyz.scm (emacs-ert-runner): Update to the latest upstream
commit.
[origin]: Use GIT-FETCH instead of URL-FETCH to mitigate against GitHub's
dynamically generated tarballs.
 2019-01-22 21:20:04 -05:00
Ludovic Courtès 2d04076332
gnu: Remove duplicate record fields. 
* gnu/packages/haskell.scm (ghc-case-insensitive): Remove duplicate
'inputs' field.
* gnu/packages/python-xyz.scm (python2-pysnptools): Remove duplicate
'native-inputs' field.
* gnu/tests/install.scm (%separate-home-os): Remove duplicate 'type'
field.
 2019-01-22 23:04:05 +01:00
Ludovic Courtès 323f250da7
vm: Remove unnecessary import. 
* gnu/system/vm.scm: Remove unnecessary (guix scripts pack) import.
 2019-01-22 23:04:05 +01:00
Danny Milosavljevic d1dfcc7c1b
gnu: Add fakeroot. 
* gnu/packages/linux.scm (fakeroot): New variable.
 2019-01-22 16:38:19 +01:00
Danny Milosavljevic c63d7b7975
gnu: Add genext2fs. 
* gnu/packages/linux.scm (genext2fs): New variable.
 2019-01-22 16:12:08 +01:00
Carl Dong 0a59cc6e85
gnu: bitcoin-core: Update to 0.17.1. 
* gnu/packages/finances.scm (bitcoin-core): Update to 0.17.1.

Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
 2019-01-22 15:26:24 +01:00
Danny Milosavljevic 0e9600cbbd
gnu: bitcoin-core: End phase in #t. 
* gnu/packages/finance.scm (bitcoin-core)[arguments]<#:phases>[set-home]:
End phase in #t.
 2019-01-22 15:26:17 +01:00
Carl Dong 99629e5a11
gnu: bitcoin-core: Make bitcoin-qt deterministic. 
* gnu/packages/finance.scm (bitcoin-core)[arguments]<#:phases>
[make-qt-deterministic]: New phase.

Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
 2019-01-22 15:26:03 +01:00
Ricardo Wurmus 0845999a5e
gnu: Add glibc-locales variants for older versions of glibc. 
* gnu/packages/base.scm (make-glibc-locales, make-glibc-utf8-locales): New
procedures.
(glibc-locales): Express in terms of make-glibc-locales.
(glibc-utf8-locales): Express in terms of make-glibc-utf8-locales.
(glibc-locales-2.27, glibc-utf8-locales-2.27): New variables.
 2019-01-22 15:10:59 +01:00
Ricardo Wurmus 11627ca550
gnu: paps: Update to 0.7.0-1.37e6ca1. 
* gnu/packages/pdf.scm (paps): Update to 0.7.0-1.37e6ca1.
[source]: Fetch from git.
[arguments]: Add phase "do-not-run-configure-script-during-bootstrap".
[native-inputs]: Add autoconf, automake, gettext-minimal, glib:bin and
intltool.
[home-page]: Point to Github.
 2019-01-22 15:09:40 +01:00
Efraim Flashner 354d27e5dc
gnu: python-websocket-client: Update to 0.54.0. 
* gnu/packages/python-web.scm (python-websocket-client): Update to 0.54.0.
[properties]: New field.
(python2-websocket-client)[native-inputs]: Add
python2-backport-ssl-match-hostname.
 2019-01-22 12:59:14 +02:00
Efraim Flashner e2227b6ada
gnu: python-isort: Update to 4.3.4. 
* gnu/packages/python-xyz.scm (python-isort): Update to 4.3.4.
[source]: Use 'git-fetch'.
[properties]: New field.
(python2-isort)[native-inputs]: Add python2-futures.
 2019-01-22 11:47:44 +02:00
Efraim Flashner dddd7a75fa
gnu: python-wrapt: Update to 1.11.1. 
* gnu/packages/python-xyz.scm (python-wrapt): Update to 1.11.1.
 2019-01-22 11:47:43 +02:00
Efraim Flashner 2782bd51f4
gnu: python-virtualenv: Update to 16.1.0. 
* gnu/packages/python-xyz.scm (python-virtualenv): Update to 16.1.0.
[arguments]: Move custom 'check phase to custom 'disable-failing-test
phase and re-instate standard 'check phase.
 2019-01-22 11:47:40 +02:00
Taylan Kammer db58e326e5
gnu: guile-bytestructures: Update to 1.0.5. 
* gnu/packages/guile.scm (guile-bytestructures): Update to 1.0.5.
 2019-01-22 02:18:13 +01:00
Ludovic Courtès f896abc71f
gnu: emacs-nix-mode: Move to emacs-xyz.scm. 
This removes emacs-xyz.scm from the closure of (gnu packages base).

* gnu/packages/package-management.scm (emacs-nix-mode): Move back to...
* gnu/packages/emacs-xyz.scm (emacs-nix-mode): ... here.  New variable.
 2019-01-21 23:10:07 +01:00
Pierre Neidhardt 6185732390
gnu: fortune-mod: Skip failing tests. 
* gnu/packages/games.scm (fortune-mod)[arguments]: Skip failing tests.
 2019-01-21 23:06:19 +01:00
Pierre Neidhardt f528588a9f
gnu: mediainfo: Update to 18.12. 
* gnu/packages/video.scm (mediainfo): Update to 18.12.
[arguments]: Remove manual autogen.sh.
 2019-01-21 22:42:48 +01:00
Pierre Neidhardt c0588f98c5
gnu: libzen: Fix sha256 and remove manual autogen.sh. 
* gnu/packages/cpp.scm (libzen)[source]: Fix sha256.
[arguments]: Remove manual autogen.sh.
 2019-01-21 22:40:25 +01:00
Danny Milosavljevic 0233bdde6c
gnu: xen: Update comments. 
* gnu/packages/virtualization.scm (xen): Update comments.
 2019-01-21 12:23:58 +01:00
Danny Milosavljevic 504f3ac840
gnu: xen: Don't patch etherboot Makefile. 
* gnu/packages/virtualization.scm (xen)[arguments]<#:phases>[patch]:
Don't patch etherboot's "Makefile".
 2019-01-21 12:09:32 +01:00
Mathieu Othacehe b65b78ff38
gnu: calibre: Fix PDF to EPUB conversion. 
When trying to convert a PDF to EPUB, the following error occurs:

File "/gnu/store/kz6bgqw9z7akj11zh20wkx14cgq0s3n2-calibre-3.35.0/lib/calibre/calibre/ebooks/pdf/pdftohtml.py", line 76, in pdftohtml
    _('Could not find pdftohtml, check it is in your PATH'))

Hardcode pdftohtml binary path by patching pdftohtml.py.

* gnu/packages/ebook.scm (calibre)[arguments]: Patch pdftohtml.py in
'configure phase to set hardcode pdftohtml binary path.
 2019-01-21 10:56:24 +01:00
Efraim Flashner 26e4203be1
gnu: moreutils: Update to 0.63. 
* gnu/packages/moreutils.scm (moreutils): Update to 0.63.
[arguments]: All phases return #t.
 2019-01-21 11:31:06 +02:00
Efraim Flashner f3359f93f6
gnu: perl-module-scandeps: Update to 1.27. 
* gnu/packages/perl.scm (perl-module-scandeps): Update to 1.27.
 2019-01-21 11:21:14 +02:00
Efraim Flashner 5b0fe2b8f1
gnu: perl-json: Update to 4.01. 
* gnu/packages/perl.scm (perl-json): Update to 4.01.
[source]: Update source uri.
 2019-01-21 11:21:14 +02:00
Efraim Flashner 8c396a0576
gnu: perl-json-xs: Update to 4.0. 
* gnu/packages/perl.scm (perl-json-xs): Update to 4.0.
[native-inputs]: Add perl-canary-stability.
 2019-01-21 11:21:14 +02:00
Efraim Flashner cf867de061
gnu: perl-file-remove: Update to 1.58. 
* gnu/packages/perl.scm (perl-file-remove): Update to 1.58.
[description]: Texify the description.
 2019-01-21 11:21:14 +02:00
Efraim Flashner 755fc87305
gnu: perl-file-homedir: Update to 1.004. 
* gnu/packages/perl.scm (perl-file-homedir): Update to 1.004.
 2019-01-21 11:21:13 +02:00
Efraim Flashner cbe6f6e385
gnu: perl-file-which: Update to 1.23. 
* gnu/packages/perl.scm (perl-file-which): Update to 1.23.
[source]: Update source uri.
[home-page]: Update to new home-page.
 2019-01-21 11:21:13 +02:00
Efraim Flashner 6a19aaca50
gnu: perl-file-slurp: Update to 9999.25. 
* gnu/packages/perl.scm (perl-file-slurp): Update to 9999.25.
[source]: Update source uri.
 2019-01-21 11:21:13 +02:00
Efraim Flashner f860a068f9
gnu: perl-text-template: Update to 1.54. 
* gnu/packages/perl.scm (perl-text-template): Update to 1.54.
[native-inputs]: Add perl-test-more-utf8, perl-test-warnings.
 2019-01-21 11:21:13 +02:00
Efraim Flashner 26eb9260f9
gnu: Add perl-test-more-utf8. 
* gnu/packages/perl-check.scm (perl-test-more-utf8): New variable.
 2019-01-21 11:21:12 +02:00
Ludovic Courtès c680a7daa5
ci: Skip system tests on armhf-linux. 
* gnu/ci.scm (system-test-jobs): Return the empty list when SYSTEM is
"armhf-linux".
 2019-01-21 10:19:31 +01:00
Danny Milosavljevic 7aae5d6154
gnu: xen: Update comment. 
Follow-up to 35e8900da0.

* gnu/packages/virtualization.scm (xen): Update comment.
 2019-01-21 10:15:53 +01:00
Danny Milosavljevic 35e8900da0
gnu: Add xen. 
* gnu/packages/virtualization.scm (xen): New variable.
 2019-01-21 10:15:04 +01:00
Clément Lassieur 0d928d223b
gnu: gajim: Update to 1.1.2. 
* gnu/packages/messaging.scm (gajim): Update to 1.1.2.
 2019-01-21 09:25:43 +01:00
Clément Lassieur 37ce9d957b
gnu: python-nbxmpp: Update to 0.6.9. 
* gnu/packages/messaging.scm (python-nbxmpp): Update to 0.6.9.
 2019-01-21 09:25:39 +01:00
Tobias Geerinckx-Rice 7469b98db3
gnu: xcursorgen: Update to 1.0.7. 
* gnu/packages/xorg.scm (xcursorgen): Update to 1.0.7.
 2019-01-21 03:12:25 +01:00
Tobias Geerinckx-Rice 969bbf8bd6
gnu: umoci: Update to 0.4.3. 
* gnu/packages/virtualization.scm (umoci): Update to 0.4.3.
 2019-01-21 03:12:25 +01:00
Tobias Geerinckx-Rice dba326def1
gnu: vlc: Update to 3.0.6. 
* gnu/packages/video.scm (vlc): Update to 3.0.6.
 2019-01-21 03:12:25 +01:00
Tobias Geerinckx-Rice 17634f0b2a
gnu: perl-xml-compile: Update to 1.61. 
* gnu/packages/xml.scm (perl-xml-compile): Update to 1.61.
 2019-01-21 03:12:25 +01:00
Andreas Enge 8e3e51df11
python-cysignals: Update to 1.9.0. 
* gnu/packages/python-xyz.scm (python-cysignals, python2-cysignals):
Update to 1.9.0.
 2019-01-20 23:32:18 +01:00
Efraim Flashner 32d92d2cde
gnu: freedink-data: Update to 1.08.20190120. 
* gnu/packages/games.scm (freedink-data): Update to 1.08.20190120.
 2019-01-20 22:33:06 +02:00
Efraim Flashner 8ca06df5c2
gnu: freedink-dfarc: Add upstream refresh information. 
* gnu/packages/games.scm (freedink-dfarc)[properties]: New field.
 2019-01-20 22:33:06 +02:00
Efraim Flashner 151fa92672
gnu: fredink-data: Add upstream refresh information. 
* gnu/packages/games.scm (freedink-data)[properties]: New field.
 2019-01-20 22:33:06 +02:00
Efraim Flashner f9eab0be73
gnu: freedink-engine: Add upstream refresh information. 
* gnu/packages/games.scm (freedink-engine)[properties]: New field.
 2019-01-20 22:33:00 +02:00
Pkill -9 e5ad2cdf17
gnu: Add pencil2d. 
* gnu/packages/animation.scm (pencil2d): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2019-01-20 19:21:43 +01:00
Pierre Langlois b06966b4e1
gnu: qjackctl: Disable xunique. 
* gnu/packages/audio.scm (qjackctl)[arguments]: Pass "--disable-xunique" to
configure-flags.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2019-01-20 18:51:51 +01:00
Tobias Geerinckx-Rice ff8a66bc61
gnu: ocrad: Update to 0.27. 
* gnu/packages/ocr.scm (ocrad): Update to 0.27.
 2019-01-20 16:34:43 +01:00
Tobias Geerinckx-Rice 04f3a5a4ae
gnu: links: Update to 2.18. 
* gnu/packages/web-browsers.scm (links): Update to 2.18.
 2019-01-20 16:34:42 +01:00
Tobias Geerinckx-Rice 1c17adbc79
gnu: csound: Update to 6.12.0. 
* gnu/packages/audio.scm (csound): Update to 6.12.0.
 2019-01-20 15:34:09 +01:00
Efraim Flashner cc178ac717
gnu: %desktop-services: Use polkit-service-type. 
* gnu/services/desktop.scm (%desktop-services): Replace polkit-service
with polkit-service-type.
 2019-01-20 16:11:08 +02:00
Efraim Flashner 76a2b2db1a
gnu: %base-services: Use *getty-service-type. 
* gnu/services/base.scm (%base-services): Replace agetty-service with
agetty-service-type, mingetty-service with mingetty-service-type.
 2019-01-20 16:11:07 +02:00
Efraim Flashner 178bce41d8
gnu: %base-services: Use login-service-type. 
* gnu/services/base.scm (login-service-type)[default-value]: New field.
(%base-services): Replace login-service with login-service-type.
 2019-01-20 16:11:05 +02:00
Efraim Flashner fd779db9e4
services: %base-services: Use udev-service-type. 
* gnu/services/base.scm (udev-configuration): Fix typo.
(udev-service-type)[default-value]: New field.
(%base-services): Replace udev-service with udev-service-type.
 2019-01-20 16:11:05 +02:00
Efraim Flashner db9035492b
services: %base-services: Use nscd-service-type. 
* gnu/services/base.scm (nscd-service-type)[default-value]: New field.
(%base-services): Replace nscd-service with nscd-service-type.
 2019-01-20 16:11:04 +02:00
Efraim Flashner 7194745a16
services: Use guix-service-type. 
* gnu/services/base.scm (%base-services): Replace guix-service with
guix-service-type.
* gnu/system/examples/docker-image.tmpl (services): Same.
 2019-01-20 16:11:00 +02:00
Kei Kebreau 71f2b4b8f3
gnu: vboot-utils: Install development keys. 
* gnu/packages/bootloaders.scm (vboot-utils)[arguments]: Add 'install-devkeys'
phase.
 2019-01-20 01:51:39 -05:00
Ludovic Courtès 93d137020b
gnu: subversion: Mention "svn" in the description. 
* gnu/packages/version-control.scm (subversion)[description]: Mention
"svn".
 2019-01-20 01:42:11 +01:00
Ludovic Courtès 7e6d8d366a
ci: Use a valid 'current-guix'. 
This fixes a regression introduced in
b5f8c2c885 whereby 'current-guix' (needed
by some of the system tests) would fail to build.
Reported by Ricardo Wurmus <rekado@elephly.net>.

It also speeds up compilation of 'current-guix' since the channel
instance is already compiled or can be built quickly compared to the
default 'current-guix'.

* gnu/packages/package-management.scm (current-guix-package): New
variable.
(current-guix): Honor it.
* gnu/ci.scm (channel-build-system): New variable.
(channel-instances->derivation): New procedure.
(system-test-jobs): Add #:source and #:commit parameters.
Define 'instance' and parameterize CURRENT-GUIX-PACKAGE.
(hydra-jobs)[checkout, commit, source]: New variables.
Pass #:source and #:commit to 'system-test-jobs'.
 2019-01-20 01:42:11 +01:00
Nicolas Goaziou 85a3d63f4a
gnu: emacs-matrix-client: Update to a0623667. 
* gnu/packages/emacs-xyz.scm (emacs-matrix-client): Update to a0623667.
 2019-01-19 22:32:57 +01:00
Ricardo Wurmus 977403feb2
gnu: texlive-texmf: Fix build. 
This is a follow-up to commit a1b4d62cda.

* gnu/packages/tex.scm (texlive-texmf)[arguments]: Unset texlive-bin search
path.
 2019-01-19 19:55:56 +01:00
Efraim Flashner 560df540a6
gnu: Add endless-sky. 
* gnu/packages/games.scm (endless-sky): New variable.
 2019-01-19 19:18:37 +02:00
Rutger Helling 8d09e97b8c
gnu: wine-staging: Update to 4.0-rc7. 
* gnu/packages/wine.scm (wine-staging-patchset-data): Update to 4.0-rc7.
* gnu/packages/wine.scm (wine-staging): Update to 4.0-rc7.
 2019-01-19 11:28:47 +01:00
Ludovic Courtès 9a0bc7b5aa
gnu: spacefm: Fix build against glibc 2.28. 
* gnu/packages/lxde.scm (spacefm)[source](modules, snippet): New fields.
 2019-01-19 01:26:34 +01:00
Ludovic Courtès 1d80ec44d3
gnu: youtube-dl: Update to 2019.01.17. 
* gnu/packages/video.scm (youtube-dl): Update to 2019.01.17.
 2019-01-19 01:26:34 +01:00
Ludovic Courtès 1a7dbc11c5
maint: Add gnu/ci.scm to the distribution. 
* gnu/local.mk (GNU_SYSTEM_MODULES): Add %D%/ci.scm.
 2019-01-19 01:26:34 +01:00
Leo Famulari d680a8afd1
gnu: Inkscape: Update to 0.92.4. 
* gnu/packages/inkscape.scm (inkscape): Update to 0.92.4.
[source]: Remove obsolete patches.
 2019-01-18 18:45:37 -05:00
Tobias Geerinckx-Rice 043eeda100
gnu: smartmontools: Update to 7.0. 
* gnu/packages/admin.scm (smartmontools): Update to 7.0.
 2019-01-19 00:03:34 +01:00
Tobias Geerinckx-Rice 9e5709f00d
gnu: openconnect: Update to 8.02. 
* gnu/packages/vpn.scm (openconnect): Update to 8.02.
 2019-01-19 00:03:31 +01:00
Tobias Geerinckx-Rice 8b1d0ff43c
gnu: openconnect: Use HTTPS home page. 
* gnu/packages/vpn.scm (openconnect)[home-page]: Use HTTPS.
 2019-01-19 00:03:25 +01:00
Tobias Geerinckx-Rice 3a1d01ca32
gnu: liburcu: Update to 0.10.2. 
* gnu/packages/datastructures.scm (liburcu): Update to 0.10.2.
 2019-01-19 00:03:23 +01:00
Tobias Geerinckx-Rice 4dfda8dce0
gnu: liburcu: Use HTTPS home page. 
* gnu/packages/datastructures.scm (liburcu)[home-page]: Use HTTPS.
 2019-01-19 00:03:14 +01:00
Nicolas Goaziou fdc7299a56
gnu: emacs-matrix-client: Bump revision. 
* gnu/packages/emacs-xyz.scm (emacs-matrix-client): Bump revision to trigger
  the update, since updating commit is not enough.
 2019-01-18 22:28:30 +01:00
Danny Milosavljevic 69e47686c9
tests: docker: Use "package" instead of "dummy-package". 
* gnu/tests/docker.scm (build-tarball&run-docker-test): Use "package" instead
of "dummy-package".
 2019-01-18 22:24:14 +01:00
Ricardo Wurmus 64a1ddba7a
gnu: graphene: Remove custom autogen phase. 
* gnu/packages/gtk.scm (graphene)[arguments]: Remove 'autogen phase.
 2019-01-18 20:37:34 +01:00
Ricardo Wurmus 3b39ae9f4b
gnu: Add libnfs. 
* gnu/packages/file-systems.scm (libnfs): New variable.
 2019-01-18 20:32:24 +01:00
Ricardo Wurmus 204cfbe1f4
gnu: Add mozjs-60. 
* gnu/packages/gnuzilla.scm (mozjs-60): New variable.
 2019-01-18 20:32:12 +01:00
Ricardo Wurmus 6cc147a31b
gnu: mozjs-52: Add configure flag to prevent crash. 
* gnu/packages/gnuzilla.scm (mozjs-52)[arguments]: Pass "--disable-jemalloc"
to prevent crashes in gnome-shell.
 2019-01-18 20:32:04 +01:00
Ricardo Wurmus 4b2ed6c2a3
gnu: Add libdazzle. 
* gnu/packages/gnome.scm (libdazzle): New variable.
 2019-01-18 20:29:28 +01:00
Ricardo Wurmus 0c90d4ad0a
gnu: Add libimobiledevice. 
* gnu/packages/libusb.scm (libimobiledevice): New variable.
 2019-01-18 20:27:58 +01:00
Ricardo Wurmus dddf975ffb
gnu: Add libusbmuxd. 
* gnu/packages/libusb.scm (libusbmuxd): New variable.
 2019-01-18 20:24:00 +01:00
Ricardo Wurmus 1b95533740
gnu: Add libplist. 
* gnu/packages/libusb.scm (libplist): New variable.
 2019-01-18 20:23:54 +01:00
Ricardo Wurmus 3ecb1d0552
gnu: libusb.scm: Use license: prefix. 
* gnu/packages/libusb.scm: Use "license:" prefix.
 2019-01-18 20:23:25 +01:00
Ricardo Wurmus bd9d3db6fe
gnu: Add umockdev. 
* gnu/packages/check.scm (umockdev): New variable.
 2019-01-18 20:22:27 +01:00
Ricardo Wurmus dbac4833b4
gnu: ibus: Do not hardcode Python version. 
* gnu/packages/ibus.scm (ibus)[arguments]: Remove hardcoded Python version.
 2019-01-18 17:58:58 +01:00
Ludovic Courtès 7bf1dc7570
build: Add coq.scm to the distribution. 
This is a followup to 33af92dd99.

* gnu/local.mk (GNU_SYSTEM_MODULES): Add gnu/packages/coq.scm.
 2019-01-18 17:51:34 +01:00
Amin Bandali 6654f8c144
gnu: z3: Update to 4.8.4. 
* gnu/packages/maths.scm (z3): Update to 4.8.4.

Signed-off-by: Leo Famulari <leo@famulari.name>
 2019-01-18 11:12:59 -05:00
Rutger Helling 97da616144
gnu: xpra: Update to 2.4.3. 
* gnu/packages/xorg.scm (xpra): Update to 2.4.3.
 2019-01-18 15:28:46 +01:00
Eric Bavier fd466fb815
gnu: stress-make: Fix glob configuration. 
* gnu/packages/debug.scm (stress-make)[arguments]: Adopt configure cache value
"make_cv_sys_gnu_glob=yes" from gnu-make package.
 2019-01-18 00:30:28 -06:00
Nicolas Goaziou e6ab20f71d
gnu: emacs-matrix-client: Update to 2a95a1f. 
* gnu/packages/emacs-xyz.scm (emacs-matrix-client): Update to 2a95a1f.
[propagated-inputs]: Add `emacs-anaphora'.
 2019-01-17 22:49:12 +01:00
Nicolas Goaziou 60ceff7ef5
gnu: Add emacs-anaphora. 
* gnu/packages/emacs-xyz.scm (emacs-anaphora): New variable.
 2019-01-17 22:48:48 +01:00
Vagrant Cascadian cac00bbd97
gnu: electron-cash: Update to 3.3.4. 
* gnu/packages/finance.scm (electron-cash): Update to 3.3.4.

Signed-off-by: Leo Famulari <leo@famulari.name>
 2019-01-17 16:26:37 -05:00
Mark H Weaver 8b15b3a1e8
gnu: linux-libre: Update to 4.20.3. 
* gnu/packages/linux.scm (%linux-libre-version): Update to 4.20.3.
(%linux-libre-hash): Update hash.
 2019-01-17 16:11:35 -05:00
Mark H Weaver df9db3d1d2
gnu: linux-libre@4.19: Update to 4.19.16. 
* gnu/packages/linux.scm (%linux-libre-4.19-version): Update to 4.19.16.
(%linux-libre-4.19-hash): Update hash.
 2019-01-17 16:10:49 -05:00