b09c4244f7
gnu: Add coq-coquelicot.
...
* gnu/packages/ocaml.scm (coq-coquelicot): New variable.
2017-07-29 15:19:03 +02:00
380c65de94
gnu: Add coq-mathcomp.
...
* gnu/packages/ocaml.scm (coq-mathcomp): New variable.
2017-07-29 15:18:59 +02:00
88191acee2
gnu: Add coq-gappa.
...
* gnu/packages/ocaml.scm (coq-gappa): New variable.
2017-07-29 15:18:54 +02:00
d163d97d92
gnu: Add coq-flocq.
...
* gnu/packages/ocaml.scm (coq-flocq): New variable.
2017-07-29 15:18:45 +02:00
8f82110492
gnu: gnupg: Update to 2.1.22.
...
* gnu/packages/gnupg.scm (gnupg): Update to 2.1.22.
2017-07-29 14:47:24 +02:00
a9085f0c5c
gnu: metabat: Update to 2.11.2.
...
* gnu/packages/bioinformatics.scm (metabat): Update to 2.11.2.
2017-07-29 22:37:47 +10:00
0e016722ee
gnu: mes: Update to 0.9.
...
* gnu/packages/mes.scm (mes): Update to 0.9.
[arguments]: Delete `strip' phase.
[synopsis]: Rewrite to be more descriptive.
[description]: Include expanded acronym.
2017-07-29 14:33:19 +02:00
9f9b7a0d01
gnu: gptfdisk: Update to 1.0.3.
...
* gnu/packages/disk.scm (gptfdisk): Update to 1.0.3.
2017-07-29 14:15:48 +02:00
b5244fcb49
gnu: arandr: Remove make-xrandr-available phase.
...
wrap-program functionality is already provided by python-build-system.
* gnu/packages/xdisorg.scm (arandr): Remove make-xrandr-available phase.
2017-07-29 16:47:37 +05:30
e8d9a87862
gnu: Add emacs-rpm-spec-mode.
...
* gnu/packages/emacs.scm (emacs-rpm-spec-mode): New variable.
Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
2017-07-29 16:41:34 +05:30
3b56776fb8
gnu: mescc-tools: Update to 0.2.
...
* gnu/packages/mes.scm (mescc-tools): Update to 0.2.
2017-07-29 11:37:04 +02:00
38ba8a6116
gnu: linux-libre: Update to 4.12.4.
...
* gnu/packages/linux.scm (%linux-libre-version): Update to 4.12.4.
(%linux-libre-hash): Update hash.
2017-07-28 21:08:51 -04:00
dfa0c66cc9
gnu: linux-libre@4.9: Update to 4.9.40.
...
* gnu/packages/linux.scm (linux-libre-4.9): Update to 4.9.40.
2017-07-28 21:08:19 -04:00
6b96478c6d
gnu: linux-libre@4.4: Update to 4.4.79.
...
* gnu/packages/linux.scm (linux-libre-4.4): Update to 4.4.79.
2017-07-28 21:07:31 -04:00
4f9dd97e65
gnu: sssd: Update to 1.15.3.
...
* gnu/packages/sssd.scm (sssd): Update to 1.15.3.
[native-inputs]: Add util-linux.
2017-07-29 01:08:17 +02:00
d02e19aa2c
gnu: bind: Update to 9.11.2.
...
* gnu/packages/dns.scm (isc-bind): Update to 9.11.2.
2017-07-29 00:32:00 +02:00
32c4a5060e
gnu: emacs-auctex: Update to 11.91.0.
...
* gnu/packages/emacs.scm (emacs-auctex): Update to 11.91.0.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-07-28 23:30:41 +02:00
1f88f189eb
gnu: Add tome4.
...
* gnu/packages/games.scm (tome4): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-07-28 23:30:41 +02:00
9ca8aa38ec
gnu: guix: Add dependency on Guile-Git.
...
* gnu/packages/package-management.scm (guix)[arguments] <wrap-program>:
Add Guile-Git to PATH.
[propagated-inputs]: Add GUILE-GIT.
(guile2.0-guix)[propagated-inputs]: Add GUILE2.0-GIT.
2017-07-28 18:09:44 +02:00
3a53759807
gnu: guile-git: Update snapshot.
...
* gnu/packages/guile.scm (guile-git): Update to commit e156a10.
[native-inputs]: Add TEXINFO.
2017-07-28 18:09:43 +02:00
6f0f55148d
gnu: le-certs: Create OpenSSL hash symlinks.
...
* gnu/packages/certs.scm (le-certs)[arguments]: Run 'c_rehash' on the
result.
[native-inputs]: New fields.
2017-07-28 18:09:43 +02:00
c4b006ba12
gnu: btrfs-progs: Update to 4.12.
...
* gnu/packages/linux.scm (btrfs-progs): Update to 4.12.
[outputs]: Remove inaccurate comment on size.
2017-07-28 16:32:04 +02:00
f112bd26ae
gnu: redis: Update to 4.0.1.
...
* gnu/packages/databases.scm (redis): Update to 4.0.1.
2017-07-28 21:10:49 +10:00
ac01cb0790
gnu: ruby-json-pure: Update to 2.1.0.
...
* gnu/packages/ruby.scm (ruby-json-pure): Update to 2.1.0.
[arguments]: Replace 'replace-git-ls-files' phase with 'fix-rakefile'
and 'regenerate-gemspec' phases.
[inputs]: Remove ruby-permutation, ruby-utils, ragel. Add ruby-test-unit,
ruby-simplecov.
2017-07-28 20:18:53 +10:00
9c14bc7a4d
gnu: bundler: Update to 1.15.3.
...
* gnu/packages/ruby.scm (bundler): Update to 1.15.3.
2017-07-28 20:18:53 +10:00
a2a558147a
gnu: ruby-ffi: Update to 1.9.18.
...
* gnu/packages/ruby.scm (ruby-ffi): Update to 1.9.18.
2017-07-28 20:18:52 +10:00
00eeb45fca
gnu: redis: Update to 4.0.0.
...
* gnu/packages/databases.scm (redis): Update to 4.0.0.
2017-07-28 20:18:52 +10:00
efb94fda64
gnu: ruby-nokogiri: Update to 1.8.0.
...
* gnu/packages/ruby.scm (ruby-nokogiri): Update to 1.8.0.
2017-07-28 20:18:52 +10:00
26f4a37736
gnu: ruby-mini-portile2: Update to 2.2.0.
...
* gnu/packages/ruby.scm (ruby-mini-portile2): Update to 2.2.0.
2017-07-28 20:18:51 +10:00
0f6cf5a61c
gnu: nautilus: Update to 3.24.2.1.
...
* gnu/packages/gnome.scm (nautilus): Update to 3.24.2.1.
2017-07-28 01:02:40 +02:00
73fe4552aa
gnu: gptfdisk: Update description.
...
* gnu/packages/disk.scm (gptfdisk): Remove outdated statement and use @dfn.
2017-07-28 01:02:39 +02:00
0193e3be53
gnu: goffice: Update to 3.24.2.1.
...
* gnu/packages/gnome.scm (goffice): Update to 3.24.2.1.
2017-07-28 01:02:39 +02:00
c8fc9a379b
gnu: shotwell: Update to 0.26.2.
...
* gnu/packages/gnome.scm (shotwell): Update to 0.26.2.
2017-07-28 01:02:39 +02:00
fb2715720a
gnu: whois: Update to 5.2.17.
...
* gnu/packages/networking.scm (whois): Update to 5.2.17.
2017-07-28 00:07:45 +02:00
bd51224936
gnu: nss, nss-certs: Update to 3.32.
...
This release includes minor code changes and many certificate updates:
<https://developer.mozilla.org/en-US/docs/Mozilla/Projects/NSS/NSS_3.32_release_notes >
* gnu/packages/certs.scm (nss-certs): Update to 3.32.
* gnu/packages/gnuzilla.scm (nss): Update to 3.32.
[arguments]: Prevent another test file from being installed.
* gnu/packages/patches/nss-pkgconfig.patch: Adjust.
2017-07-28 00:07:28 +02:00
6571754462
gnu: nspr: Update to 4.16.
...
* gnu/packages/gnuzilla.scm (nspr): Update to 4.16.
2017-07-27 22:15:27 +02:00
90335ccea6
gnu: python-cryptography: Update to 2.0.2.
...
* gnu/packages/python.scm (python-cryptography-vectors, python-cryptography):
Update to 2.0.2.
2017-07-27 22:15:26 +02:00
b2973d9634
gnu: subversion: Update to 1.8.18.
...
* gnu/packages/version-control.scm (subversion): Update to 1.8.18.
2017-07-27 14:33:32 -04:00
6d31c175b2
gnu: net-tools: Update to 1.60-0.479bb4a7.
...
This leaves net-tools-for-tests unchanged.
Fixes <https://bugs.gnu.org/27811 >.
* gnu/packages/linux.scm (net-tools): Update to 1.60-0.479bb4a7.
[source]: Use git-fetch.
[inputs]: Remove the Debian patch.
[arguments]: Use modify-phases. Remove the 'patch' phase. Disable
SELINUX and AFBLUETOOTH from build configuration.
2017-07-27 13:39:42 -04:00
a812aff99c
gnu: gzochi: Update to 0.11.1.
...
* gnu/packages/game-development.scm (gzochi): Update to 0.11.1.
(gzochi)[arguments]: Remove patch for `-Werror', which is no longer
necessary.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-07-27 11:47:51 +02:00
f1be6f5b5a
gnu: openmpi: Add "static" output.
...
* gnu/packages/mpi.scm (openmpi)[outputs]: New field.
[arguments]: Add 'move-static-libraries' phase.
2017-07-27 11:47:50 +02:00
8f2c410fc5
gnu: r-preprocesscore: Update to 1.38.1.
...
* gnu/packages/statistics.scm (r-preprocesscore): Update to 1.38.1.
2017-07-27 10:04:09 +02:00
620b0468e9
gnu: Add cowsay.
...
* gnu/packages/games.scm (cowsay): New variable.
2017-07-27 10:03:37 +02:00
56ab0f0c6d
gnu: nnn: Update to 1.3.
...
* gnu/packages/admin.scm (nnn): Update to 1.3.
2017-07-27 05:03:33 +02:00
efcacc17c7
gnu: openmpi: Enable SGE support.
...
* gnu/packages/mpi.scm (openmpi)[arguments]: Pass "--with-sge" in
#:configure-flags.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-07-26 23:13:52 +02:00
217ce5702c
gnu: mg: Add new phase to find 'diff'.
...
* gnu/packages/text-editors.scm (mg)[phases]: Add new 'correct-location-of-difftool'.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-07-26 23:13:52 +02:00
bcd1544dd2
gnu: mg: Fetch source via HTTPS.
...
* gnu/packages/text-editors.scm (mg)[source]: Use HTTPS.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-07-26 23:13:52 +02:00
1a5a8afea0
gnu: mg: Update to 20170401.
...
* gnu/packages/text-editors.scm (mg): Update to 20170401.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-07-26 23:13:52 +02:00
9ea61b1c6f
gnu: Add python-flask-principal.
...
* gnu/packages/python.scm (python-flask-principal, python2-flask-principal):
New variables.
2017-07-26 21:52:30 +02:00
9d9fc39946
gnu: Add lziprecover.
...
* gnu/packages/compression.scm (lziprecover): New variable.
2017-07-26 19:38:59 +02:00
f96dbf6b70
gnu: net-tools: Add a test-only variant and use it for GnuTLS.
...
* gnu/packages/linux.scm (net-tools-for-tests): Add hidden net-tools variant.
* gnu/packages/tls.scm (gnutls)[native-inputs]: Use net-tools-for-tests instead
of net-tools.
2017-07-26 12:06:52 -04:00
bcd757fdb4
gnu: mg: Move to (gnu packages text-editors).
...
* gnu/packages/mg.scm: Remove.
* gnu/local.mk (GNU_SYSTEM_MODULES): Remove it.
* gnu/packages/text-editors.scm (mg): New variable.
2017-07-26 11:11:11 +02:00
1cae188e61
gnu: glpk: Update to 4.63.
...
* gnu/packages/maths.scm (glpk): Update to 4.63.
2017-07-26 10:15:54 +03:00
4f038621a5
gnu: leafpad: Use glib-or-gtk build-system.
...
* gnu/packages/text-editors.scm (leafpad): Use glib-or-gtk build-system.
2017-07-26 08:19:47 +02:00
ff4192ff57
gnu: claws-mail: Disable (duplicate) Gtk+ icon cache generation.
...
* gnu/packages/mail.scm (claws-mail)[arguments]: Add make-flags to disable
Gtk+ icon cache generation.
2017-07-26 08:18:46 +02:00
8ad40a69d1
gnu: evince: Update to 3.24.1.
...
* gnu/packages/gnome.scm (evince): Update to 3.24.1.
[source]: Remove obsolete patch.
* gnu/packages/patches/evince-CVE-2017-1000083.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
2017-07-25 18:41:05 -04:00
980fe414c1
gnu: hplip: Update to 3.17.7.
...
* gnu/packages/cups.scm (hplip): Update to 3.17.7.
2017-07-25 23:59:21 +02:00
ae03ee4274
gnu: fdisk: Update to 2.0.0a1.
...
* gnu/packages/disk.scm (fdisk): Update to 2.0.0a1.
[arguments]: Make sure the build finds its own headers.
2017-07-25 23:58:34 +02:00
aa588d8a38
gnu: sdparm: Update to 1.10.
...
* gnu/packages/disk.scm (sdparm): Update to 1.10.
2017-07-25 23:58:34 +02:00
af79852c99
gnu: neofetch: Fix search path.
...
* gnu/packages/admin.scm (neofetch): Fix "No such file or directory" for distro logo.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2017-07-25 23:07:37 +02:00
16fb1e79ca
gnu: chess: Update to 6.2.5.
...
* gnu/packages/games.scm (chess): Update to 6.2.5.
2017-07-25 23:07:37 +02:00
4eacb47de0
gnu: feh: Update to 2.19.1.
...
* gnu/packages/image-viewers.scm (feh): Update to 2.19.1.
2017-07-25 22:58:43 +02:00
5f02ea1a6d
gnu: notmuch: Update to 0.25.
...
* gnu/packages/mail.scm (notmuch): Update to 0.25.
2017-07-25 22:58:43 +02:00
4fdab17371
gnu: python2-urwid: Actually build urwid for Python 2.
...
* gnu/packages/python.scm (python2-urwid)[arguments]: Add #:python.
2017-07-25 15:29:29 -04:00
e9f468dfcd
gnu: tcpdump: Update to 4.9.1 [fixes CVE-2017-11108].
...
* gnu/packages/admin.scm (tcpdump): Update to 4.9.1.
2017-07-25 15:25:44 -04:00
90062885b7
gnu: you-get: Update to 0.4.803.
...
* gnu/packages/video.scm (you-get): Update to 0.4.803.
Signed-off-by: Leo Famulari <leo@famulari.name>
2017-07-25 14:44:19 -04:00
c7db7b86ce
gnu: perl-dbd-mysql: Fix CVE-2017-10788.
...
* gnu/packages/patches/perl-dbd-mysql-CVE-2017-10788.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/databases.scm (perl-dbd-mysql)[source]: Use it.
2017-07-25 14:11:20 -04:00
bb0f6d7526
gnu: openmpi: Description mentions MPI 3.0.
...
* gnu/packages/mpi.scm (openmpi): It's MPI 3, not MPI 2.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-07-25 18:10:08 +02:00
1f9bff4152
gnu: openmpi: Update to 1.10.7.
...
* gnu/packages/mpi.scm (openmpi): Update to 1.10.7.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2017-07-25 18:09:27 +02:00
70bc608503
gnu: Add guile2.0-git.
...
* gnu/packages/guile.scm (guile2.0-git): New variable.
2017-07-25 17:46:17 +02:00
726ecfeb3a
gnu: Add guile2.0-bytestructures.
...
* gnu/packages/patches/guile-bytestructures-name-clash.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/guile.scm (guile-bytestructures)[source]: Use it.
[arguments]: Unpack the source.
[native-inputs]: New field.
(guile2.0-bytestructures): New variable.
2017-07-25 17:46:17 +02:00
0093b1262b
gnu: maxima: Ensure binutils are available at runtime.
...
* gnu/packages/maths.scm (maxima)[arguments]: Use modify-phases syntax.
Modify 'post-install' phase.
2017-07-25 07:58:55 -04:00
6b2eafaaa8
Revert "gnu: maxima: Ensure gcc is available at runtime."
...
This reverts commit f2fa86cc825ea8dbf0c9
2017-07-25 07:58:46 -04:00
5ea8dbf0c9
gnu: gcl: Ensure gcc and binutils are available at runtime.
...
* gnu/packages/lisp.scm (gcl)[arguments]: Add -fgnu89-inline to CFLAGS.
Add GCC path to make-flags. Modify 'pre-conf' phase. Add 'wrap' phase.
2017-07-25 07:58:06 -04:00
ebc9f7050c
gnu: webkitgtk: Update to 2.16.6 [security fixes].
...
Includes fixes for CVE-2017-7039, CVE-2017-7018, CVE-2017-7030, CVE-2017-7037,
CVE-2017-7034, CVE-2017-7055, CVE-2017-7056, CVE-2017-7064, CVE-2017-7061,
CVE-2017-7048, and CVE-2017-7046.
* gnu/packages/webkit.scm (webkitgtk): Update to 2.16.6.
2017-07-25 07:32:25 -04:00
5b4a6ba044
gnu: xterm: Update to 330.
...
* gnu/packages/xorg.scm (xterm): Update to 330.
2017-07-24 22:54:18 -04:00
0e8fed86d8
gnu: dialog: Update to 1.3-20170509.
...
* gnu/packages/ncurses.scm (dialog): Update to 1.3-20170509.
2017-07-24 22:54:15 -04:00
fce8285e4b
gnu: opus: Update to 1.2.1.
...
* gnu/packages/xiph.scm (opus): Update to 1.2.1.
[source]: Use new source URL.
2017-07-24 17:37:05 -04:00
d61a894bfa
gnu: gnome: Add deja-dup.
...
* gnu/packages/gnome.scm (deja-dup): New variable.
* gnu/packages/patches/deja-dup-use-ref-keyword-for-iter.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add patch file entry.
2017-07-24 20:05:49 +01:00
c022e11187
gnu: guix: Update snapshot.
...
* gnu/packages/package-management.scm (guix): Update to f1ddfe4
2017-07-24 12:25:08 +02:00
f1ddfe4f14
gnu: python-flaky: Fix Texinfo markup in description.
...
* gnu/packages/python.scm (python-flaky)[description]: Escape "@".
2017-07-24 12:05:53 +02:00
2472f7a8f1
gnu: isc-dhcp: Update bundled bind to 9.9.10-P3.
...
This fixes a regression introduced in the fix for CVE-2017-3142, in BIND
9.9.10-P2, commit ecb232bdfc
2017-07-23 19:05:37 -04:00
5391c6c9d2
gnu: bind: Update to 9.11.1-P3.
...
This fixes a regression introduced in the fix for CVE-2017-3142, in BIND
9.11.1-P2, commit faa1369e3c
2017-07-23 19:05:37 -04:00
c67d80563f
gnu: ncurses/gpm: Move to (gnu packages ncurses).
...
This is needed to avoid compilation problems caused by the cyclic dependency
between (gnu packages ncurses) and (gnu packages linux).
* gnu/packages/linux.scm (ncurses/gpm): Move to ...
* gnu/packages/ncurses.scm (ncurses/gpm): ... here. Fix misleading
indentation. Add (gnu packages linux) to the module imports.
2017-07-23 17:04:51 -04:00
fd900d68a5
gnu: Add support for aarch64's compiled kernel.
...
* gnu/packages/linux.scm (linux-libre)[arguments]: Add to the regex to
find and install the aarch64-linux kernel.
* gnu/system.scm (system-linux-image-file-name): Add entry for aarch64.
2017-07-23 23:33:18 +03:00
826adfdb37
gnu: Add xf86-video-freedreno.
...
* gnu/packages/xorg.scm (xf86-video-freedreno): New variable.
2017-07-23 23:33:17 +03:00
4adeb3f6e6
gnu: Add u-boot-odroid-c2.
...
* gnu/packages/bootloaders.scm (u-boot-odroid-c2): New variable.
2017-07-23 23:33:16 +03:00
1313628339
gnu: u-boot: Update to 2017.07.
...
* gnu/packages/bootloaders.scm (u-boot): Update to 2017.07.
2017-07-23 23:33:13 +03:00
846cb73865
gnu: tevent: Update to 0.9.33.
...
* gnu/packages/samba.scm (tevent): Update to 0.9.33.
2017-07-23 22:01:29 +02:00
85a5800e52
gnu: talloc: Update to 2.1.10.
...
* gnu/packages/samba.scm (talloc): Update to 2.1.10.
2017-07-23 22:01:29 +02:00
fbed150133
gnu: ldb: Update to 1.1.31.
...
* gnu/packages/samba.scm (ldb): Update to 1.1.31.
[native-inputs]: Add CMOCKA.
2017-07-23 22:01:28 +02:00
17c3f1fb67
gnu: cmocka: Update to 1.1.1.
...
* gnu/packages/check.scm (cmocka): Update to 1.1.1.
2017-07-23 22:01:28 +02:00
38bb9df150
gnu: tdb: Update to 1.3.14.
...
* gnu/packages/databases.scm (tdb): Update to 1.3.14.
2017-07-23 22:01:28 +02:00
09efef3384
gnu: python-scipy: Update to 0.19.1.
...
* gnu/packages/python.scm (python-scipy): Update to 0.19.1.
[source]: Use 'pypi-uri'.
2017-07-23 22:01:28 +02:00
71d20587a5
gnu: python-matplotlib: Update to 2.0.2.
...
* gnu/packages/python.scm (python-matplotlib): Update to 2.0.2.
[source]: Use 'pypi-uri'.
2017-07-23 22:01:28 +02:00
9e5ee6b60c
gnu: python-pyparsing: Update to 2.2.0.
...
* gnu/packages/python.scm (python-pyparsing, python2-pyparsing): Update to
2.2.0.
2017-07-23 22:01:27 +02:00
007176e710
gnu: python-pyparsing: Use 'modify-phases' syntax.
...
* gnu/packages/python.scm (python-pyparsing)[arguments]<#:phases>: Use
'modify-phases'.
2017-07-23 22:01:27 +02:00
6e864d0081
gnu: Add xmobar.
...
gnu/packages/wm.scm (xmobar): New variable.
Signed-off-by: Leo Famulari <leo@famulari.name>
2017-07-23 15:29:36 -04:00
8f155e3cff
gnu: bash-completion: Update to 2.7.
...
* gnu/packages/bash.scm (bash-completion): Update to 2.7.
2017-07-23 11:05:54 +03:00
9478c05955
gnu: getmail: Update to 5.1.
...
* gnu/packages/mail.scm (getmail): Update to 5.1.
Signed-off-by: Leo Famulari <leo@famulari.name>
2017-07-22 20:34:47 -04:00
Julien Lepiller