gnu: guile-wisp: Update to 1.0.6.

* gnu/packages/guile-xyz.scm (guile-wisp): Update to 1.0.6.

gnu: guile-wisp: Remove trailing #T.

* gnu/packages/guile-xyz.scm (guile-wisp)[arguments]: Remove trailing #T.

gnu: emacs-fountain-mode: Update to 3.6.0.

* gnu/packages/emacs-xyz.scm (emacs-fountain-mode): Update to 3.6.0.

gnu: emacs-tramp: Update to 2.5.1.5.

* gnu/packages/emacs-xyz.scm (emacs-tramp): Update to 2.5.1.5.

gnu: Add r-rbokeh.

* gnu/packages/cran.scm (r-rbokeh): New variable.

Co-authored-by: Ricardo Wurmus <rekado@elephly.net>

gnu: Add r-gistr.

* gnu/packages/cran.scm (r-gistr): New variable.

gnu: r-crul: Update to 1.2.0.

* gnu/packages/cran.scm (r-crul): Update to 1.2.0.

Signed-off-by: Ricardo Wurmus <rekado@elephly.net>

gnu: Add python-woob.

* gnu/packages/python-web.scm (python-woob): New variable.

gnu: Add python-xunitparser.

* gnu/packages/python-check.scm (python-xunitparser): New variable.

gnu: r-umi4cpackage: Embed references to perl and bowtie2.

* gnu/packages/bioinformatics.scm (r-umi4cpackage)[arguments]: Add build
phases to patch calls of bowtie2 and perl.
[inputs]: Add perl and bowtie.
[synopsis]: Remove trailing period.

gnu: coq: Update to 8.14.0.

* gnu/packages/coq.scm (coq): Update to 8.14.0.
(coq-bignums): Update to 8.14.0.
(coq-equations): Update to 1.3.
* gnu/packages/patches/coq-fix-envvars.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.

gnu: proof-general: Update to latest commit.

* gnu/packages/coq.scm (proof-general): Update to latest commit.
[license]: Change to glp3+.

gnu: coq-semantics: Update to 8.14.0.

* gnu/packages/coq.scm (coq-semantics): Update to 8.14.0.

services: Accept <inferior-package>s in lieu of <package>s.

* gnu/services/authentication.scm (fprintd-configuration)
(nslcd-configuration): Substitute file-like objects for package ones.
* gnu/services/cgit.scm (cgit-configuration, opaque-cgit-configuration):
Likewise.
* gnu/services/cups.scm (package-list?, cups-configuration): Likewise.
* gnu/services/dns.scm (verify-knot-configuration)
(ddclient-configuration): Likewise.
* gnu/services/docker.scm (docker-configuration): Likewise.
* gnu/services/file-sharing.scm (transmission-daemon-configuration): Likewise.
* gnu/services/getmail.scm (getmail-configuration): Likewise.
* gnu/services/mail.scm (dovecot-configuration)
(opaque-dovecot-configuration): Likewise.
* gnu/services/messaging.scm (prosody-configuration)
(opaque-prosody-configuration): Likewise.
* gnu/services/monitoring.scm (zabbix-server-configuration)
(zabbix-agent-configuration): Likewise.
* gnu/services/networking.scm (opendht-configuration): Likewise.
* gnu/services/pm.scm (tlp-configuration): Likewise.
* gnu/services/telephony.scm (jami-configuration): Likewise.
* gnu/services/virtualization.scm (libvirt-configuration)
(qemu-guest-agent-configuration): Likewise.
* gnu/services/vpn.scm (openvpn-client-configuration): Likewise.

gnu: squashfs-tools: Update to 4.5.

* gnu/packages/compression.scm (squashfs-tools): Update to 4.5.

gnu: toybox: Update to 0.8.5.

* gnu/packages/busybox.scm (toybox): Update to 0.8.5.
[arguments]: Add a new 'fix-or-skip-broken-tests phase.
Don't explicitly return #t from the other phases.

gnu: indi: Update to 1.9.3.

* gnu/packages/astronomy.scm (indi): Update to 1.9.3.

gnu: simdjson: Update to 1.0.2.

* gnu/packages/cpp.scm (simdjson): Update to 1.0.2.

gnu: diffoscope: Update to 194.

* gnu/packages/diffoscope.scm (diffoscope): Update to 194.

gnu: lttoolbox: Omit static libraries.

* gnu/packages/dictionaries.scm (lttoolbox)[arguments]:
Add "--disable-static" to #:configure-flags.