Commit Graph

39915 Commits

Author SHA1 Message Date
Gabriel Hondet 7195c4f2ae
gnu: Add ocaml-bindlib.
* gnu/packages/ocaml.scm (ocaml-bindlib): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-02-13 22:50:54 +01:00
Gabriel Hondet 70c7d02590
gnu: Add ocaml-earley.
* gnu/packages/ocaml.scm (ocaml-earley): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-02-13 22:50:17 +01:00
Dan Frumin ec23bae682
gnu: Add coq-equations.
* gnu/packages/coq.scm (coq-equations): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-02-13 22:21:41 +01:00
Julien Lepiller 57e508d1c1
nls: Update 'de' translation. 2019-02-13 21:40:17 +01:00
Julien Lepiller d093f3e4a4
nls: Update 'da' translation. 2019-02-13 21:40:02 +01:00
Eric Bavier 6d433d6ef7
gnu: Add ELPA.
* gnu/packages/maths.scm (elpa, elpa-openmpi): New variables.
2019-02-13 14:08:19 -06:00
Eric Bavier aa94524052
gnu: petsc: Upgrade to 3.10.3.
* gnu/packages/maths.scm (petsc): Upgrade to 3.10.3.
2019-02-13 14:08:19 -06:00
Eric Bavier f73750e6f4
gnu: scalapack: Remove use of deprecated MPI1 symbols.
* gnu/packages/patches/scalapack-blacs-mpi-deprecations.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/maths.scm (scalapack)[source]: Use it.
2019-02-13 14:08:19 -06:00
Efraim Flashner 2385012b89
gnu: khard: Enable tests.
* gnu/packages/mail.scm (khard)[arguments]: Enable test suite.
2019-02-13 21:48:12 +02:00
Efraim Flashner 2de52d0cbb
gnu: khard: Update to 0.13.0.
* gnu/packages/mail.scm (khard): Update to 0.13.0.
2019-02-13 21:48:11 +02:00
Efraim Flashner 4ee3b30945
gnu: fluxbox: All phases return #t.
* gnu/packages/wm.scm (fluxbox)[arguments]: All phases return #t.
2019-02-13 21:48:11 +02:00
Efraim Flashner 37f7853e13
gnu: fluxbox: Install vim helper files.
* gnu/packages/wm.scm (fluxbox)[arguments]: Add custom phase to install
vim files.
2019-02-13 21:48:10 +02:00
Efraim Flashner 28388ac8f8
gnu: vim-airline: Update to 0.10.
* gnu/packages/vim.scm (vim-airline): Update to 0.10.
2019-02-13 21:48:10 +02:00
Efraim Flashner 91b3631821
gnu: urlscan: Update to 0.9.2.
* gnu/packages/mail.scm (urlscan): Update to 0.9.2.
2019-02-13 21:48:06 +02:00
Mark H Weaver 0a62b62ba0
gnu: linux-libre: Update to 4.20.8.
* gnu/packages/linux.scm (%linux-libre-version): Update to 4.20.8.
(%linux-libre-hash): Update hash.
2019-02-13 13:28:38 -05:00
Mark H Weaver 782a18dd9d
gnu: linux-libre@4.19: Update to 4.19.21.
* gnu/packages/linux.scm (%linux-libre-4.19-version): Update to 4.19.21.
(%linux-libre-4.19-hash): Update hash.
2019-02-13 13:27:21 -05:00
Mark H Weaver 570ef8aec5
gnu: linux-libre@4.14: Update to 4.14.99.
* gnu/packages/linux.scm (%linux-libre-4.14-version): Update to 4.14.99.
(%linux-libre-4.14-hash): Update hash.
2019-02-13 13:26:25 -05:00
Mark H Weaver b76374fbf7
gnu: linux-libre@4.9: Update to 4.9.156.
* gnu/packages/linux.scm (linux-libre-4.9): Update to 4.9.156.
2019-02-13 13:25:42 -05:00
Ludovic Courtès d423d6892a
doc: Add a "Development" chapter.
* doc/guix.texi (Managing Software the Guix Way): Add reference to the
"Development" section.
(Invoking guix environment, Invoking guix pack): Move to...
(Development): ... here.  New node.
2019-02-13 16:19:54 +01:00
Ludovic Courtès 1e9698344d
guix system: List old generations from newest to oldest.
Previously 'guix system switch-generation' or 'delete-generations' would
yield a GRUB menu where entries for old generations were in the wrong
order (i.e., oldest first.)

* guix/scripts/system.scm (reinstall-bootloader): Reverse the list
returned by 'generation-numbers'.
2019-02-13 16:19:54 +01:00
Ludovic Courtès 499b166d1c
guix system: Add 'delete-generations'.
* guix/scripts/package.scm (delete-matching-generations): Export.
* guix/scripts/system.scm (show-help): Add 'delete-generations'.
(process-command): Honor it.
(guix-system): Support it.
* doc/guix.texi (Invoking guix system): Document it.
2019-02-13 16:19:54 +01:00
Ricardo Wurmus 7b9b203a52
gnu: Add burp.
* gnu/packages/backup.scm (burp): New variable.
2019-02-13 15:22:59 +01:00
Ricardo Wurmus 0df201c05f
gnu: Add emacs-ledger-mode.
* gnu/packages/finance.scm (emacs-ledger-mode): New variable.
2019-02-13 10:55:49 +01:00
Ricardo Wurmus f90ed0284a
gnu: ledger: Update to 3.1.2 [security fixes].
* gnu/packages/finance.scm (ledger): Update to 3.1.2.
[arguments]: Remove #:modules; remove obsolete configure flags; remove make
flags; remove phase "boost-compat"; remove custom check phase; remove
"relocate-elisp" phase; disable broken test in "check-setup" phase.
[native-inputs]: Remove emacs-minimal.
[license]: Remove gpl2+.
* gnu/packages/patches/ledger-revert-boost-python-fix.patch: Remove patch.
* gnu/local.mk (dist_patch_DATA): Remove it.
2019-02-13 10:55:49 +01:00
Björn Höfling f6974e15cf
gnu: Fix aegisub.
* gnu/packages/video.scm (aegisub)[arguments]: Add phase to fix
boost headers.
2019-02-13 10:23:22 +01:00
Christopher Baines f6f4370fee
gnu: gnome: Include system-config-printer.
This package enables some functionality for printers within the
gnome-control-center as well as providing a standalone configuration tool.

At the moment, due to the lack of PackageKit support within Guix, the
gnome-control-center can't help users through the process of installing this,
so make it a default package.

* gnu/packages/gnome.scm (gnome)[propagated-inputs]: Add system-config-printer.
2019-02-13 08:19:05 +00:00
Christopher Baines dd1fcddcb8
gnu: Add system-config-printer.
* gnu/packages/gnome.scm (system-config-printer): New variable.
2019-02-13 08:19:05 +00:00
Christopher Baines dd6f309ded
gnu: Add python-pycups.
* gnu/packages/cups.scm (python-pycups): New variable.
2019-02-13 08:19:05 +00:00
Christopher Baines 96c7b4c846
services: Add cups-pk-helper.
This service integrates cups and PolicyKit. The gnome-control-center printing
section uses this functionality.

* gnu/sevices/desktop.scm (cups-pk-helper-service-type): New variable.
(%desktop-services): Add the cups-pk-helper service.
2019-02-13 08:19:05 +00:00
Christopher Baines 12255b3dce
gnu: Add cups-pk-helper.
* gnu/packages/cups.scm (cups-pk-helper): New variable.
2019-02-13 08:18:59 +00:00
Christopher Baines e7e259a503
gnu: red-eclipse: Fix build.
Add a patch from the upstream repository [1] that resolves some errors that
prevent the package from building [2].

1: https://github.com/red-eclipse/base/commit/b16b4963c1ad81bb9ef784bc49
2: error: ‘____gammal_r_finite’ was not declared in this scope

* gnu/packages/games.scm (red-eclipse)[source] Add patch.
* gnu/packages/patches/red-eclipse-remove-gamma-name-hack.patch: New file
* gnu/local.mk (dist_patch_DATA): Add new patch.
2019-02-13 08:03:00 +00:00
Chris Marusich b0a372637f
doc: Clarify channel file structure.
Suggested by Hartmut Goebel <h.goebel@crazy-compilers.com>.

* doc/guix.texi (Channels): Clarify how a channel author should structure the
files in their channel's Git repository.
2019-02-12 21:39:38 -08:00
Tobias Geerinckx-Rice cf0913f64e
gnu: bs1770gain: Update to 0.5.2.
* gnu/packages/audio.scm (bs1770gain): Update to 0.5.2.
2019-02-13 05:42:59 +01:00
Tobias Geerinckx-Rice 0e249bdecf
gnu: libdmtx: Edit description.
* gnu/package/aidc.scm (libdmtx)[description]: Replace redundant OS
information with fascinating barcode facts.
2019-02-13 05:42:58 +01:00
Tobias Geerinckx-Rice b9a807b7b8
gnu: libdmtx: Update to 0.7.5.
* gnu/packages/aidc.scm (libdmtx): Update to 0.7.5.
[source]: Update.  Use GIT-FETCH and GIT-FILE-NAME.
[arguments]: Disable broken test suite.
[native-inputs]: Add autoconf, automake, and libtool.
[home-page]: Update.
2019-02-13 05:42:58 +01:00
Tobias Geerinckx-Rice de8022ec3d
gnu: s6: Update to 2.7.2.2.
* gnu/packages/skarnet.scm (s6): Update to 2.7.2.2.
2019-02-13 05:42:58 +01:00
Tobias Geerinckx-Rice d2c8a891ee
gnu: dwm: Update to 6.2.
* gnu/packages/suckless.scm (dwm): Update to 6.2.
2019-02-13 05:42:58 +01:00
Tobias Geerinckx-Rice aaa2add871
gnu: coq-mathcomp: Don't use unstable tarball.
* gnu/packages/coq.scm (coq-mathcomp)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-13 05:42:58 +01:00
Tobias Geerinckx-Rice 8b9b2210dc
gnu: coq: Don't use unstable tarball.
* gnu/packages/coq.scm (coq)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
[arguments]: Add 'make-git-checkout-writable' phase.
2019-02-13 05:42:57 +01:00
Tobias Geerinckx-Rice 90325cf7e2
gnu: console-setup: Update to 1.189.
* gnu/packages/xorg.scm (console-setup): Update to 1.189.
2019-02-13 05:42:57 +01:00
Tobias Geerinckx-Rice ffbaa2564e
gnu: knot: Update to 2.7.6.
* gnu/packages/dns.scm (knot): Update to 2.7.6.
2019-02-13 05:42:57 +01:00
Tobias Geerinckx-Rice db3f5226ac
gnu: knot: Don't use NAME in source URI.
* gnu/packages/dns.scm (knot)[source]: Hard-code NAME.
2019-02-13 05:42:57 +01:00
Tobias Geerinckx-Rice 0a87bc9c2b
gnu: nsd: Update to 4.1.26.
* gnu/packages/dns.scm (nsd): Update to 4.1.26.
2019-02-13 05:42:56 +01:00
Tobias Geerinckx-Rice 92a3336205
gnu: yadifa: Update to 2.3.9.
* gnu/packages/dns.scm (yadifa): Update to 2.3.9.
2019-02-13 05:42:56 +01:00
Tobias Geerinckx-Rice fe99b7f77e
gnu: yadifa: Don't use NAME in source URI.
* gnu/packages/dns.scm (yadifa)[source]: Hard-code NAME.
2019-02-13 05:42:56 +01:00
Tobias Geerinckx-Rice 4b76868188
gnu: gparted: Update to 0.33.0.
* gnu/packages/disk.scm (gparted): Update to 0.33.0.
2019-02-13 05:42:56 +01:00
Tobias Geerinckx-Rice acc6eb89c8
gnu: duperemove: Don't use unstable tarball.
* gnu/packages/disk.scm (duperemove)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-13 05:42:56 +01:00
Tobias Geerinckx-Rice 3d2386563d
gnu: duperemove: Update to 0.11.1.
* gnu/packages/disk.scm (duperemove): Update to 0.11.1.
2019-02-13 05:42:55 +01:00
Leo Famulari 344e0f5621
gnu: netpbm: Fix a hard-coded path.
Fixes <https://bugs.gnu.org/24735>.

* gnu/packages/netpbm.scm (netpbm)[arguments]: Patch a path in the 'configure'
phase.
2019-02-12 23:23:19 -05:00
Paul Garlick c7cf43ddec
gnu: emacs-biblio: Update to 0.2.
* gnu/packages/emacs-xyz.scm (emacs-biblio): Update to 0.2.

Signed-off-by: Leo Famulari <leo@famulari.name>
2019-02-12 20:33:26 -05:00