gnu: inetutils: Update to 1.9.4.

* gnu/packages/admin.scm (inetutils): Update to 1.9.4.

gnu: qemu: Add fix for CVE-2015-3209.

* gnu/packages/patches/qemu-CVE-2015-3209.patch: New file.
* gnu-system.am (dist_patch_DATA): Add it.
* gnu/packages/qemu.scm (qemu): Add patch.

gnu: cups: Update to 2.0.3.

* gnu/packages/cups.scm (cups): Update to 2.0.3.

gnu: linux-libre: Update to 4.0.5.

* gnu/packages/linux.scm (linux-libre): Update to 4.0.5.

install: Really overwrite TARGET/var/guix/profiles/system-1-link.

* gnu/build/install.scm (populate-root-file-system): Delete system-1-link
  under TARGET, not under /.  Use 'catch' and check for EEXIST instead of
  (false-if-exception (delete-file ...)).

gnu: mysql: Update to 5.6.25.

* gnu/packages/databases.scm (mysql): Update to 5.6.25.
  [source]: Use 'version-major+minor'.
  [build-system]: Change to cmake-build-system.  Adjust arguments
  accordingly.
  [inputs]: Add libaio.  Remove procps.  Move perl to 'native-inputs'.

gnu: Add proof-general.

* gnu/packages/ocaml.scm (proof-general): New variable.

install: Omit /root from the binary tarball.

Suggested by Thomas Schwinge <thomas@codesourcery.com>.

* gnu/system/install.scm (self-contained-tarball): Remove
  "/root/.guix-profile" from the 'tar' arguments.
* doc/guix.texi (Binary Installation): Add a step to create
  ~root/.guix-profile.

gnu: youtube-dl: Update to 2015.06.04.1.

* gnu/packages/video.scm (youtube-dl): Update to 2015.06.04.1.

gnu: evince: Update to 3.16.1, add more inputs.

* gnu/packages/gnome.scm (evince): Update to 3.16.1.
  [inputs]: Add djvulibre, libtiff, gnome-desktop and libsecret.

Co-authored-by: David Hashe <david.hashe@dhashe.com>

gnu: geoclue: Update to 2.2.0.

* gnu/packages/gnome.scm (geoclue): Update to 2.2.0.

gnu: python-numpy: Build against OpenBLAS.

* gnu/packages/python.scm (python-numpy)[inputs]: Use "openblas" instead of
  "atlas".
* gnu/packages/python.scm (python-numpy)[arguments]: Configure build against
  OpenBLAS.

Modified-By: Mark H Weaver <mhw@netris.org>

gnu: icecat: Update to 31.7.0-gnu1.

* gnu/packages/patches/icecat-CVE-2015-0797.patch,
  gnu/packages/patches/icecat-CVE-2015-2708-pt1.patch,
  gnu/packages/patches/icecat-CVE-2015-2708-pt2.patch,
  gnu/packages/patches/icecat-CVE-2015-2708-pt3.patch,
  gnu/packages/patches/icecat-CVE-2015-2708-pt4.patch,
  gnu/packages/patches/icecat-CVE-2015-2710-pt1.patch,
  gnu/packages/patches/icecat-CVE-2015-2710-pt2.patch,
  gnu/packages/patches/icecat-CVE-2015-2710-pt3.patch,
  gnu/packages/patches/icecat-CVE-2015-2713-pt1.patch,
  gnu/packages/patches/icecat-CVE-2015-2713-pt2.patch,
  gnu/packages/patches/icecat-CVE-2015-2716.patch: Remove files.
* gnu-system.am (dist_patch_DATA): Remove them.
* gnu/packages/gnuzilla.scm (icecat): Update to 31.7.0-gnu1.  Remove patches.

gnu: tor: Update to 0.2.6.8.

* gnu/packages/tor.scm (tor): Update to 0.2.6.8.
  [native-inputs]: Add python-2.

system: 'hosts-file' is now a file-like object.

Partly fixes <http://bugs.gnu.org/20720>.
Reported by Alex Kost <alezost@gmail.com>.

* gnu/system.scm (default-/etc/hosts): Change 'text-file' to 'plain-file'.
  (maybe-file->monadic): New procedure.
  (operating-system-etc-directory): Use it.
* doc/guix.texi (operating-system Reference, Networking Services): Adjust
  accordingly.

system: 'sudoers' is now a file-like object.

Partly fixes <http://bugs.gnu.org/20720>
Reported by Alex Kost <alezost@gmail.com>.

* gnu/system.scm (etc-directory): Change default #:sudoers value to a
  'plain-file'.  Don't bind it.  Remove #~#$.
  (maybe-string->file): New procedure.
  (operating-system-etc-directory): Use it.
  (%sudoers-specification): Use 'plain-file'.
* doc/guix.texi (operating-system Reference): Adjust accordingly.

gnu: Add magit-svn.

* gnu/packages/emacs.scm (magit-svn): New variable.

gnu: Add coq.

* gnu/packages/ocaml.scm (coq): New variable.

gnu: Add hevea.

* gnu/packages/ocaml.scm (hevea): New variable.

gnu: Add camlp5.

* gnu/packages/ocaml.scm (camlp5): New variable.