082be6d2a1
gnu: e2fsprogs: Remove timestamp from 'libext2fs.info.gz'.
...
* gnu/packages/linux.scm (e2fsprogs)[source](snippet): Patch
'doc/Makefile.in' to use the '-n' option of gzip.
2017-01-10 22:15:26 +01:00
74d212911e
gnu: e2fsprogs: Use symlinks instead of hard links.
...
* gnu/packages/linux.scm (e2fsprogs)[arguments]: Pass
"--enable-symlink-install".
2017-01-10 22:15:26 +01:00
6d3e08d4e8
gnu: Add sysstat.
...
* gnu/packages/linux.scm (sysstat): New variable.
2017-01-10 13:38:35 -05:00
d4acb6db2f
gnu: python-click: Update to 6.7.
...
* gnu/packages/python.scm (python-click): Update to 6.7.
2017-01-10 17:36:57 +01:00
3720371580
gnu: linux-libre@4.4: Update hash for fixed upstream tarball.
...
The initial upload of linux-libre-4.4.41-gnu.tar.xz was corrupted.
* gnu/packages/linux.scm (linux-libre-4.4)[source]: Update hash.
2017-01-10 11:04:13 -05:00
022c977258
gnu: libgit2, python-pygit2: Update to 0.25.1 [security fixes].
...
See <http://www.openwall.com/lists/oss-security/2017/01/10/5 >.
* gnu/packages/version-control.scm (libgit2): Update to 0.25.1.
* gnu/packages/python.scm (python-pygit2): Update to 0.25.0.
2017-01-10 15:49:49 +01:00
f3e44f5cd0
gnu: Add btrfs-progs/static.
...
* gnu/packages/linux.scm (btrfs-progs/static): New variable.
2017-01-10 12:00:34 +01:00
313880c73a
gnu: e2fsck/static: Only copy e2fsck.
...
* gnu/packages/linux.scm (e2fsck/static)[arguments]: Only copy e2fsck.
[synopsis, description]: Adjust accordingly.
2017-01-10 11:58:11 +01:00
f03168327f
gnu: Add pcc.
...
* gnu/packages/c.scm (pcc): New variable.
2017-01-10 11:30:42 +01:00
cba53c60d5
gnu: ruby-sqlite3: Update to 1.3.13.
...
* gnu/packages/ruby.scm (ruby-sqlite3): Update to 1.3.13.
2017-01-10 18:40:58 +10:00
d33f889dac
gnu: linux-libre: Update to 4.9.2.
...
* gnu/packages/linux.scm (%linux-libre-version, %linux-libre-hash)
(linux-libre): Update to 4.9.2.
2017-01-09 22:42:32 -05:00
75fd35b670
gnu: linux-libre@4.4: Update to 4.4.41.
...
* gnu/packages/linux.scm (linux-libre-4.4): Update to 4.4.41.
2017-01-09 22:41:21 -05:00
28fd01bceb
gnu: emacs-guix: Update to 0.2.2.
...
* gnu/packages/emacs.scm (emacs-guix): Update to 0.2.2.
2017-01-10 00:23:07 +03:00
f6b1dd233d
gnu: emacs-bui: Update to 1.1.0.
...
* gnu/packages/emacs.scm (emacs-bui): Update to 1.1.0.
2017-01-10 00:23:07 +03:00
5ed962263c
gnu: whois: Update to 5.2.14.
...
* gnu/packages/networking.scm (whois): Update to 5.2.14.
Signed-off-by: Leo Famulari <leo@famulari.name>
2017-01-09 16:04:55 -05:00
5ba5b4b240
gnu: imagemagick: Update to 6.9.7-3.
...
* gnu/packages/imagemagick.scm (imagemagick): Update to 6.9.7-3.
2017-01-09 14:18:51 -05:00
4f903085ac
Revert "gnu: Update imagemagick to version 7.0.4-3."
...
This reverts commit dea228cf12
2017-01-09 20:06:26 +01:00
04927b6f26
gnu: cuirass: Update to 0.0.1 revision 3.
...
* gnu/packages/ci.scm (cuirass): Update to 0.0.1 revision 3.
[arguments]: Move 'bootstrap' phase before 'configure'. Disable
"tests/repo.scm" test.
2017-01-09 18:57:15 +01:00
cac19f0df9
gnu: Update aqbanking to version 5.6.12.
...
* gnu/packages/gnucash.scm (aqbanking): Update to version 5.6.12.
2017-01-09 18:55:27 +01:00
dea228cf12
gnu: Update imagemagick to version 7.0.4-3.
...
* gnu/packages/imagemagick.scm: Update to version 7.0.4-3
2017-01-09 18:55:22 +01:00
84aafbbb66
gnu: Add nim.
...
* gnu/packages/nim.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add nim.scm.
2017-01-09 18:01:52 +01:00
5d18d776d2
gnu: rustc: Retain binutils.
...
* gnu/packages/rust.scm (rustc)[arguments]: Retain binutils. Add
wrap-rustc phase.
Problem reported by Ben Woodcroft <donttrustben@gmail.com>.
2017-01-09 18:01:52 +01:00
834458f6ff
gnu: Simplify the downloads from http://www.aquamaniac.de
...
* gnu/packages/gnucash.scm (aqbanking, gwenhyfar): Remove dummy parameter
from source url.
2017-01-09 17:50:49 +01:00
ab4a1731d8
gnu: guile-8sync: Add #t at end of setenv phase.
...
* gnu/packages/guile.scm: Add #t at end of setenv phase.
2017-01-09 09:51:10 -06:00
c5793e7eb7
gnu: Add guile-8sync.
...
* gnu/packages/guile.scm (guile-8sync): New variable.
2017-01-09 09:41:30 -06:00
7bbf2e39f7
gnu: hdf4: Update to 4.2.12.
...
* gnu/packages/maths.scm (hdf4): Update to 4.2.12.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-01-09 15:55:57 +01:00
392c26b0d1
gnu: python-pip: Update to 9.0.1
...
* gnu/packages/python.scm (python-pip): Update to 9.0.1.
[native-inputs]: Remove.
[arguments]: New field.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-01-09 15:55:57 +01:00
814b18e587
gnu: Add Guile-ICS.
...
* gnu/packages/guile.scm (guile-ics): New variable.
2017-01-09 11:34:09 +01:00
ee719fba2d
gnu: Add corrode.
...
* gnu/packages/haskell.scm (corrode): New variable.
Co-authored-by: Ludovic Courtès <ludo@gnu.org>
2017-01-09 10:44:52 +01:00
f048f12ba1
gnu: Add dotherside.
...
* gnu/packages/qt.scm (dotherside): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-01-09 10:33:07 +01:00
bb0756c7c7
gnu: Add font-google-roboto.
...
* gnu/packages/fonts.scm (font-google-roboto): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-01-09 10:33:07 +01:00
96404be814
gnu: gdk-pixbuf: Update replacement to 2.36.3.
...
* gnu/packages/gtk.scm (gdk-pixbuf/fixed): Update to 2.36.3.
2017-01-08 23:42:03 -05:00
86c41ec3e4
gnu: icecat: Add fixes from upstream mozilla-esr45.
...
* gnu/packages/gnuzilla.scm (icecat)[source][patches]: Add selected fixes
from the upstream mozilla-esr45 repository.
2017-01-08 20:36:29 -05:00
989862005a
gnu: icecat: Rename patches that have been assigned CVEs.
...
* gnu/packages/gnuzilla.scm (icecat)[source][patches]: Rename patches that
have since been assigned CVEs.
2017-01-08 20:36:27 -05:00
b9acdad717
gnu: gdk-pixbuf: Replace with 2.36.2.
...
* gnu/packages/gtk.scm (gdk-pixbuf)[replacement]: New field.
(gdk-pixbuf/fixed): New variable.
(package/inherit): New macro.
(gdk-pixbuf+svg): Use 'package/inherit'.
2017-01-08 20:36:20 -05:00
84bf2a2e74
gnu: prosody: Make config and data files visible to 'prosodyctl'.
...
* gnu/packages/messaging.scm (prosody)[arguments]: Add a 'fix-makefile' phase.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-01-08 23:38:49 +01:00
5b4946180e
gnu: prosody: Add OpenSSL and Coreutils to the PATH of programs.
...
* gnu/packages/messaging.scm (prosody)[arguments]: In 'wrap-programs'
phase, add 'openssl' and 'coreutils' to 'PATH'.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-01-08 23:37:06 +01:00
9e3e972d1e
gnu: Add fprintd.
...
* gnu/packages/freedesktop.scm (fprintd): New variable.
2017-01-08 23:26:47 +01:00
dfb01baec4
gnu: Add libfprint.
...
* gnu/packages/freedesktop.scm (libfprint): New variable.
2017-01-08 23:26:47 +01:00
ec460a2a37
gnu: font-liberation: Use @item in @enumerate.
...
* gnu/packages/fonts.scm (font-liberation)[description]: Use @item.
Followup to 0102fba27c
2017-01-08 23:00:55 +01:00
3a3e309975
gnu: ruby-yard: Fix typo in source URI.
...
This is a followup to commit 6499893ef8
2017-01-08 07:25:45 -05:00
6499893ef8
gnu: ruby-yard: Update to 0.9.6.
...
* gnu/packages/ruby.scm (ruby-yard): Update to 0.9.6.
[source]: Use 'GitHub' source.
[arguments]: Run tests without 'Rakefile'.
[native-inputs]: Replace 'ruby-rspec-2' with ruby-rspec'.
* gnu/packages/patches/ruby-yard-fix-skip-of-markdown-tests.patch: Delete
file.
* gnu/local.mk (dist_patch_DATA): Remove it.
2017-01-08 11:10:28 +10:00
57fe28a082
gnu: linux-libre: Update to 4.9.1.
...
* gnu/packages/linux.scm (%linux-libre-version, %linux-libre-hash)
(linux-libre): Update to 4.9.1.
* gnu/packages/linux-libre-4.8-x86_64.conf,
gnu/packages/linux-libre-4.8-i686.conf: Delete files.
* gnu/packages/linux-libre-4.9-x86_64.conf,
gnu/packages/linux-libre-4.9-i686.conf: New files.
* Makefile.am (KCONFIGS): Update accordingly.
2017-01-07 19:42:36 -05:00
0860081413
gnu: linux-libre@4.4: Update to 4.4.40.
...
* gnu/packages/linux.scm (linux-libre-4.4): Update to 4.4.40.
2017-01-07 19:42:23 -05:00
1c9cea74b4
gnu: python-pygpgme: Fix build failure.
...
* gnu/packages/patches/python-pygpgme-fix-pinentry-tests.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/gnupg.scm (python-pygpgme, python2-pygpgme)[source]: Use it.
2017-01-07 19:00:58 -05:00
261f56914c
gnu: econnman: Add missing input.
...
* gnu/packages/connman.scm (econnman)[inputs]: Add python2-dbus.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-01-07 23:02:48 +01:00
2b84170782
gnu: gnome-mpv: Update to 0.11.
...
* gnu/packages/video.scm (gnome-mpv): Update to 0.11.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-01-07 22:55:40 +01:00
e10872cc83
gnu: gpgme: Patch CMake files.
...
* gnu/packages/gnupg.scm (gpgme)[arguments]: Substitute '@libsuffix@' by
'.so'.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-01-07 22:55:40 +01:00
b2859a4fef
gnu: zlib: Fix alternate download URL.
...
* gnu/packages/compression.scm (zlib)[source](uri): Update SourceForge URL.
2017-01-07 22:55:40 +01:00
9385f0e9cb
Revert "gnu: nspr: Update to 4.13.1."
...
There were many reports that NSS failed to build with this change.
This reverts commit 707c65aad7
2017-01-07 15:38:30 -05:00
d7d5050c51
gnu: ao-cad: Point 'LD_LIBRARY_PATH' to Mesa.
...
* gnu/packages/engineering.scm (ao)[arguments]: In
'install-guile-bindings', wrap 'ao-guile' to set 'LD_LIBRARY_PATH'.
[inputs]: Add MESA.
2017-01-07 00:38:03 +01:00
a2bd16ff99
gnu: vim: Update to 8.0.0147.
...
* gnu/packages/vim.scm (vim, vim-full): Update to 8.0.0147.
2017-01-07 00:26:23 +01:00
0102fba27c
gnu: font-liberation: Use @enumerate in description.
...
* gnu/packages/fonts.scm (font-liberation)[description]: Use @enumerate.
2017-01-07 00:26:22 +01:00
b4774d87e4
gnu: fonts: Improve synopses & descriptions.
...
* gnu/packages/fonts.scm (font-google-noto, font-hack)[synopsis,
description]: Fix typos, grammar, and general style only.
(font-dejavu, font-terminus, font-wqy-zenhei)[description]: Likewise.
2017-01-07 00:26:22 +01:00
8837860c66
gnu: fonts: Use install-file where appropriate.
...
* gnu/packages/fonts.scm (font-ubuntu, font-dejavu, font-bitstream-vera,
font-gnu-freefont-ttf, font-liberation, font-wqy-zenhei, font-anonymous-pro,
font-google-noto, font-un, font-hack): Substitute the simpler INSTALL-FILE
for every COPY-FILE invoked with redundant arguments.
2017-01-07 00:26:12 +01:00
9657aeb187
gnu: python-tblib: Properly @end enumerate.
...
* gnu/packages/python.scm (python-tblib)[description]: Don't use
‘@end itemize’ to end an ‘@enumerate’ block.
2017-01-07 00:23:53 +01:00
aa21c764d6
gnu: python-pycrypto: Fix CVE-2013-7459.
...
* gnu/packages/patches/python-pycrypto-CVE-2013-7459.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/python.scm (python-pycrypto, python2-pycrypto)[source]: Use the
patch. Use pypi-uri.
2017-01-06 13:50:18 -05:00
707c65aad7
gnu: nspr: Update to 4.13.1.
...
* gnu/packages/gnuzilla.scm (nspr): Update to 4.13.1.
2017-01-06 13:09:05 -05:00
3a3bf2f819
gnu: Add r-copywriter.
...
* gnu/packages/bioinformatics.scm (r-copywriter): New variable.
2017-01-06 16:31:19 +01:00
d407bdb931
gnu: Add r-copyhelper.
...
* gnu/packages/bioinformatics.scm (r-copyhelper): New variable.
2017-01-06 16:31:14 +01:00
6193563a36
gnu: Add r-chipseq.
...
* gnu/packages/bioinformatics.scm (r-chipseq): New variable.
2017-01-06 16:31:02 +01:00
fab2784dbb
gnu: gnome-tweak-tool: Add missing inputs.
...
* gnu/packages/gnome.scm (gnome-tweak-tool)[inputs]: Add gnome-desktop
and libsoup.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-01-06 10:23:27 +01:00
adb41527ad
gnu: gnome-tweak-tool: Make propagated-inputs just inputs.
...
* gnu/packages/gnome.scm (gnome-tweak-tool)[propagated-inputs]: Merge
with...
[inputs]: ... this.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-01-06 10:23:27 +01:00
9af6bce1e1
gnu: gnome-tweak-tool: Wrap program to set 'GI_TYPELIB_PATH'.
...
* gnu/packages/gnome.scm (gnome-tweak-tool)[arguments]: Add
'wrap-program' phase.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-01-06 10:23:27 +01:00
7ef335b0e8
gnu: gnome-tweak-tool: Use glib-or-gtk-build-system.
...
This allows gobject introspection namespaces to be found.
* gnu/packages/gnome.scm (gnome-tweak-tool)[build-system]: Set to
GLIB-OR-GTK-BUILD-SYSTEM.
[arguments]: Use %GLIB-OR-GTK-BUILD-SYSTEM-MODULES in #:imported-modules.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-01-06 10:23:27 +01:00
dbf9d37114
gnu: bioruby: Update to 1.5.1.
...
* gnu/packages/bioinformatics.scm (bioruby): Update to 1.5.1.
2017-01-06 19:06:07 +10:00
0c37e2a3d2
gnu: cd-hit: Update to 4.6.6.
...
* gnu/packages/bioinformatics.scm (cd-hit): Update to 4.6.6.
2017-01-06 19:06:03 +10:00
e50d5b8c9d
gnu: khal: Disable failing tests.
...
* gnu/packages/patches/khal-disable-failing-tests.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/calendar.scm (khal): Use it.
2017-01-06 03:19:40 -05:00
e0c32fc817
gnu: vdirsyncer: Update to 0.14.1.
...
* gnu/packages/dav.scm (vdirsyncer): Update to 0.14.1.
2017-01-06 03:19:40 -05:00
491b78a8e8
gnu: python-icalendar: Update to 3.11.1.
...
* gnu/packages/python.scm (python-icalendar): Update to 3.11.1.
2017-01-06 03:19:36 -05:00
fbec5abeef
gnu: gv: Do not propagate Ghostscript.
...
* gnu/packages/gv.scm (gv)[propagated-inputs]: Remove.
[arguments]: New field.
[inputs]: Add GHOSTCRIPT/X.
2017-01-05 23:45:38 +01:00
ec14d2157d
gnu: emacs-smartparens: Update to 1.9.0.
...
* gnu/packages/emacs.scm (emacs-smartparens): Update to 1.9.0.
2017-01-06 00:31:03 +03:00
922ab34446
gnu: magit: Update to 2.10.0.
...
* gnu/packages/emacs.scm (magit, emacs-magit-popup): Update to 2.10.0.
2017-01-06 00:29:23 +03:00
cfb9026aa5
gnu: emacs-with-editor: Update to 2.5.9.
...
* gnu/packages/emacs.scm (emacs-with-editor): Update to 2.5.9.
2017-01-06 00:29:23 +03:00
6c8a387af2
gnu: Add ghc-markdown-unlit.
...
* gnu/packages/haskell.scm (ghc-markdown-unlit): New variable.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2017-01-05 18:47:40 +01:00
12c15242f4
gnu: beep: Ignore substitute* return value.
...
* gnu/packages/terminals.scm (beep)[arguments]: End 'patch-makefile phase
with truth.
2017-01-05 17:40:54 +01:00
543bd0eede
gnu: sdl2: Add fcitx input.
...
* gnu/packages/sdl.scm (sdl2)[inputs]: Add fcitx.
2017-01-05 11:27:10 -05:00
e0101b54b7
gnu: sdl2: Fix double input events bug.
...
* gnu/packages/sdl.scm (sdl2)[inputs]: Add dbus, gblib, and ibus.
2017-01-05 11:22:32 -05:00
f537ad0bf3
Revert "gnu: gawk: Don't replace 'sh' reference with 'bash'."
...
This commit causes too many rebuilds. It will be re-committed to core-updates.
This reverts commit 5b2834ae79
2017-01-05 11:22:07 -05:00
5b2834ae79
gnu: gawk: Don't replace 'sh' reference with 'bash'.
...
* gnu/packages/gawk.scm (gawk)[arguments]: Use /bin/sh instead of /bin/bash in
'set-shell-file-name' phase.
2017-01-05 11:06:06 -05:00
d9d23101ce
gnu: irssi: Update to 1.0.0.
...
* gnu/packages/irc.scm (irssi): Update to 1.0.0.
[arguments]: Remove --with-ncurses configure flag.
[native-inputs]: Move 'perl' to ...
[inputs]: ... here.
[home-page]: Use HTTPS.
2017-01-05 16:44:34 +01:00
1bd858cc14
gnu: Fix indentation of some python packages.
...
This is a followup to abe2ec73..807a5b32.
* gnu/packages/python.scm (python-snowballstemmer,
python-sphinx-cloud-sptheme, python-sphinx-alabaster-theme): Fix indentation.
2017-01-05 16:28:01 +01:00
807a5b32bf
gnu: Add python-sphinx-alabaster-theme.
...
* gnu/packages/python.scm (python-sphinx-alabaster-theme,
python2-sphinx-alabaster-theme): New variables.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2017-01-05 16:17:27 +01:00
754bfd7019
gnu: Add python-sphinx-cloud-sptheme.
...
* gnu/packages/python.scm (python-sphinx-cloud-sptheme,
python2-sphinx-cloud-sptheme): New variables.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2017-01-05 16:17:27 +01:00
89cd988b6c
gnu: Add python-snowballstemmer.
...
* gnu/packages/python.scm (python-snowballstemmer,
python2-snowballstemmer): New variables.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2017-01-05 16:17:26 +01:00
abe2ec735f
gnu: Add beep.
...
* gnu/packages/terminals.scm (beep): New variable.
Co-authored-by: Tobias Geerinckx-Rice <me@tobias.gr>
2017-01-05 13:09:19 +01:00
88a46c9812
gnu: Remove unused module import from (gnu packages mtools).
...
This is a follow-up to commit 3b0f2ba46b
2017-01-05 13:09:19 +01:00
19e5fb6030
gnu: ruby-nokogiri: Update to 1.7.0.1.
...
* gnu/packages/ruby.scm (ruby-nokogiri): Update to 1.7.0.1.
2017-01-05 21:00:51 +10:00
8e941f2068
gnu: ruby-hoe: Update to 3.16.0.
...
* gnu/packages/ruby.scm (ruby-hoe): Update to 3.16.0.
2017-01-05 20:52:22 +10:00
5f0fabec54
gnu: unrtf: Fix CVE-2016-10091.
...
* gnu/packages/patches/unrtf-CVE-2016-10091.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/unrtf.scm (unrtf)[source]: Use it.
2017-01-04 14:42:58 -05:00
7a203059d3
gnu: libreoffice: Update to 5.1.6.2.
...
* gnu/packages/libreoffice.scm (libreoffice): Update to 5.1.6.2.
Signed-off-by: Leo Famulari <leo@famulari.name>
2017-01-04 14:37:58 -05:00
3dcaa1226d
gnu: ocamlmod: Enable tests.
...
Followup to 93eeadf022
2017-01-04 19:10:01 +01:00
337273e41f
gnu: ocaml-ounit: Enable tests.
...
Followup to 7a76b4afd0
2017-01-04 19:10:00 +01:00
9c64f76e8a
gnu: aria2: Update to 1.30.0.
...
* gnu/packages/bittorrent.scm (aria2): Update to 1.30.0.
2017-01-04 19:15:00 +02:00
68f9067324
gnu: inkscape: Update to 0.92.0.
...
* gnu/packages/patches/inkscape-drop-wait-for-targets.patch: Remove it.
* gnu/local.mk (dist_patch_DATA): Remove it.
* gnu/packages/inkscape.scm (inkscape): Update to 0.92.0.
[build-system]: Use "cmake-build-system".
[native-inputs]: Add glib:bin.
[arguments]: Remove obsolete arguments; disable tests.
2017-01-04 18:06:44 +01:00
6548e53fcb
gnu: Add ocaml-cmdliner.
...
* gnu/packages/ocaml.scm (ocaml-cmdliner): New variable.
Signed-off-by: David Craven <david@craven.ch>
2017-01-04 17:41:11 +01:00
eb1ba73185
gnu: Add ocaml-mtime.
...
* gnu/packages/ocaml.scm (ocaml-mtime): New variable.
Signed-off-by: David Craven <david@craven.ch>
2017-01-04 17:41:11 +01:00
63147e5e1e
gnu: Add ocaml-rresult.
...
* gnu/packages/ocaml.scm (ocaml-rresult): New variable.
Signed-off-by: David Craven <david@craven.ch>
2017-01-04 17:41:11 +01:00
a359c7277c
gnu: Add ocaml-topkg.
...
* gnu/packages/ocaml.scm (ocaml-topkg): New variable.
Signed-off-by: David Craven <david@craven.ch>
2017-01-04 17:41:11 +01:00
704b990c36
gnu: Add ocaml-result.
...
* gnu/packages/ocaml.scm (ocaml-result): New variable.
Signed-off-by: David Craven <david@craven.ch>
2017-01-04 17:41:11 +01:00
Ludovic Courtès
Leo Famulari
Tobias Geerinckx-Rice
Mark H Weaver
David Craven
Ricardo Wurmus
Ben Woodcroft
Alex Kost
ng0
John Darrington
Mathieu Lirzin
José Miguel Sánchez García
Christopher Allan Webber
Thomas Danckaert
Maxim Cournoyer
Alex Sassmannshausen
Danny Milosavljevic
Clément Lassieur
Alex Griffin
Thomas Danckaert
Ricardo Wurmus
Christopher Baines
David Thompson
Marius Bakke
Efraim Flashner
Julien Lepiller