Commit Graph

33750 Commits

Author SHA1 Message Date
Dan Frumin 7d60df330a
gnu: Add coq-autosubst
* gnu/packages/coq.scm (coq-autosubst): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-02-07 22:30:32 +01:00
Mark H Weaver d5240bc09d
gnu: linux-libre: Update to 4.20.7.
* gnu/packages/linux.scm (%linux-libre-version): Update to 4.20.7.
(%linux-libre-hash): Update hash.
2019-02-07 13:56:44 -05:00
Mark H Weaver 43194fbe3c
gnu: linux-libre@4.19: Update to 4.19.20.
* gnu/packages/linux.scm (%linux-libre-4.19-version): Update to 4.19.20.
(%linux-libre-4.19-hash): Update hash.
2019-02-07 13:55:42 -05:00
Mark H Weaver 848e28aab5
gnu: linux-libre@4.14: Update to 4.14.98.
* gnu/packages/linux.scm (%linux-libre-4.14-version): Update to 4.14.98.
(%linux-libre-4.14-hash): Update hash.
2019-02-07 13:54:19 -05:00
Mark H Weaver 4888c21543
gnu: linux-libre@4.9: Update to 4.9.155.
* gnu/packages/linux.scm (linux-libre-4.9): Update to 4.9.155.
2019-02-07 13:53:27 -05:00
Mark H Weaver 2b06fcdcd7
gnu: linux-libre@4.4: Update to 4.4.173.
* gnu/packages/linux.scm (linux-libre-4.4): Update to 4.4.173.
2019-02-07 13:52:01 -05:00
Pierre Neidhardt 285bf324f0
gnu: Add emacs-redshank.
* gnu/packages/emacs-xyz.scm (emacs-redshank): New variable.
2019-02-07 19:29:49 +01:00
Ludovic Courtès b07712bfb1
gnu: openmpi: Add dependency on SLURM.
This allows users to run Open MPI programs with 'srun'.

* gnu/packages/mpi.scm (openmpi)[inputs]: Add SLURM.
[arguments]: Add "--with-pmi" to #:configure-flags.
2019-02-07 15:46:45 +01:00
Rutger Helling 89ea6252b6
gnu: flatpak: Update to 1.2.0.
* gnu/packages/package-management.scm (flatpak): Update to 1.2.0.
2019-02-07 14:45:54 +01:00
Brett Gilio a9ba0a3154
gnu: python2-rope: Update to 0.11.0
From 1e6322de0c3227827176fb460a11da21a6bba08d Mon Sep 17 00:00:00 2001
From: Brett Gilio <brettg@posteo.net>
Date: Wed, 6 Feb 2019 15:23:56 -0600
Subject: [PATCH] gnu: python2-rope: Update to 0.11.0

* gnu/packages/python-xyz.scm (python2-rope): Update to 0.11.0
2019-02-07 08:51:45 +01:00
Vagrant Cascadian 86ae491f37
gnu: python-configargparse: Update to 0.14.0.
* gnu/packages/python-xyz.scm
  (python-configargparse): Update to 0.14.0.
2019-02-07 08:39:34 +01:00
Vagrant Cascadian 746c074bbe
gnu: python-wheel: Update to 0.32.2.
* gnu/packages/python-xyz.scm (python-wheel): Update to 0.32.2.
2019-02-07 08:39:34 +01:00
Kyle Meyer 3ef29c00ed
gnu: Add datefudge.
* gnu/packages/time.scm (datefudge): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-02-06 23:06:18 +01:00
Ludovic Courtès 6732171924
gnu: iproute2: Update to 4.20.0.
* gnu/packages/linux.scm (iproute): Update to 4.20.0.
2019-02-06 23:06:18 +01:00
Kei Kebreau 25945666e3
gnu: abcde: Update to 2.9.3.
* gnu/packages/cdrom.scm (abcde): Update to 2.9.3.
[source]: Update snippet.
2019-02-06 16:49:12 -05:00
Ricardo Wurmus 6df215f8c8
gnu: star: Update to 2.7.0b.
* gnu/packages/bioinformatics.scm (star): Update to 2.7.0b.
[arguments]: Add "add-missing-header" build phase.
2019-02-06 21:32:16 +01:00
Kei Kebreau d11840b43e
gnu: wxmaxima: Update to 19.01.3.
* gnu/packages/maths.scm (wxmaxima): Update to 19.01.3.
2019-02-06 12:52:27 -05:00
Kei Kebreau a4362fba0e
gnu: maxima: Update to 5.42.2.
* gnu/packages/maths.scm (maxima): Update to 5.42.2.
2019-02-06 12:52:27 -05:00
Pierre Neidhardt 808136bdb6
gnu: emacs-lispyville: Update to 20181217.
* gnu/packages/emacs-xyz.scm (emacs-lispyville): Update to 20181217.
2019-02-06 16:21:49 +01:00
Pierre Neidhardt caf810d355
gnu: emacs-lispy: Update to 20190205.
* gnu/packages/emacs-xyz.scm (emacs-lispy): Update to 20190205.
2019-02-06 16:20:32 +01:00
Pierre Neidhardt de87d70e54
gnu: emacs-evil-collection: Update to 20190206.
* gnu/packages/emacs-xyz.scm (emacs-evil-collection): Update to 20190206.
2019-02-06 16:20:23 +01:00
Pierre Neidhardt b6a7697914
gnu: emacs-evil: Update to 1.2.14.
* gnu/packages/emacs-xyz.scm (emacs-evil): Update to 1.2.14.
2019-02-06 16:18:28 +01:00
Christopher Baines 61dafdc0fe
gnu: Add guile-squee.
* gnu/packages/guile-xyz.scm (guile-squee): New variable.
2019-02-06 13:11:35 +00:00
Christopher Baines e88fd8beb1
gnu: ocaml-splittable-random: Change @defn to @acronym.
I see an error when running guix package -s relating to this:

  Throw to key `parser-error' with args `(#f "Unknown command" defn)'.

* gnu/packages/ocaml.scm (ocaml-splittable-random)[description]: Change @defn
to @acronym.
2019-02-06 09:18:08 +00:00
Christopher Baines 1d5d0447d3
gnu: ocaml-spawn: Add missing @end itemize to description.
As otherwise this error appears when running things like guix package -s:

  texinfo.scm:745:27: Throw to key `parser-error' with args `(#<input: string
  35ad0e0> "EOF while reading a token " "reading char data")'.

* gnu/packages/ocaml.scm (ocaml-spawn)[description]: Add @end itemize to the
end.
2019-02-06 09:16:50 +00:00
Arun Isaac f4f8c23bae
gnu: mpop: Update to 1.4.2.
* gnu/packages/mail.scm (mpop): Update to 1.4.2.
2019-02-06 13:05:45 +05:30
Nicolas Goaziou 00e18f9fa9
gnu: musescore: Update to 3.0.2.
* gnu/packages/music.scm (musescore): Update to 3.0.2.
[source]: Add patch.
* gnu/packages/patches/musescore-fix-use_webengine.patch: New file.
* gnu/local.mk (dist_patch_DATA): Reference patch.
2019-02-05 23:11:43 +01:00
Julien Lepiller 8baa5c8b7c
gnu: Add ocaml-core-kernel.
* gnu/packages/ocaml.scm (ocaml-core-kernel): New variable.
2019-02-05 22:34:31 +01:00
Julien Lepiller 514b542018
gnu: Add ocaml-core.
* gnu/packages/ocaml.scm (ocaml-core): New variable.
2019-02-05 22:34:28 +01:00
Julien Lepiller 9e81db80eb
gnu: Add ocaml-spawn.
* gnu/packages/ocaml.scm (ocaml-spawn): New variable.
2019-02-05 22:34:26 +01:00
Julien Lepiller 3e3d5ffc34
gnu: Add ocaml-configurator.
* gnu/packages/ocaml.scm (ocaml-configurator): New variable.
2019-02-05 22:34:24 +01:00
Julien Lepiller dc361a2563
gnu: Add ocaml-jane-street-headers.
* gnu/packages/ocaml.scm (ocaml-jane-street-headers): New variable.
2019-02-05 22:34:22 +01:00
Julien Lepiller 5995e6d104
gnu: Add ocaml-splittable-random.
* gnu/packages/ocaml.scm (ocaml-splittable-random): New variable.
2019-02-05 22:34:20 +01:00
Julien Lepiller 255f1cae42
gnu: Add ocaml-ppx-jane.
* gnu/packages/ocaml.scm (ocaml-ppx-jane): New variable.
2019-02-05 22:34:17 +01:00
Julien Lepiller 7bd4b85e9b
gnu: Add ocaml-ppx-bin-prot.
* gnu/packages/ocaml.scm (ocaml-ppx-bin-prot): New variable.
2019-02-05 22:34:15 +01:00
Julien Lepiller d13b9c5f67
gnu: Add ocaml-ppx-base.
* gnu/packages/ocaml.scm (ocaml-ppx-base): New variable.
2019-02-05 22:34:13 +01:00
Julien Lepiller 48ad1181d0
gnu: Add ocaml-ppx-typerep-conv.
* gnu/packages/ocaml.scm (ocaml-ppx-typerep-conv): New variable.
2019-02-05 22:34:11 +01:00
Julien Lepiller f4304c1d6c
gnu: Add ocaml-ppx-js-style.
* gnu/packages/ocaml.scm (ocaml-ppx-js-style): New variable.
2019-02-05 22:34:09 +01:00
Julien Lepiller 4e4e5fb1df
gnu: Add ocaml-ppx-expect.
* gnu/packages/ocaml.scm (ocaml-ppx-expect): New variable.
2019-02-05 22:34:07 +01:00
Julien Lepiller 7ec9a45db3
gnu: Add ocaml-ppx-assert.
* gnu/packages/ocaml.scm (ocaml-ppx-assert): New variable.
2019-02-05 22:34:04 +01:00
Julien Lepiller 6018802d9c
gnu: Add ocaml-ppx-fail.
* gnu/packages/ocaml.scm (ocaml-ppx-fail): New variable.
2019-02-05 22:34:02 +01:00
Julien Lepiller 1365ae47d1
gnu: Add ocaml-ppx-let.
* gnu/packages/ocaml.scm (ocaml-ppx-let): New variable.
2019-02-05 22:34:00 +01:00
Julien Lepiller 79967eeafc
gnu: add ocaml-ppx-optcomp.
* gnu/packages/ocaml.scm (ocaml-ppx-optcomp): New variable.
2019-02-05 22:33:58 +01:00
Julien Lepiller 3f4ecf6649
gnu: Add ocaml-ppx-optional.
* gnu/packages/ocaml.scm (ocaml-ppx-optional): New variable.
2019-02-05 22:33:56 +01:00
Julien Lepiller 6a1140012c
gnu: Add ocaml-ppx-pipebang.
* gnu/packages/ocaml.scm (ocaml-ppx-pipebang): New variable.
2019-02-05 22:33:53 +01:00
Julien Lepiller 44a2ceca19
gnu: Add ocaml-ppx-sexp-message.
* gnu/packages/ocaml.scm (ocaml-ppx-sexp-message): New variable.
2019-02-05 22:33:51 +01:00
Julien Lepiller e93281507d
gnu: Add ocaml-ppx-sexp-value.
* gnu/packages/ocaml.scm (ocaml-ppx-sexp-value): New variable.
2019-02-05 22:33:49 +01:00
Julien Lepiller a58118ca6b
gnu: Add ocaml-typerep.
* gnu/packages/ocaml.scm (ocaml-typerep): New variable.
2019-02-05 22:33:47 +01:00
Julien Lepiller 164b06daeb
gnu: Add ocaml-ppx-here.
* gnu/packages/ocaml.scm (ocaml-ppx-here): New variable.
2019-02-05 22:33:42 +01:00
Julien Lepiller b42afab2e2
gnu: Add ocaml-ppx-bench.
* gnu/packages/ocaml.scm (ocaml-ppx-bench): New variable.
2019-02-05 22:33:40 +01:00
Julien Lepiller db67f56901
gnu: Add ocaml-ppx-enumerate.
* gnu/packages/ocaml.scm (ocaml-ppx-enumerate): New variable.
2019-02-05 22:33:37 +01:00
Julien Lepiller 6692f65218
gnu: Add ocaml-ppx-hash.
* gnu/packages/ocaml.scm (ocaml-ppx-hash): New variable.
2019-02-05 22:33:35 +01:00
Julien Lepiller 49b01fa3e9
gnu: Add ocaml-octavius.
* gnu/packages/ocaml.scm (ocaml-octavius): New variable.
2019-02-05 22:33:33 +01:00
Julien Lepiller a0584d6c97
gnu: Add ocaml-bin-prot.
* gnu/packages/ocaml.scm (ocaml-bin-prot): New variable.
2019-02-05 22:33:31 +01:00
Julien Lepiller e6f08ec93a
gnu: Add ocaml-ppx-custom-printf.
* gnu/packages/ocaml.scm (ocaml-ppx-custom-printf): New variable.
2019-02-05 22:33:29 +01:00
Julien Lepiller 7523674c2b
gnu: Add ocaml-ppx-variants-conv.
* gnu/packages/ocaml.scm (ocaml-ppx-variants-conv): New variable.
2019-02-05 22:33:27 +01:00
Julien Lepiller c7cf165e38
gnu: Add ocaml-ppx-sexp-conv.
* gnu/packaes/ocaml.scm (ocaml-ppx-sexp-conv): New variable.
2019-02-05 22:33:25 +01:00
Julien Lepiller 7b685486ce
gnu: Add ocaml-ppx-fields-conv.
* gnu/packages/ocaml.scm (ocaml-ppx-fields-conv): New variable.
2019-02-05 22:33:23 +01:00
Julien Lepiller d9f8433e17
gnu: Add ocaml-variantslib.
* gnu/packages/ocaml.scm (ocaml-variantslib): New variable.
2019-02-05 22:33:21 +01:00
Julien Lepiller 143685fd1a
gnu: Add ocaml-fieldslib.
* gnu/packages/ocaml.scm (ocaml-fieldslib): New variable.
2019-02-05 22:33:19 +01:00
Julien Lepiller c16c8bb68d
gnu: Add ocaml-ppx-compare.
* gnu/packages/ocaml.scm (ocaml-ppx-compare): New variable.
2019-02-05 22:33:17 +01:00
Julien Lepiller 7e12b4c2bb
gnu: ocaml: Use propagated-inputs.
* gnu/packages/ocaml.scm (ocaml-ppxlib, ocaml-ppx-derivers, ocaml-base)
(ocaml-sexplib): Use propagated-inputs.
2019-02-05 22:33:15 +01:00
Julien Lepiller 51e52f47df
gnu: ocaml-ppx-derivers: Add upstream-name.
* gnu/packages/ocaml.scm (ocaml-ppx-derivers)[properties]: Add
upstream-name.
2019-02-05 22:33:10 +01:00
Andreas Enge 6c8666b451
gnu: unison: Update to 2.51.1.
* gnu/packages/ocaml.scm (unison): Update to 2.51.1, use source from git
instead of svn and remove a snippet, and compile with current OCaml.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-02-05 22:32:51 +01:00
Efraim Flashner 4aeb7f34c9
gnu: shflags: Don't use unstable tarball.
* gnu/packages/version-control.scm (shflow)[source]: Use 'git-fetch'.
[native-inputs]: Remove gzip, tar.
2019-02-05 22:17:14 +02:00
Tobias Geerinckx-Rice 66416c0c1c
gnu: cvs-fast-export: Update to 1.45.
* gnu/packages/version-control.scm (cvs-fast-export): Update to 1.45.
[arguments]: Remove 'fix-setpython-PATH' phase.
2019-02-05 19:48:23 +01:00
Tobias Geerinckx-Rice cfc92cd7bf
gnu: cvs-fast-export: Don't use NAME in source URI.
* gnu/packages/version-control.scm (cvs-fast-export)[source]: Hard-code name.
2019-02-05 19:48:22 +01:00
Efraim Flashner fd3638d89a
gnu: python-sh: Use custom 'check phase.
* gnu/packages/python-xyz.scm (python-sh)[arguments]: Use custom 'check
phase as suggested by upstream documentation.
[native-inputs]: Add python-coverage.
2019-02-05 19:54:10 +02:00
Tobias Geerinckx-Rice ea4b6ffd24
gnu: darcs: Update to 2.14.2.
* gnu/packages/version-control.scm (darcs): Update to 2.14.2.
2019-02-05 18:47:10 +01:00
Tobias Geerinckx-Rice ab1019f165
gnu: nyx: Update to 2.1.0.
* gnu/packages/tor.scm (nyx): Update to 2.1.0.
[source]: Remove patch.
* gnu/packages/patches/nyx-show-header-stats-with-python3.patch:
Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
2019-02-05 18:47:09 +01:00
Tobias Geerinckx-Rice cc2c5c22b5
gnu: noice: Update to 0.7.
* gnu/packages/suckless.scm (noice): Update to 0.7.
2019-02-05 18:47:09 +01:00
Christopher Baines 406ef44258
gnu: Add guile-dbd-postgresql.
Currently, there are packages for guile-dbi and guile-dbd-sqlite3, but the
PostgreSQL and MySQL parts are not packaged. As GNA which did host the release
archives for guile-dbi no longer exists, this package definition uses the
upstream Git repository.

* gnu/packages/guile-xyz.scm (guile-dbd-postgresql): New variable.
(guile-dbi)[arguments]: Add guile-dbd-postgresql to the rpath through the
[inputs]: Add guile-dbd-postgresql.
2019-02-05 15:43:19 +00:00
Tobias Geerinckx-Rice 50f28ac4dc
gnu: pscircle: Update to 1.3.0.
* gnu/packages/admin.scm (pscircle): Update to 1.3.0.
2019-02-05 16:38:25 +01:00
Tobias Geerinckx-Rice 494b702a89
gnu: pscircle: Don't use unstable tarball.
* gnu/packages/admin.scm (pscircle)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-05 16:38:25 +01:00
Maxim Cournoyer f9dff4f7fa
gnu: emacs-ert-runner: Fix lisp directory warning.
This fixes the warning message such as: "Warning: Lisp directory
'/tmp/guix-build-emacs-ert-runner-0.7.0-1.90b8fdd.drv-0/source': No such file
or directory" that would be printed upon running ert-runner.

* gnu/packages/emacs-xyz.scm (emacs-ert-runner)[phases]{install-executable}:
Filter out the temporary source directory from the paths composing the
EMACSLOADPATH variable used in the wrapper.
2019-02-05 10:09:11 -05:00
Andreas Enge 8cad7adb59
gnu: fdroidserver: Update to 1.1.1.
* gnu/packages/android.scm (fdroidserver): Update to 1.1.1.
[propagated-inputs]: Add python-defusedxml.
2019-02-05 15:55:58 +01:00
Maxim Cournoyer 975a953bfd
gnu: Add cqfd.
* gnu/packages/docker.scm (cqfd): New variable.
2019-02-05 09:33:39 -05:00
Tobias Geerinckx-Rice 5d941f4eda
gnu: thefuck: Update to 3.28.
* gnu/packages/admin.scm (thefuck): Update to 3.28.
2019-02-05 15:31:02 +01:00
Tobias Geerinckx-Rice 46f3e9358a
gnu: lynis: Update to 2.7.1.
* gnu/packages/admin.scm (lynis): Update to 2.7.1.
2019-02-05 15:31:01 +01:00
Rutger Helling a10050e2dd
gnu: wine-staging: Update to 4.1.
* gnu/packages/wine.scm (wine-staging-patchset-data): Update to 4.1.
* gnu/packages/wine.scm (wine-staging): Update to 4.1.
2019-02-05 12:01:13 +01:00
Rutger Helling 12a3abc6cc
gnu: retroarch: Fix wayland backend.
* gnu/packages/emulators.scm (retroarch): Fix wayland backend.
[arguments]: Hard-code wayland-protocols.
[native-inputs]: Add wayland-protocols.
2019-02-05 11:37:29 +01:00
Christopher Baines fd9a6d83c2
gnu: artanis: Make some improvements.
* gnu/packages/guile-xyz.scm (artanis): Remove a tab character by the
revision.
[arguments]: Patch the site-dir for the help command, to make it work. Wrap
the art command such that it finds guile-json and guile-redis.
2019-02-05 09:24:34 +00:00
Andrew Miloradovsky 16bb27f281
gnu: Add xmagnify.
* gnu/packages/accessibility.scm (xmagnify): New variable.

Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
2019-02-05 10:07:52 +01:00
Rutger Helling 45267af1a3
gnu: retroarch: Update to 1.7.6.
* gnu/packages/emulators.scm (retroarch): Update to 1.7.6.
[inputs]: Add libxrandr.
2019-02-05 08:24:20 +01:00
Nicolas Goaziou 2dd662f48e
gnu: emacs-org, emacs-org-contrib: Update to 9.2.1.
* gnu/packages/emacs-xyz.scm (emacs-org): Update to 9.2.1.
(emacs-org-contrib): Update to 20190203, i.e., 9.2.1.
2019-02-05 07:42:30 +01:00
Leo Famulari e36d043882
gnu: Remove unused patch 'mcron-install.patch'.
This is a followup to commit cfbf6de18c.

* gnu/packages/patches/mcron-install.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
2019-02-05 00:19:50 +01:00
Leo Famulari 484f010dd7
gnu: Remove unused patch 'ocaml-graph-honor-source-date-epoch.patch'.
This is a followup to commit 564cf93f2a.

* gnu/packages/patches/ocaml-graph-honor-source-date-epoch.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
2019-02-05 00:19:49 +01:00
Leo Famulari 5cc3dbbccd
gnu: Remove unused patch 'ocaml-findlib-make-install.patch'.
This is a followup to commit bff6739d5e.

* gnu/packages/patches/ocaml-findlib-make-install.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
2019-02-05 00:19:49 +01:00
Leo Famulari 5baf78999c
gnu: Remove unused patch 'python2-rdflib-drop-sparqlwrapper.patch'.
* gnu/packages/patches/python2-rdflib-drop-sparqlwrapper.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
2019-02-05 00:19:49 +01:00
Leo Famulari 800d74dc9a
gnu: Remove unused patch 'openldap-CVE-2017-9287.patch'.
This is a followup to commit 47415332d7.

* gnu/packages/patches/openldap-CVE-2017-9287.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
2019-02-05 00:19:49 +01:00
Leo Famulari 99ee274f0d
gnu: Remove unused patch 'glibc-memchr-overflow-i686.patch'.
This is a followup to commit 67d527e35e.

* gnu/packages/patches/glibc-memchr-overflow-i686.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
2019-02-05 00:19:49 +01:00
Leo Famulari 1d1b0b1fb1
gnu: Remove unused patch 'net-tools-bitrot.patch'.
This is a followup to commit b5f610620b.

* gnu/packages/patches/net-tools-bitrot.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
2019-02-05 00:19:49 +01:00
Leo Famulari 035542e93a
gnu: Remove unused patch 'xboing-CVE-2004-0149.patch'.
This is a followup to commit 740a335558.

* gnu/packages/patches/xboing-CVE-2004-0149.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
2019-02-04 23:56:39 +01:00
Leo Famulari 6bf2201350
gnu: Remove unused patch 'ao-cad-aarch64-support.patch'.
This is a followup to commit 28f4d56dd3.

* gnu/packages/patches/ao-cad-aarch64-support.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
2019-02-04 23:51:34 +01:00
Leo Famulari ee2875e57d
gnu: Remove unused patch 'blender-newer-ffmpeg.patch'.
This is a followup to commit fc51c28ae8.

* gnu/packages/patches/blender-newer-ffmpeg.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
2019-02-04 23:46:26 +01:00
Leo Famulari bfa3e64d7f
gnu: Removed unused patch 'readline-7.0-mingw.patch'.
This patch was introduced in commit ae12d58627,
but it was never used.

See <https://bugs.gnu.org/26581> for more information.

* gnu/packages/patches/readline-7.0-mingw.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
2019-02-04 23:45:25 +01:00
Gabriel Hondet 308d72bfe4
gnu: Add ocaml-ppx-inline-test.
* gnu/packages/ocaml.scm (ocaml-ppx-inline-test): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-02-04 22:03:30 +01:00
Gabriel Hondet b2c2c415c5
gnu: ocaml-migrate-parsetree: Update to 1.2.0.
* gnu/packages/ocaml.scm (ocaml-migrate-parsetree): Update to 1.2.0.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-02-04 22:03:27 +01:00
Gabriel Hondet 625a3daa12
gnu: dune: Update to 1.6.3.
* gnu/packages/ocaml.scm (dune): Update to 1.6.3.
* guix/build/dune-build-system.scm (build): Use --libdir.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-02-04 22:03:22 +01:00
Tobias Geerinckx-Rice 8c35a6dd20
gnu: gx, go-github-com-whyrusleeping-gx-util: Update to 0.14.1.
* gnu/packages/ipfs.scm (gx, go-github-com-whyrusleeping-gx-util): Update to 0.14.1.
2019-02-04 21:46:56 +01:00