Commit Graph

22872 Commits

Author SHA1 Message Date
Julien Lepiller 380c65de94
gnu: Add coq-mathcomp.
* gnu/packages/ocaml.scm (coq-mathcomp): New variable.
2017-07-29 15:18:59 +02:00
Julien Lepiller 88191acee2
gnu: Add coq-gappa.
* gnu/packages/ocaml.scm (coq-gappa): New variable.
2017-07-29 15:18:54 +02:00
Julien Lepiller d163d97d92
gnu: Add coq-flocq.
* gnu/packages/ocaml.scm (coq-flocq): New variable.
2017-07-29 15:18:45 +02:00
Marius Bakke 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
Ben Woodcroft 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
Jan Nieuwenhuizen 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
Tobias Geerinckx-Rice 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
Christopher Baines 730ed6ec8b
gnu: services: admin: Add tailon.
* gnu/services/admin.scm
  (<tailon-configuration>, <tailon-configuration-file>): New record types.
  (tailon-configuration-files-string, tailon-shepherd-service): New
  procedures.
  (%tailon-accounts, tailon-service-type: New variables.
* doc/guix.texi (Monitoring Services: Document the Tailon service.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add gnu/tests/admin.scm.
* gnu/tests/admin.scm: New file.
2017-07-29 12:45:03 +01:00
Arun Isaac 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
Oleg Pykhalov 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
Jan Nieuwenhuizen 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
Mark H Weaver 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
Mark H Weaver 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
Mark H Weaver 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
Tobias Geerinckx-Rice 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
Tobias Geerinckx-Rice 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
Oleg Pykhalov 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
Oleg Pykhalov 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
Danny Milosavljevic 1975c754f4
bootloader: Use <menu-entry> for the bootloader side.
* gnu/bootloader.scm (menu-entry-device-mount-point): New variable.  Export it.
(<menu-entry>: New field "device".
* gnu/bootloader/grub.scm (grub-confgiuration-file): Handle <menu-entry>
entries.
* gnu/bootloader/extlinux.scm (extlinux-configuration-file): Handle
<menu-entry> entries.
* gnu/system.scm (menu->entry->boot-parameters): Delete variable.
(boot-parameters->menu-entry): New variable.  Export it.
(operating-system-bootcfg): Make OLD-ENTRIES a list of <menu-entry>.
* guix/script/system.scm (reinstall-bootloader): Fix bootcfg usage.
(perform-action): Fix bootcfg usage.
2017-07-28 21:56:18 +02:00
Ludovic Courtès 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
Ludovic Courtès 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
Ludovic Courtès f0e492f0a5
utils: Factorize XDG directory handling.
* guix/ui.scm (config-directory): Remove.
* guix/utils.scm (xdg-directory, config-directory): New procedures.
(cache-directory): Rewrite in terms of 'xdg-directory'.
* guix/scripts/substitute.scm (%narinfo-cache-directory): Pass #:ensure?
 #f to 'cache-directory'.
2017-07-28 18:09:43 +02:00
Ludovic Courtès 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
Tobias Geerinckx-Rice 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
Ben Woodcroft 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
Ben Woodcroft 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
Ben Woodcroft 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
Ben Woodcroft 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
Ben Woodcroft 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
Ben Woodcroft 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
Ben Woodcroft 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
Tobias Geerinckx-Rice 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
Tobias Geerinckx-Rice 73fe4552aa
gnu: gptfdisk: Update description.
* gnu/packages/disk.scm (gptfdisk): Remove outdated statement and use @dfn.
2017-07-28 01:02:39 +02:00
Tobias Geerinckx-Rice 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
Tobias Geerinckx-Rice 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
Marius Bakke 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
Marius Bakke 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
Marius Bakke 6571754462
gnu: nspr: Update to 4.16.
* gnu/packages/gnuzilla.scm (nspr): Update to 4.16.
2017-07-27 22:15:27 +02:00
Marius Bakke 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
Leo Famulari 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
Leo Famulari 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
Ludovic Courtès 412701b0e5
services: guix-publish: Run in a UTF-8 locale.
Works around <https://bugs.gnu.org/26948>.

* gnu/services/base.scm (guix-publish-shepherd-service): Pass
  #:environment-variables to 'make-forkexec-constructor'.
2017-07-27 14:51:03 +02:00
Ludovic Courtès 138fe41198
system: Add 'grep --color' alias in '.bash_profile' skeleton.
* gnu/system/shadow.scm (default-skeletons)[profile]: Add 'grep' alias.
2017-07-27 14:44:28 +02:00
Julian Graham 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
Ludovic Courtès 111b2853c7
nls: Mark (guix scripts weather) as translatable.
* po/guix/POTFILES.in: Add guix/scripts/weather.scm.
2017-07-27 11:47:51 +02:00
Ludovic Courtès 952cf67cb1
weather: Show "-m" option in help message.
Reported by Alex Kost <alezost@gmail.com>.

* guix/scripts/weather.scm (show-help): Show "-m".
2017-07-27 11:47:50 +02:00
Ludovic Courtès 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
Ricardo Wurmus 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
Ricardo Wurmus 620b0468e9
gnu: Add cowsay.
* gnu/packages/games.scm (cowsay): New variable.
2017-07-27 10:03:37 +02:00
Tobias Geerinckx-Rice 56ab0f0c6d
gnu: nnn: Update to 1.3.
* gnu/packages/admin.scm (nnn): Update to 1.3.
2017-07-27 05:03:33 +02:00