Commit Graph

34160 Commits

Author SHA1 Message Date
Christopher Baines b9511aa93b
gnu: Add ruby-maruku.
Required for ruby-minitest-reporters.

* gnu/packages/ruby.scm (ruby-maruku): New variable.
2019-02-14 21:37:58 +00:00
Christopher Baines 5d8fe6de26
gnu: Add ruby-rubocop.
* gnu/packages/ruby.scm (ruby-rubocop): New variable.
2019-02-14 21:37:58 +00:00
Christopher Baines 433f10b5d2
gnu: Add ruby-jaro-winkler.
Required for ruby-rubocop.

* gnu/packages/ruby.scm (ruby-jaro-winkler): New variable.
2019-02-14 21:37:58 +00:00
Christopher Baines d8c189ed56
gnu: Add ruby-unicode-display-width.
Required for ruby-rubocop.

* gnu/packages/ruby.scm (ruby-unicode-display-width): New variable.
2019-02-14 21:37:57 +00:00
Christopher Baines 5499345749
gnu: Add ruby-parser.
Required for ruby-rubocop.

* gnu/packages/ruby.scm (ruby-parser): New variable.
2019-02-14 21:37:57 +00:00
Christopher Baines bef3506eb8
gnu: Add ruby-cliver.
Requirement of ruby-parser.

* gnu/packages/ruby.scm (ruby-cliver): New variable.
2019-02-14 21:37:57 +00:00
Christopher Baines d5840f7725
gnu: Add ruby-ast.
Required for ruby-parser.

* gnu/packages/ruby.scm (ruby-ast): New variable.
2019-02-14 21:37:57 +00:00
Christopher Baines 65f6588904
gnu: Add ruby-bacon-colored-output.
This is a requirement of ruby-ast.

* gnu/packages/ruby.scm (ruby-bacon-colored-output): New variable.
2019-02-14 21:37:57 +00:00
Christopher Baines 79193b2097
gnu: Add ruby-rest-client.
Required for ruby-ast.

* gnu/packages/ruby.scm (ruby-rest-client): New variable.
2019-02-14 21:37:57 +00:00
Christopher Baines 8c7ae38402
gnu: Add ruby-webmock.
Required by ruby-rest-client. Also at version ~> 2, so don't package 3 just
yet.

* gnu/packages/ruby.scm (ruby-webmock): New variable.
2019-02-14 21:37:57 +00:00
Christopher Baines 6f8bf0ebe3
gnu: Add ruby-crack.
Required for ruby-webmock.

* gnu/packages/ruby.scm (ruby-crack): New variable.
2019-02-14 21:37:56 +00:00
Christopher Baines 2178143651
gnu: Add ruby-hashdiff.
Required for ruby-webmock.

* gnu/packages/ruby.scm (ruby-hashdiff): New variable.
2019-02-14 21:37:56 +00:00
Christopher Baines 6dc2131076
gnu: Add ruby-racc.
Required for ruby-ast and ruby-parser.

* gnu/packages/ruby.scm (ruby-racc): New variable.
2019-02-14 21:37:56 +00:00
Christopher Baines 6edabcb20c
gnu: Add ruby-rainbow.
Required for ruby-rubocop.

* gnu/packages/ruby.scm (ruby-rainbow): New variable.
2019-02-14 21:37:56 +00:00
Christopher Baines e42e3bfa47
gnu: Add ruby-powerpack.
Required for ruby-rubocop.

* gnu/packages/ruby.scm (ruby-powerpack): New variable.
2019-02-14 21:37:56 +00:00
Christopher Baines 3306f02a74
gnu: ruby-rspec-its: Enable tests.
Enable the tests, and also tweak the synopsis and description to hopefully be
more descriptive.

* gnu/packages/ruby.scm (ruby-rspec-its)[source]: Change to GitHub, and add
patch.
[arguments]: Enabled tests, set the #:test-target to "spec", and add the
phases to tweak the Gemfile and rspec-its.gemspec.
[native-inputs]: Add bundler, ruby-cucumber and ruby-aruba.
[synopsis,description]: Make more explicit and descriptive.
2019-02-14 21:37:56 +00:00
Christopher Baines 15b16c2c46
gnu: Add ruby-cucumber and ruby-aruba.
These packages are mutually dependant, so I've put them in one commit.

* gnu/packages/ruby.scm (ruby-aruba, ruby-aruba-without-tests, ruby-cucumber,
ruby-cucumber-without-tests): New variables.
2019-02-14 21:37:56 +00:00
Christopher Baines aada5f6f3b
gnu: ruby-gherkin: Update to 5.1.0.
Don't upgrade all the way to version 6, as version 5 is needed for Cucumber 3.

* gnu/packages/ruby.scm (ruby-gherkin): Update to 5.1.0.
[description]: Use @file{ }.
2019-02-14 21:37:55 +00:00
Christopher Baines 5cd047e807
gnu: ruby-cucumber-core: Update to 3.2.1.
Just update to major version 3, as version 4 of Cucumber hasn't been released
yet.

* gnu/packages/ruby.scm (ruby-cucumber-core): Update to 3.2.1.
[propagated-inputs]: Add ruby-backports, ruby-gherkin and
ruby-cucumber-tag-expressions.
2019-02-14 21:37:55 +00:00
Christopher Baines 0ce8f3445d
gnu: Add ruby-cucumber-tag-expressions.
* gnu/packages/ruby.scm (ruby-cucumber-tag-expressions): New variable.
2019-02-14 21:37:55 +00:00
Christopher Baines f7e9b2f375
gnu: Add ruby-backports.
* gnu/packages/ruby.scm (ruby-backports): New variable.
2019-02-14 21:37:55 +00:00
Christopher Baines 1d1d20b02b
gnu: Add ruby-mspec.
* gnu/packages/ruby.scm (ruby-mspec): New variable.
2019-02-14 21:37:55 +00:00
Christopher Baines fb1a8954af
gnu: Add ruby-cucumber-expressions.
* gnu/packages/ruby.scm (ruby-cucumber-expressions): New variable.
2019-02-14 21:37:55 +00:00
Christopher Baines 5437c7416c
gnu: Add ruby-fuubar.
* gnu/packages/ruby.scm (ruby-fuubar): New variable.
2019-02-14 21:37:55 +00:00
Christopher Baines 158a9253da
gnu: Add ruby-progressbar.
* gnu/packages/ruby.scm (ruby-progressbar): New variable.
2019-02-14 21:37:54 +00:00
Christopher Baines 2ed201c112
gnu: Add ruby-contracts.
* gnu/packages/ruby.scm (ruby-contracts): New variable.
2019-02-14 21:37:54 +00:00
Christopher Baines ce872770f6
gnu: Add ruby-cucumber-wire.
Package version 0.0.1 initially, as this is what's needed by Cucumber 3, and
Cucumber 4 hasn't been released yet.

* gnu/packages/ruby.scm (ruby-cucumber-wire): New variable.
2019-02-14 21:37:54 +00:00
Christopher Baines 28cf8dab3e
gnu: ruby-safe-yaml: Add missing require 'time'.
Patch ruby-safe-yaml to fix an issue that would lead to an error like this:
uninitialized constant SafeYAML::Parse::Date::DateTime

It's been reported upstream [1], and this patch was taken from the upstream Git
repository.

1: https://github.com/dtao/safe_yaml/issues/80

* gnu/packages/ruby.scm (ruby-safe-yaml)[source]: Switch to the Git repository
so that applying patches works and add a patch.
[arguments]: Enable tests and add a phase to set the TZ environment variable,
as one of the tests depends on a certian timezone.
* gnu/packages/patches/ruby-safe-yaml-add-require-time.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add new patch file.
2019-02-14 21:37:52 +00:00
Leo Famulari 17098a493b
gnu: bs1770gain: Adjust the usage text and home-page.
* gnu/packages/audio.scm (bs1770gain)[source]: Add snippet.
[home-page]: Update.
2019-02-14 16:07:28 -05:00
Leo Famulari 42ce9187fb
gnu: PostgreSQL 9.6: Update to 9.6.12.
* gnu/packages/databases.scm (postgresql-9.6): Update to 9.6.12.
2019-02-14 14:46:32 -05:00
Leo Famulari 2950d33c6c
gnu: PostgreSQL: Update to 10.7.
* gnu/packages/databases.scm (postgresql): Update to 10.7.
2019-02-14 14:46:28 -05:00
Tobias Geerinckx-Rice fafbeb38d4
gnu: perl-datetime-format-strptime: Update to 1.76.
* gnu/packages/perl.scm (perl-datetime-format-strptime): Update to 1.76.
2019-02-14 18:16:07 +01:00
Tobias Geerinckx-Rice 5e98d75902
gnu: perl-datetime-locale: Update to 1.23.
* gnu/packages/perl.scm (perl-datetime-locale): Update to 1.23.
[native-inputs]: Add perl-ipc-system-simple.
2019-02-14 18:16:07 +01:00
Tobias Geerinckx-Rice 66377fdced
gnu: tmuxifier: Don't use unstable tarball.
* gnu/packages/tmux.scm (tmuxifier)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-02-14 18:16:07 +01:00
Tobias Geerinckx-Rice 7bef8fd5cf
gnu: tmux-themepack: Use GIT-* helpers, not NAME.
* gnu/packages/tmux.scm (tmux-themepack)[version]: Use GIT-VERSION.
[source]: Hard-code NAME.  Use GIT-FILE-NAME.
2019-02-14 18:16:07 +01:00
Tobias Geerinckx-Rice 6d1f47082d
gnu: Remove python2-pyquery.
* gnu/packages/python-xyz.scm (python2-pyquery): Remove broken package.
2019-02-14 18:16:06 +01:00
Tobias Geerinckx-Rice ce50403fc2
gnu: python-paste: Update to 3.0.6.
* gnu/packages/python-web.scm (python-paste): Update to 3.0.6.
2019-02-14 18:16:06 +01:00
Tobias Geerinckx-Rice 0596a7af5f
gnu: python-webtest: Update to 2.0.33.
* gnu/packages/python-web.scm (python-webtest, python2-webtest):
Update to 2.0.33.  Remove outdated comments.
2019-02-14 18:16:06 +01:00
Tobias Geerinckx-Rice c381d4bb15
gnu: python-sockjs-tornado: Update to 1.0.6.
* gnu/packages/python-web.scm (python-sockjs-tornado)
(python2-sockjs-tornado): Update to 1.0.6.
2019-02-14 18:16:06 +01:00
Tobias Geerinckx-Rice cc314e9027
gnu: python-scrypt: Update to 0.8.7.
* gnu/packages/python-crypto.scm (python-scrypt): Update to 0.8.7.
2019-02-14 18:16:06 +01:00
Tobias Geerinckx-Rice ceb5b11bd1
gnu: python-base58: Update to 1.0.3.
* gnu/packages/python-crypto.scm (python-base58): Update to 1.0.3.
2019-02-14 18:16:05 +01:00
Ivan Petkov 0e9811f4a3
gnu: rust: Update to 1.29.2.
* gnu/packages/rust.scm (rust): Rename to...
(rust-1.28): ...this.
(rust): New variable.
2019-02-14 17:56:30 +01:00
Pierre Neidhardt 03d3732023
gnu: conkey: Update to 1.11.2.
* gnu/packages/conky.scm (conkey): Update to 1.11.2.
2019-02-14 17:00:58 +01:00
Efraim Flashner a49bbaa6cd
gnu: inxi-minimal: Update inputs.
* gnu/packages/admin.scm (inxi-minimal)[inputs]: Replace bash with
bash-minimal, add procps.
(inxi)[inputs]: Inherit procps from inxi-minimal.
2019-02-14 14:05:36 +02:00
Eric Bavier 40b114c0bb
gnu: dealii: Upgrade to 9.0.1.
* gnu/packages/patches/dealii-mpi-deprecations.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/maths.scm (dealii)[source]: Upgrade to 9.0.1.  Use patch.
[arguments]: Use new MPI configuration flags.
2019-02-13 22:39:12 -06:00
Tobias Geerinckx-Rice ff7559d65c
gnu: libdvdread: Update to 6.0.1.
* gnu/packages/video.scm (libdvdread): Update to 6.0.1.
2019-02-14 03:50:19 +01:00
Tobias Geerinckx-Rice 767b44270d
gnu: libdvdread: Don't use NAME in source URI.
* gnu/packages/video.scm (libdvdread)[source]: Hard-code NAME.
2019-02-14 03:50:18 +01:00
Tobias Geerinckx-Rice 11bf3b2f03
gnu: hiawatha: Update to 10.8.4.
* gnu/packages/web.scm (hiawatha): Update to 10.8.4.
2019-02-14 03:50:18 +01:00
Tobias Geerinckx-Rice 811b907da7
gnu: rclone: Update to 1.46.
* gnu/packages/sync.scm (rclone): Update to 1.46.
[arguments]: Remove 'set-home-directory' phase.
2019-02-14 03:50:18 +01:00
Tobias Geerinckx-Rice d100b9bd97
gnu: rrdtool: Update to 1.7.1.
* gnu/packages/rrdtool.scm (rrdtool): Update to 1.7.1.
2019-02-14 03:50:18 +01:00
Tobias Geerinckx-Rice d71184f8a5
gnu: perl-xml-libxml: Update to 2.0134.
* gnu/packages/xml.scm (perl-xml-libxml): Update to 2.0134.
2019-02-14 03:50:17 +01:00
Vagrant Cascadian 706460a357
gnu: Add trydiffoscope.
* gnu/packages/package-management (trydiffoscope): New variable.

Signed-off-by: Leo Famulari <leo@famulari.name>
2019-02-13 18:52:19 -05:00
Andreas Enge 69c15ad8a4
gnu: qtbase: Restore compilation on linux kernels < 4.11.
Fixes <https://bugs.gnu.org/34431>.

* gnu/packages/patches/qtbase-old-kernel.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register patch.
* gnu/packages/qt.scm (qtbase): Add patch.
2019-02-14 00:30:27 +01:00
Marius Bakke 58c6a93d9d
gnu: doxygen: Update home page and source URI.
* gnu/packages/documentation.scm (doxygen)[home-page]: Change to
<http://www.doxygen.nl>.
[source](uri): Likewise.  Add sourceforge mirror.
2019-02-14 00:13:07 +01:00
Marius Bakke fe04988953
gnu: xapian: Update to 1.4.10.
* gnu/packages/search.scm (xapian, python-xapian-bindings): Update to 1.4.10.
2019-02-14 00:13:07 +01:00
Marius Bakke ce53048fb8
gnu: msmtp: Update to 1.8.3.
* gnu/packages/mail.scm (msmtp): Update to 1.8.3.
2019-02-14 00:13:07 +01:00
Marius Bakke 5bd0813a0f
gnu: GnuPG: Update to 2.2.13.
* gnu/packages/gnupg.scm (gnupg): Update to 2.2.13.
2019-02-14 00:13:07 +01:00
Marius Bakke 0988191f33
gnu: libassuan: Update to 2.5.3.
* gnu/packages/gnupg.scm (libassuan): Update to 2.5.3.
2019-02-14 00:13:06 +01:00
Marius Bakke cb94d5e161
gnu: Varnish: Update to 6.1.1.
* gnu/packages/web.scm (varnish): Update to 6.1.1.
[native-inputs]: Add PYTHON-SPHINX.
[arguments]: Add "--disable-pcre-jit" to #:configure-flags.
2019-02-14 00:13:06 +01:00
Marius Bakke 95991e4517
gnu: Open vSwitch: Update to 2.10.1.
* gnu/packages/networking.scm (openvswitch): Update to 2.10.1.
2019-02-14 00:13:06 +01:00
Marius Bakke 9047603c2e
gnu: KDE Plasma: Remove unused properties.
* gnu/packages/kde-plasma.scm (kdecoration, kscreenlocker)[properties]: Remove.
2019-02-14 00:13:06 +01:00
Marius Bakke d3065c8785
gnu: Restore copyright header.
This was mistakenly removed in bec2a2e10e.

* gnu/packages/kde.scm: Restore copyright header.
2019-02-14 00:13:06 +01:00
Leo Famulari ed362d1652
gnu: certbot, python-acme: Update to 0.31.0.
* gnu/packages/tls.scm (certbot, python-acme): Update to 0.31.0.
2019-02-13 17:04:50 -05:00
Gabriel Hondet 8213db7c95
gnu: Add ocaml-timed.
* gnu/packages/ocaml.scm (ocaml-timed): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-02-13 22:50:59 +01:00
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
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
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
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