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

12497 Commits

Author SHA1 Message Date
Tobias Geerinckx-Rice 819939cb94
gnu: python-pycparser: Use ‘modify-phases’ syntax. 
* gnu/packages/python.scm (python-pycparser)[arguments]: Use
‘modify-phases’.
 2017-01-02 08:37:21 +01:00
Tobias Geerinckx-Rice 5043b20dcd
gnu: python-pycparser: Update to 2.17. 
* gnu/packages/python.scm (python-pycparser): Update to 2.17.
 2017-01-02 08:28:28 +01:00
Leo Famulari 0d48ff811f
gnu: beets: Build with Python 3. 
* gnu/packages/music.scm (beets)[arguments]: Build with python@3.
(native-inputs): Use Python-2 variants of all inputs.
(inputs): Use Python-2 variants of all inputs. Remove python-pyechonest.
 2017-01-01 21:06:32 -05:00
Leo Famulari 27ccefc3d2
gnu: beets: Update to 1.4.2. 
* gnu/packages/music.scm (beets): Update to 1.4.2.
 2017-01-01 21:06:24 -05:00
Leo Famulari 2e161eafd8
gnu: python-pyicu: Update to 1.9.5. 
* gnu/packages/python.scm (python-pyicu, python2-pyicu): Update to 1.9.5.
[source]: Use pypi-uri.
 2017-01-01 20:15:06 -05:00
Theodoros Foradis 9a93f57473
gnu: yosys: Update to 0.7. 
* gnu/packages/fpga.scm (yosys): Update to 0.7.

Signed-off-by: Leo Famulari <leo@famulari.name>
 2017-01-01 20:06:43 -05:00
Theodoros Foradis f90f6b683e
gnu: yosys: Add xdot functionality. 
* gnu/packages/fpga.scm (yosys)[inputs]: Add xdot, graphviz and psmisc.
[arguments]: Add 'fix-paths' phase.

Signed-off-by: Leo Famulari <leo@famulari.name>
 2017-01-01 20:06:43 -05:00
Theodoros Foradis abdd28e8c1
gnu: Add xdot. 
* gnu/packages/graphviz.scm (xdot): New variable.

Signed-off-by: Leo Famulari <leo@famulari.name>
 2017-01-01 20:06:43 -05:00
Leo Famulari 7be13d0006
gnu: python-ndg-httpsclient: Use pypi-uri. 
* gnu/packages/python.scm (python-ndg-httpsclient, python2-ndg-httpsclient)
[source]: Use pypi-uri.
 2017-01-01 17:01:32 -05:00
Ricardo Wurmus 5dbeccf5b4
gnu: diffoscope: Embed tool references. 
Fixes <http://bugs.gnu.org/25315>.

* gnu/packages/package-management.scm (diffoscope)[inputs]: Add
colordiff and vim.
[arguments]: Add "embed-tool-references" build phase to embed references
to "colordiff", "xxd", and "readelf".
 2017-01-01 21:53:50 +01:00
Alex Vong ed88dd4512
gnu: mariadb: Update to 10.1.20. 
* gnu/packages/databases.scm (mariadb): Update to 10.1.20.

Signed-off-by: Leo Famulari <leo@famulari.name>
 2017-01-01 14:51:04 -05:00
Alex Vong e63b19f509
gnu: mysql: Update to 5.7.17. 
* gnu/packages/databases.scm (mysql): Update to 5.7.17.

Signed-off-by: Leo Famulari <leo@famulari.name>
 2017-01-01 14:45:23 -05:00
Ricardo Wurmus 395bbfdbea
gnu: Add propeller-development-suite. 
* gnu/packages/embedded.scm (propeller-development-suite): New variable.
 2017-01-01 13:56:28 +01:00
Ricardo Wurmus 3ebc86d9bd
gnu: Add spinsim. 
* gnu/packages/embedded.scm (spinsim): New variable.
 2017-01-01 13:56:28 +01:00
Ricardo Wurmus 0a7860c438
gnu: Add spin2cpp. 
* gnu/packages/embedded.scm (spin2cpp): New variable.
 2017-01-01 13:56:28 +01:00
Ricardo Wurmus c6b96af794
gnu: Add propeller-load. 
* gnu/packages/embedded.scm (propeller-load): New variable.
 2017-01-01 13:56:28 +01:00
Ricardo Wurmus 150e0a1ec6
gnu: Add openspin. 
* gnu/packages/embedded.scm (openspin): New variable.
 2017-01-01 13:56:27 +01:00
Ricardo Wurmus eb88fbafcd
gnu: Add propeller-toolchain. 
* gnu/packages/embedded.scm (propeller-toolchain): New variable.
 2017-01-01 13:56:27 +01:00
Ricardo Wurmus 0d0079b2c5
gnu: Add proplib. 
* gnu/packages/embedded.scm (proplib): New variable.
 2017-01-01 13:56:27 +01:00
Ricardo Wurmus 68cb27840e
gnu: Add propeller-gcc. 
* gnu/packages/embedded.scm (propeller-gcc): New variable.
 2017-01-01 13:56:27 +01:00
Ricardo Wurmus 2d7c92134e
gnu: Add propeller-binutils. 
* gnu/packages/embedded.scm (propeller-binutils): New variable.
 2017-01-01 13:56:27 +01:00
Ricardo Wurmus 6f5b1c9107
gnu: Add dummy linker for propeller-elf. 
* gnu/packages/bootstrap.scm (glibc-dynamic-linker): Add case for
propeller-elf.
 2017-01-01 13:56:27 +01:00
Ricardo Wurmus c26ba570cc
gnu: clisp: Remove timestamps. 
* gnu/packages/lisp.scm (clisp)[arguments]: Add "remove-timestamps"
phase to remove "__DATE__" and "__TIME__".
 2017-01-01 13:55:50 +01:00
Ricardo Wurmus 636c77d066
gnu: clisp: Use modify-phases syntax. 
* gnu/packages/lisp.scm (clisp)[arguments]: Use modify-phases syntax.
 2017-01-01 13:55:50 +01:00
Alex Kost c50dc711a1
gnu: manaplus: Update to 1.6.12.24. 
* gnu/packages/games.scm (manaplus): Update to 1.6.12.24.
 2017-01-01 11:47:08 +03:00
Ben Woodcroft 25d84d3122
gnu: python-dendropy: Update to 4.2.0. 
* gnu/packages/bioinformatics.scm (python-dendropy): Update to 4.2.0.
[source]: Remove patch.
(python2-dendropy)[source]: Use the same source as python-dendropy.
* gnu/packages/patches/python-dendropy-exclude-failing-tests.patch: Remove
file.
* gnu/local.mk (dist_patch_DATA): Remove it.
 2017-01-01 16:47:47 +10:00
Ben Woodcroft 322a583fcf
gnu: diamond: Update to 0.8.31. 
* gnu/packages/bioinformatics.scm (diamond): Update to 0.8.31.
 2017-01-01 16:47:47 +10:00
Ludovic Courtès 7fc2d377d1
gnu: nagios: Update to 4.2.4 [fixes CVE-2016-{9565,9566}]. 
* gnu/packages/monitoring.scm (nagios): Update to 4.2.4.
[native-inputs]: New field.
 2016-12-31 20:02:59 +01:00
Tobias Geerinckx-Rice b13a5b4d16
gnu: python-graphql-relay: Update to 0.4.5. 
* gnu/packages/python.scm (python-graphql-relay): Update to 0.4.5.
 2016-12-31 16:51:56 +01:00
Tobias Geerinckx-Rice 0c315fb394
gnu: python-freezegun: Update to 0.3.8. 
* gnu/packages/python.scm (python-freezegun): Update to 0.3.8.
 2016-12-31 16:51:56 +01:00
Tobias Geerinckx-Rice 234ade2d7b
gnu: python-ply: Update to 3.9. 
* gnu/packages/python.scm (python-ply): Update to 3.9.
[source]: Use pypi-uri.
 2016-12-31 16:51:55 +01:00
Tobias Geerinckx-Rice ab0c342924
gnu: python-pyquery: Update to 1.2.17. 
* gnu/packages/python.scm (python-pyquery): Update to 1.2.17.
 2016-12-31 16:51:55 +01:00
Tobias Geerinckx-Rice 42734b9a88
gnu: python-click-log: Update to 0.1.8. 
* gnu/packages/python.scm (python-click-log): Update to 0.1.8.
 2016-12-31 16:51:54 +01:00
Tobias Geerinckx-Rice ae476d01da
gnu: python-ndg-httpsclient: Update to 0.4.2. 
* gnu/packages/python.scm (python-ndg-httpsclient): Update to 0.4.2.
 2016-12-31 16:51:54 +01:00
Tobias Geerinckx-Rice f165648e1b
gnu: python-ipykernel: Update to 4.5.2. 
* gnu/packages/python.scm (python-ipykernel): Update to 4.5.2.
 2016-12-31 16:51:53 +01:00
Tobias Geerinckx-Rice 45cc957c72
gnu: python-jupyter-core: Update to 4.2.1. 
* gnu/packages/python.scm (python-jupyter-core): Update to 4.2.1.
 2016-12-31 16:51:53 +01:00
Tobias Geerinckx-Rice 594358f5b6
gnu: python2-fastlmm: Update to 0.2.26. 
* gnu/packages/python.scm (python2-fastlmm): Update to 0.2.26.
 2016-12-31 16:51:40 +01:00
Tobias Geerinckx-Rice a5f92ca04f
gnu: python-pytz: Update to 2016.10. 
* gnu/packages/python.scm (python-pytz): Update to 2016.10.
 2016-12-31 16:36:20 +01:00
Tobias Geerinckx-Rice bf5e4bc42a
gnu: python-pyyaml: Update to 3.12. 
* gnu/packages/python.scm (python-pyyaml): Update to 3.12.
[source]: Use pypi-uri.
 2016-12-31 15:27:24 +01:00
Tobias Geerinckx-Rice 7d2e758df5
gnu: python-pygments: Update to 2.1.3. 
* gnu/packages/python.scm (python-pygments): Update to 2.1.3.
 2016-12-31 15:27:23 +01:00
Kei Kebreau c055a37c8c
gnu: tiled: Update to 0.18.0. 
* gnu/packages/game-development.scm (tiled): Update to 0.18.0.
 2016-12-30 21:45:51 -05:00
ng0 da62a4a19e
gnu: mc: Partially fix absolute file paths. 
Partially fixes <http://bugs.gnu.org/25273>.

* gnu/packages/mc.scm (mc)[arguments]: Add new phase 'fix-absolutism.
This substitutes absolute file paths with functional file paths.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2016-12-31 01:44:04 +01:00
Troy Sankey 0f391063d9
gnu: pius: Update to 2.2.2-0.891687c. 
* gnu/packages/gnupg.scm (pius): Update to 2.2.2-0.891687c.
[inputs]: Change GNUPG-2.0 to GNUPG (2.1).

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2016-12-31 01:44:04 +01:00
José Miguel Sánchez García 68415aa4e1
gnu: libtermkey: Update to 0.19. 
* gnu/packages/terminals.scm (libtermkey): Update to 0.19.

Co-authored-by: Leo Famulari <leo@famulari.name>
 2016-12-30 16:15:25 -05:00
Leo Famulari 858b9afeaf
gnu: libpng: Mention CVE-2016-10087. 
* gnu/packages/patches/libpng-fix-null-ptr-dereference.patch: Rename to ...
* gnu/packages/patches/libpng-CVE-2016-10087.patch: ... this.
* gnu/local.mk (dist_patch_DATA): Adjust.
* gnu/packages/image.scm (libpng/fixed)[source]: Use renamed patch.
 2016-12-30 14:33:21 -05:00
Mark H Weaver 4037e5f52b
gnu: linux-libre@4.1: Update to 4.1.37. 
* gnu/packages/linux.scm (linux-libre-4.1): Update to 4.1.37.
 2016-12-30 04:26:11 -05:00
Ben Woodcroft a29929b32c
gnu: multiqc: Update to 0.9. 
Suggested by Raoul Bonnal <ilpuccio.febo@gmail.com>.

* gnu/packages/bioinformatics.scm (multiqc): Update to 0.9.
[origin]: Add patch.
* gnu/packages/patches/multiqc-fix-git-subprocess-error.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
 2016-12-30 17:22:43 +10:00
Chris Marusich 95d7d0c57f
gnu: elogind: Enable ACL support. 
* gnu/packages/freedesktop.scm (elogind) [inputs]: Add acl.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2016-12-29 23:42:23 +01:00
Leo Famulari 87b5209558
gnu: mpd: Install systemd service files. 
* gnu/packages/mpd.scm (mpd)[arguments]: Add 'install-service-files' phase.
 2016-12-29 17:28:34 -05:00
Ricardo Wurmus 76b64381cb
gnu: r-genomicfeatures: Update to 1.26.2. 
* gnu/packages/bioinformatics.scm (r-genomicfeatures): Update to 1.26.2.
 2016-12-29 22:24:12 +01:00
Ricardo Wurmus 2f642e5229
gnu: r-biostrings: Update to 2.42.1. 
* gnu/packages/bioinformatics.scm (r-biostrings): Update to 2.42.1.
 2016-12-29 22:24:11 +01:00
Ricardo Wurmus 72c2693b9e
gnu: r-limma: Update to 3.30.7. 
* gnu/packages/bioinformatics.scm (r-limma): Update to 3.30.7.
 2016-12-29 22:24:11 +01:00
Ricardo Wurmus 5796af9981
gnu: r-variantannotation: Update to 1.20.2. 
* gnu/packages/bioinformatics.scm (r-variantannotation): Update to 1.20.2.
 2016-12-29 22:24:11 +01:00
Ricardo Wurmus 5d3acc0b36
gnu: r-edger: Update to 3.16.5. 
* gnu/packages/bioinformatics.scm (r-edger): Update to 3.16.5.
 2016-12-29 22:24:11 +01:00
Ricardo Wurmus 81a17b61e7
gnu: r-genomeinfodb: Update to 1.10.1. 
* gnu/packages/bioinformatics.scm (r-genomeinfodb): Update to 1.10.1.
 2016-12-29 22:24:11 +01:00
Ricardo Wurmus 54d9b568fc
gnu: r-iranges: Update to 2.8.1. 
* gnu/packages/bioinformatics.scm (r-iranges): Update to 2.8.1.
 2016-12-29 22:24:11 +01:00
Ricardo Wurmus 86fc9c4a2c
gnu: r-s4vectors: Update to 0.12.1. 
* gnu/packages/bioinformatics.scm (r-s4vectors): Update to 0.12.1.
 2016-12-29 22:24:11 +01:00
Ricardo Wurmus c8ad8b6976
gnu: r-biocstyle: Update to 2.2.1. 
* gnu/packages/bioinformatics.scm (r-biocstyle): Update to 2.2.1.
 2016-12-29 22:24:10 +01:00
Ricardo Wurmus 007ee80277
gnu: r-deseq2: Update to 1.14.1. 
* gnu/packages/bioinformatics.scm (r-deseq2): Update to 1.14.1.
 2016-12-29 22:24:10 +01:00
Ricardo Wurmus d0f0579e6f
gnu: r-annotate: Update to 1.52.1. 
* gnu/packages/bioinformatics.scm (r-annotate): Update to 1.52.1.
[propagated-inputs]: Add r-rcurl.
 2016-12-29 22:24:10 +01:00
Leo Famulari a57495e27a
gnu: khard: Update to 0.11.3. 
* gnu/packages/mail.scm (khard): Update to 0.11.3.
[arguments]: Build with python instead of python-2. Remove
'disable-egg-compression' phase.
[propagated-inputs]: Don't use python-2 variants of propagated-inputs.
 2016-12-29 16:12:13 -05:00
Ricardo Wurmus 35bb2ff88a
gnu: r-rsqlite: Update to 1.1-1. 
* gnu/packages/statistics.scm (r-rsqlite): Update to 1.1-1.
[propagated-inputs]: Add r-bh, r-memoise, r-plogr, and r-rcpp.
 2016-12-29 21:49:13 +01:00
Ricardo Wurmus 28c041afe8
gnu: Add r-plogr. 
* gnu/packages/statistics.scm (r-plogr): New variable.
 2016-12-29 21:49:13 +01:00
Ricardo Wurmus ab607061cd
gnu: r-hmisc: Update to 4.0-1. 
* gnu/packages/statistics.scm (r-hmisc): Update to 4.0-1.
[propagated-inputs]: Remove r-cluster, r-foreign, r-lattice, r-nnet, and
r-rpart; add r-base64.
 2016-12-29 21:49:12 +01:00
Ricardo Wurmus 0811f0f9d2
gnu: Add r-base64. 
* gnu/packages/statistics.scm (r-base64): New variable.
 2016-12-29 21:49:12 +01:00
Ricardo Wurmus ca380feb37
gnu: r-rmarkdown: Update to 1.3. 
* gnu/packages/statistics.scm (r-rmarkdown): Update to 1.3.
[propagated-inputs]: Remove r-tibble; add r-rprojroot.
 2016-12-29 21:49:12 +01:00
Ricardo Wurmus 046e27e3f5
gnu: Add r-rprojroot. 
* gnu/packages/statistics.scm (r-rprojroot): New variable.
 2016-12-29 21:49:12 +01:00
Ricardo Wurmus a8e45b3240
gnu: r-rcpparmadillo: Update to 0.7.600.1.0. 
* gnu/packages/statistics.scm (r-rcpparmadillo): Update to 0.7.600.1.0.
* gnu/packages/maths.scm (armadillo-for-rcpparmadillo): Update to
7.600.1.
 2016-12-29 21:49:12 +01:00
Ricardo Wurmus b1c1f4d012
gnu: armadillo: Update to 7.600.2. 
* gnu/packages/maths.scm (armadillo): Update to 7.600.2.
 2016-12-29 21:49:12 +01:00
Ricardo Wurmus c729d3dc0e
gnu: r-zoo: Update to 1.7-14. 
* gnu/packages/statistics.scm (r-zoo): Update to 1.7-14.
[propagated-inputs]: Remove r-lattice.
 2016-12-29 21:49:11 +01:00
Ricardo Wurmus 53941eb7a5
gnu: r-fastcluster: Update to 1.1.22. 
* gnu/packages/statistics.scm (r-fastcluster): Update to 1.1.22.
 2016-12-29 21:49:11 +01:00
Ricardo Wurmus 3a181dc46e
gnu: r-plotly: Update to 4.5.6. 
* gnu/packages/statistics.scm (r-plotly): Update to 4.5.6.
 2016-12-29 21:49:11 +01:00
Ricardo Wurmus 54aa6eb6ee
gnu: r-r-rsp: Update to 0.40.0. 
* gnu/packages/statistics.scm (r-r-rsp): Update to 0.40.0.
 2016-12-29 21:49:11 +01:00
Ricardo Wurmus 1a44753b95
gnu: r-r-utils: Update to 2.5.0. 
* gnu/packages/statistics.scm (r-r-utils): Update to 2.5.0.
 2016-12-29 21:49:11 +01:00
Ricardo Wurmus 62350c0797
gnu: r-coda: Update to 0.19-1. 
* gnu/packages/statistics.scm (r-coda): Update to 0.19-1.
[propagated-inputs]: Remove r-lattice.
 2016-12-29 21:49:11 +01:00
Ricardo Wurmus 3607afbe4c
gnu: r-chron: Update to 2.3-48. 
* gnu/packages/statistics.scm (r-chron): Update to 2.3-48.
 2016-12-29 21:49:11 +01:00
Ricardo Wurmus eaec5506ad
gnu: r-knitr: Update to 1.15.1. 
* gnu/packages/statistics.scm (r-knitr): Update to 1.15.1.
[propagated-inputs]: Remove r-formatr.
 2016-12-29 21:49:10 +01:00
Ricardo Wurmus fd7810d323
gnu: r-bh: Update to 1.62.0-1. 
* gnu/packages/statistics.scm (r-bh): Update to 1.62.0-1.
 2016-12-29 21:49:10 +01:00
Ricardo Wurmus dd4ae2950a
gnu: r-svglite: Update to 1.2.0. 
* gnu/packages/statistics.scm (r-svglite): Update to 1.2.0.
 2016-12-29 21:49:10 +01:00
Ricardo Wurmus 48a87bbe3b
gnu: r-gdtools: Update to 0.1.3. 
* gnu/packages/statistics.scm (r-gdtools): Update to 0.1.3.
 2016-12-29 21:49:10 +01:00
Ricardo Wurmus ab01f1cdb1
gnu: r-ggplot2: Update to 2.2.0. 
* gnu/packages/statistics.scm (r-ggplot2): Update to 2.2.0.
[propagated-inputs]: Remove r-proto and r-svglite; add r-lazyeval and
r-tibble.
 2016-12-29 21:49:10 +01:00
Ricardo Wurmus b94b03b7fa
gnu: r-scales: Update to 0.4.1. 
* gnu/packages/statistics.scm (r-scales): Update to 0.4.1.
 2016-12-29 21:49:10 +01:00
Ricardo Wurmus 8a8fc31c6a
gnu: r-mgcv: Update to 1.8-16. 
* gnu/packages/statistics.scm (r-mgcv): Update to 1.8-16.
 2016-12-29 21:49:10 +01:00
Ricardo Wurmus 421f7772b4
gnu: r-qtl: Update to 1.40-8. 
* gnu/packages/bioinformatics.scm (r-qtl): Update to 1.40-8.
 2016-12-29 21:49:09 +01:00
Ricardo Wurmus 2a1c1b8074
gnu: r-hms: Update to 0.3. 
* gnu/packages/statistics.scm (r-hms): Update to 0.3.
 2016-12-29 21:49:09 +01:00
Ricardo Wurmus 85455a08f4
gnu: r-git2r: Update to 0.17.0. 
* gnu/packages/statistics.scm (r-git2r): Update to 0.17.0.
 2016-12-29 21:49:09 +01:00
Ricardo Wurmus abb6f0540e
gnu: r-ade4: Update to 1.7-5 
* gnu/packages/statistics.scm (r-ade4): Update to 1.7-5.
 2016-12-29 21:49:09 +01:00
Ricardo Wurmus db1b38af4e
gnu: r-xml: Update to 3.98-1.5. 
* gnu/packages/statistics.scm (r-xml): Update to 3.98-1.5.
[propagated-inputs]: Remove r-rcurl.
 2016-12-29 21:49:09 +01:00
Ricardo Wurmus 773a50114c
gnu: r-sparsem: Update to 1.74. 
* gnu/packages/statistics.scm (r-sparsem): Update to 1.74.
 2016-12-29 21:49:09 +01:00
Ricardo Wurmus 76ce7c3767
gnu: r-data-table: Update to 1.10.0. 
* gnu/packages/statistics.scm (r-data-table): Update to 1.10.0.
[propagated-inputs]: Remove r-chron.
 2016-12-29 21:49:09 +01:00
Ricardo Wurmus 58b93ad5d9
gnu: r-estimability: Update to 1.2. 
* gnu/packages/statistics.scm (r-estimability): Update to 1.2.
 2016-12-29 21:49:08 +01:00
Ricardo Wurmus eebac90aa8
gnu: r-rcpp: Update to 0.12.8. 
* gnu/packages/statistics.scm (r-rcpp): Update to 0.12.8.
 2016-12-29 21:49:08 +01:00
Ricardo Wurmus 9cdf10f1c9
gnu: r-yaml: Update to 2.1.14. 
* gnu/packages/statistics.scm (r-yaml): Update to 2.1.14.
 2016-12-29 21:49:08 +01:00
Ricardo Wurmus c616810720
gnu: r-htmlwidgets: Update to 0.8. 
* gnu/packages/web.scm (r-htmlwidgets): Update to 0.8.
 2016-12-29 21:49:08 +01:00
Ricardo Wurmus f4ca28d911
gnu: r-curl: Update to 2.3. 
* gnu/packages/web.scm (r-curl): Update to 2.3.
 2016-12-29 21:49:08 +01:00
Ricardo Wurmus d3122150ca
gnu: r-servr: Update to 0.5. 
* gnu/packages/web.scm (r-servr): Update to 0.5.
 2016-12-29 21:49:08 +01:00
Alex Kost deb6276dda
Remove Emacs interface. 
* emacs/guix-about.el: Remove file.
* emacs/guix-backend.el: Likewise.
* emacs/guix-base.el: Likewise.
* emacs/guix-buffer.el: Likewise.
* emacs/guix-build-log.el: Likewise.
* emacs/guix-command.el: Likewise.
* emacs/guix-config.el.in: Likewise.
* emacs/guix-devel.el: Likewise.
* emacs/guix-entry.el: Likewise.
* emacs/guix-external.el: Likewise.
* emacs/guix-geiser.el: Likewise.
* emacs/guix-guile.el: Likewise.
* emacs/guix-help-vars.el: Likewise.
* emacs/guix-helper.scm.in: Likewise.
* emacs/guix-history.el: Likewise.
* emacs/guix-hydra-build.el: Likewise.
* emacs/guix-hydra-jobset.el: Likewise.
* emacs/guix-hydra.el: Likewise.
* emacs/guix-info.el: Likewise.
* emacs/guix-init.el: Likewise.
* emacs/guix-license.el: Likewise.
* emacs/guix-list.el: Likewise.
* emacs/guix-location.el: Likewise.
* emacs/guix-main.scm: Likewise.
* emacs/guix-messages.el: Likewise.
* emacs/guix-pcomplete.el: Likewise.
* emacs/guix-popup.el: Likewise.
* emacs/guix-prettify.el: Likewise.
* emacs/guix-profiles.el: Likewise.
* emacs/guix-read.el: Likewise.
* emacs/guix-ui-generation.el: Likewise.
* emacs/guix-ui-license.el: Likewise.
* emacs/guix-ui-location.el: Likewise.
* emacs/guix-ui-package.el: Likewise.
* emacs/guix-ui-system-generation.el: Likewise.
* emacs/guix-ui.el: Likewise.
* emacs/guix-utils.el: Likewise.
* emacs/local.mk: Likewise.
* doc/emacs.texi: Likewise.
* doc/guix.texi: Remove cross-references to Emacs nodes.
(Package Management): Mention 'emacs-guix' package.
* doc/contributing.texi (The Perfect Setup): Remove the reference.
* doc/htmlxref.cnf: Add 'emacs-guix' URL.
* Makefile.am: Remove Emacs stuff.
* configure.ac: Likewise.
* gnu/packages/package-management.scm (guix-0.12.0)[native-inputs]:
Remove "emacs".
[propagated-inputs]: Remove "geiser" and "emacs-magit-popup".

Co-authored-by: Ludovic Courtès <ludo@gnu.org>
 2016-12-29 23:40:24 +03:00
Ricardo Wurmus 94a6f20baf
gnu: r-colorspace: Update to 1.3-2. 
* gnu/packages/statistics.scm (r-colorspace): Update to 1.3-2.
 2016-12-29 20:10:07 +01:00
Raoul Jean Pierre Bonnal 2fd261a37a
gnu: Add r-statmod. 
* gnu/packages/statistics.scm (r-statmod): New variable.
 2016-12-29 19:54:59 +01:00
Raoul Jean Pierre Bonnal 294304169a
gnu: Add r-ggbeeswarm. 
* gnu/packages/statistics.scm (r-ggbeeswarm): New variable.
 2016-12-29 19:54:59 +01:00
Raoul Jean Pierre Bonnal 649d0c4841
gnu: Add r-sourcetools. 
* gnu/packages/statistics.scm (r-sourcetools): New variable.
 2016-12-29 19:54:59 +01:00
Raoul Jean Pierre Bonnal 6ba279853c
gnu: Add r-beeswarm. 
* gnu/packages/statistics.scm (r-beeswarm): New variable.
 2016-12-29 19:54:59 +01:00
Raoul Jean Pierre Bonnal 069581351b
gnu: Add r-vipor. 
* gnu/packages/statistics.scm (r-vipor): New variable.
 2016-12-29 19:54:58 +01:00
Leo Famulari fc604eda3d
gnu: libpng-1.2: Update to 1.2.57 [security update]. 
* gnu/packages/image.scm (libpng-1.2): Update to 1.2.57.
[replacement]: New field.
 2016-12-29 13:41:43 -05:00
Leo Famulari 322e724bfa
gnu: libpng: Fix a null pointer dereference [fixes security issue]. 
* gnu/packages/patches/libpng-fix-null-ptr-dereference.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/image.scm (libpng)[replacement]: New field.
(libpng/fixed): New variable.
 2016-12-29 13:36:00 -05:00
Leo Famulari d835c6cc4b
gnu: mpd: Update to 0.19.21. 
* gnu/packages/mpd.scm (mpd): Update to 0.19.21.
 2016-12-29 11:30:31 -05:00
ng0 b954256337
gnu: rustc: Update to 1.14.0. 
* gnu/packages/rust.scm (rustc): Update to 1.14.0.
  %rust-bootstrap-binaries: Update to 1.13.0.

Signed-off-by: David Craven <david@craven.ch>
 2016-12-29 12:38:23 +01:00
Ricardo Wurmus e62e975b1f
gnu: mu: Avoid bootstrapping. 
* gnu/packages/mail.scm (mu)[arguments]: Rename "patch-configure.ac" to
"patch-configure" and only patch "configure" script; remove "autoreconf"
phase.
[native-inputs]: Remove "autoconf", "automake", "libtool", and
"texinfo".
 2016-12-29 09:20:08 +01:00
Ricardo Wurmus e7b9da2411
gnu: mu: Update to 0.9.18. 
* gnu/packages/mail.scm (mu): Update to 0.9.18.
 2016-12-29 08:58:57 +01:00
Tobias Geerinckx-Rice 43c0b9beaf
gnu: perl-zip: Update to 1.59. 
* gnu/packages/zip.scm (perl-zip): Update to 1.59.
 2016-12-29 05:37:01 +01:00
ng0 d5bbf806f3
gnu: Add python-trollius-redis. 
* gnu/packages/python.scm (python-trollius-redis, python2-trollius-redis): New
variables.

Signed-off-by: Leo Famulari <leo@famulari.name>
 2016-12-28 22:41:53 -05:00
ng0 789de5e279
gnu: Add python-straight-plugin. 
* gnu/packages/python.scm (python-straight-plugin, python2-straight-plugins):
New variables.

Signed-off-by: Leo Famulari <leo@famulari.name>
 2016-12-28 22:41:53 -05:00
ng0 a0e41de4ab
gnu: Add python-openid-teams. 
* gnu/packages/python.scm (python-openid-teams, python2-openid-teams): New
variables.

Signed-off-by: Leo Famulari <leo@famulari.name>
 2016-12-28 22:41:53 -05:00
ng0 03702173f1
gnu: Add python-openid-cla. 
* gnu/packages/python.scm (python-openid-cla, python2-openid-cla): New
variables.

Signed-off-by: Leo Famulari <leo@famulari.name>
 2016-12-28 22:41:52 -05:00
ng0 3ef00f5609
gnu: Add python2-openid. 
* gnu/packages/python.scm (python2-openid): New variable.

Signed-off-by: Leo Famulari <leo@famulari.name>
 2016-12-28 22:41:52 -05:00
ng0 0151a8df22
gnu: Add python-pygit2. 
* gnu/packages/python.scm (python-pygit2, python2-pygit2): New variables.

Signed-off-by: Leo Famulari <leo@famulari.name>
 2016-12-28 22:41:52 -05:00
ng0 460fccd4b3
gnu: Add python-munch. 
* gnu/packages/python.scm (python-munch, python2-munch): New variables.

Signed-off-by: Leo Famulari <leo@famulari.name>
 2016-12-28 22:41:51 -05:00
ng0 9f21414de4
gnu: Add python-kitchen. 
* gnu/packages/python.scm (python-kitchen, python2-kitchen): New variables.

Signed-off-by: Leo Famulari <leo@famulari.name>
 2016-12-28 22:41:51 -05:00
ng0 a2c7d88e74
gnu: Add python-flask-multistatic. 
* gnu/packages/python.scm (python-flask-multistatic, python2-flask-multistatic):
New variables.

Signed-off-by: Leo Famulari <leo@famulari.name>
 2016-12-28 22:41:51 -05:00
ng0 a7ad802be5
gnu: Add python-flask-wtf. 
* gnu/packages/python.scm (python-flask-wtf, python2-flask-wtf): New variables.

Signed-off-by: Leo Famulari <leo@famulari.name>
 2016-12-28 22:41:45 -05:00
Tobias Geerinckx-Rice 50f7da2fc8
gnu: xonsh: Update to 0.5.1. 
* gnu/packages/shells.scm (xonsh): Update to 0.5.1.
 2016-12-29 02:38:21 +01:00
Tobias Geerinckx-Rice 6a34f4ccc8
gnu: python-prompt-toolkit: Update to 1.0.9. 
* gnu/packages/python.scm (python-prompt-toolkit): Update to 1.0.9.
 2016-12-29 02:38:21 +01:00
Tobias Geerinckx-Rice 791ac6a68d
gnu: python-markdown: Update to 2.6.7. 
* gnu/packages/python.scm (python-markdown): Update to 2.6.7.
 2016-12-29 02:38:20 +01:00
Tobias Geerinckx-Rice 2ee57340f4
gnu: python-numexpr: Update to 2.6.1. 
* gnu/packages/python.scm (python-numexpr): Update to 2.6.1.
 2016-12-29 02:38:20 +01:00
Tobias Geerinckx-Rice ffb1e98d74
gnu: python-babel: Update to 2.3.4. 
* gnu/packages/python.scm (python-babel): Update to 2.3.4.
 2016-12-29 02:38:20 +01:00
Manolis Ragkousis 1d9c889881
gnu: glibc-hurd: Update to 2.23. 
* gnu/packages/base.scm (glibc/hurd)[version]: Update to version 2.23.
 2016-12-28 21:14:20 +02:00
Marius Bakke 517c3207d3
gnu: rofi: Update to 1.3.0. 
* gnu/packages/xdisorg.scm (rofi): Update to 1.3.0.
 2016-12-28 18:00:02 +01:00
Tobias Geerinckx-Rice 48dc9f3af3
gnu: znc: Update to 1.6.4. 
* gnu/packages/messaging.scm (znc): Update to 1.6.4.
 2016-12-28 05:14:05 +01:00
Nicolas Goaziou 4dbaa12f5d
gnu: wireshark: Update to 2.2.3. 
* gnu/packages/networking.scm (wireshark): Update to 2.2.3.

Signed-off-by: Marius Bakke <mbakke@fastmail.com>
 2016-12-27 17:05:07 +01:00
Nicolas Goaziou d531b9fdfe
gnu: emacs-org: Update to 20161224. 
* gnu/packages/emacs.scm (emacs-org): Update to 20161224.

Signed-off-by: Marius Bakke <mbakke@fastmail.com>
 2016-12-27 17:03:45 +01:00
Stefan Reichoer 9e6c7c425e
gnu: Add httpstat. 
* gnu/packages/networking.scm (httpstat): New variable.

Signed-off-by: Marius Bakke <mbakke@fastmail.com>
 2016-12-27 16:56:34 +01:00
Thomas Danckaert ea8450c82a
gnu: Add python-netcdf4. 
* gnu/packages/python.scm (python-netcdf4, python2-netcdf4): New variables.

Signed-off-by: Marius Bakke <mbakke@fastmail.com>
 2016-12-27 16:30:59 +01:00
Ricardo Wurmus 2c8d6c0be4
gnu: r-rcas: Update to 1.1.1. 
* gnu/packages/bioinformatics.scm (r-rcas): Update to 1.1.1.
[propagated-inputs]: Add plotrix.
 2016-12-27 14:50:55 +01:00
Leo Famulari 1194575b3c
gnu: python-pycrypto: Add TODO "removal" comment. 
* gnu/packages/python.scm (python-pycrypto, python2-pycrypto): Add
comment.
 2016-12-26 19:51:54 -05:00
Leo Famulari 4de2a710a6
gnu: python-stem: Don't use python-pycrypto. 
Python-pycrypto is an optional dependency of python-stem. Python-pycrypto is
unmaintained [0] and contains an exploitable buffer overflow bug [1].

[0] https://github.com/dlitz/pycrypto/issues/173
[1] https://github.com/dlitz/pycrypto/issues/176

* gnu/packages/python.scm (python-stem, python2-stem)[propagated-inputs]: Remove
python-pycrypto.
 2016-12-26 19:51:49 -05:00
ng0 91426243f1
gnu: awesome: Update to 4.0. 
* gnu/packages/wm.scm (awesome): Update to 4.0.
[source]: Adjust URL.
[inputs]: Add xcb-util-xrm and libxkbcommon.
* gnu/packages/patches/awesome-reproducible-png.patch: Adjust patch.

Signed-off-by: Leo Famulari <leo@famulari.name>
 2016-12-26 19:13:27 -05:00
Ben Woodcroft 9916ef8bb6
gnu: diamond: Update to 0.8.30. 
* gnu/packages/bioinformatics.scm (diamond): Update to 0.8.30.
 2016-12-27 09:18:05 +10:00
Leo Famulari c976b319fe
gnu: python-stem: Update to 1.5.3. 
* gnu/packages/python.scm (python-stem, python2-stem): Update to 1.5.3.
[source]: Update URL.
 2016-12-26 13:20:52 -05:00
Ben Woodcroft f1775db660
gnu: ruby-minitest: Update to 5.10.1. 
* gnu/packages/ruby.scm (ruby-minitest): Update to 5.10.1.
 2016-12-26 22:43:59 +10:00
Roel Janssen 328398e752
gnu: Add ripit. 
* gnu/packages/cdrom.scm (ripit): New variable.
 2016-12-26 12:58:29 +01:00
Roel Janssen fb222fb2b0
gnu: Add perl-cddb-get. 
* gnu/packages/perl.scm (perl-cddb-get): New variable.
 2016-12-26 12:45:48 +01:00
Alex Kost b2f1f7b0d9
gnu: emacs-guix: Update to 0.2.1. 
* gnu/packages/emacs.scm (emacs-guix): Update to 0.2.1.
 2016-12-26 13:53:53 +03:00
Efraim Flashner 9f74424f37
gnu: xf86-video-qxl: Update to 0.1.5. 
* gnu/packages/xorg.scm (xf86-video-qxl): Update to 0.1.5.
 2016-12-26 04:32:05 +02:00
Ricardo Wurmus 33ca551731
gnu: Add roffit. 
* gnu/packages/groff.scm (roffit): New variable.
 2016-12-25 22:02:39 +01:00
Efraim Flashner f077aa2b29
gnu: libevdev: Update to 1.5.5. 
* gnu/packages/xorg.scm (libevdev): Update to 1.5.5.
[houme-page]: Use https.
 2016-12-25 16:16:10 +02:00
Efraim Flashner db10a5e78a
gnu: libinput: Update to 1.5.3. 
* gnu/packages/freedesktop.scm (libinput): Update to 1.5.3.
 2016-12-25 16:16:00 +02:00
Marius Bakke 4a95b3882d
gnu: exim: Update to 4.87.1 [fixes CVE-2016-9963]. 
* gnu/packages/mail.scm (exim): Update to 4.87.1.
 2016-12-25 13:53:17 +01:00
Taylan Ulrich Bayırlı/Kammer d02fb7cec6
gnu: leptonica: Update to 1.74.0. 
* gnu/packages/image.scm (leptonica): Update to 1.74.0.

Signed-off-by: Marius Bakke <mbakke@fastmail.com>
 2016-12-25 13:48:57 +01:00
Efraim Flashner c88bee0ace
gnu: font-gnu-unifont: Update to 9.0.06. 
* gnu/packages/fonts.scm (font-gnu-unifont): Update to 9.0.06.
 2016-12-25 05:04:20 +02:00
Leo Famulari 3a2bcac6bd
gnu: libxml2: Fix CVE-2016-5131. 
* gnu/packages/patches/libxml2-CVE-2016-5131.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/xml.scm (libxml2/fixed)[source]: Add it.
 2016-12-24 19:19:36 -05:00
Leo Famulari 0c83c6bf26
gnu: libxml2: Fix CVE-2016-4658. 
* gnu/packages/xml.scm (libxml2)[replacement]: New field.
(libxml2/fixed): New variable.
* gnu/packages/patches/libxml2-CVE-2016-4658.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
 2016-12-24 19:19:32 -05:00
Efraim Flashner daa481f59a
gnu: qt: Update to 5.7.1. 
* gnu/packages/qt.scm (qtbase, qtsvg, qtimageformats, qtx11extras,
qtxmlpatterns, qtdeclarative, qtconnectivity, qtwebsockets, qtsensors,
qtmultimedia, qtwayland, qtserialport, qtwebchannel, qtlocation,
qttools, qtscript, qtquickcontrols, qtquickcontrols2, qtgraphicaleffects,
qtwebkit): Update to 5.7.1.
 2016-12-25 01:49:36 +02:00
Efraim Flashner 457d154fdf
gnu: alsa-utils: Update to 1.1.3. 
* gnu/packages/linux.scm (alsa-utils): Update to 1.1.3.
 2016-12-25 01:47:22 +02:00
Efraim Flashner 7604106f2c
gnu: busybox: Update to 1.26.0. 
* gnu/packages/busybox.scm (busybox): Update to 1.26.0.
[arguments]: Enable previously broken grep test.
 2016-12-25 01:47:22 +02:00
Thomas Danckaert db82557013
gnu: netcdf: Enable HDF4 support. 
* gnu/packages/maths.scm (netcdf)[inputs]: Add hdf4-alt and libjpeg.
  [arguments]: Add "--enable-hdf4" configure flag.

Signed-off-by: Marius Bakke <mbakke@fastmail.com>
 2016-12-24 14:41:50 +01:00
Marius Bakke f7fb34a06c
gnu: notmuch: Update to 0.23.4. 
* gnu/packages/mail.scm (notmuch, python-notmuch, python2-notmuch): Update to
0.23.4.
 2016-12-24 14:26:39 +01:00
Tobias Geerinckx-Rice b672e1ed1e
gnu: moreutils: Update to 5.9. 
* gnu/packages/moreutils.scm (moreutils): Update to 5.9.
[source]: Update the fall-back Debian snapshot URL.
[inputs]: Move docbook-xml, docbook-xsl, libxml2, and libxslt from here...
[native-inputs]: ...to this new variable.
[arguments]: Delete the configure phase altogether.  Set the DOCBOOKXSL path
in #:make-flags instead.
[home-page]: Use HTTPS.
 2016-12-24 03:19:03 +01:00
Tobias Geerinckx-Rice 4d2fd1c016
gnu: yadifa: Explicitly enable DNSSEC & caching. 
* gnu/packages/dns.scm (yadifa)[arguments]: Add configure flags to
consistently enable the ‘nsec’, ‘nsec3’, ‘tsig’, and ‘caching’ features.
 2016-12-23 23:54:15 +01:00
Tobias Geerinckx-Rice 8769d482ef
gnu: yadifa: Update to 2.2.3. 
* gnu/packages/dns.scm (yadifa): Update to 2.2.3.
[version, source]: Remove monotonic revision number from the version
string.  Use it only to reconstruct the download URL.
 2016-12-23 23:54:15 +01:00
Kei Kebreau eed2a95e9f
gnu: minetest: Update to 0.4.15. 
* gnu/packages/games.scm (minetest-data, minetest): Update to 0.4.15.
 2016-12-23 17:34:41 -05:00
Tobias Geerinckx-Rice 41d23dd1e2
gnu: btrfs-progs: Update to 4.9. 
* gnu/packages/linux.scm (btrfs-progs): Update to 4.9.
 2016-12-23 20:29:18 +01:00
ng0 50e9f81a22
gnu: gnurl: Split man pages to doc output. 
* gnu/packages/gnunet.scm (gnurl)[arguments]: Add 'move-man3-pages' phase.

Signed-off-by: Leo Famulari <leo@famulari.name>
 2016-12-23 11:58:03 -05:00
ng0 4ec08b637b
gnu: gnurl: Make tests more verbose. 
* gnu/packages/gnunet.scm (gnurl)[arguments]: Replace the 'check' phase.
Move the 'disable-test1026' and 'patch-runtests' phases into 'check' phase.

Signed-off-by: Leo Famulari <leo@famulari.name>
 2016-12-23 11:58:03 -05:00
ng0 a0e43c9fa7
gnu: gnurl: Update to 7.52.1 [fixes CVE-2016-{9586, 9952, 9953, 9594}]. 
* gnu/packages/gnunet.scm (gnurl): Update to 7.52.1.
[arguments]: Add 'autoconf' and 'disable-test1026' phases.

Signed-off-by: Leo Famulari <leo@famulari.name>
 2016-12-23 11:58:02 -05:00
Chris Marusich 426e6083ae
gnu: Add asunder. 
* gnu/packages/cdrom.scm (asunder): New variable.

Signed-off-by: Leo Famulari <leo@famulari.name>
 2016-12-23 11:34:42 -05:00
Marius Bakke d0f1673dc3
gnu: dnscrypt-proxy: Update to 1.8.1. 
* gnu/packages/dns.scm (dnscrypt-proxy): Update to 1.8.1.
 2016-12-23 15:53:51 +01:00
Marius Bakke 14251e30c4
gnu: curl: Update replacement to 7.52.1 [fixes CVE-2016-{9586,9594}]. 
* gnu/packages/curl.scm (curl)[replacement]: Update to 7.52.1.
[home-page]: Use HTTPS.
(curl-7.51.0): Replace with ...
(curl-7.52.1): ... this.
 2016-12-23 15:31:36 +01:00
Bake Timmons b881dc6d98
gnu: Add wwwoffle. 
* gnu/packages/web.scm (wwwoffle): New variable.

Signed-off-by: Marius Bakke <mbakke@fastmail.com>
 2016-12-23 15:18:02 +01:00
Thomas Danckaert d205f895ca
gnu: Add python-hdf4. 
* gnu/packages/python.scm (python-hdf4, python2-hdf4): New variables.

Co-authored-by: Marius Bakke <mbakke@fastmail.com>
 2016-12-23 14:51:56 +01:00
Leo Famulari 4b4ff6938d
gnu: qsyncthingtray: Update to 0.5.7. 
* gnu/packages/sync.scm (qsyncthingtray): Update to 0.5.7.
 2016-12-23 02:01:28 -05:00
Kei Kebreau e813f3956e
gnu: xonsh: Fix description. 
* gnu/packages/shells.scm (xonsh)[description]: Two spaces after a period.
 2016-12-22 18:06:56 -05:00
Efraim Flashner a532a6711e
gnu: qtimageformats: Add jasper support. 
* gnu/packages/qt.scm (qtimageformats)[inputs]: Add jasper.
 2016-12-23 01:01:27 +02:00
Stefan Reichör 572ee05c31
gnu: xonsh: Update to 0.5.0. 
* gnu/packages/shells.scm (xonsh): Update to 0.5.0.

Signed-off-by: Kei Kebreau <kei@openmailbox.org>
 2016-12-22 17:59:41 -05:00
Marius Bakke 059b3aa9c3
gnu: gnupg: Fix build on 32-bit architectures. 
* gnu/packages/patches/gnupg-test-segfault-on-32bit-arch.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register it.
* gnu/packages/gnupg.scm (gnupg)[source]: Use it.
 2016-12-22 15:05:50 +01:00
Ricardo Wurmus 8e401ab6db
gnu: python-scikit-learn: Update to 0.18.1. 
* gnu/packages/python.scm (python-scikit-learn): Update to 0.18.1.
[arguments]: Remove special "check" phase.
[native-inputs]: Add python-cython.
 2016-12-22 13:19:20 +01:00
Leo Famulari 8bf4a6aecd
gnu: shotwell: Update to 0.25.2. 
* gnu/packages/gnome.scm (shotwell): Update to 0.25.2.
 2016-12-22 02:54:42 -05:00
Efraim Flashner 5d0ebcc4cf
gnu: gcc: Update to 6.3.0. 
* gnu/packages/gcc.scm (gcc): Update to 6.3.0.
 2016-12-22 02:53:24 +02:00
Efraim Flashner 0d1baed223
gnu: abcde: Add flac support. 
* gnu/packages/cdrom.scm (abcde)[inputs]: Add flac.
[arguments]: Wrap the bunary with flac's bin dir also.
 2016-12-22 02:53:19 +02:00
Ricardo Wurmus 590b80d29a
Merge branch 'version-0.12.0' 2016-12-21 23:33:18 +01:00
Efraim Flashner d229ba9502
gnu: qemu: Update to 2.8.0. 
* gnu/packages/qemu.scm (qemu): Update to 2.8.0.
[source]: Remove patches.
[arguments]: Set host_cc during 'configure.
* gnu/packages/patches/qemu-CVE-2016-8576.patch,
gnu/packages/patches/qemu-CVE-2016-8577.patch,
gnu/packages/patches/qemu-CVE-2016-8577.patch: Remove files.
* gnu/local.mk (dist_patch_DATA): Remove them.
 2016-12-21 21:28:15 +02:00
Julien Lepiller 4da696877c
gnu: coq: Build coqide 
* gnu/packages/ocaml.scm (coq): Build coqide.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2016-12-21 17:54:18 +01:00
Julien Lepiller 8afd19585f
gnu: lablgtk: use ocamlfind in installation 
* gnu/packages/ocaml.scm (lablgtk): Use ocamlfind in installation.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2016-12-21 17:54:18 +01:00
Julien Lepiller 054fea97b7
gnu: lablgtk: Update to 2.18.5 
* gnu/packages/ocaml.scm (lablgtk): Update to 2.18.5.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2016-12-21 17:54:18 +01:00
Leo Famulari c8c385a04a
Revert "gnu: curl: Update replacement to 7.52.0 [fixes CVE-2016-{9586,9952,9953}]." 
The curl maintainers said this about 7.52.0:

"Attention! We will release a patch update within a few days to fix a
serious security problem found in curl 7.52.0. You may consider holding
off until then."

This message was displayed at <https://curl.haxx.se/download.html> on
2016-12-21.

This reverts commit 42366b35c3.
 2016-12-21 11:52:36 -05:00
Tobias Geerinckx-Rice f05f5b307e
gnu: mlt: Update to 6.4.1. 
* gnu/packages/video.scm (mlt): Update to 6.4.1.
 2016-12-21 16:37:01 +01:00
Tobias Geerinckx-Rice 9fa7284155
gnu: jsoncpp: Update to 1.8.0. 
* gnu/packages/serialization.scm (jsoncpp): Update to 1.8.0.
 2016-12-21 16:37:01 +01:00
Tobias Geerinckx-Rice e177f819c0
gnu: xf86-video-vmware: Update to 13.2.1. 
* gnu/packages/xorg.scm (xf86-video-vmware): Update to 13.2.1.
[native-inputs]: Add eudev.
 2016-12-21 16:37:00 +01:00
Tobias Geerinckx-Rice 7aef9930f0
gnu: xcb-util-xrm: Update to 1.2. 
* gnu/packages/xdisorg.scm (xcb-util-xrm): Update to 1.2.
 2016-12-21 16:37:00 +01:00
Tobias Geerinckx-Rice 82f44a36e4
gnu: xcape: Update to 1.2. 
* gnu/packages/xdisorg.scm (xcape): Update to 1.2.
 2016-12-21 16:37:00 +01:00
Marius Bakke 42366b35c3
gnu: curl: Update replacement to 7.52.0 [fixes CVE-2016-{9586,9952,9953}]. 
* gnu/packages/curl.scm (curl)[replacement]: Update to 7.52.0.
(curl-7.51.0): Replace with ...
(curl-7.52.0): ... this.
 2016-12-21 14:56:34 +01:00
Ludovic Courtès 7af6ecab6e
gnu: guix: Really skip "pivot-root" test. 
This is a followup to fe9bdb581e (which
introduced 'test-equal' for the "pivot-root" test) and to
198eac2bca (which updated the regexps for
skipped tests.)

* gnu/packages/package-management.scm (guix-0.12.0)[arguments]: In
'disable-container-tests' phase, add "test-equal" to the regexp, so that
"pivot-root" is really skipped.
 2016-12-21 14:28:28 +01:00
Ricardo Wurmus 7aa8785c41
gnu: guix: Update development snapshot. 
* gnu/packages/package-management.scm (guix-devel): Update to b291b327.
 2016-12-21 10:32:17 +01:00
Ludovic Courtès b291b3271a
gnu: linux-libre: Avoid invalid "kconfig" input on armhf and mips64el. 
This fixes a bug whereby:

  guix build linux-libre -s armhf-linux

would fail with:

  guix build: error: gnu/packages/linux.scm:231:2: package `linux-libre-4.8.15' has an invalid input: ("kconfig" #f)

This led 'tests/guix-system.sh' to fail.

* gnu/packages/linux.scm (make-linux-libre)[native-inputs]: Never add #f
as a "kconfig" input.
 2016-12-21 10:22:32 +01:00
Leo Famulari 6a148b9db5
gnu: imagemagick: Update to 6.9.7-0. 
* gnu/packages/imagemagick.scm (imagemagick): Update to 6.9.7-0.
 2016-12-20 20:50:50 -05:00
Marius Bakke 21eced80a0
gnu: nmap: Update to 7.40. 
* gnu/packages/admin.scm (nmap): Update to 7.40.
 2016-12-21 00:14:08 +01:00
Ludovic Courtès 64b5e41376
gnu: linux-libre: Avoid invalid "kconfig" input on armhf and mips64el. 
This fixes a bug whereby:

  guix build linux-libre -s armhf-linux

would fail with:

  guix build: error: gnu/packages/linux.scm:231:2: package `linux-libre-4.8.15' has an invalid input: ("kconfig" #f)

This led 'tests/guix-system.sh' to fail.

* gnu/packages/linux.scm (make-linux-libre)[native-inputs]: Never add #f
as a "kconfig" input.
 2016-12-20 23:39:30 +01:00
Efraim Flashner 899358d18a
gnu: msmtp: Update to 1.6.6. 
* gnu/packages/mail.scm (msmtp): Update to 1.6.6.
 2016-12-20 22:43:07 +02:00
Efraim Flashner 837ca0f071
gnu: getmail: Update to 4.52.0. 
* gnu/packages/mail.scm (getmail): Update to 4.52.0.
 2016-12-20 22:43:06 +02:00
Efraim Flashner c55fa42b2d
gnu: bogofilter: Use 'modify-phases'. 
* gnu/packages/mail.scm (bogofilter)[arguments]: Use 'modify-phases'.
 2016-12-20 22:43:06 +02:00
Efraim Flashner 329e0a9ca0
gnu: mutt: Update to 1.7.2. 
* gnu/packages/mail.scm (mutt): Update to 1.7.2.
 2016-12-20 22:43:06 +02:00