Commit Graph

32303 Commits (c41fba01d3abfc1ef18dafea76f22aa05147089f)

Author SHA1 Message Date
Tobias Geerinckx-Rice 894669a787
gnu: plzip: Don't use NAME in source URI.
* gnu/packages/compression.scm (plzip)[source]: Hard-code NAME.
2019-02-12 17:38:22 +01:00
Tobias Geerinckx-Rice b099b4a75a
gnu: lziprecover: Update to 1.21.
* gnu/packages/compression.scm (lziprecover): Update to 1.21.
2019-02-12 17:38:22 +01:00
Tobias Geerinckx-Rice f6145bb652
gnu: lziprecover: Don't use NAME in source URI.
* gnu/packages/compression.scm (lziprecover)[source]: Hard-code NAME.
2019-02-12 17:38:22 +01:00
Tobias Geerinckx-Rice da93d42413
gnu: perl-dbi: Update to 1.642.
* gnu/packages/databases.scm (perl-dbi): Update to 1.642.
2019-02-12 17:38:21 +01:00
Tobias Geerinckx-Rice 245e7a68e7
gnu: kyotocabinet: Update to 1.2.77.
* gnu/packages/databases.scm (kyotocabinet): Update to 1.2.77.
2019-02-12 17:38:21 +01:00
Tobias Geerinckx-Rice e9bdef5fb4
gnu: os-prober: Update to 1.77.
* gnu/packages/bootloaders.scm (os-prober): Update to 1.77.
2019-02-12 17:38:21 +01:00
Tobias Geerinckx-Rice 51a8fc8b42
gnu: feh: Update to 3.1.2.
* gnu/packages/image-viewers.scm (feh): Update to 3.1.2.
2019-02-12 17:38:21 +01:00
Maxim Cournoyer 155194d97d
gnu: python-pybedtools: Update to 0.8.0 and fix build.
From 40db2b4eae5ca61a3134cdaf7b156ed1ae9f7415 Mon Sep 17 00:00:00 2001
From: Maxim Cournoyer <maxim.cournoyer@gmail.com>
Date: Sun, 10 Feb 2019 23:39:25 -0500
Subject: [PATCH] gnu: python-pybedtools: Update to 0.8.0 and fix build.

* gnu/packages/bioinformatics.scm (python-pybedtools): Update to 0.8.0.
[phases]{disable-broken-tests}: Do not disable "test_issue_157" and
"test_to_dataframe" tests.  Disable the "test_getting_example_beds".
{remove-cython-generated-files}: Add phase.
{generate-cython-extensions}: Add phase.
{check}: Move from python2-pybedtools to here.  Add a scripts
subdirectory of the build directory to the PATH, so that the tests can call
them.  Invoke pytest rather than nosetests.
[modules]: Move from python2-pybedtools to here.
[propagated-inputs]: Depend on the current BEDTOOLS rather than version 1.26.
[native-inputs]: Replace python-nose by python-pytest and add python-psutil.
2019-02-12 17:16:05 +01:00
Efraim Flashner b856a78c94
gnu: efilinux: Set ARCH variable on some architectures.
Even with this patch efilinux does not build for arm*.

* gnu/packages/efi.scm (efilinux)[arguments]: On armhf-linux and
aarch64-linux set the ARCH variable apropriately.
2019-02-12 18:08:19 +02:00
Ricardo Wurmus 385d7546e1
gnu: Add cnvkit.
* gnu/packages/bioinformatics.scm (cnvkit): New variable.
2019-02-12 15:41:02 +01:00
Ricardo Wurmus c18dccffa2
gnu: Add r-dnacopy.
* gnu/packages/bioconductor.scm (r-dnacopy): New variable.
2019-02-12 15:41:02 +01:00
Ricardo Wurmus ab61ce3730
gnu: python-reportlab: Update to 3.5.13.
* gnu/packages/pdf.scm (python-reportlab): Update to 3.5.13.
[inputs]: Add freetype.
2019-02-12 15:40:58 +01:00
Efraim Flashner c86b5f1b9b
gnu: glibc@2.27: fix CVE-2018-11236, CVE-2018-11237.
* gnu/packages/base.scm (glibc@2.27)[sources]: Add patches.
[properties]: New field, mark CVE-2017-18269 fixed.
* gnu/packages/patches/glibc-CVE-2018-11236.patch,
gnu/packages/patches/glibc-CVE-2018-11237.patch: New files.
* gnu/local.mk (dist_patch_DATA): Register them.
2019-02-12 09:08:13 +02:00
Tobias Geerinckx-Rice d4c95a237c
gnu: parallel: Update to 20190122.
* gnu/packages/parallel.scm (parallel): Update to 20190122.
2019-02-12 02:33:55 +01:00
Tobias Geerinckx-Rice a661af5c9a
gnu: maven-resolver-api: Don't use unstable tarball.
* gnu/packages/maven.scm (maven-resolver-api)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-12 02:33:55 +01:00
Tobias Geerinckx-Rice 57e3f06bbd
gnu: multipath-tools: Update to 0.7.9.
* gnu/packages/linux.scm (multipath-tools): Update to 0.7.9.
2019-02-12 02:33:55 +01:00
Tobias Geerinckx-Rice 34920d2adf
gnu: websockify: Don't use unstable tarball.
* gnu/packages/web.scm (websockify)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-12 02:33:55 +01:00
Tobias Geerinckx-Rice 2772debc74
gnu: libyajl: Don't use unstable tarball.
* gnu/packages/web.scm (libyajl)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-12 02:33:54 +01:00
Tobias Geerinckx-Rice 3e3414efd4
gnu: rapidjson: Don't use unstable tarball.
* gnu/packages/web.scm (rapidjson)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-12 02:33:54 +01:00
Tobias Geerinckx-Rice 082504addf
gnu: qjson: Don't use unstable tarball.
* gnu/packages/web.scm (qjson)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-12 02:33:54 +01:00
Tobias Geerinckx-Rice 20ab34c16f
gnu: fcgiwrap: Don't use unstable tarball.
* gnu/packages/web.scm (fcgiwrap)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-12 02:33:54 +01:00
Tobias Geerinckx-Rice bff44abb14
gnu: mod-wsgi: Don't use unstable tarball.
* gnu/packages/web.scm (mod-wsgi)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-12 02:33:53 +01:00
Leo Famulari 95c910f499
gnu: Guix: Update snapshot to 0.16.0-10.2637cfd.
Fixes <https://bugs.gnu.org/34444>.

*  gnu/packages/package-management.scm (guix): Update to 0.16.0-10.2637cfd.
2019-02-11 18:13:29 -05:00
Ricardo Wurmus 8d11b6ddb8
gnu: guile-picture-language: Update to 0-2.1ea8b78.
* gnu/packages/guile-xyz.scm (guile-picture-language): Update to 0-2.1ea8b78.
2019-02-11 23:03:35 +01:00
Vagrant Cascadian 75d12c40f7
gnu: disorderfs: Update to 0.5.6.
* gnu/packages/file-systems (disorderfs): Update to 0.5.6.

Signed-off-by: Leo Famulari <leo@famulari.name>
2019-02-11 16:54:37 -05:00
Vagrant Cascadian 295de8cc1a
gnu: diffoscope: Update to 111.
* gnu/packages/package-management (diffoscope): Update to 111.

Signed-off-by: Leo Famulari <leo@famulari.name>
2019-02-11 16:54:37 -05:00
Andreas Enge fa8ffaa0df
gnu: python-cython: Update to 0.29.5.
* gnu/packages/python-xyz.scm (python-cython): Update to 0.29.5.
2019-02-11 21:20:41 +01:00
Marius Bakke c8b69863eb
gnu: pixman: Update source URI.
* gnu/packages/xdisorg.scm (pixman)[source](uri): Use HTTPS.
2019-02-11 19:20:55 +01:00
Marius Bakke 93617188d9
gnu: python-django: Update to 1.11.20 [fixes CVE-2019-6975].
* gnu/packages/django.scm (python-django): Update to 1.11.20.
2019-02-11 19:20:55 +01:00
Marius Bakke c508c06573
gnu: ffmpeg: Update to 4.1.1.
* gnu/packages/video.scm (ffmpeg): Update to 4.1.1.
2019-02-11 19:20:55 +01:00
Marius Bakke b861fc157c
gnu: miniupnpc: Update to 2.1.20190210.
* gnu/packages/upnp.scm (miniupnpc): Update to 2.1.20190210.
2019-02-11 19:20:55 +01:00
Marius Bakke a2467954b8
gnu: lv2: Update to 1.16.0.
* gnu/packages/audio.scm (lv2): Update to 1.16.0.
[arguments]: Remove #:python.
(lv2-devel): Remove variable.
* gnu/packages/music.scm (ingen)[inputs]: Change LV2-DEVEL to LV2.
2019-02-11 19:20:55 +01:00
Danny Milosavljevic 86b2ab8f5b
gnu: vlc: Use libvpx-1.7.
Fixes <https://bugs.gnu.org/34439>.

* gnu/packages/video.scm (vlc)[inputs]: Remove libvpx.  Add libvpx-1.7.
2019-02-11 18:48:42 +01:00
Kei Kebreau df56098220
gnu: gama: Update to 2.03.
* gnu/packages/gps.scm (gama): Update to 2.03.
2019-02-11 05:49:19 -05:00
Vagrant Cascadian 4a14ee9127
gnu: gloox: Update to 1.0.22.
* gnu/packages/messaging.scm (gloox): Update to 1.0.22.
2019-02-11 11:12:27 +01:00
Vagrant Cascadian 37da5813e9
gnu: python-ecpy: Update to 0.10.0.
* gnu/packages/python-crypto.scm (python-ecpy): Update to 0.10.0.
2019-02-11 11:08:40 +01:00
Vagrant Cascadian a62887d30d
gnu: python-pycryptodome: Update to 3.7.3.
* gnu/packages/python-crypto (python-cryptodome): Update to 3.7.3.
2019-02-11 11:04:44 +01:00
Vagrant Cascadian 6e2bad000f
gnu: u-boot-novena: Allow booting from raw device offset.
* gnu/packages/bootloaders.scm (u-boot-novena): Disable loading u-boot.img
from a partition.
2019-02-11 10:59:23 +01:00
Vagrant Cascadian 8d22f7e31f
gnu: Add python-pymsgbox.
* gnu/packages/python-xyz.scm (python-pymsgbox): New variable.
2019-02-11 10:51:11 +01:00
Vagrant Cascadian a336334196
gnu: Add python-daemon.
* gnu/packages/python-xyz.scm (python-daemon): New variable.
2019-02-11 10:37:54 +01:00
Leo Famulari f5c46fa0d0
gnu: dmenu: Update to 4.9.
* gnu/packages/suckless.scm (dmenu): Update to 4.9.
2019-02-11 02:41:26 -05:00
Leo Famulari d561243917
gnu: Dropbear: Add a comment about bundled libraries.
* gnu/packages/ssh.scm (dropbear): Comment.
2019-02-10 23:03:57 -05:00
Leo Famulari 8f9c5aa3ba
gnu: curl: Update to 7.64.0 [fixes CVE-2018-16890 and CVE-2019-{3822,3823}].
* gnu/packages/curl.scm (curl)[replacement]: New field.
(curl-7.64.0): New variable.
2019-02-10 22:03:50 -05:00
Leo Famulari c03b355fa7
gnu: Dovecot: Update to 2.3.4.1 [fixes CVE-2019-3814].
* gnu/packages/mail.scm (dovecot): Update to 2.3.4.1.
2019-02-10 22:03:50 -05:00
Leo Famulari f6e64282b4
gnu: Syncthing: Update to 1.0.1.
* gnu/packages/syncthing.scm (syncthing): Update to 1.0.1.
2019-02-10 21:38:07 -05:00
Leo Famulari f52bd828ed
gnu: MPD: Update to 0.21.4.
We no longer install any systemd unit files for MPD because this is no longer
supported upstream as a matter of policy or via MPD's build system. [0]

Specifically, they don't support using MPD with systemd unless MPD was linked
with libsystemd. The unit files are only built when this is the case.

[0]
<https://github.com/MusicPlayerDaemon/MPD/issues/124#issuecomment-334930456>

* gnu/packages/mpd.scm (mpd): Update to 0.21.4.
[build-system]: Use meson-build-system.
[native-inputs]: Add gcc-8, gcc-8:lib, and python-sphinx.
[arguments]: Add a 'expand-C++-include-path' phase. Remove the
'install-service-files' phase. Make sure to build the documentation.
2019-02-10 20:21:53 -05:00
Ludovic Courtès a76d0f032b
gnu: gnome-shell: Customize the GDM log-in screen.
* gnu/packages/patches/gnome-shell-theme.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/gnome.scm (gnome-shell)[source](patches, modules)
(snippet): New fields.
[arguments]: Add 'rebuild-css' phase.
[native-inputs]: Add RUBY-SASS.
2019-02-10 23:25:01 +01:00
Ludovic Courtès 44a06c942c
gnu: gnome: Remove '--disable-acceleration-check' flag from 'gnome.desktop'.
With this change the GNOME session is now listed in the log-in screen of
GDM.

* gnu/packages/gnome.scm (gnome-session)[arguments]: Remove
'disable-hardware-acceleration-check' phase.  That phase was apparently
no longer needed.  Furthermore, GDM expects 'TryExec' to be a file name,
not a file name followed by arguments; thus, the option led GDM to
discard 'gnome.desktop' with "GdmSession: Command not found: TryExec".
2019-02-10 23:25:01 +01:00
Ludovic Courtès b717d0f90e
gnu: qtwebkit: Build sequentially.
Fixes <https://bugs.gnu.org/34062>.

* gnu/packages/qt.scm (qtwebkit)[arguments]: Add #:parallel-build? #f.
2019-02-10 23:25:01 +01:00
Gabriel Hondet 2356b7ab6d
gnu: Add ghc-stylish-haskell.
* gnu/packages/haskell.scm (ghc-stylish-haskell): New variable.
2019-02-10 21:47:24 +01:00
Gabriel Hondet d4ce1c5029
gnu: Add ghc-base-unicode-symbols.
* gnu/packages/haskell.scm (ghc-base-unicode-symbols): New variable.
2019-02-10 21:45:04 +01:00
Gabriel Hondet 3fc88ff0f3
gnu: Add ghc-alsa-core.
* gnu/packages/haskell.scm (ghc-alsa-core): New variable.
2019-02-10 21:30:32 +01:00
Vagrant Cascadian 8c16b8a40c
gnu: python-trezor: Update to 0.11.1.
* gnu/packages/finance.scm (python-trezor): Update to 0.11.1.
[arguments]: Remove obsolete "slow_cosi" test.
Delete "test_tx_api" test, which requires network access.
[propagated-inputs]: Add python-construct and python-typing-extensions,
Remove python-hidapi, python-protobuf and python-typing.
[native-inputs]: Remove python-mock, Add protobuf, python-black,
python-protobuf and python-isort.
2019-02-10 20:41:59 +01:00
Vagrant Cascadian f98232a39e
gnu: Add python-construct.
* gnu/packages/python-xyz.scm (python-construct): New variable.
2019-02-10 20:40:25 +01:00
Vagrant Cascadian f89d443be1
gnu: Add python-typing-extensions.
* gnu/packages/python-xyz.scm (python-typing-extensions): New variable.
2019-02-10 20:37:10 +01:00
Vagrant Cascadian 02d9e5d285
gnu: python-keepkey: Update to 6.0.2.
* gnu/packages/finance.scm (python-keepkey): Update to 6.0.2.
[propagated-inputs]: Add python-libusb1.
2019-02-10 20:30:52 +01:00
Vagrant Cascadian 4e86e9d78e
gnu: electron-cash: Update to 3.3.5.
* gnu/packages/finance.scm (electron-cash): Update to 3.3.5.
[source]: Update uri.
2019-02-10 20:30:28 +01:00
Tobias Geerinckx-Rice b05bc3c487
gnu: java-xstream: Don't use unstable tarball.
* gnu/packages/xml.scm (java-xstream)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-10 17:45:41 +01:00
Tobias Geerinckx-Rice eed5e162ad
gnu: java-xom: Don't use unstable tarball.
* gnu/packages/xml.scm (java-xom)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
[arguments]: Add 'make-git-checkout-writable' phase.
2019-02-10 17:45:41 +01:00
Tobias Geerinckx-Rice a4b96726b5
gnu: java-jettison: Don't use unstable tarball.
* gnu/packages/xml.scm (java-jettison)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-10 17:45:41 +01:00
Tobias Geerinckx-Rice 4bad4fbdf8
gnu: tinyxml2: Don't use unstable tarball.
* gnu/packages/xml.scm (tinyxml2)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-10 17:45:40 +01:00
Tobias Geerinckx-Rice 951bdf5adf
gnu: java-jdom2: Don't use unstable tarball.
* gnu/packages/xml.scm (java-jdom2)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-10 17:45:40 +01:00
Tobias Geerinckx-Rice 00fc938983
gnu: java-kxml2: Don't use unstable tarball.
* gnu/packages/xml.scm (java-kxml2)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
[arguments]: Add 'make-git-checkout-writable' phase.
2019-02-10 17:45:40 +01:00
Tobias Geerinckx-Rice 9d67052661
gnu: java-dom4j: Don't use unstable tarball.
* gnu/packages/xml.scm (java-dom4j)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-10 17:45:39 +01:00
Tobias Geerinckx-Rice ef6a5fcc30
gnu: java-groovy-bootstrap: Don't use unstable tarball.
* gnu/packages/groovy.scm (java-groovy-bootstrap)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-10 17:45:39 +01:00
Tobias Geerinckx-Rice 3047c7baae
gnu: xlsx2csv: Don't use unstable tarball.
* gnu/packages/xml.scm (xlsx2csv)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-10 17:45:39 +01:00
Tobias Geerinckx-Rice 3255fc3bfe
gnu: xlsx2csv: Update to 0.7.4.
* gnu/packages/xml.scm (xlsx2csv): Update to 0.7.4.
2019-02-10 17:45:39 +01:00
Tobias Geerinckx-Rice 99631313e2
gnu: clojure-tools-macro: Don't use unstable tarball.
* gnu/packages/clojure.scm (clojure-tools-macro)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-10 17:45:38 +01:00
Tobias Geerinckx-Rice 62dbf78b65
gnu: clojure-algo-monads: Don't use unstable tarball.
* gnu/packages/clojure.scm (clojure-algo-monads)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-10 17:45:38 +01:00
Tobias Geerinckx-Rice 85e0827d90
gnu: clojure-algo-generic: Don't use unstable tarball.
* gnu/packages/clojure.scm (clojure-algo-generic)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-10 17:45:38 +01:00
Tobias Geerinckx-Rice fba9a66095
gnu: xinetd: Don't use unstable tarball.
* gnu/packages/web.scm (xinetd)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-10 17:45:38 +01:00
Mark H Weaver 1d5be0b61c
gnu: linux-libre@4.4: Update to 4.4.174.
* gnu/packages/linux.scm (linux-libre-4.4): Update to 4.4.174.
2019-02-09 23:01:12 -05:00
Nicolas Goaziou 2becddeb0c
gnu: emacs-pdf-tools: Update to 0.90.
* gnu/packages/emacs-xyz.scm (emacs-pdf-tools): Update to 0.90.
[source]: Remove patch.
* gnu/packages/patches/emacs-pdf-tools-poppler.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove reference to deleted file.
2019-02-09 23:30:13 +01:00
Vagrant Cascadian 81d59f4425
gnu: electrum: Update to 3.3.3.
* gnu/packages/finance.scm (electrum): Update to 3.3.3.
  [inputs]: Add python-aiohttp, python-aiohttp-socks, python-aiorpcx and
    python-certifi.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-02-09 23:27:12 +01:00
Vagrant Cascadian 93d3360ab0
gnu: Add python-aiorpcx.
* gnu/packages/python-web.scm (python-aiorpcx): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-02-09 23:27:12 +01:00
Vagrant Cascadian 20310a7e92
gnu: Add python-aiohttp-socks.
* gnu/packages/python-web.scm (python-aiohttp-socks): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-02-09 23:27:12 +01:00
Rutger Helling 64b632f861
gnu: lookingglass: Build with spice-protocol@0.12.14.
* gnu/packages/virtualization.scm (lookingglass)[inputs]: Use
spice-protocol@0.12.14 instead of spice-protocol.
2019-02-09 22:23:14 +01:00
Rutger Helling 44ad1c16e2
gnu: Add spice-protocol@0.12.14.
* gnu/packages/spice.scm (spice-protocol@0.12.14): New variable.
2019-02-09 22:23:14 +01:00
Marius Bakke aefa29123f
gnu: python-pytest: Update home page.
* gnu/packages/check.scm (python-pytest)[home-page]: Follow redirects to
https://docs.pytest.org/en/latest/.
2019-02-09 21:07:37 +01:00
Marius Bakke 809f003f15
gnu: python-configparser: Update home page.
* gnu/packages/python-xyz.scm (python-configparser)[home-page]: Set to source
repository.
2019-02-09 21:07:37 +01:00
Marius Bakke 2c7a28ecce
gnu: notmuch: Update to 0.28.1.
* gnu/packages/mail.scm (notmuch): Update to 0.28.1.
2019-02-09 20:58:16 +01:00
Marius Bakke 44ed628466
gnu: tracker: Build against the regular SQLite.
FTS5 is enabled by default in the current version.

* gnu/packages/sqlite.scm (sqlite-with-fts5): Remove variable.
* gnu/packages/gnome.scm (tracker)[inputs]: Change from that to SQLITE.
2019-02-09 20:58:16 +01:00
Marius Bakke 9d51a97809
gnu: webkitgtk: Update to 2.22.6.
* gnu/packages/webkit.scm (webkitgtk-2.22): Update to 2.22.6.
2019-02-09 20:58:15 +01:00
Marius Bakke 037d591367
gnu: libvpx: Update to 1.8.0.
* gnu/packages/patches/gst-plugins-good-libvpx-compat.patch: New file.
* gnu/local.mk (dist_patch_DATA): Adjust accordingly.
* gnu/packages/video.scm (libvpx): Update to 1.8.0.
[source](patches): Remove obsolete patch.
(libvpx-1.7): New public variable.
* gnu/packages/gnuzilla.scm (icecat)[inputs]: Use LIBVPX-1.7 instead of LIBVPX.
* gnu/packages/gstreamer.scm (gst-plugins-good)[source](patches): New field.
[arguments]: Add #:make-flags.
2019-02-09 20:58:15 +01:00
Marius Bakke 4a3436449b
gnu: offlineimap: Remove redundant wrapper.
* gnu/packages/mail.scm (offlineimap)[arguments]: Remove phase 'wrap-binary'.
2019-02-09 20:58:15 +01:00
Marius Bakke 0ea0452c0a
gnu: Add xbanish.
* gnu/packages/xdisorg.scm (xbanish): New public variable.
2019-02-09 20:58:15 +01:00
Ludovic Courtès 50a93adc05
Merge branch 'staging' 2019-02-09 15:14:59 +01:00
Arun Isaac 722ac64cd7
gnu: plantuml: Update to 1.2019.0.
* gnu/packages/uml.scm (plantuml): Update to 1.2019.0.
2019-02-09 13:40:12 +05:30
Eric Bavier 68a116bd56
gnu: cool-retro-term: Upgrade to 1.1.1.
* gnu/packages/terminals.scm (cool-retro-term)[source]: Upgrade to 1.1.1.
Remove patches.  Adjust filtering in snippet for added/removed fonts.
[arguments]: Return #t in 'add-alternate-name' phase.
* gnu/packages/patches/cool-retro-term-dont-check-uninit-member.patch,
  gnu/packages/patches/cool-retro-term-fix-array-size.patch,
  gnu/packages/patches/cool-retro-term-memory-leak-1.patch: Delete files.
* gnu/local.mk (dist_patch_DATA): Remove them.
2019-02-09 00:50:16 -06:00
Eric Bavier 41313acebf
gnu: openmpi: Upgrade to 4.0.0.
* gnu/packages/linux.scm (psm)[arguments]: Add 'patch-sysmacros phase to fix
"undefined reference to `minor'" errors while linking against
libinfinipath.so.
* gnu/packages/mpi.scm (openmpi): Upgrade to 4.0.0.
[inputs]: Add libevent.
[arguments]: Simplify configure-flags.  Use system libevent.  Adjust romio
version strings.
(%openmpi-setup): Use OMPI_MCA_rmaps_base_mapping_policy for oversubscription.
2019-02-09 00:50:16 -06:00
Tobias Geerinckx-Rice 1482531cd7
gnu: perl-io-compress: Update to 2.084.
* gnu/packages/perl-compression.scm (perl-io-compress): Update to 2.084.
2019-02-08 23:51:18 +01:00
Tobias Geerinckx-Rice b2993cb1e0
gnu: perl-compress-raw-zlib: Update to 2.084.
* gnu/packages/perl-compression.scm (perl-compress-raw-zlib): Update to 2.084.
2019-02-08 23:51:17 +01:00
Tobias Geerinckx-Rice a139501887
gnu: perl-compress-raw-bzip2: Update to 2.084.
* gnu/packages/perl-compression.scm (perl-compress-raw-bzip2): Update to 2.084.
2019-02-08 23:51:16 +01:00
Tobias Geerinckx-Rice 41eac1863a
gnu: gcab: Don't use NAME in source URI.
* gnu/packages/package-management.scm (gcab)[source]: Hard-code name.
2019-02-08 23:51:15 +01:00
Tobias Geerinckx-Rice a1785cfb6d
gnu: gcab: Update to 1.2.
* gnu/packages/package-management.scm (gcab): Update to 1.2.
[source]: Remove snippet.
2019-02-08 23:51:14 +01:00
Tobias Geerinckx-Rice 051ae68b7a
gnu: libraw: Update to 0.19.2.
* gnu/packages/photo.scm (libraw): Update to 0.19.2.
2019-02-08 23:51:14 +01:00
Tobias Geerinckx-Rice 7428d1693a
gnu: abiword: Don't use NAME in source URI.
* gnu/packages/abiword.scm (abiword)[source]: Hard-code name.
2019-02-08 23:51:13 +01:00
Tobias Geerinckx-Rice 64430c87b6
gnu: rdesktop: Don't use NAME in source URI.
* gnu/packages/rdesktop.scm (rdesktop)[source]: Hard-code name.
2019-02-08 23:51:12 +01:00
Tobias Geerinckx-Rice 9c2b56a377
gnu: compton: Don't use unstable tarball.
* gnu/packages/compton.scm (compton)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-08 23:51:12 +01:00
Tobias Geerinckx-Rice 782b1224ec
gnu: bspwm: Don't use unstable tarball.
* gnu/packages/wm.scm (bspwm)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-08 23:51:10 +01:00
Tobias Geerinckx-Rice a4880a2735
gnu: microscheme: Don't use unstable tarball.
* gnu/packages/avr.scm (microscheme)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-08 23:51:10 +01:00
Tobias Geerinckx-Rice 39a7b72065
gnu: python-trezor-agent: Don't use unstable tarball.
* gnu/packages/finance.scm (python-trezor-agent)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-08 23:51:09 +01:00
Tobias Geerinckx-Rice 1fd71120a7
gnu: geierlein: Don't use unstable tarball.
* gnu/packages/finance.scm (geierlein)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-08 23:51:08 +01:00
Tobias Geerinckx-Rice 8b7ac58c16
gnu: ledger: Don't use unstable tarball.
* gnu/packages/finance.scm (ledger)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-08 23:51:08 +01:00
Tobias Geerinckx-Rice d8d910e6e1
gnu: cbatticon: Don't use unstable tarball.
* gnu/packages/admin.scm (cbatticon)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-08 23:51:07 +01:00
Tobias Geerinckx-Rice 807a30999d
gnu: interrobang: Use GIT-... helpers.
* gnu/packages/admin.scm (interrobang)[version]: Use GIT-VERSION.
[source]: Use GIT-FILE-NAME.
2019-02-08 23:51:06 +01:00
Tobias Geerinckx-Rice 7d6e8fda61
gnu: sedsed: Don't use unstable tarball.
* gnu/packages/admin.scm (sedsed)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-08 23:51:05 +01:00
Tobias Geerinckx-Rice 9bc96d13ce
gnu: fdupes: Don't use unstable tarball.
* gnu/packages/admin.scm (fdupes)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-08 23:51:04 +01:00
Tobias Geerinckx-Rice aa372292b3
gnu: cpulimit: Don't use unstable tarball.
* gnu/packages/admin.scm (cpulimit)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-08 23:51:03 +01:00
Tobias Geerinckx-Rice 4b6456ce3b
gnu: progress: Don't use unstable tarball.
* gnu/packages/admin.scm (progress)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-08 23:51:02 +01:00
Tobias Geerinckx-Rice fc204d24be
gnu: dstat: Don't use unstable tarball.
* gnu/packages/admin.scm (dstat)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-08 23:51:02 +01:00
Tobias Geerinckx-Rice 43eb601f76
gnu: sunxi-tools: Don't use unstable tarball.
* gnu/packages/admin.scm (sunxi-tools)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-08 23:51:01 +01:00
Tobias Geerinckx-Rice ecb589227c
gnu: igt-gpu-tools: Don't use NAME in source URI.
* gnu/packages/admin.scm (igt-gpu-tools)[source]: Hard-code name.
2019-02-08 23:51:00 +01:00
Tobias Geerinckx-Rice 213114a7b1
gnu: daemontools: Don't assume sources match NAME.
* gnu/packages/admin.scm (daemontools)[source, argumenst]: Hard-code
name.
2019-02-08 23:50:59 +01:00
Tobias Geerinckx-Rice 16572d0e02
gnu: nnn: Don't use NAME in source URI.
* gnu/packages/admin.scm (nnn)[source]: Hard-code name.
2019-02-08 23:50:59 +01:00
Tobias Geerinckx-Rice a0c693e173
gnu: thefuck: Don't use unstable tarball.
* gnu/packages/admin.scm (thefuck)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-08 23:50:58 +01:00
Tobias Geerinckx-Rice e956d76ddb
gnu: masscan: Don't use unstable tarball.
* gnu/packages/admin.scm (masscan)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-08 23:50:57 +01:00
Tobias Geerinckx-Rice ab213bfd04
gnu: pam-krb5: Don't use NAME in source URI.
* gnu/packages/admin.scm (pam-krb5)[source]: Hard-code name.
2019-02-08 23:50:57 +01:00
Tobias Geerinckx-Rice fe2f01664f
gnu: audit: Don't use NAME in source URI.
* gnu/packages/admin.scm (audit)[source]: Hard-code name.
2019-02-08 23:50:56 +01:00
Tobias Geerinckx-Rice e20796dc7a
gnu: hungrycat: Don't use NAME in source URI.
* gnu/packages/admin.scm (hungrycat)[source]: Hard-code name.
2019-02-08 23:50:55 +01:00
Tobias Geerinckx-Rice 631249ddc0
gnu: avogadro: Don't use unstable tarball.
* gnu/packages/chemistry.scm (avogadro)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-08 23:50:55 +01:00
Tobias Geerinckx-Rice f44eca9468
gnu: launchmon: Don't use NAME in source URI.
* gnu/packages/admin.scm (launchmon)[source]: Hard-code name.
2019-02-08 23:50:54 +01:00
Tobias Geerinckx-Rice 1f6a970592
gnu: florence: Don't use NAME in source URI.
* gnu/packages/accessibility.scm (florence)[source]: Hard-code name.
2019-02-08 23:50:53 +01:00
Tobias Geerinckx-Rice d64e514777
gnu: i3blocks: Use GIT-FILE-NAME.
* gnu/packages/wm.scm (i3blocks)[source]: Use GIT-FILE-NAME.
2019-02-08 23:50:52 +01:00
Tobias Geerinckx-Rice 0fa63b8908
gnu: spice-protocol: Update to 0.12.15.
* gnu/packages/spice.scm (spice-protocol): Update to 0.12.15.
2019-02-08 23:50:52 +01:00
Tobias Geerinckx-Rice 15c661ec8e
gnu: torsocks: Update to 2.3.0.
* gnu/packages/tor.scm (torsocks): Update to 2.3.0.
[inputs]: Remove which.
[arguments]: Update 'absolutize' substitutions.
2019-02-08 23:50:51 +01:00
Tobias Geerinckx-Rice d77ade87fe
gnu: torsocks: Don't use NAME in source URI.
* gnu/packages/tor.scm (torsocks)[source]: Hard-code name.
2019-02-08 23:50:50 +01:00
Tobias Geerinckx-Rice c97a1c4297
gnu: sdl2-ttf: Update to 2.0.15.
* gnu/packages/sdl.scm (sdl2-ttf): Update to 2.0.15.
2019-02-08 23:50:50 +01:00
Ricardo Wurmus 307182d4f7
gnu: rcas-web: Update to 0.1.0.
* gnu/packages/bioinformatics.scm (rcas-web): Update to 0.1.0.
[inputs]: Replace guile2.2-redis with guile-redis.
2019-02-08 22:45:12 +01:00
Arun Isaac 4745f8d71d
gnu: swaks: Update to 20181104.0.
* gnu/packages/mail.scm (swaks): Update to 20181104.0.
2019-02-09 01:08:36 +05:30
Ricardo Wurmus 4714b00e7a
gnu: Add dune-pdelab.
* gnu/packages/maths.scm (dune-pdelab): New variable.
2019-02-08 19:15:03 +01:00
Ricardo Wurmus 85b9371cbe
gnu: Add dune-functions.
* gnu/packages/maths.scm (dune-functions): New variable.
2019-02-08 18:29:30 +01:00
Ricardo Wurmus 0e50630f15
gnu: Add dune-typetree.
* gnu/packages/maths.scm (dune-typetree): New variable.
2019-02-08 17:58:32 +01:00
Ricardo Wurmus ab03d899ca
gnu: Add dune-alugrid.
* gnu/packages/maths.scm (dune-alugrid): New variable.
2019-02-08 17:52:47 +01:00
Danny Milosavljevic fc80f54e29
gnu: Add usbmuxd.
* gnu/packages/libusb.scm (usbmuxd): New variable.
2019-02-08 16:44:51 +01:00
Danny Milosavljevic bc4e8d3e64
gnu: Add ifuse.
* gnu/packages/libusb.scm (ifuse): New variable.
2019-02-08 16:44:51 +01:00
Danny Milosavljevic 6d0b50f651
gnu: libimobiledevice: Propagate "libplist".
* gnu/packages/libusb.scm (libimobiledevice)[propagated-inputs]: Add
libplist.
[inputs]: Remove libplist.
2019-02-08 16:44:49 +01:00
Ricardo Wurmus f57bf15cd8
gnu: guile-redis: Update to 1.3.0.
* gnu/packages/guile-xyz.scm (guile-redis): Update to 1.3.0.
2019-02-08 16:26:20 +01:00
Ricardo Wurmus 5a70aa7d69
gnu: Add dune-localfunctions.
* gnu/packages/maths.scm (dune-localfunctions): New variable.
2019-02-08 16:26:20 +01:00
Ricardo Wurmus ea51d3578c
gnu: Add dune-istl.
* gnu/packages/maths.scm (dune-istl): New variable.
2019-02-08 16:26:20 +01:00
Ricardo Wurmus ef6e69fdec
gnu: Add dune-grid.
* gnu/packages/maths.scm (dune-grid): New variable.
2019-02-08 16:26:20 +01:00
Tobias Geerinckx-Rice 9d58e8819f
gnu: umoci: Update to 0.4.4.
* gnu/packages/virtualization.scm (umoci): Update to 0.4.4.
2019-02-08 12:09:58 +01:00
Christopher Baines 6fd72f7094
gnu: guile-squee: Fix the license.
The license originally specified in the package definition was incorrect. The
true license is the Lesser GNU General Public License.

* gnu/packages/guile-xyz.scm (guile-squee): Change license to license:lgpl3+.
2019-02-08 10:26:20 +00:00
Eric Bavier 7b84610e21
gnu: hdf5: Upgrade to 1.8.21.
* gnu/packages/maths.scm (hdf5): Upgrade to 1.8.21.
[source]: Make version manipulations more readable using match.
2019-02-07 21:20:47 -06:00
Eric Bavier 7fedc3fdfb
gnu: hdf5: Remove use of deprecated MPI1 symbols.
* gnu/packages/patches/hdf5-1.8-mpi-deprecations.patch,
  gnu/packages/patches/hdf5-mpi-deprecations.patch: New files.
* gnu/local.mk (dist_patch_DATA): Add them.
* gnu/packages/maths.scm (hdf5, hdf5-1.10)[source]: Use them.
2019-02-07 21:20:47 -06:00
Eric Bavier 2bdf26f1c8
gnu: superlu-dist: Remove use of deprecated MPI1 symbols.
* gnu/packages/patches/superlu-dist-fix-mpi-deprecations.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/maths.scm (superlu-dist)[source]: Use it.
2019-02-07 21:20:23 -06:00
Pierre Neidhardt 674d180cfa
gnu: emacs-fish-completion: Update to 1.0.
* gnu/packages/emacs-xyz.scm (emacs-fish-completion): Update to 1.0.
2019-02-07 23:10:05 +01:00
Tim Stahel 6f8ade6ee6
gnu: Add gpx.
* gnu/packages/engineering.scm (gpx): New variable.

Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
2019-02-07 22:36:01 +01:00
Ricardo Wurmus 242dbd8e5d
gnu: Add dune-geometry.
* gnu/packages/maths.scm (dune-geometry): New variable.
2019-02-07 22:36:01 +01:00
Ricardo Wurmus 3847d1f22f
gnu: Add dune-common.
* gnu/packages/maths.scm (dune-common): New variable.
2019-02-07 22:36:01 +01:00
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
Marius Bakke 69fb26d4f5
gnu: mariadb: Add comments about failing tests.
* gnu/packages/databases.scm (mariadb): Add comments.
2019-02-06 23:30: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
Rutger Helling 9b43a73600
gnu: vulkan-headers: Update to 1.1.99.
* gnu/packages/vulkan.scm (vulkan-headers): Update to 1.1.99.
* gnu/packages/vulkan.scm (vulkan-loader): Update hash.
* gnu/packages/vulkan.scm (vulkan-tools): Update to 1.1.97.0.
2019-02-06 12:10:52 +01: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