Commit Graph

32352 Commits

Author SHA1 Message Date
Julien Lepiller 34d5314e9c
gnu: ocaml-lambda-term: Use dune-build-system.
* gnu/packages/ocaml.scm (ocaml-lambda-term): Use dune-build-system.
2018-12-18 22:17:12 +01:00
Julien Lepiller 426e629e0c
gnu: ocaml-camomile: Use dune-build-system.
* gnu/packages/ocaml.scm (ocaml-camomile): Use dune-build-system.
2018-12-18 22:16:57 +01:00
Julien Lepiller d6fa189eef
gnu: ocaml-re: Use dune-build-system.
* gnu/packages/ocaml.scm (ocaml-re): Use dune-build-system.
2018-12-18 22:16:55 +01:00
Julien Lepiller 48b27902de
gnu: ocaml-cppo: Use dune-build-system.
* gnu/packages/ocaml.scm (ocaml-cppo): Use dune-build-system.
2018-12-18 22:16:52 +01:00
Julien Lepiller 5d0712638f
gnu: ocaml-lwt-log: Use dune-build-system.
* gnu/packages/ocaml.scm (ocaml-lwt-log): Use dune-build-system.
2018-12-18 22:16:50 +01:00
Julien Lepiller f880b03bca
gnu: ocaml-lwt: Use dune-build-system.
* gnu/packages/ocaml.scm (ocaml-lwt): Use dune-build-system.
2018-12-18 22:16:48 +01:00
Julien Lepiller f93246a541
gnu: ocaml-bitstring: Use dune-build-system.
* gnu/packages/ocaml.scm (ocaml-bitstring): Use dune-build-system.
(ocaml4.02-bitstring)[build-system]: Use ocaml-build-system explicitly.
2018-12-18 22:16:45 +01:00
Julien Lepiller 59fa09e1cd
gnu: ocaml-ppx-tools-versioned: Use dune-build-system.
* gnu/packages/ocaml.scm (ocaml-ppx-tools-versioned): Use
dune-build-system.  Remove duplicate definition.
2018-12-18 22:16:41 +01:00
Julien Lepiller effc8325a5
gnu: ocaml-migrate-parsetree: Use dune-build-system.
* gnu/packages/ocaml.scm (ocaml-migrate-parsetree): Use
dune-build-system.
2018-12-18 22:16:37 +01:00
Nam Nguyen d852cf9e33
gnu: Add sct.
* gnu/packages/xdisorg.scm (sct): New variable.

Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2018-12-18 17:23:39 +01:00
Ludovic Courtès 5de5f81845
file-systems: Have the emergency REPL output to /dev/console.
This fixes a bug whereby all emergency REPL output would go to /dev/klog
and thus, each line would be prefixed by "[12324.432] shepherd[1]: ".

* gnu/build/file-systems.scm (check-file-system): Wrap 'start-repl' call
in 'with-output-to-file'.
2018-12-18 16:04:26 +01:00
Ludovic Courtès 6ea6e1476f
file-systems: Spawn a REPL only when interaction is possible.
Fixes <https://bugs.gnu.org/23697>.
Reported by Jan Nieuwenhuizen <janneke@gnu.org>.

* gnu/build/file-systems.scm (check-file-system): Call 'start-repl' only
if current-input-port passes 'isatty?'.
* gnu/services/shepherd.scm (shepherd-configuration-file): After
'for-each' expression, call 'redirect-port'.
* gnu/tests/base.scm (run-basic-test)["stdin is /dev/null"]: New test.
2018-12-18 16:04:26 +01:00
Rutger Helling 83d4da1211
gnu: libostree: Update to 2018.9.1.
* gnu/packages/package-management.scm (libostree): Update to 2018.9.1.
2018-12-18 14:53:43 +01:00
Jelle Licht 232cc1001d
gnu: emacs-daemons: Update to 2.0.0.
* gnu/packages/emacs.scm (emacs-daemons): Update to 2.0.0.
2018-12-18 11:34:41 +01:00
Pierre Neidhardt ad01ab1610
gnu: emacs-helpful: Update to 0.15.
* gnu/packages/emacs.scm (emacs-helpful): Update to 0.15.
2018-12-18 10:40:54 +01:00
Pierre Neidhardt 809b959680
gnu: emacs-evil-collection: Update to 20181218.
* gnu/packages/emacs.scm (emacs-evil-collection): Update to 20181218.
2018-12-18 09:33:05 +01:00
Rutger Helling c340d8dc74
gnu: git: Update to 2.20.1.
* gnu/packages/version-control.scm (git): Update to 2.20.1.
2018-12-18 09:26:17 +01:00
Arun Isaac 01cb4d4757
gnu: ansible: Work around issues with Guix wrapper scripts.
* gnu/packages/admin.scm (ansible)[source]: Remove
ansible-wrap-program-hack.patch from patches.
[arguments]: Add hide-wrapping and fix-symlinks phases.
* gnu/packages/patches/ansible-wrap-program-hack.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Unregister it.
2018-12-18 11:20:56 +05:30
Mark H Weaver 6a9659f5d8
gnu: linux-libre: Update to 4.19.10.
* gnu/packages/linux.scm (%linux-libre-version): Update to 4.19.10.
(%linux-libre-hash): Update hash.
2018-12-17 23:36:03 -05:00
Mark H Weaver ce146a872c
gnu: linux-libre@4.14: Update to 4.14.89.
* gnu/packages/linux.scm (%linux-libre-4.14-version): Update to 4.14.89.
(%linux-libre-4.14-hash): Update hash.
2018-12-17 23:35:13 -05:00
Mark H Weaver 42159e76e2
gnu: linux-libre@4.9: Update to 4.9.146.
* gnu/packages/linux.scm (linux-libre-4.9): Update to 4.9.146.
2018-12-17 23:34:34 -05:00
Mark H Weaver c15ba0dbf1
gnu: linux-libre@4.4: Update to 4.4.168.
* gnu/packages/linux.scm (linux-libre-4.4): Update to 4.4.168.
2018-12-17 23:33:55 -05:00
Leo Famulari ed411eb2b8
gnu: RawTherapee: Update to 5.5.
* gnu/packages/photo.scm (rawtherapee): Update to 5.5.
2018-12-17 19:58:44 -05:00
Leo Famulari 997aa1af99
gnu: WebKitGTK+ 2.22: Update to 2.22.5 [fixes CVE-2018-4437].
* gnu/packages/webkit.scm (webkitgtk-2.22): Update to 2.22.5.
2018-12-17 18:21:43 -05:00
Ludovic Courtès bafcf1f32f
services: udev: Add 'rules' action.
* gnu/services/base.scm (udev-shepherd-service): Add 'actions' field.
* doc/guix.texi (Base Services): Move "@end deffn" after 'udev-service'
definition.  Mention 'herd rules udev'.
2018-12-17 23:33:42 +01:00
Julien Lepiller 2a6ba9ff61
gnu: opam: Fix package installation.
Opam builds packages in an isolated environment, but packages still
assume they can access system tools like a compiler, make, etc... Mount
/gnu and /run/current-system so these tools are also available to opam
packages on GuixSD.

* gnu/packages/ocaml.scm (opam)[arguments]: Fix bwrap.sh to also mount
the store and the system profile in the opam environment.
2018-12-17 21:30:46 +01:00
Oleg Pykhalov f2f956010c
gnu: zabbix-agentd: Update to 4.0.2.
* gnu/packages/monitoring.scm (zabbix-agentd): Update to 4.0.2.
2018-12-17 22:09:11 +03:00
Oleg Pykhalov 85c07cff9c
services: monitoring: Add 'zabbix-front-end'.
* gnu/services/monitoring.scm (nginx-server-configuration-list?,
serialize-nginx-server-configuration-list, zabbix-front-end-configuration,
zabbix-front-end-config, zabbix-front-end-activation,
generate-zabbix-front-end-documentation): New procedures.
(%zabbix-front-end-configuration-nginx, %maintenance.inc.php,
zabbix-front-end-service-type): New variables.
* doc/guix.texi (Monitoring Services): Document this.
2018-12-17 22:09:11 +03:00
Oleg Pykhalov 1a3e7534d0
gnu: Add php-with-bcmath.
* gnu/packages/php.scm (php-with-bcmath): New variable.
2018-12-17 22:09:11 +03:00
Oleg Pykhalov e517161d6b
services: php-fpm: Add 'timezone' configuration.
* gnu/services/web.scm: (<php-fpm-configuration>)[timezone]: New record field.
(default-php-fpm-config, php-fpm-shepherd-service, php-fpm-activation): Use
this.
* doc/guix.texi (Web Services): Document this.
2018-12-17 22:09:10 +03:00
Oleg Pykhalov 6106d7cae4
services: monitoring: Add 'zabbix-agent'.
* gnu/services/monitoring.scm (zabbix-server-service-type,
zabbix-agent-account, zabbix-agent-activation, zabbix-agent-config-file,
zabbix-agent-shepherd-service, generate-zabbix-agent-documentation): New
procedures.
(zabbix-agent-service-type): New 'service-type'.
* gnu/tests/monitoring.scm (run-zabbix-server-test): Test 'zabbix-agent'.
(%zabbix-os): Add 'zabbix-agent' service.
* doc/guix.texi (Monitoring Services): Document 'zabbix-agent'.
2018-12-17 22:09:10 +03:00
Oleg Pykhalov 6b1c4179e2
services: monitoring: Add 'zabbix-server'.
* gnu/services/monitoring.scm (uglify-field-name, serialize-field,
serialize-number, serialize-list, serialize-string, group?, serialize-group,
include-files?, serialize-include-files, zabbix-server-account,
zabbix-server-config-file, zabbix-server-activation,
zabbix-server-shepherd-service, generate-zabbix-server-documentation,
extra-options, serialize-extra-options): New procedures.
(zabbix-server-service-type): New variable.
* gnu/tests/monitoring.scm (%psql-user-create-zabbix,
%psql-db-zabbix-create-script, %psql-db-create-zabbix, %psql-db-import-zabbix,
%zabbix-os, %test-zabbix): New variables.
(run-zabbix-server-test): New procedure.
* doc/guix.texi (Monitoring Services): Document 'zabbix-server'.

squash! services: monitoring: Add 'zabbix-server'.
2018-12-17 22:09:10 +03:00
Oleg Pykhalov 2c9ac8392a
gnu: zabbix-server: Split output.
* gnu/packages/monitoring.scm (zabbix-server)[outputs]: Add 'front-end' and
'schema' outputs.
2018-12-17 22:09:10 +03:00
Rutger Helling a7ad051d8a
gnu: wget: Update to 1.20.
* gnu/packages/wget.scm (wget): Update to 1.20.
2018-12-17 16:18:35 +01:00
Efraim Flashner 1e2ebf7ca4
gnu: tree: Update to 1.8.0.
* gnu/packages/admin.scm (tree): Update to 1.8.0.
2018-12-17 12:08:06 +02:00
Efraim Flashner 5c0b6d1b1d
gnu: elemental: Don't use unstable tarball.
* gnu/packages/maths.scm (elemental)[source]: Download source using
git-fetch.
2018-12-17 12:08:06 +02:00
Efraim Flashner 3b42e2be92
gnu: elemental: Fix indentation.
* gnu/packages/maths.scm (elemental): Fix indentation of the package
definition.
2018-12-17 12:08:06 +02:00
Efraim Flashner ad6c6a5be5
gnu: z3: Fix building on non-Intel machines.
* gnu/packages/maths.scm (z3)[arguments]: Add phase to remove
unnecessary include statement.
2018-12-17 12:08:06 +02:00
Efraim Flashner 2d7b99b3c6
gnu: z3: Declare source-file-name.
* gnu/packages/maths.scm (z3)[source]: Add missing 'file-name.
2018-12-17 12:08:05 +02:00
Efraim Flashner 917f5ee75c
gnu: kicad: Don't hardcode version numbers.
* gnu/packages/engineering.scm (kicad)[source]: Replace hardcoded
version number with parameterized one.
[arguments]: Same.
2018-12-17 12:08:05 +02:00
Efraim Flashner 4ae16f9c4e
gnu: avogadro: Don't hardcode python version.
* gnu/packages/chemistry.scm (avogadro)[arguments]: Replace hardcoded
python version with parametrized one.
2018-12-17 12:08:05 +02:00
Efraim Flashner 2f3977b9a7
gnu: gess: Don't hardcode python version.
* gnu/packages/bioinformatics.scm (gess)[arguments]: Replace hardcoded
python version with parameterized one.
2018-12-17 12:08:05 +02:00
Efraim Flashner cc729d257c
gnu: nmap: Don't hardcode python version.
* gnu/packages/admin.scm (nmap)[arguments]: Replace hardcoded python
version with parameterized one.
2018-12-17 12:08:01 +02:00
Rutger Helling f8be7664cb
gnu: virt-manager: Update to 2.0.0.
* gnu/packages/virtualization.scm (virt-manager): Update to 2.0.0.
[arguments]: Don't build with Python 2.
[inputs]: Replace Python 2 inputs with Python 3 versions.
2018-12-17 10:58:42 +01:00
Arun Isaac 6845fdc710
gnu: ansible: Update to 2.7.5.
* gnu/packages/admin.scm (ansible): Update to 2.7.5.
2018-12-17 15:12:15 +05:30
Nicolas Goaziou 4b4ccb45fa
gnu: mame: Update to 0.204.
* gnu/packages/emulators.scm (mame): Update to 0.204.
[arguments]: Add phase to fix compilation error.
2018-12-16 23:51:31 +01:00
Leo Famulari 2119cd3a35
gnu: Go 1.11: Update to 1.11.4 [fixes CVE-2018-{16873,16874}].
* gnu/packages/golang.scm (go-1.11): Update to 1.11.4.
2018-12-16 16:24:12 -05:00
Rutger Helling 6da907193b
gnu: lookingglass: Update to a12.
* gnu/packages/virtualization.scm (lookingglass): Update to a12.
[build-system]: Use cmake-build-system.
[arguments]: Add 'chdir-to-client phase.
2018-12-16 22:18:15 +01:00
Jan Nieuwenhuizen 504d9fcb85
gnu: mes: Update to 0.19.
* gnu/packages/mes.scm (mes): Update to 0.19.
2018-12-16 19:58:31 +01:00
Arun Isaac 7101196448
gnu: emacs-tracking: Enable tests.
* gnu/packages/emacs.scm (emacs-tracking)[arguments]: Append to arguments
inherited from emacs-circe, instead of overwriting them.
2018-12-16 23:56:07 +05:30
Arun Isaac 665f459118
gnu: emacs-circe: Enable tests.
* gnu/packages/emacs.scm (emacs-circe)[arguments]: Enable tests. Set
test-command. Add set-home phase.
[native-inputs]: Add emacs-buttercup.
2018-12-16 23:56:07 +05:30
Arun Isaac 04eb2645bd
gnu: Add emacs-buttercup.
* gnu/packages/emacs.scm (emacs-buttercup): New variable.
2018-12-16 23:55:59 +05:30
Pierre Neidhardt 2c742a06c8
gnu: Add trivial-clipboard.
* gnu/packages/lisp.scm (cl-trivial-clipboard, ecl-trivial-clipboard,
  sbcl-trivial-clipboard): New variables.
2018-12-16 16:39:48 +01:00
Pierre Langlois ba9ba64d93
gnu: stumpwm: Update to 18.11.
* gnu/packages/lisp.scm (stumpwm): Update to 18.11.
[native-inputs]: New field.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2018-12-16 16:28:07 +01:00
Pierre Langlois 1075623a5c
gnu: Add sbcl-fiasco.
* gnu/packages/lisp.scm (sbcl-fiasco, cl-fiasco, ecl-fiasco): New variables.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2018-12-16 16:28:07 +01:00
Ludovic Courtès ee8ee74820
gnu: guile: Do not warn about 'madvise' ENOSYS on GNU/Hurd.
* gnu/packages/guile.scm (guile-2.2)[arguments]: When 'hurd-target?'
returns true, add 'allow-madvise-ENOSYS' phase.
2018-12-16 16:28:07 +01:00
Ludovic Courtès 92391eaf8d
gnu: glibc: Add patch implementing "pid/…" magic lookup on the Hurd.
This patch is missing from glibc 2.28 and is needed to support
/proc/self lookup when using the Hurd's procfs, which in turn is needed
for our 'guile-relocatable.patch'.

See <https://lists.gnu.org/archive/html/bug-hurd/2018-12/msg00024.html>.

* gnu/packages/patches/glibc-hurd-magic-pid.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/base.scm (glibc)[arguments]: Add 'apply-hurd-patch'
phase.
[native-inputs]: Add "hurd-magic-pid-patch" input.
* gnu/packages/cross-base.scm (cross-libc)[arguments]: Duplicate
'apply-hurd-patch' phase.
2018-12-16 16:28:07 +01:00
Efraim Flashner 938078a34d
gnu: mail.scm: Sort module imports alphabetically.
* gnu/packages/mail.scm: Sort module imports alphabetically.
2018-12-16 15:42:05 +02:00
Efraim Flashner 224b1c833d
gnu: khard: Update to 0.12.2.
* gnu/packages/mail.scm (khard): Update to 0.12.2.
[propagated-inputs]: Add python-ruamel.yaml, python-unidecode. Sort
alphabetically.
2018-12-16 15:38:56 +02:00
Efraim Flashner 7d6cfa4425
gnu: mit-scheme: Match all systems in "source" input.
This fixes a regression from d870cc5e8a.

* gnu/packages/scheme.scm (mit-scheme)[inputs]: Add the catch-all case
for the "source" input.
2018-12-16 15:04:28 +02:00
Efraim Flashner d7571ff52f
gnu: urlscan: Update to 0.9.1.
* gnu/packages/mail.scm (urlscan): Update to 0.9.1.
2018-12-16 12:48:58 +02:00
Vagrant Cascadian 04e46b988a
gnu: arm-trusted-firmware-sun50i-a64: Update to 2.0-2.98aab97.
* gnu/packages/firmware (arm-trusted-firmware-sun50i-a64): Update to
  2.0-2.98aab97.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2018-12-16 12:00:06 +02:00
Vagrant Cascadian 9f23f6bc2f
gnu: python-pyelftools: Fix tests with python 3.7.
* gnu/packages/python.scm (python-pyelftools)
  [native-inputs]: Remove python-setuptools.
  [arguments]: Add set-pythonpath phase.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2018-12-16 11:55:13 +02:00
Efraim Flashner 978154aee5
gnu: gcl: Build with standard gcc.
* gnu/packages/lisp.scm (gcl)[native-inputs]: Remove gcc@4.9.
2018-12-16 09:39:34 +02:00
Efraim Flashner f5d4c46c2c
gnu: flatbuffers: Set source file name.
* gnu/packages/serialization.scm (flatbuffers)[source]: Add missing
'file-name field.
2018-12-15 22:23:30 +02:00
Leo Famulari edc6dd0324
gnu: Singularity: Update to 2.6.1 [fixes CVE-2018-19295].
Our Singularity package is not vulnerable to CVE-2018-19295 by default,
becuase that vulnerability is based on the 'mount', 'start', and
'action' Singularity binaries being installed setuid, which we do not do
in Guix.

* gnu/packages/linux.scm (singularity): Update to 2.6.1.
2018-12-15 14:37:24 -05:00
Feng Shu da19696ec6
gnu: emacs-switch-window: Update to 1.6.2.
* gnu/packages/emacs.scm (emacs-switch-window): Update to 1.6.2.
[source]: Use git-fetch.

Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
2018-12-15 11:52:35 +05:30
Feng Shu 1827e8db93
gnu: emacs-pyim: Update to 1.8.
* gnu/packages/emacs.scm (emacs-pyim): Update to 1.8.
[source]: Use git-fetch.
[propagated-inputs]: Remove emacs-pos-tip. Add emacs-posframe.

Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
2018-12-15 11:52:35 +05:30
Feng Shu 4803ce1d6c
gnu: Add emacs-posframe.
* gnu/packages/emacs.scm (emacs-posframe): New variable.

Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
2018-12-15 11:52:35 +05:30
Feng Shu 0a2872eeaa
gnu: emacs-exwm-x: Update to 1.9.0.
* gnu/packages/emacs.scm (emacs-exwm-x): Update to 1.9.0.
[source]: Use git-fetch.

Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
2018-12-15 11:52:21 +05:30
Ludovic Courtès 966629a114
gnu: mit-scheme: Match all the system types in 'inputs'.
Fixes a regression introduced in
d870cc5e8a whereby "guix package -A" on
one of the non-x86 systems would crash.

* gnu/packages/scheme.scm (mit-scheme)[inputs]: Reintroduce catch-all
case.
2018-12-14 23:55:55 +01:00
Ludovic Courtès 4dd1edc7ae
gnu: glibc-stripped: Empty 'native-inputs' and 'propagated-inputs'.
These would needlessly pull in linux-libre-headers when running
"guix build bootstrap-tarballs --target=i586-pc-gnu".

* gnu/packages/make-bootstrap.scm (%glibc-stripped)[native-inputs]
[propagated-inputs]: New fields.
2018-12-14 23:55:55 +01:00
Nicolas Goaziou 6ec3de976b
gnu: wireshark: Update to 2.6.5.
* gnu/packages/networking.scm (wireshark): Update to 2.6.5.
2018-12-14 23:42:25 +01:00
Pierre Neidhardt 1e0f2ae028
gnu: chez-sockets: Replace texlive input with minimal texlive-union.
* gnu/packages/chez.scm (chez-sockets)[native-inputs]: Replace texlive with minimal texlive-union.
2018-12-14 23:32:39 +01:00
Pierre Neidhardt bc9319f42b
gnu: chez-web: Replace texlive input with minimal texlive-union.
* gnu/packages/chez.scm (chez-web)[native-inputs]: Replace texlive with minimal texlive-union.
2018-12-14 23:32:39 +01:00
Pierre Neidhardt a5bfedb45c
gnu: Add texlive-context-base.
* gnu/packages/tex.scm (texlive-context-base): New variable.
2018-12-14 23:32:39 +01:00
Pierre Neidhardt 744b883ed6
gnu: Add texlive-fonts-charter.
* gnu/packages/tex.scm (texlive-fonts-charter): New variable.
2018-12-14 23:32:39 +01:00
Pierre Neidhardt 7002a45d69
gnu: texlive-generic-pdftex: Include pdftex map.
* gnu/packages/tex.scm (texlive-generic-pdftex): Include pdftex map.
2018-12-14 23:32:39 +01:00
Pierre Neidhardt 6534e8853d
gnu: texlive-fonts-cm: Include type1 fonts.
* gnu/packages/tex.scm (texlive-fonts-cm): Include type1 fonts.
2018-12-14 23:32:39 +01:00
Pierre Neidhardt bbd30e9785
gnu: texlive-dvips: Include all maps.
* gnu/packages/tex.scm (texlive-dvips): Include all maps.
2018-12-14 23:32:39 +01:00
Pierre Neidhardt 68139bce4a
gnu: unison: Replace texlive input with texlive-tiny.
* gnu/packages/ocaml.scm (unison)[native-inputs]: Replace texlive with texlive-tiny.
2018-12-14 23:32:39 +01:00
Pierre Neidhardt 9b405aeaa2
gnu: hypre: Replace texlive input with minimal texlive-union.
* gnu/packages/maths.scm (hypre)[native-inputs]: Replace texlive with minimal
  texlive-union.
2018-12-14 23:32:39 +01:00
Pierre Neidhardt 3159568951
gnu: Add texlive-bibtex.
* gnu/packages/tex.scm (texlive-bibtex): New variable.
2018-12-14 23:32:39 +01:00
Pierre Neidhardt 1d9ce461f2
gnu: Add texlive-fonts-xypic.
* gnu/packages/tex.scm (texlive-fonts-xypic): New variable.
2018-12-14 23:32:38 +01:00
Pierre Neidhardt 547ab6506f
gnu: Add texlive-generic-xypic.
* gnu/packages/tex.scm (texlive-generic-xypic): New variable.
2018-12-14 23:32:38 +01:00
Pierre Neidhardt 8a2cfc7bea
gnu: coq: Remove unused texlive and hevea from native-inputs.
* gnu/packages/ocaml.scm (coq)[native-inputs]: Remove unused texlive and
  hevea.
2018-12-14 23:32:38 +01:00
Pierre Neidhardt 13d37d8403
gnu: chez-web: Fix conflicting bootstrap phase.
* gnu/packages/chez.scm (chez-web): Fix conflicting bootstrap phase.
2018-12-14 23:32:38 +01:00
Pierre Neidhardt c11f3b3d68
gnu: chez-scheme: Replace texlive input with minimal texlive-union.
* gnu/packages/chez.scm (chez-scheme)[native-inputs]: Replace texlive with
  minimal texlive-union.
2018-12-14 23:32:38 +01:00
Nicolas Goaziou 066d967f00
gnu: snap: Update to 4.2.2.9.
* gnu/packages/education.scm (snap): Update to 4.2.2.9.
2018-12-14 23:22:10 +01:00
Nicolas Goaziou dceae61011
gnu: silkaj: Update to 0.6.1.
* gnu/packages/finance.scm (silkaj): Update to 0.6.1.
2018-12-14 23:14:40 +01:00
Christopher Baines bd208a13ef
gnu: ghc-call-stack-boot: Make it a hidden package.
This package doesn't sound like it should be directly used, so hide it.

* gnu/packages/haskell.scm (ghc-call-stack-boot): Use hidden-package to hide
the package.
2018-12-14 16:14:46 +00:00
Mark H Weaver ea49fbdea3
gnu: linux-libre: Update to 4.19.9.
* gnu/packages/linux.scm (%linux-libre-version): Update to 4.19.9.
(%linux-libre-hash): Update hash.
2018-12-13 20:00:46 -05:00
Mark H Weaver 3173a3f554
gnu: linux-libre@4.14: Update to 4.14.88.
* gnu/packages/linux.scm (%linux-libre-4.14-version): Update to 4.14.88.
(%linux-libre-4.14-hash): Update hash.
2018-12-13 20:00:43 -05:00
Mark H Weaver c4cc1b9d20
gnu: linux-libre@4.9: Update to 4.9.145.
* gnu/packages/linux.scm (linux-libre-4.9): Update to 4.9.145.
2018-12-13 20:00:41 -05:00
Mark H Weaver e6658c7b38
gnu: linux-libre@4.4: Update to 4.4.167.
* gnu/packages/linux.scm (linux-libre-4.4): Update to 4.4.167.
2018-12-13 20:00:39 -05:00
Ludovic Courtès 7ef64ec847
gnu: guix: Update to 60b0402.
* gnu/packages/package-management.scm (guix): Update to 60b0402.
2018-12-14 00:36:12 +01:00
Rutger Helling 6b34499dc6
gnu: qemu: Update to 3.1.0.
* gnu/packages/virtualization.scm (qemu): Update to 3.1.0.
[source]: Remove obsolete patches.
* gnu/packages/patches/qemu-CVE-2018-16847.patch,
gnu/packages/patches/qemu-CVE-2018-16867.patch: Delete files.
* gnu/local.mk (dist_patch_DATA): Remove them.
2018-12-13 14:40:52 -05:00
Ludovic Courtès 5e741ff021
gnu: go-ipfs: Work around tar bomb.
* gnu/packages/ipfs.scm (go-ipfs)[source](method): Switch to
URL-FETCH/TARBOMB.
(file-name): New field.
[arguments]: Add 'make-files-writable' phase.
2018-12-13 18:44:40 +01:00
Kei Kebreau d870cc5e8a
gnu: mit-scheme: Update to 10.1.3.
* gnu/packages/scheme.scm (mit-scheme): Update to 10.1.3.
[arguments]: Update 'unpack', 'configure-doc', and 'install-doc' phases
accordingly.
[supported-systems]: Limit to i686-linux and x86_64-linux.
2018-12-13 12:00:47 -05:00
Arun Isaac 63b6957404
gnu: Add librepcb.
* gnu/packages/engineering.scm (librepcb): New variable.
2018-12-13 18:23:08 +05:30