Commit Graph

10775 Commits

Author SHA1 Message Date
Ricardo Wurmus c70271ec48
gnu: bioperl-minimal: Update to 1.7.0.
* gnu/packages/bioinformatics.scm (bioperl-minimal): Update to 1.7.0.
2016-10-26 16:23:24 +02:00
Marius Bakke 39df253e2b
gnu: mupdf: Modify CVE-2016-8674 patch to apply to 1.9a.
The fix from upstream did not apply cleanly due to many context changes.
This was adapted by cloning mupdf 1.9a from git and fixing conflicts
after applying our patches and cherry-picking upstream commit 1e03c06.

This is a follow-up to 47a04fca99.

* gnu/packages/patches/mupdf-CVE-2016-8674.patch: Adapt to 1.9a.
2016-10-26 15:03:42 +01:00
ng0 b2a2232c33
gnu: python-certifi: Update to 2016.8.31.
* gnu/packages/python.scm (python-certifi): Update to 2016.8.31.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2016-10-26 14:31:16 +03:00
Marius Bakke 07b1fb8675
gnu: security-token: Use 'license:' prefix.
* gnu/packages/security-token.scm (libyubikey)[license]: Add prefix.
(ykclient)[license]: Add prefix.
2016-10-26 11:00:58 +01:00
Marius Bakke f9c339603d
gnu: yubico.scm: Rename to security-token.scm.
* gnu/packages/yubico.scm: Delete file.
* gnu/packages/security-token.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Adjust accordingly.
2016-10-26 10:45:49 +01:00
Marius Bakke 7a6213cbd7
gnu: offlineimap: Install documentation.
* gnu/packages/mail.scm (offlineimap)[native-inputs]: Add asciidoc and
libxslt.
[arguments]: Add phases 'build-documentation' and
'install-documentation' to build and install manpages. Also remove
unneeded key 'inputs' from 'wrap-binary' phase.
2016-10-26 10:45:49 +01:00
Marius Bakke d2a9b531fb
gnu: notmuch: Update to 0.23.1.
* gnu/packages/patches/notmuch-emacs-25-compatibility-fix.patch: Delete
file.
* gnu/local.mk (dist_patch_DATA): Remove it.
* gnu/packages/mail.scm (notmuch): Update to 0.23.1. Remove patch.
2016-10-26 10:45:49 +01:00
Efraim Flashner 8f5f6c922f
gnu: vlc: Add x265 support.
* gnu/packages/video.scm (vlc)[inputs]: Add x265.
2016-10-26 12:19:19 +03:00
Efraim Flashner e3cb00d210
gnu: gst-plugins-bad: Add x265 support.
* gnu/packages/gstreamer.scm (gst-plugins-bad)[inputs]: Add x265.
2016-10-26 12:19:18 +03:00
Efraim Flashner d505801a06
gnu: ffmpeg: Add x265 support.
* gnu/packages/video.scm (ffmpeg)[inputs]: Add x265.
[arguments]: Add '--enable-libx265' flag.
2016-10-26 12:19:18 +03:00
Efraim Flashner 7bc7ffc243
gnu: Add x265.
* gnu/packages/video.scm (x265): New variable.
2016-10-26 12:19:18 +03:00
ng0 1df790d50d
gnu: Add psyclpc.
* gnu/packages/psyc.scm (psyclpc): New variable.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2016-10-26 11:29:35 +03:00
Ludovic Courtès 19262a718e
gnu: opensmtpd: Fix 'license' field.
* gnu/packages/mail.scm (opensmtpd)[license]: Use LICENSE:OPENSSL, not
OPENSSL.
(opensmtpd-extras)[license]: Likewise.
2016-10-26 10:19:18 +02:00
Ricardo Wurmus 59198f8fff
gnu: r-genomationdata: Update to 1.6.0.
* gnu/packages/bioinformatics.scm (r-genomationdata): Update to 1.6.0.
2016-10-26 09:28:23 +02:00
Ricardo Wurmus e357bec836
gnu: r-bamsignals: Update to 1.6.0.
* gnu/packages/bioinformatics.scm (r-bamsignals): Update to 1.6.0.
2016-10-26 09:28:23 +02:00
Ricardo Wurmus 53ca52f013
gnu: r-rhtslib: Update to 1.6.0.
* gnu/packages/bioinformatics.scm (r-rhtslib): Update to 1.6.0.
[native-inputs]: Add autoconf.
2016-10-26 09:28:23 +02:00
Ricardo Wurmus da22da862b
gnu: r-zlibbioc: Update to 1.20.0.
* gnu/packages/bioinformatics.scm (r-zlibbioc): Update to 1.20.0.
2016-10-26 09:28:22 +02:00
Ricardo Wurmus 809251e164
gnu: r-motifrg: Update to 1.18.0.
* gnu/packages/bioinformatics.scm (r-motifrg): Update to 1.18.0.
2016-10-26 09:28:22 +02:00
Ricardo Wurmus 21d6c7a3e1
gnu: r-seqlogo: Update to 1.40.0.
* gnu/packages/bioinformatics.scm (r-seqlogo): Update to 1.40.0.
2016-10-26 09:28:22 +02:00
Ricardo Wurmus 51c3c4900f
gnu: r-genomation: Update to 1.6.0.
* gnu/packages/bioinformatics.scm (r-genomation): Update to 1.6.0.
[propagated-inputs]: Add r-rcpp, r-htslib, r-runit, r-s4vectors.
[inputs]: Add zlib.
2016-10-26 09:28:21 +02:00
Ricardo Wurmus e92dd6f5e0
gnu: r-seqpattern: Update to 1.6.0.
* gnu/packages/bioinformatics.scm (r-seqpattern): Update to 1.6.0.
[propagated-inputs]: Add r-kernsmooth.
2016-10-26 09:28:21 +02:00
Ricardo Wurmus acf6f7e0c3
gnu: r-impute: Update to 1.48.0.
* gnu/packages/bioinformatics.scm (r-impute): Update to 1.48.0.
2016-10-26 09:28:21 +02:00
Ricardo Wurmus 3d74c04451
gnu: r-bsgenome: Update to 1.42.0.
* gnu/packages/bioinformatics.scm (r-bsgenome): Update to 1.42.0.
2016-10-26 09:28:20 +02:00
Ricardo Wurmus 30ec4de738
gnu: r-topgo: Update to 2.26.0.
* gnu/packages/bioinformatics.scm (r-topgo): Update to 2.26.0.
[propagated-inputs]: Add r-dbi.
2016-10-26 09:28:20 +02:00
Ricardo Wurmus 3587b464fc
gnu: r-graph: Update to 1.52.0.
* gnu/packages/bioinformatics.scm (r-graph): Update to 1.52.0.
2016-10-26 09:28:19 +02:00
Ricardo Wurmus d1b1587cad
gnu: r-go-db: Update to 3.4.0.
* gnu/packages/bioinformatics.scm (r-go-db): Update to 3.4.0.
2016-10-26 09:28:19 +02:00
Ricardo Wurmus b17aac083e
gnu: r-genomicfeatures: Update to 1.26.0.
* gnu/packages/bioinformatics.scm (r-genomicfeatures): Update to 1.26.0.
2016-10-26 09:28:18 +02:00
Ricardo Wurmus 6a45fd9aea
gnu: r-rtracklayer: Update to 1.34.0.
* gnu/packages/bioinformatics.scm (r-rtracklayer): Update to 1.34.0.
2016-10-26 09:28:18 +02:00
Ricardo Wurmus 4ab32f0cd6
gnu: r-genomicalignments: Update to 1.10.0.
* gnu/packages/bioinformatics.scm (r-genomicalignments): Update to
1.10.0.
2016-10-26 09:28:18 +02:00
Ricardo Wurmus 08da08d296
gnu: r-summarizedexperiment: Update to 1.4.0.
* gnu/packages/bioinformatics.scm (r-summarizedexperiment): Update to
1.4.0.
2016-10-26 09:28:17 +02:00
Ricardo Wurmus c0ccef41ae
gnu: r-rsamtools: Update to 1.26.1.
* gnu/packages/bioinformatics.scm (r-rsamtools): Update to 1.26.1.
2016-10-26 09:28:17 +02:00
Ricardo Wurmus 47d39b6e7a
gnu: r-biostrings: Update to 2.42.0.
* gnu/packages/bioinformatics.scm (r-biostrings): Update to 2.42.0.
2016-10-26 09:28:17 +02:00
Ricardo Wurmus 89559a124e
gnu: r-biocparallel: Update to 1.8.0.
* gnu/packages/bioinformatics.scm (r-biocparallel): Update to 1.8.0.
2016-10-26 09:28:16 +02:00
Ricardo Wurmus 9405333186
gnu: r-biomart: Update to 2.30.0.
* gnu/packages/bioinformatics.scm (r-biomart): Update to 2.30.0.
2016-10-26 09:28:16 +02:00
Ricardo Wurmus e45dc05781
gnu: r-annotationdbi: Update to 1.36.0.
* gnu/packages/bioinformatics.scm (r-annotationdbi): Update to 1.36.0.
2016-10-26 09:28:16 +02:00
Ricardo Wurmus 464870caf7
gnu: r-biobase: Update to 2.34.0.
* gnu/packages/bioinformatics.scm (r-biobase): Update to 2.34.0.
2016-10-26 09:28:15 +02:00
Ricardo Wurmus 92a740afac
gnu: r-genomicranges: Update to 1.26.1.
* gnu/packages/bioinformatics.scm (r-genomicranges): Update to 1.26.1.
[propagated-inputs]: Add r-iranges, r-s4vectors.
2016-10-26 09:28:15 +02:00
Ricardo Wurmus 1d048589ca
gnu: r-xvector: Update to 0.14.0.
* gnu/packages/bioinformatics.scm (r-xvector): Update to 0.14.0.
2016-10-26 09:28:14 +02:00
Ricardo Wurmus 753bc32b8e
gnu: r-limma: Update to 3.30.0.
* gnu/packages/bioinformatics.scm (r-limma): Update to 3.30.0.
2016-10-26 09:28:14 +02:00
Ricardo Wurmus 37d96f1dde
gnu: r-variantannotation: Update to 1.20.0.
* gnu/packages/bioinformatics.scm (r-variantannotation): Update to
1.20.0.
[propagated-inputs]: Add r-biobase, r-biostrings, r-iranges,
r-rtracklayer, r-s4vectors, r-xvector.
2016-10-26 09:28:14 +02:00
Ricardo Wurmus 5e48005fa9
gnu: r-edger: Update to 3.16.0.
* gnu/packages/bioinformatics.scm (r-edger): Update to 3.16.0.
[propagated-inputs]: Add r-locfit.
2016-10-26 09:28:14 +02:00
Ricardo Wurmus dece310a25
gnu: r-genomeinfodb: Update to 1.10.0.
* gnu/packages/bioinformatics.scm (r-genomeinfodb): Update to 1.10.0.
2016-10-26 09:28:13 +02:00
Ricardo Wurmus 7f354dafb1
gnu: r-iranges: Update to 2.8.0.
* gnu/packages/bioinformatics.scm (r-iranges): Update to 2.8.0.
2016-10-26 09:28:13 +02:00
Ricardo Wurmus b120c5f3a2
gnu: r-s4vectors: Update to 0.12.0.
* gnu/packages/bioinformatics.scm (r-s4vectors): Update to 0.12.0.
2016-10-26 09:28:13 +02:00
Ricardo Wurmus 22c5d736af
gnu: r-dnacopy: Update to 1.48.0.
* gnu/packages/bioinformatics.scm (r-dnacopy): Update to 1.48.0.
2016-10-26 09:28:12 +02:00
Ricardo Wurmus 5c7b04e0c3
gnu: r-biocinstaller: Update to 1.24.0.
* gnu/packages/bioinformatics.scm (r-biocinstaller): Update to 1.24.0.
2016-10-26 09:28:12 +02:00
Ricardo Wurmus f0b297e17b
gnu: r-biocgenerics: Update to 0.20.0.
* gnu/packages/bioinformatics.scm (r-biocgenerics): Update to 0.20.0.
2016-10-26 09:28:11 +02:00
Ricardo Wurmus c9b5046a18
gnu: r-grohmm: Update to 1.8.0.
* gnu/packages/bioinformatics.scm (r-grohmm): Update to 1.8.0.
2016-10-26 09:28:11 +02:00
Ricardo Wurmus 1265d3877b
gnu: r-systempiper: Update to 1.8.1.
* gnu/packages/bioinformatics.scm (r-systempiper): Update to 1.8.1.
2016-10-26 09:28:11 +02:00
Ricardo Wurmus b87b41a74d
gnu: r-shortread: Update to 1.32.0.
* gnu/packages/bioinformatics.scm (r-shortread): Update to 1.32.0.
2016-10-26 09:28:10 +02:00
Ricardo Wurmus ae6899b683
gnu: r-gostats: Update to 2.40.0.
* gnu/packages/bioinformatics.scm (r-gostats): Update to 2.40.0.
2016-10-26 09:28:10 +02:00
Ricardo Wurmus 816599c1e7
gnu: r-category: Update to 2.40.0.
* gnu/packages/bioinformatics.scm (r-category): Update to 2.40.0.
2016-10-26 09:28:10 +02:00
Ricardo Wurmus 558d02c361
gnu: r-gseabase: Update to 1.36.0.
* gnu/packages/bioinformatics.scm (r-gseabase): Update to 1.36.0.
2016-10-26 09:28:09 +02:00
Ricardo Wurmus 700c780dcf
gnu: r-rbgl: Update to 1.50.0.
* gnu/packages/bioinformatics.scm (r-rbgl): Update to 1.50.0.
2016-10-26 09:28:09 +02:00
Ricardo Wurmus 55cd914c3d
gnu: r-annotationforge: Update to 1.16.0.
* gnu/packages/bioinformatics.scm (r-annotationforge): Update to 1.16.0.
[propagated-inputs]: Add r-rcurl.
2016-10-26 09:28:09 +02:00
Ricardo Wurmus e1db8dd813
gnu: r-deseq2: Update to 1.14.0.
* gnu/packages/bioinformatics.scm (r-deseq2): Update to 1.14.0.
2016-10-26 09:28:08 +02:00
Ricardo Wurmus 1e66e71921
gnu: r-genefilter: Update to 1.56.0.
* gnu/packages/bioinformatics.scm (r-genefilter): Update to 1.56.0.
2016-10-26 09:28:08 +02:00
Ricardo Wurmus 6faa2a48f0
gnu: r-geneplotter: Update to 1.52.0.
* gnu/packages/bioinformatics.scm (r-geneplotter): Update to 1.52.0.
2016-10-26 09:28:08 +02:00
Ricardo Wurmus 9beba74f66
gnu: r-annotate: Update to 1.52.0.
* gnu/packages/bioinformatics.scm (r-annotate): Update to 1.52.0.
2016-10-26 09:28:07 +02:00
Ricardo Wurmus 557a4b8e61
gnu: Add r-kernsmooth.
* gnu/packages/statistics.scm (r-kernsmooth): New variable.
2016-10-26 09:28:07 +02:00
Ricardo Wurmus f9875807e8
gnu: emacs-emms-player-mpv: Update to 0.0.10.
* gnu/packages/emacs.scm (emacs-emms-player-mpv): Update to 0.0.10.
2016-10-26 09:28:07 +02:00
Leo Famulari 6c18c4f603
gnu: elfutils: Update to 0.167.
* gnu/packages/elf.scm (elfutils): Update to 0.167.
2016-10-25 22:11:59 -04:00
Leo Famulari 3de764f7a7
gnu: gtk+-2: Update to 2.24.31 [fixes CVE-2013-7447].
* gnu/packages/gtk.scm (gtk+-2): Update to 2.24.31.
2016-10-25 16:33:13 -04:00
Kei Kebreau 47a04fca99
gnu: mupdf: Fix CVE-2016-8674.
* gnu/packages/patches/mupdf-CVE-2016-8674.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/pdf.scm (mupdf): Use it.
2016-10-25 12:50:50 -04:00
Thomas Danckaert 4b12fe5cab
gnu: coda: Remove bundled libraries.
* gnu/packages/maths.scm (coda): Remove bundled libraries.
[source]: Add patch and snippet to remove bundled zlib, pcre and expat.
[inputs]: Add system zlib, pcre and expat.
* gnu/packages/patches/coda-use-system-libs.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2016-10-25 14:56:37 +02:00
Mark H Weaver e9a19bde40
gnu: linux-libre@4.1: Update to 4.1.35.
* gnu/packages/linux.scm (linux-libre-4.1): Update to 4.1.35.  Remove
patch.
* gnu/packages/patches/linux-libre-4.1-CVE-2016-5195.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
2016-10-24 22:53:18 -04:00
Thomas Danckaert d91025e3d0
gnu: Add coda.
* gnu/packages/maths.scm (coda): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2016-10-24 23:14:52 +02:00
Thomas Danckaert d3c4f3bb00
gnu: Add hdf-eos2.
* gnu/packages/maths.scm (hdf-eos2): New variable.
* gnu/packages/patches/hdf-eos2-build-shared.patch: New file.
* gnu/packages/patches/hdf-eos2-remove-gctp.patch: New file.
* gnu/packages/patches/hdf-eos2-fortrantests.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add patches.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2016-10-24 23:05:20 +02:00
Amirouche 3b5783fcd9
gnu: Add guile-bytestructures
* gnu/packages/guile.scm (guile-bytestructures): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2016-10-24 22:51:52 +02:00
Efraim Flashner 405be8dceb
gnu: efl: Update to 1.18.2.
* gnu/packages/enlightenment.scm (efl): Update to 1.18.2.
2016-10-24 22:01:00 +03:00
Kei Kebreau c201b28bfa
gnu: red-eclipse: Update to 1.5.6.
* gnu/packages/games.scm (red-eclipse): Update to 1.5.6.
[arguments]: Adjust phases.
2016-10-24 13:25:39 -04:00
ng0 9c798f9036
gnu: Add whois.
* gnu/packages/networking.scm (whois): New variable.

Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2016-10-24 17:40:53 +01:00
宋文武 bd1b1e0517
gnu: gnumeric: Use 'glib-or-gtk-build-system'.
Reported by Pjotr Prins <pjotr.public12@thebird.nl>.

* gnu/packages/gnome.scm (gnumeric)[build-systems]: Switch to
GLIB-OR-GTK-BUILD-SYSTEM.
2016-10-24 19:19:34 +08:00
Leo Famulari 02cfea6627
gnu: musl: Fix CVE-2016-8859.
* gnu/packages/patches/musl-CVE-2016-8859.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/musl.scm (musl)[source]: Use it.
2016-10-23 18:08:17 -04:00
Kei Kebreau 8e3017cc65
gnu: windowmaker: Update to 0.95.7.
* gnu/packages/gnustep.scm (windowmaker): Update to 0.95.7.
2016-10-23 17:52:28 -04:00
Arun Isaac 0f6b6cb996
gnu: gajim: Update to 0.16.6.
* gnu/packages/messaging.scm (gajim): Update to 0.16.6.

Signed-off-by: Leo Famulari <leo@famulari.name>
2016-10-23 17:40:50 -04:00
Arun Isaac d6465efaa9
gnu: gajim: License is "version 3 only".
* gnu/packages/messaging.scm (gajim)[license]: Change to GPL3.

Signed-off-by: Leo Famulari <leo@famulari.name>
2016-10-23 17:40:50 -04:00
ng0 2dfa90721d
gnu: weechat: Update to 1.6.
* gnu/packages/irc.scm (weechat): Update to 1.6.

Signed-off-by: Leo Famulari <leo@famulari.name>
2016-10-23 17:10:22 -04:00
Danny Milosavljevic 903276d066
gnu: Add python-flask-sqlalchemy.
* gnu/packages/python.scm (python-flask-sqlalchemy): New variable.
2016-10-23 19:41:11 +02:00
Danny Milosavljevic 31288222d4
gnu: Add python-flask-basicauth.
* gnu/packages/python.scm (python-flask-basicauth): New variable.
2016-10-23 19:41:10 +02:00
Danny Milosavljevic 999d964d64
gnu: Add python-flask-restful.
* gnu/packages/python.scm (python-flask-restful): New variable.
2016-10-23 19:31:39 +02:00
Danny Milosavljevic 0990edfecb
gnu: Add python-aniso8601.
* gnu/packages/python.scm (python-aniso8601): New variable.
2016-10-23 19:31:39 +02:00
Rene Saavedra 04ce840a82
gnu: Add bluefish.
* gnu/packages/gnome.scm (bluefish): New variable.
2016-10-23 19:26:30 +02:00
Tobias Geerinckx-Rice 373e765ec3
gnu: openconnect: Update to 7.07.
* gnu/packages/vpn.scm (openconnect): Update to 7.07.
2016-10-23 16:33:04 +02:00
Tobias Geerinckx-Rice bdc74f07c3
gnu: weex: Use ‘modify-phases’.
* gnu/packages/ftp.scm (weex): Use the ‘modify-phases’ syntax.
2016-10-23 16:33:04 +02:00
Ricardo Wurmus 5f5b57681c
gnu: Add guitarix-lv2.
* gnu/packages/audio.scm (guitarix-lv2): New variable.
2016-10-23 15:47:35 +02:00
Ricardo Wurmus 84d53724ba
gnu: Add mod-utilities.
* gnu/packages/music.scm (mod-utilities): New variable.
2016-10-23 15:47:35 +02:00
Ricardo Wurmus 3d4b1bb9a1
gnu: Add jalv-select.
* gnu/packages/music.scm (jalv-select): New variable.
2016-10-23 15:47:35 +02:00
Ricardo Wurmus c2c9e74891
gnu: Add mod-host.
* gnu/packages/music.scm (mod-host): New variable.
2016-10-23 15:47:35 +02:00
Efraim Flashner 875dc49b00
gnu: jasper: Update to 1.900.13.
* gnu/packages/image.scm (jasper): Update to 1.900.13.
[arguments]: Build with -std=c99 support.
2016-10-23 16:32:04 +03:00
ng0 5cb7974109
gnu: Add libpsyc.
* gnu/packages/psyc.scm (libpsyc): New variable.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2016-10-23 16:32:03 +03:00
ng0 3a14b2bcf6
gnu: Add perl-net-psyc.
* gnu/packages/psyc.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add it.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2016-10-23 16:32:03 +03:00
Ricardo Wurmus 860eda621b
gnu: vmpk: Remove package.
The vmpk package has been broken for a while and attempts to fix it have
failed.  The package "jack-keyboard" offers similar features.

* gnu/packages/music.scm (vmpk): Remove variable.
2016-10-23 15:06:36 +02:00
Ricardo Wurmus 1a0633e79b
gnu: Add supertuxkart.
* gnu/packages/games.scm (supertuxkart): New variable.
2016-10-23 15:05:19 +02:00
Efraim Flashner 9ba88890f7
gnu: gambit-c: Update to 4.8.5.
* gnu/packages/scheme.scm (gambit-c): Update to 4.8.5.
[source]: Update source tarball name.
2016-10-23 14:37:36 +03:00
Efraim Flashner 27668c79de
gnu: gambit-c: Use 'modify-phases' syntax.
* gnu/packages/scheme.scm (gambit-c)[arguments]: Use 'modify-phases'
syntax.
2016-10-23 14:37:36 +03:00
Efraim Flashner 71dcdaf31f
gnu: gambit-c: Update to 4.7.9.
* gnu/packages/scheme.scm (gambit-c): Update to 4.7.9.
2016-10-23 14:37:36 +03:00
Efraim Flashner fb685df8f8
gnu: bigloo: Use 'modify-phases' syntax.
* gnu/packages/scheme.scm (bigloo)[arguments]: Use 'modify-phases' syntax.
2016-10-23 14:37:36 +03:00
Efraim Flashner 04014de6f5
gnu: hop: Use 'modify-phases' syntax.
* gnu/packages/scheme.scm (hop)[arguments]: Use 'modify-phases' syntax.
2016-10-23 14:37:35 +03:00
Efraim Flashner eccd1d24c9
gnu: hop: Update to 2.5.1.
* gnu/packages/scheme.scm (hop): Update to 2.5.1.
[source]: Remove patch.
* gnu/packages/patches/hop-bigloo-4.0b.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
2016-10-23 14:37:28 +03:00