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.

gnu: ethtool: Update to 5.15.

* gnu/packages/networking.scm (ethtool): Update to 5.15.

gnu: btrfs-progs: Update to 5.15.1.

* gnu/packages/linux.scm (btrfs-progs): Update to 5.15.1.

gnu: powerstat: Update to 0.02.27.

* gnu/packages/linux.scm (powerstat): Update to 0.02.27.

gnu: powerstat: Fetch sources from Git.

* gnu/packages/linux.scm (powerstat)[source]: Use GIT-FETCH and
GIT-FILE-NAME.

gnu: usbutils: Update to 014.

* gnu/packages/linux.scm (usbutils): Update to 014.
[arguments]: Remove obsolete autogen.sh substitution.
Don't explicitly return #t from phases.

gnu: xfsprogs: Omit static library.

* gnu/packages/linux.scm (xfsprogs)[arguments]:
Add "--disable-static" to #:configure-flags.
(xfsprogs-static)[arguments]: Undo it.