Julien Lepiller
0a7b43a818
gnu: Add ocaml-ppx-tools.
...
* gnu/packages/ocaml.scm (ocaml-ppx-tools): New variable.
2017-01-16 22:34:45 +01:00
Julien Lepiller
69705efe94
gnu: Add ocaml-alcotest.
...
* gnu/packages/ocaml.scm (ocaml-alcotest): New variable.
2017-01-16 22:34:42 +01:00
Julien Lepiller
f46bceb670
gnu: Add ocaml-astring.
...
* gnu/packages/ocaml.scm (ocaml-astring): New variable.
2017-01-16 22:34:39 +01:00
Julien Lepiller
beeb2d419b
gnu: Add ocaml-fmt.
...
* gnu/packages/ocaml.scm (ocaml-fmt): New variable.
2017-01-16 22:34:36 +01:00
Julien Lepiller
8fe6b9327d
gnu: camlzip: Install both modules.
...
* gnu/packages/ocaml.scm (camlzip) [arguments]: Install both zip and camlzip
modules.
2017-01-16 22:34:30 +01:00
Thomas Danckaert
138adbbe05
gnu: Add python-autopep8.
...
* gnu/packages/python.scm (python-autopep8, python2-autopep8): New variables.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-01-16 22:13:21 +01:00
Thomas Danckaert
2f4d08ee7f
gnu: kdevelop: Set more paths in wrapper script.
...
* gnu/packages/kde.scm (kdevelop)[arguments]: Add more paths in
wrap-executable: add "/share" output of kdevplatform and kcmutils to
$XDG_DATA_DIRS; add "lib/plugins" from user profile to $QT_PLUGIN_PATH.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-01-16 22:13:21 +01:00
Thomas Danckaert
fc11b0d3b2
gnu: kdevelop: Update to 5.0.3.
...
* gnu/packages/kde.scm (kdevelop, kdevplatform): Update to 5.0.3.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-01-16 22:13:21 +01:00
Mark H Weaver
b09903619f
gnu: linux-libre: Update to 4.9.4.
...
* gnu/packages/linux.scm (%linux-libre-version, %linux-libre-hash)
(linux-libre): Update to 4.9.4.
2017-01-16 05:26:33 -05:00
Mark H Weaver
8220c963e1
gnu: linux-libre@4.4: Update to 4.4.43.
...
* gnu/packages/linux.scm (linux-libre-4.4): Update to 4.4.43.
2017-01-16 05:23:04 -05:00
ng0
ad1c349db0
gnu: dwm: Add '.desktop' file.
...
Fixes <https://bugs.gnu.org/25438 >.
* gnu/packages/suckless.scm (dwm)[arguments]: Add
'install-xsession' phase.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-01-16 11:03:46 +01:00
ng0
0d2c8f3420
gnu: dwm: Use modify-phases.
...
* gnu/packages/suckless.scm (dwm): Use modify-phases.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-01-16 11:03:46 +01:00
Christopher Baines
7d8b59139a
services: Export 'service-extension' procedures.
...
* gnu/services.scm: Export service-extension-target and
service-extension-compute. This allows for greater extensiblity of services
by enabling service extensions to be wrapped. For example, the parameters
passed to the compute function can be modified, or the return value of the
compute function can be modified.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-01-16 11:03:26 +01:00
Marius Bakke
4ec840917c
gnu: zathura-pdf-poppler: Update to 0.2.7.
...
* gnu/packages/pdf.scm (zathura-pdf-poppler): Update to 0.2.7.
2017-01-16 10:21:46 +01:00
Marius Bakke
16a9f83fe0
gnu: zathura-djvu: Update to 0.2.6.
...
* gnu/packages/pdf.scm (zathura-djvu): Update to 0.2.6.
2017-01-16 10:20:15 +01:00
Marius Bakke
fe5fe355fd
gnu: zathura-ps: Update to 0.2.4.
...
* gnu/packages/pdf.scm (zathura-ps): Update to 0.2.4.
2017-01-16 10:18:47 +01:00
Marius Bakke
4df3dc419d
gnu: zathura-cb: Update to 0.1.6.
...
* gnu/packages/pdf.scm (zathura-cb): Update to 0.1.6.
2017-01-16 10:16:59 +01:00
Marius Bakke
623feb452a
gnu: zathura: Update to 0.3.7.
...
* gnu/packages/pdf.scm (zathura): Update to 0.3.7.
2017-01-16 10:15:00 +01:00
Marius Bakke
24bbd9e149
gnu: girara: Update to 0.2.7.
...
* gnu/packages/gtk.scm (girara): Update to 0.2.7.
2017-01-16 10:14:00 +01:00
Marius Bakke
017ecf72ca
gnu: vim: Update to 8.0.0194.
...
* gnu/packages/vim.scm (vim, vim-full): Update to 8.0.0194.
2017-01-16 10:09:19 +01:00
Marius Bakke
2a72d18c71
gnu: ccid: Update to 1.4.26.
...
* gnu/packages/security-token.scm (ccid): Update to 1.4.26.
2017-01-16 10:00:16 +01:00
Marius Bakke
8f8921eb4a
gnu: dnscrypt-proxy: Update to 1.9.2.
...
* gnu/packages/dns.scm (dnscrypt-proxy): Update to 1.9.2.
2017-01-16 10:00:16 +01:00
Mark H Weaver
a5ff4d6517
Merge branch 'gnome-updates'
2017-01-16 03:53:50 -05:00
Leo Famulari
8afabb2eca
gnu: cups-filters: Fix CVE-2016-{10132,10133} in statically linked mupdf.
...
The vulnerabilities are in the MuJS that is bundled with MuPDF.
* gnu/packages/cups.scm (cups-filters)[replacement]: New field.
(mupdf/fixed-instead-of-mupdf), (cups-filters/fixed): New variables.
2017-01-15 20:24:34 -05:00
Marius Bakke
af8c7e1014
gnu: mupdf: Fix CVE-2016-{10132,10133} in bundled mujs.
...
* gnu/packages/patches/mupdf-mujs-CVE-2016-10132.patch,
gnu/packages/patches/mupdf-mujs-CVE-2016-10133.patch: New files.
* gnu/local.mk (dist_patch_DATA): Add them.
* gnu/packages/pdf.scm (mupdf)[replacement]: New field.
(mupdf/fixed): New variable.
Co-authored-by: Leo Famulari <leo@famulari.name>
2017-01-15 20:24:30 -05:00
Ludovic Courtès
abdc5f345c
gnu: guix: Update development snapshot.
...
* gnu/packages/package-management.scm (guix-devel): Update to d9da3a7
.
2017-01-15 22:47:25 +01:00
Mark H Weaver
757768035b
gnu: icecat: Add more fixes from upstream mozilla-esr45.
...
* gnu/packages/gnuzilla.scm (icecat)[source]: Add selected patches from
the upstream mozilla-esr45 repository.
2017-01-15 16:11:25 -05:00
Marius Bakke
d502db8441
gnu: fio: Update to 2.16.
...
* gnu/packages/benchmark.scm (fio): Update to 2.16.
2017-01-15 22:07:12 +01:00
José Miguel Sánchez García
139c8f94ff
gnu: lua-lpeg: Update to 1.0.1.
...
* gnu/packages/lua.scm (lua-lpeg): Update to 1.0.1.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2017-01-15 20:23:55 +01:00
ng0
1954699044
gnu: Add obconf.
...
* gnu/packages/openbox.scm (obconf): New variable.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2017-01-15 20:09:22 +01:00
Ricardo Wurmus
49586905b8
gnu: epiphany: Update to 3.22.4.
...
* gnu/packages/gnome.scm (epiphany): Update to 3.22.4.
2017-01-15 19:28:21 +01:00
Tobias Geerinckx-Rice
09cadc8e78
gnu: weechat: Update to 1.7.
...
* gnu/packages/irc.scm (weechat): Update to 1.7.
2017-01-15 14:59:01 +01:00
Tobias Geerinckx-Rice
3e129a77a8
gnu: wcslib: Update to 5.16.
...
* gnu/packages/astronomy.scm (wcslib): Update to 5.16.
2017-01-15 14:59:00 +01:00
Julien Lepiller
2be1b4712d
gnu: Add openvpn service.
...
* gnu/services/vpn.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
* doc/guix.texi (VPN Services): New section.
2017-01-15 12:24:52 +01:00
Ricardo Wurmus
7cc9847324
gnu: tipp10: Adjust phases.
...
* gnu/packages/education.scm (tipp10)[arguments]: Return #t for
"disable-new-version-check"; fix indentation.
2017-01-15 12:16:49 +01:00
Ricardo Wurmus
9e39ac415d
gnu: tipp10: Fix description.
...
* gnu/packages/education.scm (tipp10)[description]: Do not mention
operating systems; remove hint about language settings.
2017-01-15 12:14:31 +01:00
Ricardo Wurmus
415dd1f603
gnu: xfce4-terminal: Update to 0.8.3.
...
* gnu/packages/xfce.scm (xfce4-terminal): Update to 0.8.3.
2017-01-15 12:02:48 +01:00
Ricardo Wurmus
bdeecf5664
gnu: sbcl-stumpwm: Update to 1.0.0.
...
* gnu/packages/lisp.scm (sbcl-stumpwm): Update to 1.0.0.
2017-01-15 12:02:44 +01:00
Efraim Flashner
f968f1a748
gnu: vc-dwim: Update to 1.8.
...
* gnu/packages/version-control.scm (vc-dwim): Update to 1.8.
[home-page]: Use https.
2017-01-15 12:04:26 +02:00
Efraim Flashner
ef7a6714b3
gnu: terminology: Update to 1.0.0.
...
* gnu/packages/enlightenment.scm (terminology): Update to 1.0.0.
[home-page]: Update home-page.
2017-01-15 12:01:43 +02:00
Tobias Geerinckx-Rice
6fb0b6648e
gnu: vim: Update to 8.0.0187.
...
* gnu/packages/vim.scm (vim, vim-full): Update to 8.0.0187.
2017-01-15 02:18:21 +01:00
Tobias Geerinckx-Rice
f88e82687c
gnu: youtube-dl: Update to 2017.01.14.
...
* gnu/packages/video.scm (youtube-dl): Update to 2017.01.14.
2017-01-15 02:18:21 +01:00
Hartmut Goebel
117134a78f
gnu: python-django: Update to 1.10.5.
...
* gnu/packages/django.scm(python-django): Update to 1.10.5.
2017-01-14 23:43:02 +01:00
Mark H Weaver
2d5785adca
gnu: mate-themes: Update source hash.
...
This is a followup to commit 44350d23da
.
* gnu/packages/mate.scm (mate-themes)[source]: Update hash.
* gnu/packages/gtk.scm (gtk+): Add reminder comment.
2017-01-14 16:03:06 -05:00
Leo Famulari
df0625ab73
gnu: certbot, python-acme: Update to 0.10.1.
...
These packages should be updated together.
* gnu/packages/tls.scm (certbot, python-acme, python2-acme): Update to 0.10.1.
2017-01-14 15:04:55 -05:00
Leo Famulari
268e8ad87f
gnu: python-icalendar: Update to 3.11.2.
...
* gnu/packages/python.scm (python-icalendar): Update to 3.11.2.
2017-01-14 14:18:30 -05:00
Hartmut Goebel
b84257c0ff
gnu: Add tipp10 touch typing tutor.
...
* gnu/packages/education.scm (touch10): New variable.
* gnu/packages/patches/tipp10-fix-compiling.patch,
gnu/packages/patches/tipp10-remove-license-code.patch: New files.
* gnu/local.mk (dist_patch_DATA): Register them.
2017-01-14 20:13:06 +01:00
Ludovic Courtès
ed824a36c4
gnu: xorg: Make font packages bit-reproducible.
...
* gnu/packages/xorg.scm (%xorg-font-origin): Add 'snippet' and 'modules'
fields.
2017-01-14 19:39:29 +01:00
Ludovic Courtès
58d222ed0b
gnu: xorg: Factorize Xorg font origins.
...
* gnu/packages/xorg.scm (%xorg-font-origin): New procedure.
(xorg-font-origin): New macro.
(font-adobe100dpi, font-adobe75dpi, font-alias)
(font-arabic-misc, font-cronyx-cyrillic, font-dec-misc)
(font-isas-misc, font-micro-misc, font-misc-cyrillic)
(font-misc-ethiopic, font-misc-misc, font-mutt-misc)
(font-schumacher-misc, font-screen-cyrillic, font-sony-misc)
(font-sun-misc, font-winitzki-cyrillic, font-xfree86-type1): Use it.
2017-01-14 19:39:28 +01:00
ng0
06116573b5
gnu: Add ruby-mail.
...
* gnu/packages/ruby.scm (ruby-mail): New variable.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2017-01-14 17:53:05 +01:00
David Craven
5713993f35
gnu: libxt: Add libxt-guix-search-paths.patch.
...
Followup to 54d8d0fef1
.
* gnu/local.mk (dist_patch_DATA): Add it.
2017-01-14 17:26:54 +01:00
Mark H Weaver
5827ea30ee
Merge branch 'master' into gnome-updates
2017-01-14 05:24:09 -05:00
Raoul Jean Pierre Bonnal
dd42a330d1
gnu: Add r-sva.
...
* gnu/packages/bioinformatics.scm (r-sva): New variable.
2017-01-14 11:15:18 +01:00
Leo Famulari
7988af9919
gnu: Removed unused module import from (gnu packages gimp).
...
* gnu/packages/gimp.scm (define-module): Remove (gnu packages imagemagick).
2017-01-13 17:28:16 -05:00
Leo Famulari
1003fbcfc6
gnu: python2-dogtail: Fix typo in synopsis.
...
* gnu/packages/python.scm (python2-dogtail)[synopsis]: Remove 'ZERO
WIDTH SPACE' (U+200B) character.
2017-01-13 17:12:43 -05:00
Kei Kebreau
cb4d70f46e
gnu: audacity: Update to 2.1.2.
...
* gnu/packages/audacity.scm (audacity): Update to 2.1.2.
[source](uri): Update source URL.
[inputs]: Replace wxwidgets-2 with wxwidgets-gtk2.
[native-inputs]: Add gettext-minimal.
2017-01-13 17:03:58 -05:00
ng0
0318305cdb
gnu: Add lchat.
...
* gnu/packages/suckless.scm (lchat): New variable.
Signed-off-by: Leo Famulari <leo@famulari.name>
2017-01-13 14:13:05 -05:00
ng0
37d5fc7b5a
gnu: Add libutf.
...
* gnu/packages/suckless.scm (libutf): New variable.
Signed-off-by: Leo Famulari <leo@famulari.name>
2017-01-13 14:13:05 -05:00
ng0
021bdbd262
gnu: Add colors.
...
* gnu/packages/suckless.scm (colors): New variable.
Signed-off-by: Leo Famulari <leo@famulari.name>
2017-01-13 14:13:05 -05:00
ng0
e3c101eb95
gnu: Add fortify-headers.
...
* gnu/packages/suckless.scm (fortify-headers): New variable.
Signed-off-by: Leo Famulari <leo@famulari.name>
2017-01-13 14:13:04 -05:00
ng0
73aca00d53
gnu: Add human.
...
* gnu/packages/suckless.scm (human): New variable.
Signed-off-by: Leo Famulari <leo@famulari.name>
2017-01-13 14:13:03 -05:00
ng0
823d7f536b
gnu: Add noice.
...
* gnu/packages/suckless.scm (noice): New variable.
Signed-off-by: Leo Famulari <leo@famulari.name>
2017-01-13 14:13:03 -05:00
ng0
974ddc2134
gnu: Add prout.
...
* gnu/packages/suckless.scm (prout): New variable.
Signed-off-by: Leo Famulari <leo@famulari.name>
2017-01-13 14:13:03 -05:00
ng0
401f4f0816
gnu: Add sbm.
...
* gnu/packages/suckless.scm (sbm): New variable.
Signed-off-by: Leo Famulari <leo@famulari.name>
2017-01-13 14:13:02 -05:00
ng0
559115a64e
gnu: Add skroll.
...
* gnu/packages/suckless.scm (skroll): New variable.
Signed-off-by: Leo Famulari <leo@famulari.name>
2017-01-13 14:13:02 -05:00
ng0
c2b4c06391
gnu: Add spoon.
...
* gnu/packages/suckless.scm (spoon): New variable.
Signed-off-by: Leo Famulari <leo@famulari.name>
2017-01-13 14:13:01 -05:00
ng0
f63abd0d10
gnu: Add wificurse.
...
* gnu/packages/suckless.scm (wificurse): New variable.
Signed-off-by: Leo Famulari <leo@famulari.name>
2017-01-13 14:13:01 -05:00
ng0
4f5a0f32f4
gnu: Add xbattmon.
...
* gnu/packages/suckless.scm (xbattmon): New variable.
Signed-off-by: Leo Famulari <leo@famulari.name>
2017-01-13 14:12:57 -05:00
Julien Lepiller
fa3346b852
gnu: openvpn: Update to 2.4.0.
...
* gnu/packages/vpn.scm (openvpn): Update to 2.4.0.
2017-01-13 19:13:35 +01:00
Raoul Jean Pierre Bonnal
ce195ba122
gnu: Add perl-parallel-forkmanager.
...
* gnu/packages/perl.scm (perl-parallel-forkmanager): New variable.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2017-01-13 12:26:03 +01:00
Mark H Weaver
692e05e293
gnu: linux-libre: Update to 4.9.3.
...
* gnu/packages/linux.scm (%linux-libre-version, %linux-libre-hash)
(linux-libre): Update to 4.9.3.
2017-01-13 02:33:55 -05:00
John Darrington
79728b621b
gnu: xfig: Correct typographic error.
...
* gnu/packages/xfig.scm (xfig) [arguments]: Fix typo.
2017-01-13 07:28:57 +01:00
John Darrington
7d35462923
gnu: aqbanking: Update source hash.
...
* gnu/packages/gnucash.scm (aqbanking): Update source hash. This was
inadvertently omitted from commit cac19f0df9
2017-01-13 07:28:52 +01:00
Efraim Flashner
f66b3e1523
gnu: qtxmlpatterns: Skip network tests.
...
* gnu/packages/qt.scm (qtxmlpatterns)[arguments]: Add custom phase to
prevent the building of network tests.
2017-01-13 07:00:03 +02:00
Efraim Flashner
c195b5ba98
gnu: qtsvg: Build tests by default.
...
* gnu/packages/qt.scm (qtsvg)[arguments]: Set QT_BUILD_PARTS in the
custom 'configure phase to include tests. Add custom 'set-display
phase to enable offscreen tests.
(qtx11extras, qtxmlpatterns, qtdeclarative, qtwebsockets, qtlocation,
qttools, qtquickcontrols, qtquickcontrols2, qtgraphicaleffects,
qtcharts, qtdatavis3d)[arguments]: Disable tests.
(qtmultimedia)[source]: Edit snippet to not build 'spectrum' example.
[arguments]: Disable tests.
(qtscxml)[source]: Edit snippet to not build 'scion' test.
(qtcanvas3d)[arguments]: Don't build the test suite, don't run the tests.
2017-01-13 07:00:03 +02:00
Efraim Flashner
a69945a78d
gnu: Add qtdatavis3d.
...
* gnu/packages/qt.scm (qtdatavis3d): New variable.
2017-01-13 07:00:03 +02:00
Efraim Flashner
68bbe14b15
gnu: Add qtcharts.
...
* gnu/packages/qt.scm (qtcharts): New variable.
2017-01-13 07:00:03 +02:00
Efraim Flashner
173b54b994
gnu: Add qtcanvas3d.
...
* gnu/packages/qt.scm (qtcanvas3d): New variable.
2017-01-13 07:00:02 +02:00
Efraim Flashner
de5e018057
gnu: Add qtpurchasing.
...
* gnu/packages/qt.scm (qtpurchasing): New variable.
2017-01-13 07:00:02 +02:00
Efraim Flashner
56cd88fd3c
gnu: Add qtscxml.
...
* gnu/packages/qt.scm (qtscxml): New variable.
2017-01-13 07:00:02 +02:00
Efraim Flashner
51519fd3fc
gnu: Add qtgamepad.
...
* gnu/packages/qt.scm (qtgamepad): New variable.
2017-01-13 07:00:02 +02:00
Efraim Flashner
a98ffab5ca
gnu: Add qtserialbus.
...
* gnu/packages/qt.scm (qtserialbus): New variable.
2017-01-13 07:00:02 +02:00
Efraim Flashner
843bdfb77e
gnu: Add qtdeclarative-render2d.
...
* gnu/packages/qt.scm (qtdeclarative-render2d): New variable.
2017-01-13 06:59:47 +02:00
Tobias Geerinckx-Rice
5bb9dbc0a8
gnu: nano: Update to 2.7.4.
...
* gnu/packages/nano.scm (nano): Update to 2.7.4.
2017-01-12 23:40:39 +01:00
Mark H Weaver
08b98ae8d3
gnu: linux-libre@4.4: Update to 4.4.42.
...
* gnu/packages/linux.scm (linux-libre-4.4): Update to 4.4.42.
2017-01-12 16:28:27 -05:00
John Darrington
60bc300680
gnu: Add twm.
...
* gnu/packages/xorg.scm (twm): New variable.
2017-01-12 21:11:31 +01:00
John Darrington
6ea1523ac8
gnu: Add xmag.
...
* gnu/packages/xorg.scm (xmag): New variable.
2017-01-12 21:11:26 +01:00
John Darrington
f50fff693b
gnu: Add xmessage.
...
* gnu/packages/xorg.scm (xmessage): New variable.
2017-01-12 21:11:21 +01:00
Danny Milosavljevic
9a443cf90d
gnu: xonsh: Update to 0.5.2.
...
* gnu/packages/shells.scm (xonsh): Update to 0.5.2.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2017-01-12 19:17:03 +01:00
Tobias Geerinckx-Rice
d9cf11e0f0
gnu: miniupnpc: Update to 2.0.20161216.
...
* gnu/packages/upnp.scm (miniupnpc): Update to 2.0.20161216.
[source]: Use HTTPS.
2017-01-12 17:44:28 +01:00
Tobias Geerinckx-Rice
cd7caa3ee2
gnu: mcelog: Update to 147.
...
* gnu/packages/linux.scm (mcelog): Update to 147.
2017-01-12 17:44:28 +01:00
John Darrington
97fedab17d
gnu: xfig: Remove wrapper and clean up implementation.
...
* gnu/packages/xorg.scm (%app-defaults-dir): Make public.
* gnu/packages/xfig.scm (xfig)[attributes]: Remove wrapper and set
the XAPPLOADDIR in the Imakefile instead.
2017-01-12 17:41:06 +01:00
John Darrington
0eefac0f2f
gnu: xfig: Use modify-phases.
...
* gnu/packages/xfig.scm (xfig): Use modify-phases.
2017-01-12 17:41:00 +01:00
John Darrington
5aae77e44b
gnu: xfd: Remove wrapper.
...
* gnu/packages/xorg.scm (xfd): Remove wrapper.
2017-01-12 17:40:55 +01:00
John Darrington
73ae4e69a1
gnu: editres: Use %app-defaults-dir.
...
* gnu/packages/xorg.scm (editres): Replace string literal with
%app-defaults-dir.
2017-01-12 17:40:47 +01:00
John Darrington
5dc8dd07b0
gnu: xfontsel: Simplify definition.
...
* gnu/packages/xorg.scm (%app-defaults-dir): New variable.
(xfontsel): Remove wrapper.
2017-01-12 17:40:35 +01:00
Christopher Baines
67cadaca47
services: Add 'redis-service-type'.
...
* gnu/services/database.scm (<redis-configuration>): New record type.
(%redis-accounts, redis-service-type): New variables.
(default-redis.conf, redis-activation, redis-shepherd-service): New
procedures.
* doc/guix.texi (Database Services): Document the new redis service.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-01-12 16:49:47 +01:00
Danny Milosavljevic
35c99a1fa0
gnu: ghc-semigroups: Update to 0.18.2.
...
* gnu/packages/haskell.scm (ghc-semigroups): Update to 0.18.2.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-01-12 16:49:47 +01:00
Danny Milosavljevic
9076281529
gnu: Add ghc-wave.
...
* gnu/packages/haskell.scm (ghc-wave): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-01-12 16:49:47 +01:00
Danny Milosavljevic
ff26453601
gnu: ghc-quickcheck: Update to 2.8.2.
...
* gnu/packages/haskell.scm (ghc-quickcheck): Update to 2.8.2.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-01-12 16:49:47 +01:00