Commit Graph

17208 Commits

Author SHA1 Message Date
Marius Bakke f66ea7b8de
gnu: exiv2: Update to 0.26.
* gnu/packages/image.scm (exiv2): Update to 0.26.
[source]: Add new download location.
2017-06-11 15:42:52 +02:00
Marius Bakke 75cc8fe9ea
gnu: libextractor: Update to 1.4.
* gnu/packages/gnunet.scm (libextractor): Update to 1.4.
[source]: Remove obsolete patch and snippet.
* gnu/packages/patches/libextractor-ffmpeg-3.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
2017-06-11 15:42:51 +02:00
Marius Bakke 20d87dfb45
gnu: alsa-plugins: Update to 1.1.4.
* gnu/packages/linux.scm (alsa-plugins): Update to 1.1.4.
2017-06-11 02:00:06 +02:00
Marius Bakke 31baa86448
gnu: alsa-utils: Update to 1.1.4.
* gnu/packages/linux.scm (alsa-utils): Update to 1.1.4.
2017-06-11 02:00:05 +02:00
Marius Bakke 88e2511e21
gnu: gnutls: Replace with 3.5.13.
This update addresses the following security advisories:

GNUTLS-SA-2017-3 (aka CVE-2017-7869) and GNUTLS-SA-2017-4.

See <https://gnutls.org/security.html> and <https://gnutls.org/news.html>.

* gnu/packages/patches/gnutls-skip-pkgconfig-test.patch,
gnu/packages/patches/gnutls-skip-trust-store-test.patch: New files.
* gnu/local.mk (dist_patch_DATA): Register patches.
* gnu/packages/tls.scm (gnutls)[replacement]: New field.
(gnutls-3.5.13): New variable.
(gnutls/guile-2.2)[replacement]: New field. Set #f.
[source]: Inherit from GNUTLS-3.5.13.
2017-06-11 01:08:58 +02:00
Marius Bakke e35dc5e75e
gnu: tor: Update to 0.3.0.8 [security fixes].
Fixes CVE-2017-0375 and CVE-2017-0376, among other things.

https://blog.torproject.org/blog/tor-0308-released-fix-hidden-services-also-are-02429-02514-02612-0278-02814-and-02911

* gnu/packages/tor.scm (tor): Update to 0.3.0.8.
2017-06-11 00:42:30 +02:00
Marius Bakke 01614de1c3
gnu: slop: Update to 6.3.45.
* gnu/packages/xdisorg.scm (slop): Update to 6.3.45.
[inputs]: Add ICU4C.
2017-06-11 00:42:30 +02:00
Danny Milosavljevic 4eadc8b90d
gnu: Add python-swagger-spec-validator.
* gnu/packages/python.scm (python-swagger-spec-validator,
python2-swagger-spec-validator): New variables.
2017-06-10 23:48:50 +02:00
Rutger Helling d0306208b1
gnu: wine: Update to 2.10.
* gnu/packages/wine.scm (wine): Update to 2.10.

Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2017-06-10 23:41:42 +02:00
djwj 7f10628ca8
gnu: libgxps: Add "/" before name in source URL.
* gnu/packages/gnome.scm (libgxps)[source]: Add "/".

Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2017-06-10 23:39:59 +02:00
Efraim Flashner afd9ed5c0c
gnu: avidemux: Limit supported architectures.
* gnu/packages/video.scm (avidemux)[supported-systems]: New field, limit
to x86_64, i686 and armhf.
2017-06-10 23:32:02 +03:00
Danny Milosavljevic a81cae38ca
file-systems: Provide string->ext*-uuid, string->btrfs-uuid.
* gnu/build/file-systems.scm (string->ext2-uuid, string->ext3-uuid,
string->ext4-uuid, string->btrfs-uuid): New variables.  Export them.
2017-06-10 19:22:03 +02:00
Mathieu Othacehe fcf08b3261
bootloader: Fix rebase error on f96752e commit.
* gnu/system.scm (menu-entry->boot-parameters): Rename boot-name to
  bootloader-name.
2017-06-10 18:44:35 +02:00
Mathieu Othacehe f96752e378
bootloader: Rename boot-name to bootloader-name.
* gnu/system (<boot-parameters>)[boot-name]: Rename field to...
[bootloader-name]: ... this.  Adjust users.
* gnu/scripts/system.scm: Adjust accordingly.
2017-06-10 18:32:11 +02:00
Kei Kebreau 9a0968816f
gnu: evince: Enable XPS document support.
* gnu/packages/gnome.scm (evince)[inputs]: Add libarchive and libgxps.
2017-06-09 21:03:35 -04:00
Kei Kebreau 94e10cf4bd
gnu: Add libgxps.
* gnu/packages/gnome.scm (libgxps): New variable.
2017-06-09 21:03:35 -04:00
Marius Bakke 8caf5bac4c
gnu: xf86-video-openchrome: Update to 0.6.0.
* gnu/packages/xorg.scm (xf86-video-openchrome): Update to 0.6.0.
2017-06-10 01:49:16 +02:00
Marius Bakke bddcaf7625
gnu: xf86-video-ati: Update to 7.9.0.
* gnu/packages/xorg.scm (xf86-video-ati): Update to 7.9.0.
2017-06-10 01:47:40 +02:00
Marius Bakke b634408158
gnu: slop: Update to 6.3.43.
* gnu/packages/xdisorg.scm (slop): Update to 6.3.43.
2017-06-10 01:32:24 +02:00
Marius Bakke b2193c359a
gnu: xclip: Update to 0.13.
Yet another GitHub casualty. See: https://sourceforge.net/projects/xclip/

* gnu/packages/xdisorg.scm (xclip): Update to 0.13.
[source, home-page]: Change to new home.
[native-inputs]: Add AUTOCONF and AUTOMAKE.
[arguments]: Add "bootstrap" phase.
2017-06-10 01:17:21 +02:00
ng0 83f0d3a5c8
gnu: Add smu.
* gnu/packages/markup.scm (smu): New variable.

Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2017-06-10 00:12:13 +02:00
ng0 e5eede3fb3
gnu: Rename (gnu packages markdown) to (gnu packages markup).
* gnu/packages/markdown.scm: Rename this ...
* gnu/packages/markup.scm: ... to this.
* gnu-system.am (GNU_SYSTEM_MODULES): Change markdown.scm to markup.scm.

Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2017-06-10 00:11:36 +02:00
Marius Bakke 0866dd46a9
gnu: capnproto: Update to 0.6.1.
* gnu/packages/serialization.scm (capnproto): Update to 0.6.1.
2017-06-09 23:33:36 +02:00
Marius Bakke ad27449ef1
gnu: ffmpeg: Update to 3.3.2.
* gnu/packages/video.scm (ffmpeg): Update to 3.3.2.
2017-06-09 23:28:55 +02:00
Marius Bakke e6ad9bda49
gnu: p11-kit: Update to 0.23.7.
Newer releases are only available on GitHub. See release announcements:
https://lists.freedesktop.org/archives/p11-glue/2017-June/000661.html

* gnu/packages/tls.scm (p11-kit): Update to 0.23.7.
[source]: Remove obsolete substitution.
2017-06-09 23:26:48 +02:00
宋文武 b22cdf0c42
gnu: python-paramiko: Update to 2.1.2.
* gnu/packages.scm (python-paramiko, python2-paramiko):
Update to 2.1.2.  Enable tests.
2017-06-09 20:50:11 +08:00
Danny Milosavljevic bb7cf4f533
file-systems: Provide string->iso9660-uuid.
* gnu/build/file-systems.scm (string->iso9660-uuid): New variable.  Export it.

Co-authored-by: Ludovic Courtès <ludo@gnu.org>
2017-06-09 12:30:56 +02:00
Mark H Weaver 6fe5c49ab4
gnu: linux-libre: Update to 4.11.4.
* gnu/packages/linux.scm (%linux-libre-version): Update to 4.11.4.
(%linux-libre-hash): Update hash.
2017-06-09 01:31:08 -04:00
Mark H Weaver e2d57d12ce
gnu: linux-libre@4.9: Update to 4.9.31.
* gnu/packages/linux.scm (linux-libre-4.9): Update to 4.9.31.
2017-06-09 01:30:29 -04:00
Mark H Weaver f1a710c321
gnu: linux-libre@4.4: Update to 4.4.71.
* gnu/packages/linux.scm (linux-libre-4.4): Update to 4.4.71.
2017-06-09 01:29:47 -04:00
Ricardo Wurmus 8befd0940b
gnu: Add tadbit.
* gnu/packages/bioinformatics.scm (tadbit): New variable.
2017-06-09 03:32:23 +02:00
Ricardo Wurmus aa163424b2
gnu: Add imp.
* gnu/packages/bioinformatics.scm (imp): New variable.
2017-06-09 03:31:51 +02:00
Ricardo Wurmus 282b01515b
gnu: Add phylip.
* gnu/packages/bioinformatics.scm (phylip): New variable.
2017-06-09 03:31:50 +02:00
Ricardo Wurmus 3420c905cd
gnu: Add gess.
* gnu/packages/bioinformatics.scm (gess): New variable.
2017-06-09 03:31:50 +02:00
Ricardo Wurmus 44f6c88909
gnu: Add trim-galore.
* gnu/packages/bioinformatics.scm (trim-galore): New variable.
2017-06-09 03:31:50 +02:00
Ricardo Wurmus b8fffd3a53
gnu: Add ritornello.
* gnu/packages/bioinformatics.scm (ritornello): New variable.
2017-06-09 03:31:50 +02:00
Ricardo Wurmus 1dacc26956
gnu: Add r-fdrtool.
* gnu/packages/statistics.scm (r-fdrtool): New variable.
2017-06-09 03:28:40 +02:00
Ricardo Wurmus db0bb6f0af
gnu: Add r-lubridate.
* gnu/packages/statistics.scm (r-lubridate): New variable.
2017-06-09 03:27:49 +02:00
Kei Kebreau 0377d5006e
gnu: crawl: Update to 0.20.0.
* gnu/packages/games.scm (crawl, crawl-tiles): Update to 0.20.0.
2017-06-08 19:57:25 -04:00
Marius Bakke 099c9fdae6
gnu: raptor2: Fix heap overflow bug.
* gnu/packages/patches/raptor2-heap-overflow.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register it.
* gnu/packages/rdf.scm (raptor2): Use it.
2017-06-09 01:16:55 +02:00
Ludovic Courtès dfcd02c0f6
gnu: artanis: Update to 0.2.1.
* gnu/packages/guile.scm (artanis): Update to 0.2.1.
[inputs]: Switch to GUILE-2.2.
[arguments]: Adjust #:make-flags for Guile 2.2.  Take .go files from
lib/guile/2.2.  Add 'wrap-art' phase.
* gnu/packages/patches/artanis-fix-Makefile.in.patch: Remove.
* gnu/local.mk (dist_patch_DATA): Remove it.
2017-06-08 23:54:56 +02:00
Ludovic Courtès ea4678a427
gnu: gnuastro: Update to 0.3.
* gnu/packages/astronomy.scm (gnuastro): Update to 0.3.
Adjust as suggested by 'guix lint'.
2017-06-08 23:33:31 +02:00
Julien Lepiller 525da27c25
gnu: php: Update to 7.1.6.
* gnu/packages/php.scm (php): Update to 7.1.6.
2017-06-08 23:16:28 +02:00
Kei Kebreau 28c9873800
gnu: minetest: Update to 0.4.16.
* gnu/packages/games.scm (minetest-data, minetest): Update to 0.4.16.
2017-06-08 15:59:17 -04:00
Leo Famulari 6175937011
gnu: certbot, python-acme: Update to 0.15.0.
* gnu/packages/tls.scm (certbot, python-acme, python2-acme): Update to 0.15.0.
(python-acme, python2-acme)[arguments]: Remove 'patch-dependency' phase.
This issue was fixed upstream:
d0e471dc80
2017-06-08 15:53:49 -04:00
Hartmut Goebel 1e0ae3b352
gnu: kde.scm, kde-frameworks.scm: Add and update comments.
* gnu/packages/kde-frameworks.scm
  (kpackage,plasma-framework)[arguments]: Update comment (number of failed
  tests).
  (kdeclarative)[arguments]<#:phases>: Update comment.
  (bluez-qt,knotifications,kpty,ktexteditor,ktextwidgets,solid)[inputs]: Add a
  todo comment.
  (kguiaddons): Add a todo comment.
  (phonon)[native-inputs]: Add a todo comment.
* gnu/packages/kde-frameworks.scm (kauth)[arguments]<#:phases>: Add a todo
  comment.
2017-06-08 19:14:05 +02:00
Hartmut Goebel ed4a3ec68c
gnu: kwindowsystem: Fix some test-cases (test-suite still disabled).
Make five tests pass, three are still failing – thus the test-suite is still
disabled. This commit's aim is to retain the progress.

* gnu/packages/kde-frameworks.scm (kwindowsystem)[native-inputs]: Add dbus.
  [arguments]<#:test?>: Change comment. <#:phases>: Replace phase `check` by
  new one befind 'install'.
2017-06-08 18:59:53 +02:00
Hartmut Goebel 3406d0b3a9
gnu: kwidgetsaddons: Re-enable tests.
* gnu/packages/kde-frameworks.scm (kwidgetsaddons)[arguments]: Test-suite
   is now passing; reenable it.
2017-06-08 18:59:52 +02:00
Hartmut Goebel 9ebffc504d
gnu: kiconthemes: Re-enable tests.
* gnu/packages/kde-frameworks.scm (kiconthemes)[arguments]: Test-suite
  is now passing; reenable it.
2017-06-08 18:59:51 +02:00
Hartmut Goebel 51361afd78
gnu: kwallet: Use gpgme instead of gpgmepp.
The C++-bindings are part of gpgme since version 1.7.

* gnu/packages/kde-frameworks.scm(kwallet)[inputs]: Replace gpgmepp by
  gpgme.
2017-06-08 18:59:50 +02:00
Hartmut Goebel 73577a66f1
gnu: gpgmepp: Superseded by gpgme.
The C++-bindings are part of gpgme since version 1.7.

* gnu/packages/kde-frameworks.scm (gpgmepp)[properties]: New field.
2017-06-08 18:59:49 +02:00
Hartmut Goebel ab313cd0ba
gnu: sonnet: Add optional input (spell-checker).
* gnu/packages/kde-frameworks.scm (sonnet)[inputs]: Add hunspell; add
  todo comment for other language's spell-checker.
2017-06-08 18:59:49 +02:00
Hartmut Goebel 73a3598df8
gnu: kpackage: Add more optional inputs.
* gnu/packages/kde-frameworks.scm (kpackage)[inputs]: Add kdoctools.
2017-06-08 18:59:47 +02:00
Hartmut Goebel faec8b8f07
gnu: plasma-framework: Add more optional inputs.
* gnu/packages/kde-frameworks.scm (plasma-frameworks)[native-inputs]: Add
  pkg-config. [inputs]: Add kwayland.
2017-06-08 18:59:46 +02:00
Hartmut Goebel 37aa54b722
gnu: ktexteditor: Add more optional inputs.
* gnu/packages/kde-frameworks.scm (ktexteditor)[native-inputs]: Add
  pkg-config.
2017-06-08 18:59:46 +02:00
Hartmut Goebel 7cf6793b4e
gnu: kinit: Add more optional inputs.
* gnu/packages/kde-frameworks.scm (kinit)
  [native-inputs]: Add pkg-config.
  [inputs]: Add kdoctools, libcap.
2017-06-08 18:59:45 +02:00
Hartmut Goebel 786cb78386
gnu: kio: Add more optional and recommended inputs.
* gnu/packages/kde-frameworks.scm (kio)[inputs]: Add mit-krb5, qtscript.
2017-06-08 18:59:44 +02:00
Hartmut Goebel 92605669e1
gnu: kimageformats: Add more optional and recommended inputs.
* gnu/packages/kde-frameworks.scm (kimageformats)
  [native-inputs]: Add pkg-config.
  [inputs]: Add karchive, openexr.
  [arguments]<#:configure-flags>: Set include-flags.
2017-06-08 18:59:43 +02:00
Hartmut Goebel 03ac48248b
gnu: kde frameworks: Avoid requiring xorg-server for tests.
Some packages started a x.org server for testing, which can be
avoided by setting QT_QPA_PLATFORM=offscreen.

* gnu/packages/kde-frameworks.scm (kitemmodels)
  [native-inputs]: Remove xorg-server.
  [arguments]<#phases> 'start-xorg-server' replace by 'check-setup'.
  (kplotting, kcrash, kimageformats): Likewise.
  (kitemviews)[native-inputs]: Remove xorg-server.
  [arguments]<#phases> 'start-xorg-server': Remove phase; 'check-setup':
  set QT_QPA_PLATFORM=offscreen.
2017-06-08 18:59:42 +02:00
Hartmut Goebel 72b073ca9e
gnu: kcompletion: Remove unused native input.
The xorg server is not required since change
548f99b3e0.

* gnu/packages/kde-frameworks.scm (kcompletion)[native-inputs]: Remove
  xorg-server.
2017-06-08 18:59:41 +02:00
Hartmut Goebel 0cd3e818e7
gnu: kitemmodels: Add more optional inputs.
* gnu/packages/kde-frameworks.scm (kitemmodels)[inputs]: Add qtdeclarative.
2017-06-08 18:59:40 +02:00
Hartmut Goebel 986447c8a6
gnu: kguiaddons: Remove unused native input.
The xorg server is not required since change
1de5b667f8.

* gnu/packages/kde-frameworks.scm (kguiaddons)[native-inputs]: Remove
  xorg-server.
2017-06-08 18:59:39 +02:00
Hartmut Goebel e7aab77362
gnu: kguiaddons: Add more optional inputs.
* gnu/packages/kde-frameworks.scm (kguiaddons)
  [native-inputs]: Add pkg-config. [inputs]:Add qtx11extras.
2017-06-08 18:59:38 +02:00
Marius Bakke 30e760f0cf
gnu: gnome-shell: Fix startup failure.
Fixes <https://bugs.gnu.org/27264>.

* gnu/packages/gnome.scm (gnome-shell)[inputs]: Add LIBRSVG and GEOCLUE.
2017-06-08 18:26:58 +02:00
Marius Bakke 758798a9cb
gnu: geoclue: Create typelib files.
* gnu/packages/gnome.scm (geoclue)[native-inputs]: Add GOBJECT-INTROSPECTION.
2017-06-08 18:26:57 +02:00
Mathieu Othacehe 8b22107e5d
bootloader: Use menu-entry to define custom bootloader entries.
* gnu/bootloader.scm (<menu-entry>): New variable. Export associated getters,
This record is extracted from grub module.
* gnu/bootloader/extlinux.scm (extlinux-configuration-file): Use
  menu-entry->boot-parameters to convert menu-entry records to
  boot-parameters.
* gnu/bootloader/grub.scm (<menu-entry>): Remove.
(boot-parameters->menu-entry): Remove.
(grub-configuration-file): Use boot-parameters to create configuration
entries.
* gnu/system.scm (menu-entry->boot-parameters): New exported procedure.
2017-06-08 16:29:29 +02:00
Maxim Cournoyer 45f523d9f0
gnu: emacs: Fix ert-runner by adding 'reporters' subdirectory.
Previous this change, ert-runner would fail with error:
"Invalid reporter: dot".

* gnu/packages/emacs.scm (ert-runner)[include]: Add regexp to match elisp
files under the 'reporters' subdirectory.

Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
2017-06-08 19:56:17 +05:30
Rutger Helling dfe93c9ac0
gnu: Add nftables.
* gnu/packages/linux.scm (nftables): New variable

Signed-off-by: Kei Kebreau <kei@openmailbox.org>
2017-06-08 09:40:14 -04:00
Clément Lassieur 4391a0295e
gnu: the-silver-searcher: Update to 2.0.0.
* gnu/packages/code.scm (the-silver-searcher): Update to 2.0.0.
2017-06-08 11:27:51 +02:00
Ben Woodcroft f69ff11af7
gnu: diamond: Update to 0.9.6.
* gnu/packages/bioinformatics.scm (diamond): Update to 0.9.6.
2017-06-08 09:39:23 +10:00
Mark H Weaver 1577a65809
gnu: guile-2.2: Increase max-silent-time to 6 hours.
* gnu/packages/guile.scm (guile-2.2)[properties]: Increase max-silent-time
to 6 hours.
2017-06-07 19:13:59 -04:00
Mark H Weaver f45878a80d
mapped-devices: Cope with delayed appearance of LUKS source.
Fixes <https://bugs.gnu.org/27242>.

* gnu/system/mapped-devices.scm (open-luks-device): If
'find-partition-by-luks-uuid' fails, try again once per second, up to ten
times.
2017-06-07 19:03:03 -04:00
Clément Lassieur 517c66c03d
gnu: livemedia-utils: Change source URL to one that is archived.
* gnu/packages/video.scm (livemedia-utils)[source]: Change it.
2017-06-08 00:42:56 +02:00
Mark H Weaver 9a68fb6c30
gnu: Rename 's' to 's-shell'.
* gnu/packages/shells.scm (s): Rename to ...
(s-shell): ... this.
[name]: Change to "s-shell".
2017-06-07 18:18:39 -04:00
Leo Famulari 94db92f78e
artwork: Use a descriptive name for the source directory.
* gnu/artwork.scm (%artwork-repository): Set a descriptive file-name and
use the full commit hash when fetching.
2017-06-07 15:58:16 -04:00
Christopher Baines fe4e0b0ae7
gnu: Add packagekit.
* gnu/packages/freedesktop.scm (packagekit): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-06-07 14:55:17 +02:00
Nicolas Goaziou 8a7304d609
gnu: emacs-org: Update to 20170606.
* gnu/packages/emacs.scm (emacs-org): Update to 20170606.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-06-07 14:13:47 +02:00
Clément Lassieur e71789963f
gnu: livemedia-utils: Update to 2017.06.04.
* gnu/packages/video.scm (livemedia-utils): Update to 2017.06.04.
2017-06-07 10:51:57 +02:00
Danny Milosavljevic c6aee77e29
file-systems: Use creation time if modification time is unset for ISO9660.
* gnu/build/file-systems.scm (iso9660-superblock-uuid): Modify.
2017-06-07 08:34:52 +02:00
Leo Famulari 15df12beae
gnu: perl: Fix CVE-2017-6512 in File::Path.
* gnu/packages/perl.scm (perl)[replacement]: New field.
(perl/fixed): New variable.
* gnu/packages/patches/perl-file-path-CVE-2017-6512.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
2017-06-06 20:59:12 -04:00
Leo Famulari 9c8fb06e4c
gnu: perl-file-path: Update to 2.13.
This fixes CVE-2017-6512.

* gnu/packages/perl.scm (perl-file-path): Update to 2.13.
2017-06-06 20:59:08 -04:00
Marius Bakke 2ad7919da6
gnu: signify: Update to 21.
* gnu/packages/crypto.scm (signify): Update to 21.
2017-06-07 00:50:06 +02:00
Marius Bakke a8d2750ec5
gnu: feh: Update to 2.19.
* gnu/packages/image-viewers.scm (feh): Update to 2.19.
2017-06-07 00:50:06 +02:00
Marius Bakke 1ce1050d59
gnu: ffmpeg@2.8: Update to 2.8.12.
* gnu/packages/video.scm (ffmpeg-2.8): Update to 2.8.12.
2017-06-07 00:50:05 +02:00
Marius Bakke a2265ea316
gnu: libnl: Update to 3.3.0.
Since version 3.2.5, signed tarballs are distributed via GitHub. See e.g.
release announcements:
https://lists.infradead.org/pipermail/libnl/2017-May/002313.html
The home page is somewhat outdated, but still hosts mailing lists and git mirror.

* gnu/packages/linux.scm (libnl): Update to 3.3.0.
[source]: Switch to new release URL.
2017-06-07 00:50:05 +02:00
Marius Bakke f608f40c35
gnu: irssi: Update to 1.0.3.
* gnu/packages/irc.scm (irssi): Update to 1.0.3.
2017-06-07 00:03:54 +02:00
Kei Kebreau 89b8df9765
gnu: maxima: Update to 5.40.0.
* gnu/packages/maths.scm (maxima): Update to 5.40.0.
2017-06-06 16:58:23 -04:00
Julien Lepiller 50cbbc9bd4
gnu: coq: Add search-paths for coq libraries.
* gnu/packages/ocaml.scm (coq)[native-search-paths]: New field.
2017-06-06 21:10:09 +02:00
Julien Lepiller 61bafd4477
gnu: Add ocaml-hex.
* gnu/packages/ocaml.scm (ocaml-hex): New variable.
2017-06-06 21:10:06 +02:00
Julien Lepiller 0090b89564
gnu: Add ocaml-cstruct.
* gnu/packages/ocaml.scm (ocaml-cstruct): New variable.
2017-06-06 21:10:03 +02:00
Julien Lepiller 9059d856d2
gnu: Add ocaml-ocplib-endian.
* gnu/packages/ocaml.scm (ocaml-ocplib-endian): New variable.
2017-06-06 21:10:00 +02:00
Julien Lepiller 84470902dc
gnu: Add ocaml-async.
* gnu/packages/ocaml.scm (ocaml-async): New variable.
2017-06-06 21:09:57 +02:00
Julien Lepiller d7f6d048b1
gnu: Add ocaml-async-extra.
* gnu/packages/ocaml.scm (ocaml-async-extra): New variable.
2017-06-06 21:09:54 +02:00
Julien Lepiller 7f1620df14
gnu: Add ocaml-async-unix.
* gnu/packages/ocaml.scm (ocaml-async-unix): New variable.
2017-06-06 21:09:51 +02:00
Julien Lepiller 4a5fd87203
gnu: Add ocaml-core.
* gnu/packages/ocaml.scm (ocaml-core): New variable.
2017-06-06 21:09:48 +02:00
Julien Lepiller cf28a731c6
gnu: Add ocaml-async-rpc-kernel.
* gnu/packages/ocaml.scm (ocaml-async-rpc-kernel): New variable.
2017-06-06 21:09:46 +02:00
Julien Lepiller e31ee74d91
gnu: Add ocaml-async-kernel.
* gnu/packages/ocaml.scm (ocaml-async-kernel): New variable.
2017-06-06 21:09:43 +02:00
Julien Lepiller 52485163f3
gnu: Add ocaml-core-kernel.
* gnu/packages/ocaml.scm (ocaml-core-kernel): New variable.
2017-06-06 21:09:09 +02:00
Tobias Geerinckx-Rice de3108835c
gnu: dovecot: Update to 2.2.30.2.
* gnu/packages/mail.scm (dovecot): Update to 2.2.30.2.
2017-06-06 19:32:55 +02:00
Hartmut Goebel 6b982a7846
gnu: Add qgpgme.
* gnu/packages/gnupg.scm (qgpgme): New variable.
2017-06-06 14:03:38 +02:00