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.

gnu: lttoolbox: Update to 3.5.4.

* gnu/packages/dictionaries.scm (lttoolbox): Update to 3.5.4.

gnu: quazip@1: Update to 1.2.

* gnu/packages/compression.scm (quazip): Update to 1.2.

gnu: thefuck: Update to 3.31.

* gnu/packages/admin.scm (thefuck): Update to 3.31.
[arguments]: Don't call buggy settings.init() during test suite.

gnu: xa: Update to 2.3.12.

* gnu/packages/assembly.scm (xa): Update to 2.3.12.

gnu: rxvt-unicode: Update to 9.30.

* gnu/packages/xdisorg.scm (rxvt-unicode): Update to 9.30.