Julien Lepiller [Mon, 23 Oct 2017 19:54:44 +0000 (21:54 +0200)]
gnu: Add java-tomcat.
* gnu/packages/web.scm (java-tomcat): New variable.
Julien Lepiller [Tue, 10 Oct 2017 20:41:08 +0000 (22:41 +0200)]
gnu: Add java-hdrhistogram.
* gnu/packages/web.scm (java-hdrhistogram): New variable.
Danny Milosavljevic [Sat, 21 Oct 2017 19:03:03 +0000 (21:03 +0200)]
gnu: Add python2-libmpsse.
* gnu/packages/embedded.scm: Add imports.
(python2-libmpsse): New variable.
Tobias Geerinckx-Rice [Mon, 23 Oct 2017 12:30:52 +0000 (14:30 +0200)]
gnu: borg: Update to 1.1.1.
* gnu/packages/backup.scm (borg): Update to 1.1.1.
Tobias Geerinckx-Rice [Sun, 22 Oct 2017 13:57:30 +0000 (15:57 +0200)]
gnu: python-lmdb: Update to 0.93.
* gnu/packages/databases.scm (python-lmdb): Update to 0.93.
Tobias Geerinckx-Rice [Sun, 22 Oct 2017 13:57:02 +0000 (15:57 +0200)]
gnu: python-peewee: Update to 2.10.2.
* gnu/packages/databases.scm (python-peewee): Update to 2.10.2.
Tobias Geerinckx-Rice [Sun, 22 Oct 2017 13:58:07 +0000 (15:58 +0200)]
gnu: python-graphviz: Update to 0.8.1.
* gnu/packages/graphviz.scm (python-graphviz): Update to 0.8.1.
Tobias Geerinckx-Rice [Sun, 22 Oct 2017 13:21:49 +0000 (15:21 +0200)]
gnu: python-graphene: Disable tests.
* gnu/packages/python.scm (python-graphene)[native-inputs]: Remove.
[arguments]: Disable #:tests.
Tobias Geerinckx-Rice [Sun, 22 Oct 2017 12:50:45 +0000 (14:50 +0200)]
gnu: python-pytest-django: Use python-pytest@3.
* gnu/packages/django.scm (python-pytest-django)[propagated-inputs]: Replace
python-pytest with python-pytest-3.0.
Tobias Geerinckx-Rice [Fri, 20 Oct 2017 00:34:12 +0000 (02:34 +0200)]
gnu: miso: Update to 0.5.4.
* gnu/packages/bioinformatics.scm (miso): Update to 0.5.4.
Efraim Flashner [Mon, 23 Oct 2017 08:44:04 +0000 (11:44 +0300)]
gnu: cowsay: Run tests after install.
* gnu/packages/games.scm (cowsay)[arguments]: Delete 'check phase, add
custom 'check phase after install.
Efraim Flashner [Mon, 23 Oct 2017 06:49:53 +0000 (09:49 +0300)]
gnu: criu: Add missing perl input.
* gnu/packages/virtualization.scm (criu)[native-inputs]: Add perl.
Ricardo Wurmus [Wed, 18 Oct 2017 07:37:04 +0000 (09:37 +0200)]
gnu: Add criu.
* gnu/packages/virtualization.scm (criu): New variable.
Ricardo Wurmus [Wed, 18 Oct 2017 00:12:58 +0000 (02:12 +0200)]
gnu: Add libnet.
* gnu/packages/networking.scm (libnet): New variable.
Ludovic Courtès [Mon, 16 Oct 2017 08:12:53 +0000 (10:12 +0200)]
gexp: Add 'directory-union'.
* gnu/services.scm (directory-union): Move to...
* guix/gexp.scm (directory-union): ... here. New procedure.
* doc/guix.texi (G-Expressions): Document it.
Ludovic Courtès [Mon, 16 Oct 2017 07:57:44 +0000 (09:57 +0200)]
gexp: Add 'file-union'.
* gnu/services.scm (file-union): Move to...
* guix/gexp.scm (file-union): ... here. New procedure.
* doc/guix.texi (G-Expressions): Document it.
Ludovic Courtès [Fri, 13 Oct 2017 20:16:46 +0000 (22:16 +0200)]
discovery: Move 'file-name->module-name' to (guix modules).
* guix/discovery.scm (file-name->module-name): Move to...
* guix/modules.scm (file-name->module-name): ... here.
* guix/build/compile.scm: Use (guix modules) instead of (guix discovery).
Ludovic Courtès [Fri, 13 Oct 2017 16:21:47 +0000 (18:21 +0200)]
build: Honor make's '-j' flag.
* build-aux/compile-all.scm (parallel-job-count): New procedure.
<top level>: Pass it to 'compile-files' as #:workers.
Ludovic Courtès [Fri, 13 Oct 2017 16:07:41 +0000 (18:07 +0200)]
build: Factorize module compilation in (guix build compile).
* guix/build/compile.scm: New file.
* Makefile.am (MODULES): Add it.
* build-aux/compile-all.scm: Use it.
(warnings, file->module, load-module-file)
(%default-optimizations, %lightweight-optimizations)
(optimization-options, compile-file*): Remove.
<top level>: Use 'compile-files'.
* guix/build/pull.scm (%default-optimizations)
(%lightweight-optimizations, optimization-options): Remove.
(build-guix): Rewrite as a call to 'compile-files'.
* guix/discovery.scm (file-name->module-name): Export.
Maxim Cournoyer [Thu, 28 Sep 2017 01:33:25 +0000 (21:33 -0400)]
services: base: Add file->udev-rule function.
This function allows passing a file-like object to the udev service.
* gnu/services/base.scm (file->udev-rule): New function.
* doc/guix.texi (Base Services): Document it.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Mark H Weaver [Mon, 23 Oct 2017 04:53:38 +0000 (00:53 -0400)]
gnu: linux-libre: Update to 4.13.9.
* gnu/packages/linux.scm (%linux-libre-version): Update to 4.13.9.
(%linux-libre-hash): Update hash.
Mark H Weaver [Mon, 23 Oct 2017 04:53:03 +0000 (00:53 -0400)]
gnu: linux-libre@4.9: Update to 4.9.58.
* gnu/packages/linux.scm (linux-libre-4.9): Update to 4.9.58.
Mark H Weaver [Mon, 23 Oct 2017 04:52:28 +0000 (00:52 -0400)]
gnu: linux-libre@4.4: Update to 4.4.94.
* gnu/packages/linux.scm (linux-libre-4.4): Update to 4.4.94.
Mark H Weaver [Thu, 19 Oct 2017 20:14:10 +0000 (16:14 -0400)]
gnu: icecat: Add more fixes from upstream mozilla-esr52.
* gnu/packages/gnuzilla.scm (icecat)[source]: Add selected fixes from the
upstream mozilla-esr52 repository.
Ludovic Courtès [Sun, 22 Oct 2017 23:05:26 +0000 (16:05 -0700)]
gnu: lxqt-common: Remove.
This package is marked as deprecated upstream.
Fixes <https://bugs.gnu.org/28823>.
* gnu/packages/lxqt.scm (lxqt-common): Remove.
Ludovic Courtès [Sun, 22 Oct 2017 22:16:56 +0000 (15:16 -0700)]
gnu: impressive: Fix Python 2/3 dependency mismatch.
* gnu/packages/pdf.scm (impressive)[inputs]: Depend on PYTHON2-PYGAME.
rsiddharth [Wed, 18 Oct 2017 03:07:58 +0000 (03:07 +0000)]
gnu: Add ghc-aws.
* gnu/packages/haskell.scm (ghc-aws): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:57 +0000 (03:07 +0000)]
gnu: Add ghc-conduit-combinators.
* gnu/packages/haskell.scm (ghc-condui-combinators): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:56 +0000 (03:07 +0000)]
gnu: ghc-conduit: Fix lint error.
* gnu/packages/haskell.scm (ghc-conduit)[description]: Fix lint error.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:55 +0000 (03:07 +0000)]
gnu: ghc-conduit: Update to 1.2.12.1.
* gnu/packages/haskell.scm (ghc-conduit): Update to 1.2.12.1.
[native-inputs]: Add "ghc-split".
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:54 +0000 (03:07 +0000)]
gnu: Add ghc-mono-traversable.
* gnu/packages/haskell.scm (ghc-mono-traversable): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:53 +0000 (03:07 +0000)]
gnu: Add ghc-foldl.
* gnu/packages/haskell.scm (ghc-foldl): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:52 +0000 (03:07 +0000)]
gnu: Add ghc-vector-builder.
* gnu/packages/haskell.scm (ghc-vector-builder): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:51 +0000 (03:07 +0000)]
gnu: Add ghc-rebase.
* gnu/packages/haskell.scm (ghc-rebase): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:50 +0000 (03:07 +0000)]
gnu: Add ghc-uuid.
* gnu/packages/haskell.scm (ghc-uuid): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:49 +0000 (03:07 +0000)]
gnu: Add ghc-uuid-types.
* gnu/packages/haskell.scm (ghc-uuid-types): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:48 +0000 (03:07 +0000)]
gnu: Add ghc-network-info.
* gnu/packages/haskell.scm (ghc-network-info): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:47 +0000 (03:07 +0000)]
gnu: Add ghc-cryptohash-sha1.
* gnu/packages/haskell.scm (ghc-cryptohash-sha1): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:46 +0000 (03:07 +0000)]
gnu: Add ghc-cryptohash-md5.
* gnu/packages/haskell.scm (ghc-cryptohash-md5): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:45 +0000 (03:07 +0000)]
gnu: Add ghc-puremd5
* gnu/packages/haskell.scm (ghc-puremd5): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:44 +0000 (03:07 +0000)]
gnu: Add ghc-pretty-hex.
* gnu/packages/haskell.scm (ghc-pretty-hex): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:43 +0000 (03:07 +0000)]
gnu: Add ghc-crypto-api-tests.
* gnu/packages/haskell.scm (ghc-crypto-api-tests): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:42 +0000 (03:07 +0000)]
gnu: Add ghc-crypto-api.
* gnu/packages/haskell.scm (ghc-crypto-api): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:41 +0000 (03:07 +0000)]
gnu: Add ghc-entropy.
* gnu/packages/haskell.scm (ghc-entropy): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:40 +0000 (03:07 +0000)]
gnu: Add ghc-either.
* gnu/packages/haskell.scm (ghc-either): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:39 +0000 (03:07 +0000)]
gnu: Add ghc-monadrandom.
* gnu/packages/haskell.scm (ghc-monadrandom): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:38 +0000 (03:07 +0000)]
gnu: Add ghc-contravariant-extras.
* gnu/packages/haskell.scm (ghc-contravariant-extras): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:37 +0000 (03:07 +0000)]
gnu: Add ghc-tuple-th.
* gnu/packages/haskell.scm (ghc-tuple-th): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:36 +0000 (03:07 +0000)]
gnu: Add ghc-base-prelude.
* gnu/packages/haskell.scm (ghc-base-prelude): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:35 +0000 (03:07 +0000)]
gnu: Add ghc-chunked-data.
* gnu/packages/haskell.scm (ghc-chunked-data): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:34 +0000 (03:07 +0000)]
gnu: Add ghc-statistics.
* gnu/packages/haskell.scm (ghc-statistics): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:33 +0000 (03:07 +0000)]
gnu: ghc-base-orphans: Update to 0.6.
* gnu/packages/haskell.scm (ghc-base-orphans): Update to 0.6.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:32 +0000 (03:07 +0000)]
gnu: Add ghc-monad-par.
* gnu/packages/haskell.scm (ghc-monad-par): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:31 +0000 (03:07 +0000)]
gnu: Add ghc-abstract-deque.
* gnu/packages/haskell.scm (ghc-abstract-deque): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:30 +0000 (03:07 +0000)]
gnu: Add ghc-monad-par-extras.
* gnu/packages/haskell.scm (ghc-monad-par-extras): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:29 +0000 (03:07 +0000)]
gnu: Add ghc-abstract-par.
* gnu/packages/haskell.scm (ghc-abstract-par): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:28 +0000 (03:07 +0000)]
gnu: Add ghc-test-framework-th.
* gnu/packages/haskell.scm (ghc-test-framework-th): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:27 +0000 (03:07 +0000)]
gnu: Add ghc-language-haskell-extract.
* gnu/packages/haskell.scm
(ghc-language-haskell-extract): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:26 +0000 (03:07 +0000)]
gnu: Add ghc-vector-algorithms.
* gnu/packages/haskell.scm (ghc-vector-algorithms): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:25 +0000 (03:07 +0000)]
gnu: Add ghc-mwc-random.
* gnu/packages/haskell.scm (ghc-mwc-random): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:24 +0000 (03:07 +0000)]
gnu: Add ghc-math-functions.
* gnu/packages/haskell.scm (ghc-math-functions): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:23 +0000 (03:07 +0000)]
gnu: Add ghc-erf.
* gnu/packages/haskell.scm (ghc-erf): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:22 +0000 (03:07 +0000)]
gnu: Add ghc-vector-th-unbox.
* gnu/packages/haskell.scm (ghc-vector-th-unbox): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
rsiddharth [Wed, 18 Oct 2017 03:07:21 +0000 (03:07 +0000)]
gnu: Add ghc-errors.
* gnu/packages/haskell.scm (ghc-errors): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Marius Bakke [Sun, 22 Oct 2017 21:32:17 +0000 (23:32 +0200)]
gnu: python-chardet: Fix PyPi download location.
This is a followup to
a54cb3ce1f114ee1bc26371d9bc4abb0e04001ef.
* gnu/packages/python.scm (python-chardet)[source](uri): Use PYPI-URI.
Marius Bakke [Sat, 21 Oct 2017 21:00:01 +0000 (23:00 +0200)]
gnu: glibc: Fix CVE-2017-15670, CVE-2017-15671.
* gnu/packages/patches/glibc-CVE-2017-15670-15671.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register it.
* gnu/packages/base.scm (glibc/linux)[replacement]: New field.
(glibc/fixed): New variable.
(glibc-2.24, glibc-2.23, glibc-2.22)[source](patches): Add
'glibc-CVE-2017-15670-15671.patch'.
Ricardo Wurmus [Sun, 22 Oct 2017 16:42:40 +0000 (18:42 +0200)]
gnu: faust-2: Update to 2.1.0.
* gnu/packages/audio.scm (faust-2): Update to 2.1.0.
[source]: Fetch sources via git.
[arguments]: Add phase "fix-permissions".
Marius Bakke [Sun, 22 Oct 2017 15:22:02 +0000 (17:22 +0200)]
gnu: irssi: Update to 1.0.5 [security fixes].
Fixes CVE-2017-15228, CVE-2017-15227, CVE-2017-15721, CVE-2017-15723 and
CVE-2017-15722. See <https://irssi.org/security/irssi_sa_2017_10.txt>.
* gnu/packages/irc.scm (irssi): Update to 1.0.5.
Cyril Roelandt [Sat, 14 Oct 2017 03:22:58 +0000 (05:22 +0200)]
gnu: python-chardet: Update to 3.0.4.
* gnu/packages/python.scm (python-chardet, python2-chardet): Update to 3.0.4.
Cyril Roelandt [Sat, 14 Oct 2017 03:52:51 +0000 (05:52 +0200)]
gnu: python2-hypothesis: fix propagated inputs.
* gnu/packages/python.scm (python2-hypothesis)[propagated-inputs]: Add
python2-enum34, which was incorrectly listed among the native inputs.
Nicolas Goaziou [Sun, 22 Oct 2017 14:55:36 +0000 (16:55 +0200)]
gnu: keepassxc: Update to 2.2.1.
* gnu/packages/password-utils.scm (keepassxc): Update to 2.2.1.
宋文武 [Sun, 22 Oct 2017 11:21:17 +0000 (19:21 +0800)]
gnu: qt: Set 'EffectiveSourcePaths' to 'qtbase' for submodules.
Fixes a regression introduced in
8075b623786f11966febac7d4ac0f5e90e3f7712.
This allows 'linguist.pro' of 'qttools' to find 'ConfigVersion.cmake.in',
which is needed for 'Qt5LinguistToolsConfigVersion.cmake'.
Reported by Thomas Danckaert <post@thomasdanckaert.be>.
* gnu/packages/qt.scm (qtsvg)[arguments]: Set 'EffectiveSourcePaths' in
the 'configure-qmake' phase.
Marius Bakke [Sun, 22 Oct 2017 11:22:06 +0000 (13:22 +0200)]
gnu: vim: Update to 8.0.1207.
* gnu/packages/vim.scm (vim): Update to 8.0.1207.
Marius Bakke [Sun, 22 Oct 2017 11:05:04 +0000 (13:05 +0200)]
gnu: rottlog: Remove hard-coded '/usr/sbin/sendmail' reference.
* gnu/packages/admin.scm (rottlog)[arguments]: Add 'patch-paths' phase.
Marius Bakke [Sun, 22 Oct 2017 01:11:46 +0000 (03:11 +0200)]
gnu: sddm: Fix FTBFS after Qt paths change.
* gnu/packages/display-managers.scm (sddm)[arguments]: Add 'fix-qml-include'
phase.
Ricardo Wurmus [Sun, 22 Oct 2017 11:18:42 +0000 (13:18 +0200)]
gnu: Add python-editdistance.
* gnu/packages/textutils.scm (python-editdistance): New variable.
Hartmut Goebel [Sun, 22 Oct 2017 10:58:14 +0000 (12:58 +0200)]
gnu: kservice: Fix comment (number of failing tests).
* gnu/packages/kde-frameweorks.scm(kservice): Fix comment.
Hartmut Goebel [Thu, 19 Oct 2017 12:28:37 +0000 (14:28 +0200)]
doc: Clarify description of etc-service-type.
* doc/guix.texi (Service Reference): Update 'etc-service-type'
documentation.
Ricardo Wurmus [Sun, 22 Oct 2017 10:03:30 +0000 (12:03 +0200)]
gnu: suil: Update to 0.10.0.
* gnu/packages/audio.scm (suil): Update to 0.10.0.
[inputs]: Add gtk+.
[description]: Remove version numbers from supported toolkits.
Ricardo Wurmus [Sun, 22 Oct 2017 09:58:26 +0000 (11:58 +0200)]
gnu: ingen: Update to 0.0.0-2.
cc4a4db33.
* gnu/packages/music.scm (ingen): Update to 0.0.0-2.
cc4a4db33.
[inputs]: Replace lv2 with lv2-devel.
Ricardo Wurmus [Sun, 22 Oct 2017 09:57:56 +0000 (11:57 +0200)]
gnu: Add lv2-devel.
* gnu/packages/audio.scm (lv2-devel): New variable.
Ricardo Wurmus [Sun, 22 Oct 2017 09:57:20 +0000 (11:57 +0200)]
gnu: ganv-devel: Update to 1.5.4-
12f7d6b04.
* gnu/packages/gtk.scm (ganv-devel): Update to 1.5.4-
12f7d6b04.
Ricardo Wurmus [Sun, 22 Oct 2017 09:51:57 +0000 (11:51 +0200)]
gnu: raul-devel: Update to 0.8.9-
4db870b2b.
* gnu/packages/audio.scm (raul-devel): Update to 0.8.9-
4db870b2b.
Ricardo Wurmus [Fri, 20 Oct 2017 08:50:04 +0000 (10:50 +0200)]
gnu: Add r-rgraphviz.
* gnu/packages/graph.scm (r-rgraphviz): New variable.
Ricardo Wurmus [Fri, 20 Oct 2017 08:49:32 +0000 (10:49 +0200)]
gnu: Add r-pdist.
* gnu/packages/cran.scm (r-pdist): New variable.
Julien Lepiller [Sat, 21 Oct 2017 16:11:05 +0000 (18:11 +0200)]
gnu: Update coq-interval to 3.3.0.
* gnu/packages/ocaml.scm (coq-interval): Update to 3.3.0.
[inputs]: Add coq-bignums.
Julien Lepiller [Sat, 21 Oct 2017 16:05:11 +0000 (18:05 +0200)]
gnu: Add coq-bignums.
* gnu/packages/ocaml.scm (coq-bignums): New variable.
Julien Lepiller [Sat, 21 Oct 2017 14:52:29 +0000 (16:52 +0200)]
gnu: Update coq-coquelicot to 3.0.1.
* gnu/packages/ocaml.scm (coq-coquelicot): Update to 3.0.1.
Julien Lepiller [Sat, 21 Oct 2017 14:31:46 +0000 (16:31 +0200)]
gnu: Update coq-mathcomp to 1.6.2.
* gnu/packages/ocaml.scm (coq-mathcomp): Update to 1..6.2.
Julien Lepiller [Sat, 21 Oct 2017 14:16:15 +0000 (16:16 +0200)]
gnu: Update coq-flocq to 2.6.0.
* gnu/packages/ocaml.scm (coq-flocq): Update to 2.6.0.
Julien Lepiller [Sat, 21 Oct 2017 13:57:48 +0000 (15:57 +0200)]
gnu: Update coq to 8.7.0.
* gnu/packages/ocaml.scm (coq): Update to 8.7.0.
[build-system]: Use ocaml-build-system.
[inputs]: Add python-2.
[arguments]: Disable two failing tests.
Julien Lepiller [Sat, 21 Oct 2017 13:54:04 +0000 (15:54 +0200)]
gnu: camlp5: install META file.
* gnu/packages/ocaml.scm (camlp5) [phases]: New install-meta phase.
Marius Bakke [Sat, 21 Oct 2017 22:33:29 +0000 (00:33 +0200)]
gnu: lame: Update to 3.100.
* gnu/packages/mp3.scm (lame): Update to 3.100.
[source]: Don't hard-code version.
Marius Bakke [Thu, 19 Oct 2017 20:12:09 +0000 (22:12 +0200)]
gnu: python-pyqt: Update to 5.9.
* gnu/packages/qt.scm (python-pyqt): Update to 5.9.
Marius Bakke [Thu, 19 Oct 2017 19:58:00 +0000 (21:58 +0200)]
gnu: python-sip: Update to 4.19.3.
* gnu/packages/qt.scm (python-sip): Update to 4.19.3.
Tobias Geerinckx-Rice [Sat, 21 Oct 2017 15:38:42 +0000 (17:38 +0200)]
gnu: rest: Update to 0.8.1.
* gnu/packages/gnome.scm (rest): Update to 0.8.1.
Tobias Geerinckx-Rice [Sat, 21 Oct 2017 15:31:46 +0000 (17:31 +0200)]
gnu: gnome-disk-utility: Update to 3.26.1.
* gnu/packages/gnome.scm (gnome-disk-utility): Update to 3.26.1.
[build-system]: Use meson-build-system.
[native-inputs]: Add gtk+:bin.
Tobias Geerinckx-Rice [Sat, 21 Oct 2017 14:27:34 +0000 (16:27 +0200)]
gnu: perl-geo-ip: Update to 1.51.
* gnu/packages/networking.scm (perl-geo-ip): Update to 1.51.
Tobias Geerinckx-Rice [Fri, 20 Oct 2017 00:39:56 +0000 (02:39 +0200)]
Use HTTPS for bioconductor.org.
* doc/guix.texi (Invoking guix import, Invoking guix refresh): Use HTTPS for
bioconductor.org URLs.
* gnu/packages/bioinformatics.scm (r-annotate, r-geneplotter, r-genefilter)
(r-deseq2, r-dexseq, r-annotationforge, r-rbgl, r-gseabase, r-category)
(r-gostats, r-shortread, r-biocgenerics, r-biocinstaller, r-biocviews)
(r-biocstyle, r-bioccheck, r-s4vectors, r-iranges, r-genomeinfodbdata)
(r-genomeinfodb, r-xvector, r-genomicranges, r-biobase, r-annotationdbi)
(r-biomart, r-biocparallel, r-biostrings, r-rsamtools, r-delayedarray)
(r-summarizedexperiment, r-genomicalignments, r-rtracklayer)
(r-genomicfeatures, r-graph, r-topgo, r-bsgenome, r-impute, r-seqpattern)
(r-seqlogo, r-motifrg, r-bamsignals, r-mutationalpatterns, r-tximport)
(r-rhdf5, r-chipseq, r-sva, r-affy, r-vsn, r-mzid, r-msnid)
(r-interactivedisplaybase, r-annotationhub)[home-page]: Likewise.
* gnu/packages/bioinformatics.scm (r-txdb-hsapiens-ucsc-hg19-knowngene)
(r-go-db, r-bsgenome-hsapiens-1000genomes-hs37d5, r-org-hs-eg-db)
(r-org-ce-eg-db, r-org-dm-eg-db, r-org-mm-eg-db)
(r-bsgenome-hsapiens-ucsc-hg19, r-bsgenome-mmusculus-ucsc-mm9)
(r-bsgenome-mmusculus-ucsc-mm10, r-txdb-mmusculus-ucsc-mm10-knowngene)
(r-bsgenome-celegans-ucsc-ce6, r-bsgenome-celegans-ucsc-ce10)
(r-bsgenome-dmelanogaster-ucsc-dm3, r-copyhelper)[source, home-page]:
Likewise.
* gnu/packages/statistics.scm (r-rcurl)[source]: Likewise.
* guix/build-system/r.scm (bioconductor-uri): Likewise.
* guix/import/cran.scm (%cran-url, bioconductor-package?)
(bioconductor-data-package?, bioconductor-experiment-package?): Likewise.
Kei Kebreau [Sat, 21 Oct 2017 13:44:28 +0000 (09:44 -0400)]
gnu: schismtracker: Update to
20170910.
* gnu/packages/music.scm (schismtracker): Update to
20170910.
HCoop / jackhill / guix / guix.git / log