147c6b391b
gnu: orpheus: Don't replace 'sh' reference with 'bash'.
...
* gnu/packages/orpheus.scm (orpheus)[arguments]: Use (which "sh") instead of
(which "bash") in 'patch-shells' phase.
2017-01-23 17:23:03 -05:00
f2ea722ae7
gnu: node: Don't replace 'sh' reference with 'bash'.
...
* gnu/packages/node.scm (node)[arguments]: Use (which "sh") instead of
(which "bash") in 'patch-files' phase.
2017-01-23 17:23:03 -05:00
ee6e780b2c
gnu: Add compface.
...
* gnu/packages/mail.scm (compface): New variable.
2017-01-23 23:16:10 +01:00
84b60a7cdf
gnu: lcms: Fix an out-of-bounds read.
...
* gnu/packages/patches/lcms-fix-out-of-bounds-read.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/ghostscript.scm (lcms)[replacement]: New field.
[properties]: Specify the 'cpe-name'.
(lcms/fixed): New variable.
2017-01-23 15:34:03 -05:00
bed2e0dfd1
gnu: menu-cache: Update to 1.0.2.
...
* gnu/packages/lxde.scm (menu-cache): Update to 1.0.2.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2017-01-23 21:28:47 +01:00
e139652d4e
gnu: pcmanfm, libfm: Update to 1.2.5.
...
* gnu/packages/lxde.scm (pcmanfm): Update to 1.2.5.
* gnu/packages/lxde.scm (libfm): Update to 1.2.5.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2017-01-23 21:27:53 +01:00
dc29cc7710
gnu: lxterminal: Update to 0.3.0.
...
* gnu/packages/lxde.scm (lxterminal): Update to 0.3.0.
[arguments]: Disable tests.
[source]: Update to use new '.tar.xz' tarball.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2017-01-23 21:19:17 +01:00
34ab353849
gnu: cppcheck: Update to 1.77.
...
* gnu/packages/check.scm (cppcheck): Update to 1.77.
2017-01-23 14:33:47 -05:00
5171ea38c6
gnu: wavpack: Update to 5.1.0.
...
* gnu/packages/audio.scm (wavpack): Update to 5.1.0.
[arguments]: Remove field.
2017-01-23 19:54:08 +01:00
2903ee1ea5
gnu: duplicity: Update to 0.7.11.
...
* gnu/packages/backup.scm (duplicity): Update to 0.7.11.
[source]: Remove patches.
[inputs]: Add lftp, update gnupg, remove python-2, make python2-lockfile a
propagated input, make python2-mock a native-input.
[propagated-inputs]: Add python2-lockfile, python2-urllib3.
[native-inputs]: Add python2-pexpect, python2-mock.
[arguments]: Add build phase to embed gnupg store name.
* gnu/packages/patches/duplicity-piped-password.patch: Delete it.
* gnu/packages/patches/duplicity-test_selection-tmp.patch: Delete it.
* gnu/local.mk (dist_patch_DATA): Remove patches.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2017-01-23 19:35:31 +01:00
82110ef658
gnu: glpk: Update to 4.61.
...
* gnu/packages/maths.scm (glpk): Update to 4.61.
[home-page]: Use HTTPS.
2017-01-23 18:54:27 +01:00
bb2f8bbc5a
gnu: nginx: Don't replace 'sh' reference with 'bash'.
...
* gnu/packages/web.scm (nginx)[arguments]: Substitute /bin/sh with "which sh"
instead of "which bash" in 'patch-/bin/sh' phase.
2017-01-23 17:48:47 +01:00
e6880040b4
gnu: Add es.
...
* gnu/packages/shells.scm (es): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-01-23 15:20:04 +01:00
87508d9a0b
services: prosody: Fix activation script.
...
* gnu/services/messaging.scm (prosody-activation): Import (guix build utils)
for 'mkdir-p'.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-01-23 15:20:04 +01:00
e4b6c565be
gnu: r-ggplot2: Add r-svglite to propagated-inputs.
...
* gnu/packages/statistics.scm (r-ggplot2)[propagated-inputs]: Add
r-svglite.
2017-01-23 21:23:33 +10:00
843f255388
gnu: bundler: Update to 1.14.2.
...
* gnu/packages/ruby.scm (bundler): Update to 1.14.2.
2017-01-23 20:49:34 +10:00
4e58e9d023
gnu: Add libtorrent-rasterbar.
...
* gnu/packages/bittorrent.scm (libtorrent-rasterbar): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-01-23 11:01:18 +01:00
174b091fb7
gnu: xmonad: Update to 0.12.
...
* gnu/packages/wm.scm (xmonad): Update to 0.12.
[source](snippet, modules): Remove.
[inputs]: Add GHC-SETLOCALE and GHC-QUICKCHECK.
(ghc-xmonad-contrib): Update to 0.12.
2017-01-23 11:01:17 +01:00
c7bdb4139d
gnu: Add ghc-setlocale.
...
* gnu/packages/haskell.scm (ghc-setlocale): New variable.
2017-01-23 11:01:17 +01:00
a3dbea473a
gnu: gcal: Update to 4.1.
...
* gnu/packages/gcal.scm (gcal): Update to 4.1.
[home-page]: Use https.
2017-01-23 10:20:09 +02:00
62cf8fa7cd
gnu: libtiff: Fix CVE-2017-5225.
...
* gnu/packages/patches/libtiff-CVE-2017-5225.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/image.scm (libtiff/fixed)[source]: Use it.
2017-01-23 02:13:38 -05:00
ffcfaf2b18
gnu: imagemagick: Update to 6.9.7-5.
...
* gnu/packages/imagemagick.scm (imagemagick): Update to 6.9.7-5.
2017-01-22 22:42:45 -05:00
11b7717deb
services: cuirass: Add port to cuirass configuration
...
* gnu/services/cuirass.scm (<cuirass-configuration>): Add port field.
(cuirass-shepherd-service): Honor it.
* doc/guix.texi (Continuous Integration): Document it.
Signed-off-by: Mathieu Lirzin <mthl@gnu.org>
2017-01-22 23:51:56 +01:00
93719a6686
gnu: libinput: Update to 1.6.0.
...
* gnu/packages/freedesktop.scm (libinput): Update to 1.6.0.
2017-01-22 23:19:12 +02:00
8ba237a280
gnu: qemu: Patch CVE-2016-10155, CVE-2017-5552.
...
* gnu/packages/qemu.scm (qemu)[source]: Add patches.
* gnu/packages/patches/qemu-CVE-2016-10155.patch,
gnu/packages/patches/qemu-CVE-2017-5552.patch: New files.
* gnu/local.mk (dist_patch_DATA): Register them.
2017-01-22 13:40:44 +02:00
79f3e82bdc
gnu: fish: Embed full path to Python.
...
Fixes <https://bugs.gnu.org/25467 >.
* gnu/packages/shells.scm (fish)[arguments]: Rename phase "patch-bc" to
"embed-store-paths"; embed full path to Python.
2017-01-22 10:16:28 +01:00
df05d80ad0
gnu: Add guile-sdl2.
...
* gnu/packages/sdl.scm (guile-sdl2): New variable.
2017-01-22 14:31:54 +08:00
af7caada40
gnu: Add python2-slowaes.
...
* gnu/packages/python.scm (python2-slowaes): New variable.
Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
2017-01-22 13:40:48 +08:00
cba84a3805
gnu: Add python-qrcode.
...
* gnu/packages/python.scm (python-qrcode, python2-qrcode): New variables.
Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
2017-01-22 13:39:57 +08:00
916aafa401
gnu: Add python-pbkdf2.
...
* gnu/packages/python.scm (python-pbkdf2, python2-pbkdf2): New variables.
Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
2017-01-22 13:39:23 +08:00
d6c73cb4c4
gnu: perl-term-readkey: Update to 2.37.
...
The previous version, 2.32, is not available for download anymore.
* gnu/packages/perl.scm (perl-term-readkey): Update to 2.37.
Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
2017-01-22 12:36:17 +08:00
ec3487a664
gnu: red-eclipse: Update to 1.5.8.
...
* gnu/packages/games.scm (red-eclipse): Update to 1.5.8.
2017-01-21 15:27:45 -05:00
ca085a3af3
gnu: tintin++: Update to 2.01.2.
...
* gnu/packages/games.scm (tintin++): Update to 2.01.2.
2017-01-21 13:54:32 -05:00
cacf4e9db0
gnu: Add compton.
...
* gnu/packages/compton.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add compton.scm
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-01-21 16:43:26 +01:00
a760757280
gnu: Add geos.
...
* gnu/packages/geo.scm (geos): New variable.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2017-01-21 14:00:51 +01:00
f07e53fb53
gnu: gflags: Update to 2.2.0.
...
* gnu/packages/popt.scm (gflags): Update to 2.2.0.
[source]: Use tarball release.
2017-01-21 12:44:42 +01:00
c0dee46c85
gnu: r-vegan: Update to 2.4-2.
...
* gnu/packages/bioinformatics.scm (r-vegan): Update to 2.4-2.
2017-01-21 18:17:16 +10:00
cda0f9a4a9
gnu: diamond: Update to 0.8.34.
...
* gnu/packages/bioinformatics.scm (diamond): Update to 0.8.34.
2017-01-21 17:28:11 +10:00
5aa0932eaf
gnu: linux-libre: Update to 4.9.5.
...
* gnu/packages/linux.scm (%linux-libre-version, %linux-libre-hash)
(linux-libre): Update to 4.9.5.
2017-01-20 21:56:02 -05:00
523fe6a3ab
gnu: linux-libre@4.4: Update to 4.4.44.
...
* gnu/packages/linux.scm (linux-libre-4.4): Update to 4.4.44.
2017-01-20 21:54:47 -05:00
13c0eccbbb
gnu: linux-libre@4.1: Update to 4.1.38.
...
* gnu/packages/linux.scm (linux-libre-4.1): Update to 4.1.38.
2017-01-20 21:48:43 -05:00
079f013be2
gnu: gnutls: Add 'guile2.2-gnutls'.
...
Suggested by Chris Webber.
* gnu/packages/tls.scm (gnutls/guile-2.2): New variable.
2017-01-20 21:39:17 +01:00
be051880c4
services: Reindent vpn.scm.
...
This fixes indentation of 'match' forms.
* gnu/services/vpn.scm: Pass through 'indent-code.el'.
2017-01-20 21:39:17 +01:00
7386a0481c
gnu: Add fcitx-configtool.
...
* gnu/packages/fcitx.scm (fcitx-configtool): New variable.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2017-01-20 19:35:47 +01:00
ff99fe6505
gnu: datamash: Update to 1.1.1.
...
* gnu/packages/datamash.scm (datamash): Update to 1.1.1.
2017-01-20 19:35:47 +01:00
53b8ee2881
gnu: gd: Fix source URL.
...
This is a followup to 3f0603ea65
2017-01-20 19:35:46 +01:00
3f0603ea65
gnu: gd: Replace with gd-2.2.4 [fixes CVE-2016-{6912,9317} and others].
...
'CHANGELOG.md' in the development repository lists several fixed bugs with
potential security implications:
https://github.com/libgd/libgd/blob/gd-2.2.4/CHANGELOG.md
* gnu/packages/gd.scm (gd)[replacement]: New field.
(gd-2.2.4): New variable.
2017-01-20 10:30:08 -05:00
2923f3e5b9
gnu: r-msnid: Expand abbreviation in description.
...
* gnu/packages/bioinformatics.scm (r-msnid)[description]: Expand "MS/MS"
to "tandem mass spectrometry".
2017-01-20 15:38:03 +01:00
e614d6398a
gnu: r-msnbase: Expand abbreviation in description.
...
* gnu/packages/bioinformatics.scm (r-msnbase)[description]: Expand "MS"
to "mass spectrometry".
2017-01-20 15:38:03 +01:00
e431eb670d
gnu: Add r-fastica.
...
* gnu/packages/statistics.scm (r-fastica): New variable.
2017-01-20 15:38:03 +01:00
793f2edbbc
gnu: Add r-lars.
...
* gnu/packages/statistics.scm (r-lars): New variable.
2017-01-20 15:38:03 +01:00
efba686c80
gnu: Add r-mixtools.
...
* gnu/packages/statistics.scm (r-mixtools): New variable.
2017-01-20 15:38:03 +01:00
c6017f7222
gnu: Add r-cowplot.
...
* gnu/packages/statistics.scm (r-cowplot): New variable.
2017-01-20 15:38:02 +01:00
b726096bc5
services: network-manager: Use record for configuration.
...
* gnu/services/network-manager.scm (<network-manager-configuration>): New
record type.
(network-manager-shpeherd-service): Change to use the
network-manager-configuration record, rather than a package. Generate a
simple configuration file from the network-manager-configuration record.
(network-manager-service-type): Update extensions to take the
network-manager-configuration rather than a package.
(network-manager-service): Remove function, the network-manager-service-type
can be used instead, and this avoids keeping the function signature and value
coresponding to the service type in sync.
* doc/guix.texi (Networking Services): Remove documentation for the removed
network-manager-service procedure, and add documentation of the
network-manager-service-type variable and network-manager-configuration
record.
Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
2017-01-20 21:45:56 +08:00
4f98c3c553
gnu: obs: Update to 17.0.2.
...
* gnu/packages/video.scm (obs): Update to 17.0.2.
[inputs]: Add alsa-lib, fontconfig, speex.
2017-01-20 11:33:19 +02:00
10a8746968
gnu: mariadb: Update to 10.1.21 [security fixes].
...
Fixes CVE-2016-3238 and CVE-2017-{3238,3243,3244,3257,3258,3265,3291,3312,3317,
3318}.
* gnu/packages/databases.scm (mariadb): Update to 10.1.21.
2017-01-19 21:24:25 -05:00
caa7816673
services: Create /var/run/utmpx upon activation.
...
This fixes a bug whereby /var/run/utmpx would never be created, and thus
accounting information would be missing.
* gnu/services.scm (activation-script): Create /var/run/utmpx.
* gnu/tests/base.scm (run-basic-test)["utmpx entry"]: New test.
2017-01-19 23:45:11 +01:00
0691c9c05d
gnu: ansible: Update to 2.2.1 [fixes CVE-2016-9587].
...
* gnu/packages/admin.scm (ansible): Update to 2.2.1.
2017-01-19 17:59:23 +01:00
11f3885bb5
tests: Add 'nginx-service-type' test.
...
* gnu/tests/web.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
2017-01-19 14:44:59 +01:00
dc72a7f7f7
services: nginx: Add default values for <nginx-configuration> fields.
...
* gnu/services/web.scm (<nginx-configuration>)[nginx, log-directory]
[run-directory, server-blocks, upstream-blocks, file]: Add default
values.
2017-01-19 14:44:59 +01:00
9c557a69ae
services: nginx: Add support for 'location' blocks.
...
* gnu/services/web.scm (<nginx-server-configuration>): Add field 'locations'.
(<nginx-location-configuration>): New record type.
(<nginx-named-location-configuration>): New record type.
(nginx-location-config): New function.
(default-nginx-server-config): Include locations.
* doc/guix.texi (Web Services): Document the new nginx-location-configuration
and nginx-named-location-configuration data types, as well as the changes to
the nginx-server-configuration.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-01-19 14:44:59 +01:00
cb341293fa
services: nginx: Add support the 'upstream' module.
...
* gnu/services/web.scm (<nginx-upstream-configuration>): New record type.
(<nginx-configuration>): Add new field upstream-blocks.
(nginx-upstream): New function.
(default-nginx-config): Add upstream-list parameter.
(nginx-service): Add optional upstream list keyword argument.
* doc/guix.texi (Web Services): Document the new nginx-upstream-configuration
data type and changes to the nginx function.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-01-19 14:44:59 +01:00
cb6d322afc
gnu: dnsmasq: Enable dbus support.
...
* gnu/pacakges/dns.scm (dnsmasq): Enable dbus support to allow for
NetworkManager to use dnsmasq.
[native-inputs]: Add pkg-config.
[inputs]: Add dbus.
[arguments]: Add COPTS="-DHAVE_DBUS" to make-flags.
Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
2017-01-19 20:05:24 +08:00
e87cb754a6
gnu: Add libgig.
...
* gnu/packages/music.scm (libgig): New variable.
2017-01-19 09:54:15 +01:00
67fee545cc
gnu: Add Heimdal.
...
* gnu/packages/kerberos.scm (heimdal): New variable.
2017-01-19 00:11:15 +01:00
89e34644d9
gnu: Move Kerberos implemetations to (gnu packages kerberos).
...
* gnu/packages/mit-krb5.scm: Remove.
* gnu/packages/shishi.scm: Remove.
* gnu/packages/kerberos.scm: New file, from the concatenation of these
two.
* gnu/local.mk (GNU_SYSTEM_MODULES): Adjust accordingly.
* gnu/packages/admin.scm, gnu/packages/cyrus-sasl.scm,
gnu/packages/gnome.scm, gnu/packages/gnuzilla.scm,
gnu/packages/gsasl.scm, gnu/packages/java.scm,
gnu/packages/networking.scm, gnu/packages/nfs.scm,
gnu/packages/onc-rpc.scm, gnu/packages/ssh.scm,
gnu/packages/web.scm: Adjust accordingly.
2017-01-19 00:11:15 +01:00
877c6163fa
gnu: stagit: Update to 0.5.
...
* gnu/packages/version-control.scm (stagit): Update to 0.5.
2017-01-18 22:46:50 +01:00
9ca1972767
gnu: qemu: Fix CVE-2017-5525, CVE-2017-5526.
...
* gnu/packages/qemu.scm (qemu)[source]: Add patches.
* gnu/packages/patches/qemu-CVE-2017-5525.patch,
gnu/packages/patches/qemu-CVE-2017-5526.patch: New files.
* gnu/local.mk (dist_patch_DATA): Register them.
2017-01-18 23:32:49 +02:00
df893a3855
gnu: Add python-cram.
...
* gnu/packages/python.scm (python-cram, python2-cram): New variables.
2017-01-18 21:28:59 +01:00
b9f771a795
gnu: Add leveldb.
...
* gnu/packages/databases.scm (leveldb): New variable.
2017-01-18 21:23:23 +01:00
cd4a232dd5
gnu: Add mcabber.
...
* gnu/packages/messaging.scm (mcabber): New variable.
Co-authored-by: Marius Bakke <mbakke@fastmail.com>
2017-01-18 20:24:18 +01:00
fdfb4b9604
gnu: Add loudmouth.
...
* gnu/packages/messaging.scm (loudmouth): New variable.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2017-01-18 20:24:16 +01:00
395751c05d
gnu: Add menumaker.
...
* gnu/packages/wm.scm (menumaker): New variable.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2017-01-18 19:11:22 +01:00
0d53d55cca
gnu: xf86-input-evdev: Update to 2.10.5.
...
* gnu/packages/xorg.scm (xf86-input-evdev): Update to 2.10.5.
2017-01-18 18:28:35 +01:00
e19b0bd157
gnu: xf86-video-r128: Update to 6.10.2.
...
* gnu/packages/xorg.scm (xf86-video-r128): Update to 6.10.2.
2017-01-18 18:25:55 +01:00
a354c7d8b4
gnu: xf86-video-savage: Update to 2.3.9.
...
* gnu/packages/xorg.scm (xf86-video-savage): Update to 2.3.9.
2017-01-18 18:23:53 +01:00
619ff9329d
gnu: xf86-video-trident: Update to 1.3.8.
...
* gnu/packages/xorg.scm (xf86-video-trident): Update to 1.3.8.
2017-01-18 18:22:12 +01:00
a0029fda3b
gnu: xf86-video-glint: Update to 1.2.9.
...
* gnu/packages/xorg.scm (xf86-video-glint): Update to 1.2.9.
[source]: Remove upstreamed patch.
* gnu/packages/patches/xf86-video-glint-remove-mibstore.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
2017-01-18 18:19:49 +01:00
f733e60345
gnu: xf86-video-nv: Update to 2.1.21.
...
* gnu/packages/xorg.scm (xf86-video-nv): Update to 2.1.21.
[source]: Remove upstreamed patch.
* gnu/packages/patches/xf86-video-nv-remove-mibstore.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
2017-01-18 18:15:56 +01:00
3a50b71298
gnu: xf86-video-siliconmotion: Update to 1.7.9.
...
* gnu/packages/xorg.scm (xf86-video-siliconmotion): Update to 1.7.9.
2017-01-18 18:11:42 +01:00
c2a970582e
gnu: xf86-video-mga: Update to 1.6.5.
...
* gnu/packages/xorg.scm (xf86-video-mga): Update to 1.6.5.
2017-01-18 18:10:04 +01:00
798dd616e3
gnu: xf86-video-sis: Update to 0.10.9.
...
* gnu/packages/xorg.scm (xf86-video-sis): Update to 0.10.9.
2017-01-18 18:08:35 +01:00
76400ca594
gnu: xf86-video-tdfx: Update to 1.4.7.
...
* gnu/packages/xorg.scm (xf86-video-tdfx): Update to 1.4.7.
2017-01-18 18:05:40 +01:00
1778ea740e
gnu: multiqc: Add python-nose to inputs.
...
* gnu/packages/bioinformatics.scm (multiqc)[propagated-inputs]: Add
python-nose.
2017-01-18 16:09:49 +01:00
7c524e0f6b
gnu: screen: Update to 4.5.0.
...
* gnu/packages/screen.scm (screen): Update to 4.5.0.
[home-page]: Use https.
2017-01-18 15:51:04 +02:00
899bcad310
gnu: Add emacs-sx.
...
* gnu/packages/emacs.scm (emacs-sx): New variable.
Signed-off-by: Alex Kost <alezost@gmail.com>
2017-01-18 12:57:23 +03:00
cf006d2e73
gnu: Add emacs-ag.
...
* gnu/packages/emacs.scm (emacs-ag): New variable.
Signed-off-by: Alex Kost <alezost@gmail.com>
2017-01-18 12:57:23 +03:00
12b8f6b401
gnu: Add font-wqy-microhei.
...
* gnu/packages/fonts.scm (font-wqy-microhei): New variable.
2017-01-18 09:43:14 +01:00
3163a289ab
gnu: Add mlmmj.
...
* gnu/packages/mail.scm (mlmmj): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-01-17 23:57:15 +01:00
1f4f2360ad
gnu: guile-json: Update to 0.6.0.
...
* gnu/packages/guile.scm (guile-json): Update to 0.6.0.
2017-01-17 23:57:15 +01:00
fd6e260ef7
gnu: Add ocaml-ocurl.
...
* gnu/pcakages/ocaml.scm (ocaml-ocurl): New variable.
2017-01-17 23:22:07 +01:00
800ab1fb16
gnu: Add ocaml-jsonm.
...
* gnu/packages/ocaml.scm (ocaml-jsonm): New variable.
2017-01-17 23:21:42 +01:00
84290923d9
gnu: Add ocaml-uutf.
...
* gna/packages/ocaml.scm (ocaml-uutf): New variable.
2017-01-17 23:21:22 +01:00
33f16b9a57
gnu: Add ocaml-uchar.
...
* gnu/packages/ocaml.scm (ocaml-uchar): New variable.
2017-01-17 23:20:55 +01:00
6e9b678efe
gnu: Add ocaml-ulex.
...
* gnu/packages/ocaml.scm (ocaml-ulex): New variable.
2017-01-17 23:20:13 +01:00
036b857978
gnu: Add ocaml-xmlm.
...
* gnu/packages/ocaml.scm (ocaml-xmlm): New variable.
2017-01-17 23:14:42 +01:00
33e0702d8a
gnu: Add ocaml-bos.
...
* gnu/packages/ocaml.scm (ocaml-bos): New variable.
2017-01-17 23:14:38 +01:00
fbf38b0985
gnu: Add ocaml-fpath.
...
* gnu/packages/ocaml.scm (ocaml-fpath): New variable.
2017-01-17 23:14:34 +01:00
9dc7dcb261
gnu: Add ocaml-logs.
...
* gnu/packages/ocaml.scm (ocaml-logs): New variable.
2017-01-17 23:13:19 +01:00
66da3a9f31
gnu: Add r-msnid.
...
* gnu/packages/bioinformatics.scm (r-msnid): New variable.
2017-01-17 21:46:50 +01:00
Leo Famulari