nixo
/
guix-devel
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
25,136 Commits 1 Branch 0 Tags 104 MiB
Commit Graph

20397 Commits

Author SHA1 Message Date
Julien Lepiller 812c712f7a
gnu: Add java-eclipse-jetty-jmx-9.2. 
* gnu/packages/web.scm (java-eclipse-jetty-jmx-9.2): New variable.
 2017-10-23 22:54:52 +02:00
Julien Lepiller 4b172061e5
gnu: Add java-eclipse-jetty-jmx. 
* gnu/packages/web.scm (java-eclipse-jetty-jmx): New variable.
 2017-10-23 22:54:49 +02:00
Julien Lepiller 821869fcf4
gnu: Add java-eclipse-jetty-http-9.2. 
* gnu/packages/web.scm (java-eclipse-jetty-http-9.2): New variable.
 2017-10-23 22:54:47 +02:00
Julien Lepiller 4a1376d3fd
gnu: Add java-eclipse-jetty-http. 
* gnu/packages/web.scm (java-eclipse-jetty-http): New variable.
 2017-10-23 22:54:45 +02:00
Julien Lepiller b90012fddf
gnu: Add java-eclipse-jetty-io-9.2. 
* gnu/packages/web.scm (java-eclipse-jetty-io-9.2): New variable.
 2017-10-23 22:54:42 +02:00
Julien Lepiller b510b7f58f
gnu: Add java-eclipse-jetty-io. 
* gnu/packages/web.scm (java-eclipse-jetty-io): New variable.
 2017-10-23 22:54:40 +02:00
Julien Lepiller 5010671d4d
gnu: Add java-eclipse-jetty-util-9.2. 
* gnu/packages/web.scm (java-eclipse-jetty-util-9.2): New variable.
 2017-10-23 22:54:38 +02:00
Julien Lepiller 1657d62ae5
gnu: Add java-eclipse-jetty-util. 
* gnu/packages/web.scm (java-eclipse-jetty-util): New variable.
 2017-10-23 22:54:35 +02:00
Julien Lepiller 1f985e4497
gnu: Add java-eclipse-jetty-perf-helper. 
* gnu/packages/web.scm (java-eclipse-jetty-perf-helper): New variable.
 2017-10-23 22:54:33 +02:00
Julien Lepiller 339bef37cd
gnu: Add java-eclipse-jetty-test-helper. 
* gnu/packages/web.scm (java-eclipse-jetty-test-helper): New variable.
 2017-10-23 22:54:30 +02:00
Julien Lepiller 91072287a6
gnu: Add java-tomcat. 
* gnu/packages/web.scm (java-tomcat): New variable.
 2017-10-23 22:54:27 +02:00
Julien Lepiller 90a127c7ed
gnu: Add java-hdrhistogram. 
* gnu/packages/web.scm (java-hdrhistogram): New variable.
 2017-10-23 22:54:12 +02:00
Danny Milosavljevic 1a6497dee4
gnu: Add python2-libmpsse. 
* gnu/packages/embedded.scm: Add imports.
(python2-libmpsse): New variable.
 2017-10-23 19:11:19 +02:00
Tobias Geerinckx-Rice cc14a90fd3
gnu: borg: Update to 1.1.1. 
* gnu/packages/backup.scm (borg): Update to 1.1.1.
 2017-10-23 14:49:32 +02:00
Tobias Geerinckx-Rice 57af0d13b2
gnu: python-lmdb: Update to 0.93. 
* gnu/packages/databases.scm (python-lmdb): Update to 0.93.
 2017-10-23 14:49:32 +02:00
Tobias Geerinckx-Rice afd845368a
gnu: python-peewee: Update to 2.10.2. 
* gnu/packages/databases.scm (python-peewee): Update to 2.10.2.
 2017-10-23 14:49:31 +02:00
Tobias Geerinckx-Rice 6a4ad78dd6
gnu: python-graphviz: Update to 0.8.1. 
* gnu/packages/graphviz.scm (python-graphviz): Update to 0.8.1.
 2017-10-23 14:49:31 +02:00
Tobias Geerinckx-Rice 2b1b27990b
gnu: python-graphene: Disable tests. 
* gnu/packages/python.scm (python-graphene)[native-inputs]: Remove.
[arguments]: Disable #:tests.
 2017-10-23 14:49:30 +02:00
Tobias Geerinckx-Rice f737d9f2fb
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.
 2017-10-23 14:49:30 +02:00
Tobias Geerinckx-Rice ce4dfde0d8
gnu: miso: Update to 0.5.4. 
* gnu/packages/bioinformatics.scm (miso): Update to 0.5.4.
 2017-10-23 14:49:29 +02:00
Efraim Flashner 1ee3079d78
gnu: cowsay: Run tests after install. 
* gnu/packages/games.scm (cowsay)[arguments]: Delete 'check phase, add
custom 'check phase after install.
 2017-10-23 11:44:17 +03:00
Efraim Flashner 3bf94bc8bc
gnu: criu: Add missing perl input. 
* gnu/packages/virtualization.scm (criu)[native-inputs]: Add perl.
 2017-10-23 09:50:33 +03:00
Ricardo Wurmus fe420383e1
gnu: Add criu. 
* gnu/packages/virtualization.scm (criu): New variable.
 2017-10-23 08:09:05 +02:00
Ricardo Wurmus de5308f526
gnu: Add libnet. 
* gnu/packages/networking.scm (libnet): New variable.
 2017-10-23 08:09:05 +02:00
Ludovic Courtès d298c815e6
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.
 2017-10-22 22:09:00 -07:00
Ludovic Courtès dedb512f8f
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.
 2017-10-22 22:09:00 -07:00
Maxim Cournoyer 6e644cfdb3
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>
 2017-10-22 22:09:00 -07:00
Mark H Weaver 2f05dd6b4c
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.
 2017-10-23 00:53:38 -04:00
Mark H Weaver 1b635cafac
gnu: linux-libre@4.9: Update to 4.9.58. 
* gnu/packages/linux.scm (linux-libre-4.9): Update to 4.9.58.
 2017-10-23 00:53:03 -04:00
Mark H Weaver 8e4a976c68
gnu: linux-libre@4.4: Update to 4.4.94. 
* gnu/packages/linux.scm (linux-libre-4.4): Update to 4.4.94.
 2017-10-23 00:52:28 -04:00
Mark H Weaver bb234ed825
gnu: icecat: Add more fixes from upstream mozilla-esr52. 
* gnu/packages/gnuzilla.scm (icecat)[source]: Add selected fixes from the
upstream mozilla-esr52 repository.
 2017-10-23 00:51:34 -04:00
Ludovic Courtès fc938a2775
gnu: lxqt-common: Remove. 
This package is marked as deprecated upstream.
Fixes <https://bugs.gnu.org/28823>.

* gnu/packages/lxqt.scm (lxqt-common): Remove.
 2017-10-22 16:05:26 -07:00
Ludovic Courtès ed9b09e4f0
gnu: impressive: Fix Python 2/3 dependency mismatch. 
* gnu/packages/pdf.scm (impressive)[inputs]: Depend on PYTHON2-PYGAME.
 2017-10-22 15:32:19 -07:00
rsiddharth 3a784700cd
gnu: Add ghc-aws. 
* gnu/packages/haskell.scm (ghc-aws): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2017-10-22 15:32:19 -07:00
rsiddharth 95fb25bf59
gnu: Add ghc-conduit-combinators. 
* gnu/packages/haskell.scm (ghc-condui-combinators): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2017-10-22 15:32:18 -07:00
rsiddharth 463c39c339
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>
 2017-10-22 15:32:18 -07:00
rsiddharth 7bc18f412b
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>
 2017-10-22 15:32:18 -07:00
rsiddharth ed4cc0c5e9
gnu: Add ghc-mono-traversable. 
* gnu/packages/haskell.scm (ghc-mono-traversable): New variable.

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

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

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

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

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

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

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

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

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

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

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

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

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

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2017-10-22 15:32:16 -07:00
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 cbbd0148e8
gnu: mit-krb5: Remove graft for 1.15.2. 
* gnu/packages/kerberos.scm (mit-krb5): Update to 1.15.2.
[replacement]: Remove field.
(mit-krb5-1.15.2): Remove variable.
 2017-10-22 20:18:22 +02:00
Marius Bakke 3f9204c916
gnu: ghostscript: Remove graft for 9.22. 
* gnu/packages/patches/ghostscript-CVE-2017-8291.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
* gnu/packages/ghostscript.scm (ghostscript): Update to 9.22.
[replacement]: Remove field.
[source](patches): Remove 'ghostscript-CVE-2017-8291.patch'.
(ghostscript-9.22): Remove variable.
 2017-10-22 20:15:25 +02:00
Marius Bakke 119a749db9
Merge branch 'master' into core-updates 2017-10-22 20:12:52 +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
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