Commit Graph

25055 Commits

Author SHA1 Message Date
rsiddharth 4562c8c894
gnu: Add ghc-contravariant-extras.
* gnu/packages/haskell.scm (ghc-contravariant-extras): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-10-22 15:32:16 -07:00
rsiddharth e329bacb85
gnu: Add ghc-tuple-th.
* gnu/packages/haskell.scm (ghc-tuple-th): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-10-22 15:32:16 -07:00
rsiddharth ac4cb8fd7a
gnu: Add ghc-base-prelude.
* gnu/packages/haskell.scm (ghc-base-prelude): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-10-22 15:32:16 -07:00
rsiddharth 371ad40c84
gnu: Add ghc-chunked-data.
* gnu/packages/haskell.scm (ghc-chunked-data): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-10-22 15:32:15 -07:00
rsiddharth 0c7172848e
gnu: Add ghc-statistics.
* gnu/packages/haskell.scm (ghc-statistics): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-10-22 15:32:15 -07:00
rsiddharth 8184b0f98c
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>
2017-10-22 15:32:15 -07:00
rsiddharth 608bf276d7
gnu: Add ghc-monad-par.
* gnu/packages/haskell.scm (ghc-monad-par): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-10-22 15:32:15 -07:00
rsiddharth f978e2ac20
gnu: Add ghc-abstract-deque.
* gnu/packages/haskell.scm (ghc-abstract-deque): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-10-22 15:32:15 -07:00
rsiddharth 59551881b1
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>
2017-10-22 15:32:15 -07:00
rsiddharth 97b26920a8
gnu: Add ghc-abstract-par.
* gnu/packages/haskell.scm (ghc-abstract-par): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-10-22 15:32:15 -07:00
rsiddharth e0195ea875
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>
2017-10-22 15:32:14 -07:00
rsiddharth 897d4f2820
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>
2017-10-22 15:32:14 -07:00
rsiddharth 30aede1b6f
gnu: Add ghc-vector-algorithms.
* gnu/packages/haskell.scm (ghc-vector-algorithms): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-10-22 15:32:14 -07:00
rsiddharth 1a2a247bce
gnu: Add ghc-mwc-random.
* gnu/packages/haskell.scm (ghc-mwc-random): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-10-22 15:32:14 -07:00
rsiddharth a51ba89774
gnu: Add ghc-math-functions.
* gnu/packages/haskell.scm (ghc-math-functions): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-10-22 15:32:14 -07:00
rsiddharth bdd7e3950f
gnu: Add ghc-erf.
* gnu/packages/haskell.scm (ghc-erf): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-10-22 15:32:14 -07:00
rsiddharth c1274a0b79
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>
2017-10-22 15:32:14 -07:00
rsiddharth 78d8b8f36a
gnu: Add ghc-errors.
* gnu/packages/haskell.scm (ghc-errors): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-10-22 15:32:13 -07:00
Marius Bakke ef7dd2e259
gnu: python-chardet: Fix PyPi download location.
This is a followup to a54cb3ce1f.

* gnu/packages/python.scm (python-chardet)[source](uri): Use PYPI-URI.
2017-10-22 23:32:17 +02:00
Marius Bakke 60e29339d8
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'.
2017-10-22 23:13:09 +02:00
Ricardo Wurmus 65fc5bf07d
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".
2017-10-22 21:25:28 +02:00
Marius Bakke 25669275a1
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.
2017-10-22 17:24:33 +02:00
Cyril Roelandt a54cb3ce1f
gnu: python-chardet: Update to 3.0.4.
* gnu/packages/python.scm (python-chardet, python2-chardet): Update to 3.0.4.
2017-10-22 17:13:19 +02:00
Cyril Roelandt 69f7f04544
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.
2017-10-22 17:13:15 +02:00
Nicolas Goaziou 7f7fadb592
gnu: keepassxc: Update to 2.2.1.
* gnu/packages/password-utils.scm (keepassxc): Update to 2.2.1.
2017-10-22 16:55:36 +02:00
宋文武 b000294ef7
gnu: qt: Set 'EffectiveSourcePaths' to 'qtbase' for submodules.
Fixes a regression introduced in 8075b62378.
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.
2017-10-22 19:37:35 +08:00
Marius Bakke 3e8daecfd8
gnu: vim: Update to 8.0.1207.
* gnu/packages/vim.scm (vim): Update to 8.0.1207.
2017-10-22 13:22:59 +02:00
Marius Bakke d436c6b566
gnu: rottlog: Remove hard-coded '/usr/sbin/sendmail' reference.
* gnu/packages/admin.scm (rottlog)[arguments]: Add 'patch-paths' phase.
2017-10-22 13:22:59 +02:00
Marius Bakke 58f0a19c58
gnu: sddm: Fix FTBFS after Qt paths change.
* gnu/packages/display-managers.scm (sddm)[arguments]: Add 'fix-qml-include'
phase.
2017-10-22 13:22:59 +02:00
Ricardo Wurmus 03639d0354
gnu: Add python-editdistance.
* gnu/packages/textutils.scm (python-editdistance): New variable.
2017-10-22 13:19:58 +02:00
Hartmut Goebel 12a9f7be54
gnu: kservice: Fix comment (number of failing tests).
* gnu/packages/kde-frameweorks.scm(kservice): Fix comment.
2017-10-22 12:58:42 +02:00
Hartmut Goebel ed26b3a807
doc: Clarify description of etc-service-type.
* doc/guix.texi (Service Reference): Update 'etc-service-type'
  documentation.
2017-10-22 12:47:29 +02:00
Ricardo Wurmus a00403c61c
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.
2017-10-22 12:13:37 +02:00
Ricardo Wurmus 197484147a
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.
2017-10-22 12:13:37 +02:00
Ricardo Wurmus 5e30032ffb
gnu: Add lv2-devel.
* gnu/packages/audio.scm (lv2-devel): New variable.
2017-10-22 12:13:37 +02:00
Ricardo Wurmus ab8f4a7067
gnu: ganv-devel: Update to 1.5.4-12f7d6b04.
* gnu/packages/gtk.scm (ganv-devel): Update to 1.5.4-12f7d6b04.
2017-10-22 12:13:36 +02:00
Ricardo Wurmus a8bf6b9b9b
gnu: raul-devel: Update to 0.8.9-4db870b2b.
* gnu/packages/audio.scm (raul-devel): Update to 0.8.9-4db870b2b.
2017-10-22 12:13:36 +02:00
Ricardo Wurmus e206de67b6
gnu: Add r-rgraphviz.
* gnu/packages/graph.scm (r-rgraphviz): New variable.
2017-10-22 12:12:42 +02:00
Ricardo Wurmus 1ab867bebb
gnu: Add r-pdist.
* gnu/packages/cran.scm (r-pdist): New variable.
2017-10-22 12:10:33 +02:00
Julien Lepiller 6efc999678
gnu: Update coq-interval to 3.3.0.
* gnu/packages/ocaml.scm (coq-interval): Update to 3.3.0.
[inputs]: Add coq-bignums.
2017-10-22 10:21:25 +02:00
Julien Lepiller dbfb1a596a
gnu: Add coq-bignums.
* gnu/packages/ocaml.scm (coq-bignums): New variable.
2017-10-22 10:21:22 +02:00
Julien Lepiller 3ffd180cc5
gnu: Update coq-coquelicot to 3.0.1.
* gnu/packages/ocaml.scm (coq-coquelicot): Update to 3.0.1.
2017-10-22 10:21:19 +02:00
Julien Lepiller 2e331c9c43
gnu: Update coq-mathcomp to 1.6.2.
* gnu/packages/ocaml.scm (coq-mathcomp): Update to 1..6.2.
2017-10-22 10:21:16 +02:00
Julien Lepiller b44f13e04c
gnu: Update coq-flocq to 2.6.0.
* gnu/packages/ocaml.scm (coq-flocq): Update to 2.6.0.
2017-10-22 10:21:14 +02:00
Julien Lepiller 6e4da73710
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.
2017-10-22 10:21:11 +02:00
Julien Lepiller 07b4cd3a48
gnu: camlp5: install META file.
* gnu/packages/ocaml.scm (camlp5) [phases]: New install-meta phase.
2017-10-22 10:20:50 +02:00
Marius Bakke 3d679ab1e5
gnu: lame: Update to 3.100.
* gnu/packages/mp3.scm (lame): Update to 3.100.
[source]: Don't hard-code version.
2017-10-22 00:39:26 +02:00
Marius Bakke 28d0b52164
gnu: python-pyqt: Update to 5.9.
* gnu/packages/qt.scm (python-pyqt): Update to 5.9.
2017-10-21 22:38:55 +02:00
Marius Bakke 079e679219
gnu: python-sip: Update to 4.19.3.
* gnu/packages/qt.scm (python-sip): Update to 4.19.3.
2017-10-21 22:38:55 +02:00
Tobias Geerinckx-Rice a4194d1684
gnu: rest: Update to 0.8.1.
* gnu/packages/gnome.scm (rest): Update to 0.8.1.
2017-10-21 17:43:46 +02:00