Kei Kebreau
f54efbdc46
gnu: gspell: Update to 1.4.1.
...
* gnu/packages/gnome.scm (gspell): Update to 1.4.1.
* gnu/packages/patches/gspell-dash-test.patch: Adjust accordingly.
2017-06-15 21:58:37 -04:00
Tobias Geerinckx-Rice
a147fadd3b
gnu: tadbit: Fix typo in description.
...
* gnu/packages/bioinformatics.scm (tadbit)[description]: Fix typo.
2017-06-16 00:29:21 +02:00
Tobias Geerinckx-Rice
9fc7cc31e2
gnu: spin2cpp: Update to 3.6.3.
...
* gnu/packages/embedded.scm (spin2cpp): Update to 3.6.3.
2017-06-16 00:29:21 +02:00
Ludovic Courtès
0208476260
gnu: proot: Install man page under the right name.
...
* gnu/packages/linux.scm (proot)[arguments]: In 'install' phase, install
man page as "proot.1", not "man.1".
2017-06-15 23:07:46 +02:00
Leo Famulari
e50c8aadae
gnu: bind: Update to 9.11.1-P1 [fixes CVE-2017-3140].
...
* gnu/packages/dns.scm (isc-bind): Update to 9.11.1-P1.
2017-06-15 12:12:29 -04:00
Leo Famulari
8d138ea087
gnu: libtiff: Fix several bugs related to improper codec usage [security fixes].
...
Fixes CVE-2014-8128, CVE-2015-7554, CVE-2016-5318, CVE-2016-10095, and
the other bugs listed in 'libtiff-tiffgetfield-bugs.patch'.
* gnu/packages/patches/libtiff-tiffgetfield-bugs.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/image.scm (libtiff-4.0.8)[source]: Use it.
2017-06-15 11:28:21 -04:00
Ricardo Wurmus
ec7e9eeae6
gnu: sablevm: Build reproducibly.
...
* gnu/packages/java.scm (sablevm)[arguments]: Add build phase
"remove-timestamp-for-reproducibility".
2017-06-15 17:24:34 +02:00
Ricardo Wurmus
c4fd86f9c1
gnu: sablevm: Do not use bundled libraries.
...
* gnu/packages/java.scm (sablevm)[inputs]: Add popt and libffi.
[arguments]: Add configure flags and build phase to avoid using bundled
libraries.
2017-06-15 17:24:34 +02:00
Kei Kebreau
240cee8ab4
gnu: network-manager-applet: Update to 1.8.2.
...
* gnu/packages/gnome.scm (network-manager-applet): Update to 1.8.2.
[arguments]: Remove "--without-wwan" configure flag.
[inputs]: Add libselinux and modem-manager.
2017-06-15 11:17:28 -04:00
Leo Famulari
0c5a8007fe
gnu: zziplib: Fix CVE-2017-{5974,5975,5976,5978,5979,5981}.
...
* gnu/packages/patches/zziplib-CVE-2017-5974.patch,
gnu/packages/patches/zziplib-CVE-2017-5975.patch,
gnu/packages/patches/zziplib-CVE-2017-5976.patch,
gnu/packages/patches/zziplib-CVE-2017-5978.patch,
gnu/packages/patches/zziplib-CVE-2017-5979.patch,
gnu/packages/patches/zziplib-CVE-2017-5981.patch: New files.
* gnu/local.mk (dist_patch_DATA): Add them.
* gnu/packages/zip.scm (zziplib)[source]: Use them.
2017-06-15 11:12:02 -04:00
Ricardo Wurmus
db90eb8c2b
gnu: Add propeller-gcc-4.
...
* gnu/packages/embedded.scm (propeller-gcc-4): New variable.
* gnu/packages/patches/gcc-4.6-gnu-inline.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
2017-06-15 17:06:47 +02:00
Ricardo Wurmus
9d4f8dc289
gnu: Add texlive-tiny.
...
* gnu/packages/tex.scm (texlive-tiny): New variable.
2017-06-15 17:03:18 +02:00
Ricardo Wurmus
cb7bc20a4d
gnu: Add texlive-union.
...
* gnu/packages/tex.scm (texlive-union): New procedure.
2017-06-15 17:03:18 +02:00
Ricardo Wurmus
83fe6231cb
gnu: Add texlive-latex-psnfss.
...
* gnu/packages/tex.scm (texlive-latex-psnfss): New variable.
2017-06-15 17:03:18 +02:00
Ricardo Wurmus
93286d3857
gnu: texlive-latex-cyrillic.
...
* gnu/packages/tex.scm (texlive-latex-cyrillic): New variable.
2017-06-15 17:03:18 +02:00
Ricardo Wurmus
f84d5a09d4
gnu: Add texlive-latex-babel.
...
* gnu/packages/tex.scm (texlive-latex-babel): New variable.
2017-06-15 17:03:18 +02:00
Ricardo Wurmus
18e366e856
gnu: Add texlive-latex-amscls.
...
* gnu/packages/tex.scm (texlive-latex-amscls): New variable.
2017-06-15 17:03:18 +02:00
Ricardo Wurmus
2573163a12
gnu: Add texlive-latex-amsmath.
...
* gnu/packages/tex.scm (texlive-latex-amsmath): New variable.
2017-06-15 17:03:18 +02:00
Ricardo Wurmus
e93f472d53
gnu: Add texlive-luatex-lualibs.
...
* gnu/packages/tex.scm (texlive-luatex-lualibs): New variable.
2017-06-15 17:03:17 +02:00
Ricardo Wurmus
58308491cb
gnu: Add texlive-latex-fontspec.
...
* gnu/packages/tex.scm (texlive-latex-fontspec): New variable.
2017-06-15 17:03:17 +02:00
Ricardo Wurmus
cc09d48bab
gnu: Add texlive-latex-l3packages.
...
* gnu/packages/tex.scm (texlive-latex-l3packages): New variable.
2017-06-15 17:03:17 +02:00
Ricardo Wurmus
a5b1ef84b5
gnu: Add texlive-latex-l3kernel.
...
* gnu/packages/tex.scm (texlive-latex-l3kernel): New variable.
2017-06-15 17:03:17 +02:00
Ricardo Wurmus
35adcc3a86
gnu: Add texlive-latex-url.
...
* gnu/packages/tex.scm (texlive-latex-url): New variable.
2017-06-15 17:03:17 +02:00
Ricardo Wurmus
f2536af288
gnu: Add texlive-latex-tools.
...
* gnu/packages/tex.scm (texlive-latex-tools): New variable.
2017-06-15 17:03:17 +02:00
Ricardo Wurmus
c3455b7d10
gnu: Add texlive-latex-oberdiek.
...
* gnu/packages/tex.scm (texlive-latex-oberdiek): New variable.
2017-06-15 17:03:17 +02:00
Ricardo Wurmus
4d660fdf1c
gnu: Add texlive-latex-hyperref.
...
* gnu/packages/tex.scm (texlive-latex-hyperref): New variable.
2017-06-15 17:03:16 +02:00
Ricardo Wurmus
f5a6af42b9
gnu: Add texlive-latex-xcolor.
...
* gnu/packages/tex.scm (texlive-latex-xcolor): New variable.
2017-06-15 17:03:16 +02:00
Ricardo Wurmus
4eebd2cdde
gnu: Add texlive-latex-graphics.
...
* gnu/packages/tex.scm (texlive-latex-graphics): New variable.
2017-06-15 17:03:16 +02:00
Ricardo Wurmus
437822a11d
gnu: Add texlive-latex-fancyvrb.
...
* gnu/packages/tex.scm (texlive-latex-fancyvrb): New variable.
2017-06-15 17:03:16 +02:00
Ricardo Wurmus
1193aa896f
gnu: Add texlive-generic-ifxetex.
...
* gnu/packages/tex.scm (texlive-generic-ifxetex): New variable.
2017-06-15 17:03:16 +02:00
Ricardo Wurmus
3e485ed2fa
gnu: Add texlive-latex-filecontents.
...
* gnu/packages/tex.scm (texlive-latex-filecontents): New variable.
2017-06-15 17:03:16 +02:00
Ricardo Wurmus
205794c868
build-system: Add 'texlive-build-system'.
...
* guix/build-system/texlive.scm: New file.
* guix/build/texlive-build-system.scm: New file.
* Makefile.am (MODULES): Add them.
* doc/guix.texi (Build Systems): Document it.
* gnu/packages/tex.scm (%texlive-tag, %texlive-revision): Remove variables.
(texlife-ref): Remove procedure.
2017-06-15 17:03:16 +02:00
Ricardo Wurmus
010f476fda
gnu: Add texlive-latex-base.
...
* gnu/packages/tex.scm (texlive-latex-base): New variable.
(texlive-ref): New procedure.
2017-06-15 17:03:15 +02:00
Ricardo Wurmus
566e95f7a8
gnu: Add texlive-tex-plain.
...
* gnu/packages/tex.scm (texlive-tex-plain): New variable.
2017-06-15 17:03:15 +02:00
Ricardo Wurmus
a00d593315
gnu: Add texlive-fonts-latex.
...
* gnu/packages/tex.scm (texlive-fonts-latex): New variable.
2017-06-15 17:03:15 +02:00
Ricardo Wurmus
5ebba61a29
gnu: Add texlive-fonts-knuth-lib.
...
* gnu/packages/tex.scm (texlive-fonts-knuth-lib): New variable.
2017-06-15 17:03:15 +02:00
Ricardo Wurmus
3c4f1ec754
gnu: Add texlive-fonts-cm.
...
* gnu/packages/tex.scm (texlive-fonts-cm): New variable.
2017-06-15 17:03:15 +02:00
Ricardo Wurmus
8ada0f0b3a
gnu: Add texlive-metafont-base.
...
* gnu/packages/tex.scm (texlive-metafont-base): New variable.
2017-06-15 17:03:15 +02:00
Ricardo Wurmus
9b134da86a
gnu: Add texlive-generic-hyph-utf8.
...
* gnu/packages/tex.scm (texlive-generic-hyph-utf8): New variable.
2017-06-15 17:03:15 +02:00
Ricardo Wurmus
453aae663b
gnu: Add texlive-generic-tex-ini-files.
...
* gnu/packages/tex.scm (texlive-generic-tex-ini-files): New variable.
2017-06-15 17:03:14 +02:00
Ricardo Wurmus
9e99b1b41b
gnu: Add texlive-generic-dehyph-exptl.
...
* gnu/packages/tex.scm (texlive-generic-dehyph-exptl): New variable.
2017-06-15 17:03:14 +02:00
Ricardo Wurmus
99952c538b
gnu: Add texlive-generic-unicode-data.
...
* gnu/packages/tex.scm (texlive-generic-unicode-date): New variable.
2017-06-15 17:03:14 +02:00
Ricardo Wurmus
9d913b251b
gnu: Add texlive-dvips.
...
* gnu/packages/tex.scm (%texlive-tag, %texlive-revision, texlive-dvips): New
variables.
2017-06-15 17:03:14 +02:00
Mark H Weaver
32fdad78c1
gnu: linux-libre: Update to 4.11.5.
...
* gnu/packages/linux.scm (%linux-libre-version): Update to 4.11.5.
(%linux-libre-hash): Update hash.
2017-06-15 06:23:16 -04:00
Mark H Weaver
8a16df0290
gnu: linux-libre@4.9: Update to 4.9.32.
...
* gnu/packages/linux.scm (linux-libre-4.9): Update to 4.9.32.
2017-06-15 06:22:36 -04:00
Mark H Weaver
58e53a0468
gnu: linux-libre@4.4: Update to 4.4.72.
...
* gnu/packages/linux.scm (linux-libre-4.4): Update to 4.4.72.
2017-06-15 06:21:49 -04:00
Tobias Geerinckx-Rice
603fd6b9a1
gnu: lmdb: Update to 0.9.21.
...
* gnu/packages/databases.scm (lmdb): Update to 0.9.21.
2017-06-15 10:34:23 +02:00
Tobias Geerinckx-Rice
a3f8aae4a1
gnu: liburcu: Update to 0.10.0.
...
* gnu/packages/databases.scm (liburcu): Update to 0.10.0.
2017-06-15 10:34:22 +02:00
Danny Milosavljevic
324b0040f4
gnu: Move desktop-file-utils to (gnu packages freedesktop).
...
* gnu/packages/gnome.scm (desktop-file-utils): Move from here ...
* gnu/packages/freedesktop.scm (desktop-file-utils): ... to here.
* gnu/packages/engineering.scm: Import (gnu packages freedesktop).
* gnu/packages/game-development.scm: Import (gnu packages freedesktop).
* gnu/packages/xfce.scm: Import (gnu packages freedesktop).
2017-06-15 09:53:27 +02:00
Danny Milosavljevic
b7aa3f5d2e
gnu: postgresql: Enable contributed extensions.
...
* gnu/packages/databases.scm (postgresql)[arguments]: Add "build-contrib",
"install-contrib" phases. Add configure-flags.
[inputs]: Add libuuid.
2017-06-15 09:44:17 +02:00
Thomas Danckaert
c84384cb7c
gnu: kdevelop: Update to 5.1.1.
...
* gnu/packages/kde.scm (kdevelop): Update to 5.1.1.
[arguments]: Set QT_QPA_PLATFORM_PLUGIN_PATH during the wrap-executable
phase.
(kdevplatform): Update to 5.1.1.
2017-06-15 09:34:16 +02:00
Efraim Flashner
07bf6929b9
gnu: gemma: Fix indentation.
...
* gnu/packages/bioinformatics.scm (gemma)[arguments]: Fix indentation.
2017-06-15 10:32:03 +03:00
Efraim Flashner
2c9232ae69
gnu: gemma: Fix building on 32-bit architectures.
...
* gnu/packages/bioinformatics.scm (gemma)[arguments]: On 32-bit
architectures add 'FORCE_32BIT' flag.
2017-06-15 10:31:44 +03:00
Kei Kebreau
9ffc1f0e95
gnu: libselinux: Propagate libsepol and pcre.
...
Both libsepol and pcre required by libselinux.pc.
* gnu/packages/selinux.scm (libselinux)[inputs]: Move libsepol and pcre...
[propagated-inputs]: ...here.
2017-06-15 02:47:45 -04:00
Efraim Flashner
4dbef2397f
gnu: lensfun: Fix building on non-Intel machines.
...
* gnu/packages/photo.scm (lensfun)[arguments]: On non-Intel machines,
don't build with architecture specific instructions.
2017-06-15 09:18:25 +03:00
Kei Kebreau
007993bf0b
gnu: openttd: Update to 1.7.1.
...
* gnu/packages/games.scm (openttd): Update to 1.7.1.
2017-06-15 02:10:19 -04:00
Eric Bavier
d56c55fffb
gnu: tomb: Upgrade to 2.4.
...
* gnu/packages/crypto.scm (tomb): Upgrade to 2.4.
[inputs]: Remove swish-e. Move "sude" input to...
[native-inputs]: ...here. New field.
2017-06-15 00:40:35 -05:00
Kei Kebreau
856ca567cf
gnu: network-manager: Update to 1.8.0.
...
* gnu/packages/gnome.scm (network-manager): Update to 1.8.0.
[inputs]: Add curl, cyrus-sasl and eudev.
2017-06-15 01:37:31 -04:00
Eric Bavier
e0c9530165
gnu: calcurse: Upgrade to 4.2.2.
...
* gnu/packages/calcurse.scm (calcurse): Upgrade to 4.2.2.
[inputs]: Add tzdata for tests.
[arguments]: Add new 'check-setup' phase.
2017-06-14 22:16:11 -05:00
Efraim Flashner
bb3df15e55
gnu: ffmpeg: Add vaapi hardware acceleration.
...
* gnu/packages/video.scm (ffmpeg)[inputs]: Add libva.
2017-06-14 22:28:21 +03:00
Marius Bakke
22239ae21f
gnu: whois: Update to 5.2.16.
...
* gnu/packages/networking.scm (whois): Update to 5.2.16.
2017-06-14 19:42:27 +02:00
Marius Bakke
ed77c68ac9
gnu: nmap: Update to 7.50.
...
* gnu/packages/admin.scm (nmap): Update to 7.50.
2017-06-14 19:40:32 +02:00
Leo Famulari
daf3006636
gnu: curl: Update replacement to 7.54.1 [fixes CVE-2017-9502].
...
* gnu/packages/curl.scm (curl)[replacement]: Update to 7.54.1.
(curl-7.54.0): Replace with ...
(curl-7.54.1): ... new variable.
2017-06-14 13:26:51 -04:00
Leo Famulari
75072795bd
gnu: osip: Fix CVE-2017-7853.
...
* gnu/packages/patches/osip-CVE-2017-7853.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/telephony.scm (osip)[source]: Use it.
2017-06-14 13:16:21 -04:00
Leo Famulari
6dfbbd2c11
gnu: osip: Update to 5.0.0.
...
* gnu/packages/telephony.scm (osip): Update to 5.0.0.
2017-06-14 13:16:18 -04:00
Roel Janssen
e407310431
gnu: darktable: Update to 2.2.5.
...
* gnu/packages/photo.scm (darktable): Update to 2.2.5.
2017-06-14 09:31:20 +02:00
Mark H Weaver
89727ada52
gnu: icecat: Add security fixes from upstream mozilla-esr52.
...
This adds fixes for CVE-2017-7757, CVE-2017-7758, and the remaining
5 patches for CVE-2017-5470.
* gnu/packages/gnuzilla.scm (icecat)[source]: Add selected fixes from the
upstream mozilla-esr52 repository, through ESR 52.2.
2017-06-14 02:23:25 -04:00
Mark H Weaver
449bff2b79
gnu: icecat: Rename patches to indicate CVE assignments.
...
This documents that we include fixes for the following CVEs: CVE-2017-5472,
CVE-2017-7749, CVE-2017-7750, CVE-2017-7751, CVE-2017-7752, CVE-2017-7754,
CVE-2017-7756, CVE-2017-7764, CVE-2017-7765, CVE-2017-7778, and that we
include 15 out of 20 patches for CVE-2017-5470.
* gnu/packages/gnuzilla.scm (icecat)[source]: Rename existing patches to
indicate their CVE assignments.
2017-06-14 02:23:18 -04:00
Ludovic Courtès
8e469b67f9
gnu: guile-ssh: Close RREPL channel ports before they are finalized.
...
Partly fixes <https://bugs.gnu.org/26976 >.
* gnu/packages/patches/guile-ssh-channel-finalization.patch: New file.
* gnu/packages/ssh.scm (guile-ssh)[source](patches): Use it.
* gnu/local.mk (dist_patch_DATA): Add it.
2017-06-13 23:22:19 +02:00
ng0
5c46c8582f
gnu: enlightenment: Fix the inability to switch keyboard layout.
...
* gnu/packages/enlightenment.scm (enlightenment): Add new 'fix-keyboard' phase.
(inputs): Add 'xkeyboard-config'.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2017-06-13 22:05:05 +03:00
Kei Kebreau
70c9090301
gnu: abiword: Correct the download and home page URL.
...
The old URL redirects to https://abisource.com .
* gnu/packages/abiword.scm (abiword)[source]: Change URL.
[home-page]: Change URL.
2017-06-13 14:47:52 -04:00
Danny Milosavljevic
5144c044c3
gnu: ldc-bootstrap: Update ldc to 0.17.4.
...
* gnu/packages/ldc.scm (ldc-bootstrap): Update ldc to 0.17.4.
2017-06-13 06:53:33 +02:00
Kyle Meyer
d30c4841de
gnu: emacs-markdown-mode: Update to 2.2.
...
* gnu/packages/emacs.scm (emacs-markdown-mode): Update to 2.2.
Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
2017-06-13 01:11:53 +05:30
Kyle Meyer
f9f77a9ef0
gnu: emacs-iedit: Update to 0.9.9.9.
...
* gnu/packages/emacs.scm (emacs-iedit): Update to 0.9.9.9.
Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
2017-06-13 01:11:53 +05:30
Kyle Meyer
9dfc5bb5a9
gnu: emacs-helm: Update to 2.7.1.
...
* gnu/packages/emacs.scm (emacs-helm): Update to 2.7.1.
Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
2017-06-13 01:11:53 +05:30
Kyle Meyer
847284e196
gnu: emacs-yaml-mode: Update to 0.0.13.
...
* gnu/packages/emacs.scm (emacs-yaml-mode): Update to 0.0.13.
Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
2017-06-13 01:11:53 +05:30
Kyle Meyer
e831283de8
gnu: emacs-elfeed: Update to 2.1.1.
...
* gnu/packages/emacs.scm (emacs-elfeed): Update to 2.1.1.
Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
2017-06-13 01:11:53 +05:30
Muriithi Frederick Muriuki
ef74a425e6
gnu: python-rednose: Add the python2 variant.
...
* gnu/packages/python.scm (python2-rednose): New variable.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2017-06-12 21:31:25 +02:00
Muriithi Frederick Muriuki
af842d45b1
gnu: python-sphinx-rtd-theme: Update to 0.2.4.
...
* gnu/packages/python.scm (python-sphinx-rtd-theme): Update to 0.2.4.
[source]: Use 'pypi-uri'.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2017-06-12 21:31:25 +02:00
Marius Bakke
a10040e09b
gnu: nss, nss-certs: Update to 3.31.
...
Release notes:
<https://developer.mozilla.org/en-US/docs/Mozilla/Projects/NSS/NSS_3.31_release_notes >
* gnu/packages/certs.scm (nss-certs): Update to 3.31.
* gnu/packages/gnuzilla.scm (nss): Likewise.
[source]<patches>: Remove upstream 'nss-disable-long-b64-tests' patch.
[arguments]<#:phases>: Move armhf timeout substitution ...
* gnu/packages/patches/nss-increase-test-timeout.patch: ... here.
* gnu/packages/patches/nss-disable-long-b64-tests.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
2017-06-12 21:31:12 +02:00
Marius Bakke
c4395e782e
gnu: nspr: Update to 4.15.
...
* gnu/packages/gnuzilla.scm (nspr): Update to 4.15.
2017-06-12 21:24:47 +02:00
Marius Bakke
c476f029ea
gnu: libinput: Update to 1.7.3.
...
* gnu/packages/freedesktop.scm (libinput, libinput-minimal): Update to 1.7.3.
2017-06-12 21:24:47 +02:00
nee
1243aaac73
gnu: crawl: Fix savegame upgrades.
...
* gnu/packages/patches/crawl-upgrade-saves.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add patch.
* gnu/packages/games.scm (crawl)[source]: Apply patch.
Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
2017-06-12 15:02:23 +05:30
Efraim Flashner
af5faef90f
gnu: aircrack-ng: Fix building on non-Intel machines.
...
* gnu/packages/networking.scm (aircrack-ng)[arguments]: Only use system
optimizations on x86_64 and i686 machines.
2017-06-12 10:35:55 +03:00
Danny Milosavljevic
f37f949dfd
gnu: Add minicom.
...
* gnu/packages/engineering.scm (minicom): New variable.
2017-06-12 07:34:56 +02:00
Danny Milosavljevic
8cd7f43086
gnu: stellarium: Update to 0.15.2.
...
* gnu/packages/astronomy.scm (stellarium): Update to 0.15.2.
2017-06-12 07:33:31 +02:00
Danny Milosavljevic
2606fd6fc9
gnu: stellarium: Fix build with Qt 5.9.
...
* gnu/packages/astronomy.scm (stellarium)[arguments]:
Add phase "patch-version-check".
2017-06-12 07:33:14 +02:00
Leo Famulari
34a0984e57
gnu: libmwaw: Fix CVE-2017-9433.
...
* gnu/packages/patches/libmwaw-CVE-2017-9433.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/libreoffice.scm (libmwaw)[source]: Use it.
2017-06-12 01:20:34 -04:00
Leo Famulari
e3c9ab5f41
gnu: libmwaw: Update to 0.3.11.
...
* gnu/packages/libreoffice.scm (libmwaw): Update to 0.3.11.
2017-06-12 01:20:21 -04:00
Tobias Geerinckx-Rice
cdd85a85e7
gnu: youtube-dl: Update to 2017.06.12.
...
* gnu/packages/video.scm (youtube-dl): Update to 2017.06.12.
2017-06-12 04:25:56 +02:00
Tobias Geerinckx-Rice
783467ae02
gnu: mcelog: Update to 153.
...
* gnu/packages/linux.scm (mcelog): Update to 153.
2017-06-12 04:25:56 +02:00
Kei Kebreau
9cf8d93a9e
gnu: libgweather: Update to 3.24.1.
...
* gnu/packages/gnome.scm (libgweather): Update to 3.24.1.
2017-06-11 19:08:55 -04:00
Kei Kebreau
78a5205152
gnu: mate-menus: Update to 1.18.0.
...
* gnu/packages/mate.scm (mate-menus): Update to 1.18.0.
2017-06-11 18:46:02 -04:00
Kei Kebreau
d954e569da
gnu: libmateweather: Update to 1.18.1.
...
* gnu/packages/mate.scm (libmateweather): Update to 1.18.1.
[arguments]: Remove obsolete "--with-gtk" flag.
2017-06-11 18:01:29 -04:00
Kei Kebreau
3bbdf6415a
gnu: mate-desktop: Update to 1.18.0.
...
* gnu/packages/mate.scm (mate-desktop): Update to 1.18.0.
[arguments]: Remove obsolete configure flags.
[inputs]: Remove python-2.
2017-06-11 17:34:15 -04:00
eacces
c580ff6724
gnu: mercurial: Update to 4.2.1.
...
* gnu/packages/version-control.scm (mercurial): Update to 4.2.1.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-06-11 22:54:05 +02:00
Kei Kebreau
d84f718271
gnu: mate-icon-theme: Update to 1.18.2.
...
* gnu/packages/mate.scm (mate-icon-theme): Update to 1.18.2.
2017-06-11 14:41:33 -04:00
nee
b6821ee051
gnu: Add five-or-more.
...
* gnu/packages/gnome.scm (five-or-more): New variable.
Signed-off-by: Kei Kebreau <kei@openmailbox.org>
2017-06-11 14:04:57 -04:00
Marius Bakke
f66ea7b8de
gnu: exiv2: Update to 0.26.
...
* gnu/packages/image.scm (exiv2): Update to 0.26.
[source]: Add new download location.
2017-06-11 15:42:52 +02:00
Marius Bakke
75cc8fe9ea
gnu: libextractor: Update to 1.4.
...
* gnu/packages/gnunet.scm (libextractor): Update to 1.4.
[source]: Remove obsolete patch and snippet.
* gnu/packages/patches/libextractor-ffmpeg-3.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
2017-06-11 15:42:51 +02:00
Marius Bakke
20d87dfb45
gnu: alsa-plugins: Update to 1.1.4.
...
* gnu/packages/linux.scm (alsa-plugins): Update to 1.1.4.
2017-06-11 02:00:06 +02:00
Marius Bakke
31baa86448
gnu: alsa-utils: Update to 1.1.4.
...
* gnu/packages/linux.scm (alsa-utils): Update to 1.1.4.
2017-06-11 02:00:05 +02:00
Marius Bakke
88e2511e21
gnu: gnutls: Replace with 3.5.13.
...
This update addresses the following security advisories:
GNUTLS-SA-2017-3 (aka CVE-2017-7869) and GNUTLS-SA-2017-4.
See <https://gnutls.org/security.html > and <https://gnutls.org/news.html >.
* gnu/packages/patches/gnutls-skip-pkgconfig-test.patch,
gnu/packages/patches/gnutls-skip-trust-store-test.patch: New files.
* gnu/local.mk (dist_patch_DATA): Register patches.
* gnu/packages/tls.scm (gnutls)[replacement]: New field.
(gnutls-3.5.13): New variable.
(gnutls/guile-2.2)[replacement]: New field. Set #f.
[source]: Inherit from GNUTLS-3.5.13.
2017-06-11 01:08:58 +02:00
Marius Bakke
e35dc5e75e
gnu: tor: Update to 0.3.0.8 [security fixes].
...
Fixes CVE-2017-0375 and CVE-2017-0376, among other things.
https://blog.torproject.org/blog/tor-0308-released-fix-hidden-services-also-are-02429-02514-02612-0278-02814-and-02911
* gnu/packages/tor.scm (tor): Update to 0.3.0.8.
2017-06-11 00:42:30 +02:00
Marius Bakke
01614de1c3
gnu: slop: Update to 6.3.45.
...
* gnu/packages/xdisorg.scm (slop): Update to 6.3.45.
[inputs]: Add ICU4C.
2017-06-11 00:42:30 +02:00
Danny Milosavljevic
4eadc8b90d
gnu: Add python-swagger-spec-validator.
...
* gnu/packages/python.scm (python-swagger-spec-validator,
python2-swagger-spec-validator): New variables.
2017-06-10 23:48:50 +02:00
Rutger Helling
d0306208b1
gnu: wine: Update to 2.10.
...
* gnu/packages/wine.scm (wine): Update to 2.10.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2017-06-10 23:41:42 +02:00
djwj
7f10628ca8
gnu: libgxps: Add "/" before name in source URL.
...
* gnu/packages/gnome.scm (libgxps)[source]: Add "/".
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2017-06-10 23:39:59 +02:00
Efraim Flashner
afd9ed5c0c
gnu: avidemux: Limit supported architectures.
...
* gnu/packages/video.scm (avidemux)[supported-systems]: New field, limit
to x86_64, i686 and armhf.
2017-06-10 23:32:02 +03:00
Kei Kebreau
9a0968816f
gnu: evince: Enable XPS document support.
...
* gnu/packages/gnome.scm (evince)[inputs]: Add libarchive and libgxps.
2017-06-09 21:03:35 -04:00
Kei Kebreau
94e10cf4bd
gnu: Add libgxps.
...
* gnu/packages/gnome.scm (libgxps): New variable.
2017-06-09 21:03:35 -04:00
Marius Bakke
8caf5bac4c
gnu: xf86-video-openchrome: Update to 0.6.0.
...
* gnu/packages/xorg.scm (xf86-video-openchrome): Update to 0.6.0.
2017-06-10 01:49:16 +02:00
Marius Bakke
bddcaf7625
gnu: xf86-video-ati: Update to 7.9.0.
...
* gnu/packages/xorg.scm (xf86-video-ati): Update to 7.9.0.
2017-06-10 01:47:40 +02:00
Marius Bakke
b634408158
gnu: slop: Update to 6.3.43.
...
* gnu/packages/xdisorg.scm (slop): Update to 6.3.43.
2017-06-10 01:32:24 +02:00
Marius Bakke
b2193c359a
gnu: xclip: Update to 0.13.
...
Yet another GitHub casualty. See: https://sourceforge.net/projects/xclip/
* gnu/packages/xdisorg.scm (xclip): Update to 0.13.
[source, home-page]: Change to new home.
[native-inputs]: Add AUTOCONF and AUTOMAKE.
[arguments]: Add "bootstrap" phase.
2017-06-10 01:17:21 +02:00
ng0
83f0d3a5c8
gnu: Add smu.
...
* gnu/packages/markup.scm (smu): New variable.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2017-06-10 00:12:13 +02:00
ng0
e5eede3fb3
gnu: Rename (gnu packages markdown) to (gnu packages markup).
...
* gnu/packages/markdown.scm: Rename this ...
* gnu/packages/markup.scm: ... to this.
* gnu-system.am (GNU_SYSTEM_MODULES): Change markdown.scm to markup.scm.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2017-06-10 00:11:36 +02:00
Marius Bakke
0866dd46a9
gnu: capnproto: Update to 0.6.1.
...
* gnu/packages/serialization.scm (capnproto): Update to 0.6.1.
2017-06-09 23:33:36 +02:00
Marius Bakke
ad27449ef1
gnu: ffmpeg: Update to 3.3.2.
...
* gnu/packages/video.scm (ffmpeg): Update to 3.3.2.
2017-06-09 23:28:55 +02:00
Marius Bakke
e6ad9bda49
gnu: p11-kit: Update to 0.23.7.
...
Newer releases are only available on GitHub. See release announcements:
https://lists.freedesktop.org/archives/p11-glue/2017-June/000661.html
* gnu/packages/tls.scm (p11-kit): Update to 0.23.7.
[source]: Remove obsolete substitution.
2017-06-09 23:26:48 +02:00
宋文武
b22cdf0c42
gnu: python-paramiko: Update to 2.1.2.
...
* gnu/packages.scm (python-paramiko, python2-paramiko):
Update to 2.1.2. Enable tests.
2017-06-09 20:50:11 +08:00
Mark H Weaver
6fe5c49ab4
gnu: linux-libre: Update to 4.11.4.
...
* gnu/packages/linux.scm (%linux-libre-version): Update to 4.11.4.
(%linux-libre-hash): Update hash.
2017-06-09 01:31:08 -04:00
Mark H Weaver
e2d57d12ce
gnu: linux-libre@4.9: Update to 4.9.31.
...
* gnu/packages/linux.scm (linux-libre-4.9): Update to 4.9.31.
2017-06-09 01:30:29 -04:00
Mark H Weaver
f1a710c321
gnu: linux-libre@4.4: Update to 4.4.71.
...
* gnu/packages/linux.scm (linux-libre-4.4): Update to 4.4.71.
2017-06-09 01:29:47 -04:00
Ricardo Wurmus
8befd0940b
gnu: Add tadbit.
...
* gnu/packages/bioinformatics.scm (tadbit): New variable.
2017-06-09 03:32:23 +02:00
Ricardo Wurmus
aa163424b2
gnu: Add imp.
...
* gnu/packages/bioinformatics.scm (imp): New variable.
2017-06-09 03:31:51 +02:00
Ricardo Wurmus
282b01515b
gnu: Add phylip.
...
* gnu/packages/bioinformatics.scm (phylip): New variable.
2017-06-09 03:31:50 +02:00
Ricardo Wurmus
3420c905cd
gnu: Add gess.
...
* gnu/packages/bioinformatics.scm (gess): New variable.
2017-06-09 03:31:50 +02:00
Ricardo Wurmus
44f6c88909
gnu: Add trim-galore.
...
* gnu/packages/bioinformatics.scm (trim-galore): New variable.
2017-06-09 03:31:50 +02:00
Ricardo Wurmus
b8fffd3a53
gnu: Add ritornello.
...
* gnu/packages/bioinformatics.scm (ritornello): New variable.
2017-06-09 03:31:50 +02:00
Ricardo Wurmus
1dacc26956
gnu: Add r-fdrtool.
...
* gnu/packages/statistics.scm (r-fdrtool): New variable.
2017-06-09 03:28:40 +02:00
Ricardo Wurmus
db0bb6f0af
gnu: Add r-lubridate.
...
* gnu/packages/statistics.scm (r-lubridate): New variable.
2017-06-09 03:27:49 +02:00
Kei Kebreau
0377d5006e
gnu: crawl: Update to 0.20.0.
...
* gnu/packages/games.scm (crawl, crawl-tiles): Update to 0.20.0.
2017-06-08 19:57:25 -04:00
Marius Bakke
099c9fdae6
gnu: raptor2: Fix heap overflow bug.
...
* gnu/packages/patches/raptor2-heap-overflow.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register it.
* gnu/packages/rdf.scm (raptor2): Use it.
2017-06-09 01:16:55 +02:00
Ludovic Courtès
dfcd02c0f6
gnu: artanis: Update to 0.2.1.
...
* gnu/packages/guile.scm (artanis): Update to 0.2.1.
[inputs]: Switch to GUILE-2.2.
[arguments]: Adjust #:make-flags for Guile 2.2. Take .go files from
lib/guile/2.2. Add 'wrap-art' phase.
* gnu/packages/patches/artanis-fix-Makefile.in.patch: Remove.
* gnu/local.mk (dist_patch_DATA): Remove it.
2017-06-08 23:54:56 +02:00
Ludovic Courtès
ea4678a427
gnu: gnuastro: Update to 0.3.
...
* gnu/packages/astronomy.scm (gnuastro): Update to 0.3.
Adjust as suggested by 'guix lint'.
2017-06-08 23:33:31 +02:00
Julien Lepiller
525da27c25
gnu: php: Update to 7.1.6.
...
* gnu/packages/php.scm (php): Update to 7.1.6.
2017-06-08 23:16:28 +02:00
Kei Kebreau
28c9873800
gnu: minetest: Update to 0.4.16.
...
* gnu/packages/games.scm (minetest-data, minetest): Update to 0.4.16.
2017-06-08 15:59:17 -04:00
Leo Famulari
6175937011
gnu: certbot, python-acme: Update to 0.15.0.
...
* gnu/packages/tls.scm (certbot, python-acme, python2-acme): Update to 0.15.0.
(python-acme, python2-acme)[arguments]: Remove 'patch-dependency' phase.
This issue was fixed upstream:
d0e471dc80
2017-06-08 15:53:49 -04:00
Hartmut Goebel
1e0ae3b352
gnu: kde.scm, kde-frameworks.scm: Add and update comments.
...
* gnu/packages/kde-frameworks.scm
(kpackage,plasma-framework)[arguments]: Update comment (number of failed
tests).
(kdeclarative)[arguments]<#:phases>: Update comment.
(bluez-qt,knotifications,kpty,ktexteditor,ktextwidgets,solid)[inputs]: Add a
todo comment.
(kguiaddons): Add a todo comment.
(phonon)[native-inputs]: Add a todo comment.
* gnu/packages/kde-frameworks.scm (kauth)[arguments]<#:phases>: Add a todo
comment.
2017-06-08 19:14:05 +02:00
Hartmut Goebel
ed4a3ec68c
gnu: kwindowsystem: Fix some test-cases (test-suite still disabled).
...
Make five tests pass, three are still failing – thus the test-suite is still
disabled. This commit's aim is to retain the progress.
* gnu/packages/kde-frameworks.scm (kwindowsystem)[native-inputs]: Add dbus.
[arguments]<#:test?>: Change comment. <#:phases>: Replace phase `check` by
new one befind 'install'.
2017-06-08 18:59:53 +02:00
Hartmut Goebel
3406d0b3a9
gnu: kwidgetsaddons: Re-enable tests.
...
* gnu/packages/kde-frameworks.scm (kwidgetsaddons)[arguments]: Test-suite
is now passing; reenable it.
2017-06-08 18:59:52 +02:00
Hartmut Goebel
9ebffc504d
gnu: kiconthemes: Re-enable tests.
...
* gnu/packages/kde-frameworks.scm (kiconthemes)[arguments]: Test-suite
is now passing; reenable it.
2017-06-08 18:59:51 +02:00
Hartmut Goebel
51361afd78
gnu: kwallet: Use gpgme instead of gpgmepp.
...
The C++-bindings are part of gpgme since version 1.7.
* gnu/packages/kde-frameworks.scm(kwallet)[inputs]: Replace gpgmepp by
gpgme.
2017-06-08 18:59:50 +02:00
Hartmut Goebel
73577a66f1
gnu: gpgmepp: Superseded by gpgme.
...
The C++-bindings are part of gpgme since version 1.7.
* gnu/packages/kde-frameworks.scm (gpgmepp)[properties]: New field.
2017-06-08 18:59:49 +02:00
Hartmut Goebel
ab313cd0ba
gnu: sonnet: Add optional input (spell-checker).
...
* gnu/packages/kde-frameworks.scm (sonnet)[inputs]: Add hunspell; add
todo comment for other language's spell-checker.
2017-06-08 18:59:49 +02:00
Hartmut Goebel
73a3598df8
gnu: kpackage: Add more optional inputs.
...
* gnu/packages/kde-frameworks.scm (kpackage)[inputs]: Add kdoctools.
2017-06-08 18:59:47 +02:00
Hartmut Goebel
faec8b8f07
gnu: plasma-framework: Add more optional inputs.
...
* gnu/packages/kde-frameworks.scm (plasma-frameworks)[native-inputs]: Add
pkg-config. [inputs]: Add kwayland.
2017-06-08 18:59:46 +02:00
Hartmut Goebel
37aa54b722
gnu: ktexteditor: Add more optional inputs.
...
* gnu/packages/kde-frameworks.scm (ktexteditor)[native-inputs]: Add
pkg-config.
2017-06-08 18:59:46 +02:00
Hartmut Goebel
7cf6793b4e
gnu: kinit: Add more optional inputs.
...
* gnu/packages/kde-frameworks.scm (kinit)
[native-inputs]: Add pkg-config.
[inputs]: Add kdoctools, libcap.
2017-06-08 18:59:45 +02:00
Hartmut Goebel
786cb78386
gnu: kio: Add more optional and recommended inputs.
...
* gnu/packages/kde-frameworks.scm (kio)[inputs]: Add mit-krb5, qtscript.
2017-06-08 18:59:44 +02:00
Hartmut Goebel
92605669e1
gnu: kimageformats: Add more optional and recommended inputs.
...
* gnu/packages/kde-frameworks.scm (kimageformats)
[native-inputs]: Add pkg-config.
[inputs]: Add karchive, openexr.
[arguments]<#:configure-flags>: Set include-flags.
2017-06-08 18:59:43 +02:00
Hartmut Goebel
03ac48248b
gnu: kde frameworks: Avoid requiring xorg-server for tests.
...
Some packages started a x.org server for testing, which can be
avoided by setting QT_QPA_PLATFORM=offscreen.
* gnu/packages/kde-frameworks.scm (kitemmodels)
[native-inputs]: Remove xorg-server.
[arguments]<#phases> 'start-xorg-server' replace by 'check-setup'.
(kplotting, kcrash, kimageformats): Likewise.
(kitemviews)[native-inputs]: Remove xorg-server.
[arguments]<#phases> 'start-xorg-server': Remove phase; 'check-setup':
set QT_QPA_PLATFORM=offscreen.
2017-06-08 18:59:42 +02:00
Hartmut Goebel
72b073ca9e
gnu: kcompletion: Remove unused native input.
...
The xorg server is not required since change
548f99b3e0
.
* gnu/packages/kde-frameworks.scm (kcompletion)[native-inputs]: Remove
xorg-server.
2017-06-08 18:59:41 +02:00
Hartmut Goebel
0cd3e818e7
gnu: kitemmodels: Add more optional inputs.
...
* gnu/packages/kde-frameworks.scm (kitemmodels)[inputs]: Add qtdeclarative.
2017-06-08 18:59:40 +02:00
Hartmut Goebel
986447c8a6
gnu: kguiaddons: Remove unused native input.
...
The xorg server is not required since change
1de5b667f8
.
* gnu/packages/kde-frameworks.scm (kguiaddons)[native-inputs]: Remove
xorg-server.
2017-06-08 18:59:39 +02:00
Hartmut Goebel
e7aab77362
gnu: kguiaddons: Add more optional inputs.
...
* gnu/packages/kde-frameworks.scm (kguiaddons)
[native-inputs]: Add pkg-config. [inputs]:Add qtx11extras.
2017-06-08 18:59:38 +02:00
Marius Bakke
30e760f0cf
gnu: gnome-shell: Fix startup failure.
...
Fixes <https://bugs.gnu.org/27264 >.
* gnu/packages/gnome.scm (gnome-shell)[inputs]: Add LIBRSVG and GEOCLUE.
2017-06-08 18:26:58 +02:00
Marius Bakke
758798a9cb
gnu: geoclue: Create typelib files.
...
* gnu/packages/gnome.scm (geoclue)[native-inputs]: Add GOBJECT-INTROSPECTION.
2017-06-08 18:26:57 +02:00
Maxim Cournoyer
45f523d9f0
gnu: emacs: Fix ert-runner by adding 'reporters' subdirectory.
...
Previous this change, ert-runner would fail with error:
"Invalid reporter: dot".
* gnu/packages/emacs.scm (ert-runner)[include]: Add regexp to match elisp
files under the 'reporters' subdirectory.
Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
2017-06-08 19:56:17 +05:30
Rutger Helling
dfe93c9ac0
gnu: Add nftables.
...
* gnu/packages/linux.scm (nftables): New variable
Signed-off-by: Kei Kebreau <kei@openmailbox.org>
2017-06-08 09:40:14 -04:00
Clément Lassieur
4391a0295e
gnu: the-silver-searcher: Update to 2.0.0.
...
* gnu/packages/code.scm (the-silver-searcher): Update to 2.0.0.
2017-06-08 11:27:51 +02:00
Ben Woodcroft
f69ff11af7
gnu: diamond: Update to 0.9.6.
...
* gnu/packages/bioinformatics.scm (diamond): Update to 0.9.6.
2017-06-08 09:39:23 +10:00
Mark H Weaver
1577a65809
gnu: guile-2.2: Increase max-silent-time to 6 hours.
...
* gnu/packages/guile.scm (guile-2.2)[properties]: Increase max-silent-time
to 6 hours.
2017-06-07 19:13:59 -04:00
Clément Lassieur
517c66c03d
gnu: livemedia-utils: Change source URL to one that is archived.
...
* gnu/packages/video.scm (livemedia-utils)[source]: Change it.
2017-06-08 00:42:56 +02:00
Mark H Weaver
9a68fb6c30
gnu: Rename 's' to 's-shell'.
...
* gnu/packages/shells.scm (s): Rename to ...
(s-shell): ... this.
[name]: Change to "s-shell".
2017-06-07 18:18:39 -04:00
Christopher Baines
fe4e0b0ae7
gnu: Add packagekit.
...
* gnu/packages/freedesktop.scm (packagekit): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-06-07 14:55:17 +02:00
Nicolas Goaziou
8a7304d609
gnu: emacs-org: Update to 20170606.
...
* gnu/packages/emacs.scm (emacs-org): Update to 20170606.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-06-07 14:13:47 +02:00
Clément Lassieur
e71789963f
gnu: livemedia-utils: Update to 2017.06.04.
...
* gnu/packages/video.scm (livemedia-utils): Update to 2017.06.04.
2017-06-07 10:51:57 +02:00
Leo Famulari
15df12beae
gnu: perl: Fix CVE-2017-6512 in File::Path.
...
* gnu/packages/perl.scm (perl)[replacement]: New field.
(perl/fixed): New variable.
* gnu/packages/patches/perl-file-path-CVE-2017-6512.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
2017-06-06 20:59:12 -04:00
Leo Famulari
9c8fb06e4c
gnu: perl-file-path: Update to 2.13.
...
This fixes CVE-2017-6512.
* gnu/packages/perl.scm (perl-file-path): Update to 2.13.
2017-06-06 20:59:08 -04:00
Marius Bakke
2ad7919da6
gnu: signify: Update to 21.
...
* gnu/packages/crypto.scm (signify): Update to 21.
2017-06-07 00:50:06 +02:00
Marius Bakke
a8d2750ec5
gnu: feh: Update to 2.19.
...
* gnu/packages/image-viewers.scm (feh): Update to 2.19.
2017-06-07 00:50:06 +02:00
Marius Bakke
1ce1050d59
gnu: ffmpeg@2.8: Update to 2.8.12.
...
* gnu/packages/video.scm (ffmpeg-2.8): Update to 2.8.12.
2017-06-07 00:50:05 +02:00
Marius Bakke
a2265ea316
gnu: libnl: Update to 3.3.0.
...
Since version 3.2.5, signed tarballs are distributed via GitHub. See e.g.
release announcements:
https://lists.infradead.org/pipermail/libnl/2017-May/002313.html
The home page is somewhat outdated, but still hosts mailing lists and git mirror.
* gnu/packages/linux.scm (libnl): Update to 3.3.0.
[source]: Switch to new release URL.
2017-06-07 00:50:05 +02:00
Marius Bakke
f608f40c35
gnu: irssi: Update to 1.0.3.
...
* gnu/packages/irc.scm (irssi): Update to 1.0.3.
2017-06-07 00:03:54 +02:00
Kei Kebreau
89b8df9765
gnu: maxima: Update to 5.40.0.
...
* gnu/packages/maths.scm (maxima): Update to 5.40.0.
2017-06-06 16:58:23 -04:00
Julien Lepiller
50cbbc9bd4
gnu: coq: Add search-paths for coq libraries.
...
* gnu/packages/ocaml.scm (coq)[native-search-paths]: New field.
2017-06-06 21:10:09 +02:00
Julien Lepiller
61bafd4477
gnu: Add ocaml-hex.
...
* gnu/packages/ocaml.scm (ocaml-hex): New variable.
2017-06-06 21:10:06 +02:00
Julien Lepiller
0090b89564
gnu: Add ocaml-cstruct.
...
* gnu/packages/ocaml.scm (ocaml-cstruct): New variable.
2017-06-06 21:10:03 +02:00
Julien Lepiller
9059d856d2
gnu: Add ocaml-ocplib-endian.
...
* gnu/packages/ocaml.scm (ocaml-ocplib-endian): New variable.
2017-06-06 21:10:00 +02:00
Julien Lepiller
84470902dc
gnu: Add ocaml-async.
...
* gnu/packages/ocaml.scm (ocaml-async): New variable.
2017-06-06 21:09:57 +02:00
Julien Lepiller
d7f6d048b1
gnu: Add ocaml-async-extra.
...
* gnu/packages/ocaml.scm (ocaml-async-extra): New variable.
2017-06-06 21:09:54 +02:00
Julien Lepiller
7f1620df14
gnu: Add ocaml-async-unix.
...
* gnu/packages/ocaml.scm (ocaml-async-unix): New variable.
2017-06-06 21:09:51 +02:00
Julien Lepiller
4a5fd87203
gnu: Add ocaml-core.
...
* gnu/packages/ocaml.scm (ocaml-core): New variable.
2017-06-06 21:09:48 +02:00
Julien Lepiller
cf28a731c6
gnu: Add ocaml-async-rpc-kernel.
...
* gnu/packages/ocaml.scm (ocaml-async-rpc-kernel): New variable.
2017-06-06 21:09:46 +02:00
Julien Lepiller
e31ee74d91
gnu: Add ocaml-async-kernel.
...
* gnu/packages/ocaml.scm (ocaml-async-kernel): New variable.
2017-06-06 21:09:43 +02:00
Julien Lepiller
52485163f3
gnu: Add ocaml-core-kernel.
...
* gnu/packages/ocaml.scm (ocaml-core-kernel): New variable.
2017-06-06 21:09:09 +02:00
Tobias Geerinckx-Rice
de3108835c
gnu: dovecot: Update to 2.2.30.2.
...
* gnu/packages/mail.scm (dovecot): Update to 2.2.30.2.
2017-06-06 19:32:55 +02:00
Hartmut Goebel
6b982a7846
gnu: Add qgpgme.
...
* gnu/packages/gnupg.scm (qgpgme): New variable.
2017-06-06 14:03:38 +02:00
Tobias Geerinckx-Rice
4604a98855
gnu: knot: Update to 2.4.4.
...
* gnu/packages/dns.scm (knot): Update to 2.4.4.
2017-06-06 12:30:52 +02:00
Kei Kebreau
be4d26f559
gnu: python-tmx: Fix source URL.
...
* gnu/packages/game-development.scm (python-tmx)[origin]: Add missing
subdirectory to URL.
2017-06-05 18:51:22 -04:00
Ludovic Courtès
c84aca6546
gnu: gdb: Update to 8.0.
...
* gnu/packages/gdb.scm (gdb): Update to 8.0.
2017-06-05 23:52:41 +02:00
Ludovic Courtès
9cbc9d8612
gnu: global: Update to 6.5.7.
...
* gnu/packages/code.scm (global): Update to 6.5.7.
2017-06-05 23:52:41 +02:00
Ludovic Courtès
d7c5aac1b1
gnu: openscenegraph: Tweak description.
...
* gnu/packages/graphics.scm (openscenegraph)[description]: Remove "open
source". Use en_US spelling.
2017-06-05 23:52:41 +02:00
Kei Kebreau
1819fd2cd9
gnu: liboauth: Correct synopsis and description.
...
* gnu/packages/web.scm (liboauth): Correct them.
2017-06-05 11:41:29 -04:00
David Thompson
3535181f80
gnu: tiled: Update to 1.0.0.
...
* gnu/packages/game-development.scm (tiled): Update to 1.0.0.
2017-06-05 11:16:10 -04:00
Arun Isaac
a3d3b7a4e1
gnu: Add js-mathjax.
...
* gnu/packages/javascript.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
* gnu/packages/javascript.scm (js-mathjax): New variable.
2017-06-05 19:16:06 +05:30
Arun Isaac
6bce59552f
gnu: Add font-mathjax.
...
* gnu/packages/fonts.scm (font-mathjax): New variable.
2017-06-05 19:16:05 +05:30
Tobias Geerinckx-Rice
044daaabe6
gnu: youtube-dl: Update to 2017.05.07.
...
* gnu/packages/video.scm (youtube-dl): Update to 2017.05.07.
2017-06-05 15:23:44 +02:00