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