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

32128 Commits

Author SHA1 Message Date
Christopher Baines 69a64ecd66
gnu: go-gopkg.in-tomb.v2: Fix build. 
Looks like this test isn't compiling with newer versions of go, so fix it to
get the package building again.

* gnu/packages/golang.scm (go-gopkg.in-tomb.v2)[arguments]: Add new
patch-source phase.
 2018-12-04 19:53:04 +00:00
Ludovic Courtès 040ae18819
tests: Increase root partitions size to 1.2G. 
The system closure has grown slightly above 1GiB so adjust accordingly.

* gnu/tests/install.scm (%simple-installation-script): Increase vdb2 size of
1.2G,
(%extlinux-gpt-installation-script); ditto
(%simple-installation-script-for-/dev/vda): ditto,
(%separate-store-installation-script): ditto for vdb3,
(%encrypted-root-installation-script): ditto.
 2018-12-04 20:30:50 +01:00
Arun Isaac 30a1f6e214
gnu: Add apertium. 
* gnu/packages/dictionaries.scm (apertium): New variable.
 2018-12-04 23:08:45 +05:30
Arun Isaac d2e1d02253
gnu: Add lttoolbox. 
* gnu/packages/dictionaries.scm (lttoolbox): New variable.
 2018-12-04 23:08:45 +05:30
Arun Isaac 5790d163a4
gnu: dictionaries: Use license prefix. 
* gnu/packages/dictionaries.scm: Import (guix licenses) with license:
prefix. Fix all license fields.
 2018-12-04 23:08:33 +05:30
Ricardo Wurmus 42c3e00c20
gnu: pigx-rnaseq: Update to 0.0.5. 
* gnu/packages/bioinformatics.scm (pigx-rnaseq): Update to 0.0.5.
[inputs]: Replace snakemake-4 with snakemake.
 2018-12-04 16:21:50 +01:00
Andreas Enge 4ebfe99a3f
gnu: pari-gp: Update to 2.11.1. 
* gnu/packages/algebra.scm (pari-gp): Update to 2.11.1.
 2018-12-04 13:38:16 +01:00
Tim Gesthuizen f5a15a86b0
gnu: emacs-irony-mode: Fetch source using git. 
* gnu/packages/emacs.scm (emacs-irony-mode)[source]: Rewrite in terms of GIT-FETCH.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2018-12-04 11:14:21 +01:00
Timo Eisenmann 3a1835128d
gnu: enlightenment: Use absolute path to 'edje_cc'. 
* gnu/packages/enlightenment.scm (enlightenment)[arguments]: In
'set-system-actions', set absolute file name to 'edje_cc'.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2018-12-04 11:06:00 +01:00
Paul Garlick dd6cb4a0af
gnu: fenics: Skip extra demo in 'check' phase. 
* gnu/packages/simulation.scm (fenics)[arguments]: Add 'curl-curl'
demo to list of demos that require meshes supplied by git-lfs.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2018-12-04 10:58:56 +01:00
Paul Garlick af5236739e
gnu: petsc-openmpi: Configure with support for HYPRE preconditioner. 
* gnu/packages/maths.scm (petsc-openmpi)[inputs]: Add hypre-openmpi.
[arguments]: Add 'with-hypre=1' flag.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2018-12-04 10:58:50 +01:00
Ludovic Courtès 0bc02becca
Remove most references to hydra.gnu.org. 
* Makefile.am (assert-binaries-available): Don't mention hydra.gnu.org
in comment.
* build-aux/check-available-binaries.scm: Likewise.
* build-aux/check-final-inputs-self-contained.scm: Likewise.
* doc/guix.texi (SUBSTITUTE-SERVER): New variable.
Use it throughout instead of "mirror.hydra.gnu.org".
* doc/contributing.texi (Submitting Patches): Likewise.
* gnu/services/base.scm (hydra-key-authorization)
(guix-activation): Remove mentions of "hydra.gnu.org" in comments and
messages.
* gnu/system/install.scm (%installation-services): Likewise.
* guix/scripts/size.scm (guix-size): Likewise.
 2018-12-04 10:57:56 +01:00
Rutger Helling 1f51f0d975
gnu: dolphin-emu: Update to commit 2c57e70. 
* gnu/packages/emulators.scm (dolphin-emu): Update to commit 2c57e70.
 2018-12-04 10:03:55 +01:00
Oleg Pykhalov 9325533bd0
services: ddclient: Fix unrecognized keywords. 
This patch fixes warnings about unrecognized keywords in logs.

* gnu/services/dns.scm (serialize-field): Skip some field names.
 2018-12-04 07:16:00 +03:00
Leo Famulari 191c439e79
gnu: Beets: Update to 1.4.7. 
* gnu/packages/music.scm (beets): Update to 1.4.7.
 2018-12-03 18:54:53 -05:00
Leo Famulari ca45e49404
gnu: python-unidecode: Update to 1.0.23. 
* gnu/packages/python.scm (python-unidecode, python2-unidecode): Update to
1.0.23.
 2018-12-03 18:54:50 -05:00
Leo Famulari c05c1910db
gnu: Beets: Fix compatibility with Python 3.7. 
* gnu/packages/patches/beets-python-3.7-fix.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
*  gnu/packages/music.scm (beets)[source]: Use it.
 2018-12-03 17:30:30 -05:00
Ludovic Courtès 91a4863d9d
gnu: Add hnsd. 
Thank you, Handshake!

* gnu/packages/dns.scm (hnsd): New variable.
 2018-12-03 21:57:49 +01:00
Marius Bakke 4f03aa23e8
gnu: python-cryptography: Update to 2.4.2. 
* gnu/packages/python-crypto.scm (python-cryptography-vectors,
python-cryptography): Update to 2.4.2.
 2018-12-03 17:44:14 +01:00
Marius Bakke cee3d7136b
gnu: python-statsmodels: Update to 0.9.0. 
* gnu/packages/statistics.scm (python-statsmodels): Update to 0.9.0.
[arguments]: Remove obsolete workaround.
 2018-12-03 17:44:14 +01:00
Marius Bakke 650bc94216
gnu: python-scikit-learn: Update source hash. 
The upstream git tag moved from 6ccb5e44b188059e9b7459ac02ec97e32a9ab7ba to
55bf5d93e5674f13a1134d93a11fd0cd11aabcd1 two days later...

* gnu/packages/machine-learning.scm (python-scikit-learn)[source](sha256):
Update for upstream tag change.
 2018-12-03 17:44:14 +01:00
Marius Bakke 635d29c244
gnu: python-scikit-image: Propagate six and numpy. 
* gnu/packages/python.scm (python-scikit-image)[native-inputs]: Move
PYTHON-NUMPY and PYTHON-SIX ...
[propagated-inputs]: ... here.
 2018-12-03 17:44:14 +01:00
Marius Bakke fcb5409438
gnu: python-scikit-image: Update to 0.14.1. 
Also add explicit Python2 variants for its dependency closure.

* gnu/packages/python.scm (python-scikit-image): Update to 0.14.1.
[source](uri): Use PYPI-URI.
[propagated-inputs]: Add PYTHON-CLOUDPICKLE, PYTHON-DASK, PYTHON-MATPLOTLIB
and PYTHON-PYWAVELETS.
(python2-toolz, python2-cloudpickle, python2-locket, python2-blosc,
python2-partd, python2-dask): New public variables.
 2018-12-03 17:44:14 +01:00
Marius Bakke 947ee67d4b
gnu: python-dask: Update to 1.0.0. 
* gnu/packages/python.scm (python-dask): Update to 1.0.0.
[arguments]: Disable one test for Python2, and override 'check' phase.
 2018-12-03 17:44:14 +01:00
Marius Bakke 03bfbe2f10
gnu: python-cloudpickle: Update to 0.6.1. 
* gnu/packages/python.scm (python-cloudpickle): Update to 0.6.1.
 2018-12-03 17:44:14 +01:00
Marius Bakke 36c90dda38
gnu: Add python-pywavelets. 
* gnu/packages/python.scm (python-pywavelets, python2-pywavelets): New public
variables.
 2018-12-03 17:44:14 +01:00
Marius Bakke 8aaec042d4
gnu: kicad: Fix build with Boost >= 1.68. 
* gnu/packages/engineering.scm (kicad)[arguments]: Add phase 'adjust-boost-include'.
 2018-12-03 17:44:13 +01:00
Marius Bakke aefcdea199
gnu: python-greenlet: Update to 0.4.15. 
* gnu/packages/python.scm (python-greenlet): Update to 0.4.15.
 2018-12-03 17:44:13 +01:00
Marius Bakke 0e02e81936
gnu: python-geventhttpclient: Fix test failure. 
* gnu/packages/python-web.scm (python-geventhttpclient)[arguments]: Add
"--import-mode=append" to pytest invokation.
 2018-12-03 17:44:13 +01:00
Laura Lazzati b9914c4794
doc: Fix "desktop" OS config example. 
* gnu/system/examples/desktop.tmpl (file-systems): Add
'file-system-label' call in 'device' field.

Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
 2018-12-03 14:27:24 +01:00
Pierre Neidhardt a03894416e
gnu: emacs-helm-company: Update to 0.2.3. 
* gnu/packages/emacs.scm (emacs-helm-company): Update to 0.2.3.
 2018-12-03 11:21:06 +01:00
Ludovic Courtès 194451347d
Merge branch 'core-updates' 2018-12-03 08:52:17 +01:00
Eric Bavier 6efccabe4e
guile-json: Download source from savannah. 
* gnu/packages/guile.scm (guile-json)[source]: Download tarball from
savannah.  Remove 'file-name' field.
[native-inputs]: Remove autoconf and automake; tarball is bootstrapped.
 2018-12-02 17:56:05 -06:00
Eric Bavier 6776af04d4
Make Guile-JSON a required dependency. 
* README (Requirements): Remove "optional" verbiage.
* doc/guix.texi (Requirements): Move Guile-JSON from optional to required.
* configure.ac (HAVE_GUILE_JSON): Remove Automake conditional.
(have_guile_json): Error if not "yes".
* Makefile.am (MODULE, SCM_TESTS)[HAVE_GUILE_JSON]: Add modules and tests
unconditionally.
* gnu/packages/package-mangement.scm (guix-minimal)[propagated-inputs]: Leave
guile-json input.
 2018-12-02 17:56:05 -06:00
Mathieu Lirzin a7bed894d2
gnu: emacs-js2-mode: Update to 20180301. 
* gnu/packages/emacs.scm (emacs-js2-mode): Update to 20180301.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2018-12-02 23:35:27 +01:00
Mathieu Lirzin 6837deb749
gnu: emacs-google-translate: Update to 0.11.16. 
* gnu/packages/emacs.scm (emacs-google-translate): Update to 0.11.16.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2018-12-02 23:34:36 +01:00
Kyle Meyer 3855506f84
gnu: Add git-imerge. 
* gnu/packages/version-control.scm (git-imerge): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2018-12-02 23:30:51 +01:00
Pierre Neidhardt 8757209ec5
gnu: emacs-mu4e-conversation: Update to 20181126. 
* gnu/packages/emacs.scm (emacs-mu4e-conversation): Update to 20181126.
 2018-12-02 20:53:05 +01:00
Danny Milosavljevic 8cddb0d636
gnu: rust: Remove flaky test. 
* gnu/packages/rust.scm (rust-1.22)[arguments]<#:phases>[remove-flaky-test]:
New phase.
 2018-12-02 14:16:43 +01:00
Pierre Neidhardt acad932e63
gnu: Add sbcl-next. 
* gnu/packages/web-browsers.scm (sbcl-next): New variable.
 2018-12-02 13:21:51 +01:00
Pierre Neidhardt 18974c1eaa
gnu: Add next-gtk-webkit. 
* gnu/packages/web-browsers.scm (next-gtk-webkit): New variable.
 2018-12-02 13:21:51 +01:00
Efraim Flashner c661f25a94
gnu: ocaml@4.01: Enable building on aarch64-linux. 
This reverts 454e7132d6.

* gnu/packages/ocaml.scm (ocaml@4.01)[supported-systems]: Remove field.
[arguments]: When building on aarch64-linux, replace the custom
'configure script.
 2018-12-02 13:05:42 +02:00
Arun Isaac f764868d37
gnu: ansible: Update to 2.7.4. 
* gnu/packages/admin.scm (ansible): Update to 2.7.4.
 2018-12-02 16:20:37 +05:30
Nicolas Goaziou b7ed32107b
gnu: python-pip: Update to 18.1. 
* gnu/packages/python.scm (python-pip): Update to 18.1.
 2018-12-02 09:47:16 +01:00
Mark H Weaver ce31ae397b
gnu: linux-libre: Update to 4.19.6. 
* gnu/packages/linux.scm (%linux-libre-version): Update to 4.19.6.
(%linux-libre-hash): Update hash.
 2018-12-02 02:12:10 -05:00
Mark H Weaver 2e34023f5e
gnu: linux-libre@4.14: Update to 4.14.85. 
* gnu/packages/linux.scm (%linux-libre-4.14-version): Update to 4.14.85.
(%linux-libre-4.14-hash): Update hash.
 2018-12-02 02:11:22 -05:00
Mark H Weaver b2d1c75801
gnu: linux-libre@4.9: Update to 4.9.142. 
* gnu/packages/linux.scm (linux-libre-4.9): Update to 4.9.142.
 2018-12-02 02:10:48 -05:00
Mark H Weaver d63380aeef
gnu: linux-libre@4.4: Update to 4.4.166. 
* gnu/packages/linux.scm (linux-libre-4.4): Update to 4.4.166.
 2018-12-02 02:10:08 -05:00
Arun Isaac ae2b11815a
gnu: emacs-calfw: Update to 1.6. 
* gnu/packages/emacs.scm (emacs-calfw): Update to 1.6.
 2018-12-02 12:14:38 +05:30
Arun Isaac 2b16ae4b02
gnu: emacs-howm: Add make-autoloads phase after install phase. 
* gnu/packages/emacs.scm (emacs-howm)[arguments]: Add make-autoloads phase
after install phase, not after the non-existent rename-lispdir phase.
 2018-12-02 11:42:21 +05:30
Nicolas Goaziou 1427d888e0
gnu: python-duniterpy: Update to 0.50.0. 
* gnu/packages/finance.scm (python-duniterpy): Update to 0.50.0.
[arguments]: Drop tests, which are failing.
[propagated-inputs]: Add python-attr.
 2018-12-02 01:21:14 +01:00
Nicolas Goaziou 5d7c66a519
gnu: Add python-attr. 
* gnu/packages/python.scm (python-attr): New variable.
 2018-12-02 01:18:08 +01:00
Nicolas Goaziou 62c2cef05c
gnu: python-aiohttp: Update to 3.4.4. 
* gnu/packages/python-web.scm (python-aiohttp): Update to 3.4.4.
[native-inputs] Remove test-related inputs since tests are not run.
 2018-12-02 00:57:37 +01:00
Nicolas Goaziou b6aeae6e98
gnu: python-async-timeout: Update to 3.0.1. 
* gnu/packages/python.scm (python-async-timeout): Update to 3.0.1.
 2018-12-02 00:50:34 +01:00
Nicolas Goaziou e627052f3c
gnu: silkaj: Update to 0.6.0. 
* gnu/packages/finance.scm (silkaj): Update to 0.6.0.
[arguments]: Remove #:phases since upstream improved install process.
 2018-12-02 00:24:32 +01:00
Ludovic Courtès 886d833e39
gnu: openfoam: Adjust for glibc 2.28. 
* gnu/packages/simulation.scm (openfoam)[source](modules, snippet): New
fields.
 2018-12-02 00:20:04 +01:00
Nicolas Goaziou 47f92fbb10
gnu: Add rclone (take 2) 
* gnu/packages/sync.scm (rclone): New variable.
 2018-12-02 00:09:33 +01:00
Julien Lepiller 0eab9e139b
gnu: maven-resolver: Update to 1.3.1. 
* gnu/packages/maven.scm (maven-resolver-api): Update to 1.3.1.
(maven-resolver-impl)[arguments]: Fix sisu file.
(maven-connector-basic, maven-transport-wagon)[inputs]: Add java-slf4j-api.
 2018-12-01 23:56:36 +01:00
Julien Lepiller c5928211ed
gnu: maven: Update to 3.6.0. 
* gnu/packages/maven.scm (maven-artifact): Update to 3.6.0.
(maven-model-builder)[native-inputs]: Add java-xmlunit-matchers, remove
java-xmlunit-legacy.
 2018-12-01 23:56:34 +01:00
Julien Lepiller f5cc5ead58
gnu: Add java-xmlunit-matchers. 
* gnu/packages/java.scm (java-xmlunit-matchers): New variable.
 2018-12-01 23:56:32 +01:00
Efraim Flashner a0e813725e
gnu: debootstrap: Update to 1.0.111. 
* gnu/packages/debian.scm (debootstrap): Update to 1.0.111.
 2018-12-01 23:34:43 +02:00
Efraim Flashner 7111ea0d58
gnu: debootstrap: Update build. 
* gnu/packages/debian.scm (debootstrap)[arguments]: Update the
substitutes during the custom 'patch-source phase. Add custom
'wrap-executable phase.
[inputs]: Remove coreutils, wget. Add tzdata.
[propagated-inputs]: Remove binutils, gnupg. Move perl ...
[native-inputs]: ... to here.
[description]: Add implementation hint.
 2018-12-01 23:34:43 +02:00
Efraim Flashner 454e7132d6
gnu: ocaml@4.01: Remove aarch64-linux from supported-systems. 
* gnu/packages/ocaml.scm (ocaml@4.01)[supported-systems]: New field.
 2018-12-01 22:42:52 +02:00
Eric Bavier f88c0ab831
tuxpaint: Fix .desktop and icon installation. 
* gnu/packages/games.scm (tuxpaint)[arguments]: 'GNOME_PREFIX' ->
'KDE_PREFIX'.  Add 'no-sys-cache phase.
 2018-12-01 11:14:32 -06:00
Efraim Flashner fb0b645658
gnu: vim-fugitive: Update to 2.5. 
* gnu/packages/vim.scm (vim-fugitive): Update to 2.5.
[arguments]: Also install the autoload and ftdetect folders.
 2018-12-01 18:48:54 +02:00
Eric Bavier 37b82ccc39
handbrake: Update to 1.1.2. 
* gnu/packages/video.scm (handbrake): Update to 1.1.2.
[source]: Use direct download url.  Remove upstreamed patch.  Patch make
fragments in snippet.
[inputs]: Use latest ffmpeg.  Add jansson and opus.
[arguments]: Remove 'disable-contrib phase, which is now in source snippet.
Move 'fix-x265-linking phase fix to #:configure-flags.
[license]: Use 'gpl2' as clarified in LICENSE.
* gnu/packages/patches/handbrake-pkg-config-path.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
 2018-12-01 09:42:25 -06:00
Pierre Neidhardt b5944fcbc3
gnu: uncrustify: Use git reference instead of GitHub archive. 
* gnu/packages/code.scm (uncrustify): Use git reference instead of GitHub archive.
 2018-11-30 18:23:22 +01:00
Pierre Neidhardt f6e952803a
gnu: sbcl-cl-webkit: Update repo owner to jmercouris. 
* gnu/packages/lisp.scm (sbcl-cl-webkit): Update repo owner to jmercouris.
 2018-11-30 18:16:30 +01:00
Tim Gesthuizen 21446c6d05
gnu: Add emacs-irony-eldoc. 
* gnu/packages/emacs.scm (emacs-irony-eldoc): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2018-11-30 17:03:04 +01:00
Tim Gesthuizen f07a93ed03
gnu: Add emacs-flycheck-irony. 
* gnu/packages/emacs.scm (emacs-flycheck-irony): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2018-11-30 17:03:04 +01:00
Rutger Helling 2f24b9ca8b
gnu: wine: Update to 3.0.4. 
* gnu/packages/wine.scm (wine): Update to 3.0.4.
 2018-11-30 11:42:44 +01:00
Efraim Flashner 5deb0c670d
gnu: blender: Use newer ffmpeg. 
* gnu/packages/graphics.scm (blender)[source]: Add patch for newer
ffmpeg compatability.
[inputs]: Replace ffmpeg-2.8 with ffmpeg.
* gnu/packages/patches/blender-newer-ffmpeg.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register it.
 2018-11-30 11:14:27 +02:00
Arun Isaac 4d26987dcb
gnu: Add lynis. 
* gnu/packages/admin.scm (lynis): New variable.
 2018-11-30 12:28:31 +05:30
Eric Bavier 6878890c42
hugin: Update to 2018.0.0. 
* gnu/packages/photo.scm (hugin): Update 2018.0.0.
 2018-11-30 00:21:26 -06:00
Eric Bavier 045d77cc0f
radicale: Update to 1.1.6. 
* gnu/packages/dav.scm (radicale): Update to 1.1.6.
 2018-11-30 00:21:26 -06:00
Eric Bavier 4168e3faf2
neovim: Update to 0.3.1. 
* gnu/packages/vim.scm (neovim): Update to 0.3.1.
[arguments]: Add #:configure-flags.
 2018-11-30 00:21:26 -06:00
Eric Bavier 24b765b6a6
terminology: Update to 1.3.0. 
* gnu/packages/enlightenment.scm (terminology): Update to 1.3.0.
 2018-11-30 00:21:26 -06:00
Eric Bavier 5f230fb279
patchutils: Update to 0.3.4. 
* gnu/packages/patchutils.scm (patchutils): Update to 0.3.4.
[arguments]: Simplify 'patch-test-scripts' phase.
* gnu/packages/patches/patchutils-xfail-gendiff-tests.patch: Rename to...
* gnu/packages/patches/patchutils-test-perms.patch: ...this.
* gnu/local.mk (dist_patch_DATA): Adjust accordingly.
 2018-11-30 00:21:25 -06:00
Eric Bavier 7b05e957fa
tuxpaint-config: Update to 0.0.14. 
* gnu/packages/games.scm (tuxpaint-config): Update to 0.0.14.
 2018-11-30 00:21:25 -06:00
Eric Bavier 6ade82c297
tuxpaint-stamps: Update to 2018.09.01. 
* gnu/packages/games.scm (tuxpaint-stamps): Update to 2018.09.01.
 2018-11-30 00:21:25 -06:00
Eric Bavier c6aa2ee276
tuxpaint: Update to 0.9.23. 
* gnu/packages/games.scm (tuxpaint): Update to 0.9.23.
 2018-11-30 00:21:25 -06:00
Eric Bavier 71b186ef00
ccache: Update to 3.5. 
* gnu/packages/ccache.scm (ccache): Update to 3.5.
 2018-11-30 00:21:25 -06:00
Eric Bavier c2d512d3d2
detox: Update to 1.3.0. 
* gnu/packages/admin.scm (detox): Update to 1.3.0
[source]: Move to new upstream fork.
[inputs]: Remove libpopt.  Move flex to...
[native-inputs]: ...here, new field.  Add autoconf and automake.
[arguments]: Remove #:configure-flags.  Add 'delete-configure' phase.
[home-page]: Adjust for new upstream.
 2018-11-30 00:21:25 -06:00
Kei Kebreau 95c1504758
gnu: schismtracker: Update to 20180810. 
* gnu/packages/music.scm (schismtracker): Update to 20180810.
 2018-11-29 21:17:43 -05:00
Oleg Pykhalov bc3ece7d3d
gnu: Add emacs-polymode-ansible. 
* gnu/packages/emacs.scm (emacs-polymode-ansible): New variable.
 2018-11-30 03:18:05 +03:00
Oleg Pykhalov 2b6164f033
gnu: Add emacs-ansible-doc. 
* gnu/packages/admin.scm (emacs-ansible-doc): New variable.
 2018-11-30 03:18:04 +03:00
Julien Lepiller 477fceb1e3
gnu: coq: Update to 8.8.2. 
* gnu/packages/ocaml.scm (coq): Update to 8.8.2.
 2018-11-29 23:16:06 +01:00
Julien Lepiller fa45b22d4e
gnu: camlp5: Update to 7.07. 
* gnu/packages/ocaml.scm (camlp5): Update to 7.07.
 2018-11-29 23:16:01 +01:00
Julien Lepiller 6a3cf93818
nu: ocaml: Update to 4.07.1 
* gnu/packages/ocaml.scm (ocaml): Update to 4.07.1.
 2018-11-29 23:15:47 +01:00
Ricardo Wurmus 5bc593dfb7
gnu: jp2a: Fetch sources from git. 
* gnu/packages/image.scm (jp2a)[source]: Fetch from git.
 2018-11-29 22:43:49 +01:00
Ricardo Wurmus 743600e9db
gnu: flameshot: Fetch sources from git. 
* gnu/packages/image.scm (flameshot)[source]: Fetch from git.
 2018-11-29 22:43:49 +01:00
Ricardo Wurmus ba185e2a63
gnu: zimg: Fetch sources from git. 
* gnu/packages/image.scm (zimg)[source]: Fetch from git.
 2018-11-29 22:43:49 +01:00
Ricardo Wurmus d57b017ccc
gnu: jasper: Fetch sources from git. 
* gnu/packages/image.scm (jasper)[source]: Fetch from git.
 2018-11-29 22:43:49 +01:00
Ricardo Wurmus 94be94cfda
gnu: gpick: Fetch sources from git. 
* gnu/packages/image.scm (gpick)[source]: Fetch from git.
 2018-11-29 22:43:49 +01:00
Ricardo Wurmus bd7daf9c4f
gnu: virtualgl: Fetch sources from git. 
* gnu/packages/gl.scm (virtualgl)[source]: Fetch from git.
 2018-11-29 22:43:49 +01:00
Ricardo Wurmus 11bbf6324b
gnu: s2tc: Remove custom bootstrap phase. 
* gnu/packages/gl.scm (s2tc)[arguments]: Remove.
 2018-11-29 22:43:49 +01:00
Ricardo Wurmus 872ea4eb69
gnu: s2tc: Fetch sources from git. 
* gnu/packages/gl.scm (s2tc)[source]: Fetch from git.
 2018-11-29 22:43:49 +01:00
Ricardo Wurmus 6f6f9267b6
gnu: catimg: Fetch sources from git. 
* gnu/packages/image-viewers.scm (catimg)[source]: Fetch from git.
 2018-11-29 22:43:49 +01:00
Ricardo Wurmus 92f08e14f2
gnu: sxiv: Fetch sources from git. 
* gnu/packages/image-viewers.scm (sxiv)[source]: Fetch from git.
 2018-11-29 22:43:49 +01:00
Ricardo Wurmus 86caf997be
gnu: libdbusmenu-qt: Fetch sources from git. 
* gnu/packages/lxqt.scm (libdbusmenu-qt)[source]: Fetch from git.
 2018-11-29 22:43:49 +01:00