gnu: php: Update to 8.3.29.

* gnu/packages/php.scm (php): Update to 8.3.29.

Change-Id: Ie2a7c96338eb7aae3bf8ddf617329e2a4b5fa4c7
Signed-off-by: Andreas Enge <andreas@enge.fr>

gnu: Add emacs-org-supertag.

* gnu/packages/emacs-xyz.scm (emacs-org-supertag): New variable.

Change-Id: Ib84cf6ccfceeda8891fa3049f61341385d69fc5d

gnu: emacs-restclient: Update to 1.0-0.1800a4e.

* gnu/packages/emacs-xyz.scm (emacs-restclient): Update to 1.0-0.1800a4e.
[arguments]: Disable #:tests?.
[source]: Switch url.
[home-page]: Update.

Merges guix/guix#5375

Change-Id: Ic9438ba548ac7610b291e01b2e76c6fb9295fa08
Modified-by: Cayetano Santos <csantosb@inventati.org>
Signed-off-by: Cayetano Santos <csantosb@inventati.org>

gnu: Remove usage of (gnu packages idris).

Followup of 6bd2a77b7bc78ed9d827ef9b078ce10745636232.

* gnu/packages/emacs-xyz.scm: Remove usage of (gnu packages idris) module.

Change-Id: I0a72e9358ccfd08d36c1f1b455c22f75e0c63558

gnu: Remove guile-fibers-1.0.

* gnu/packages/guile-xyz.scm (guile-fibers-1.0): Delete variable.
* gnu/packages/patches/guile-fibers-destroy-peer-schedulers.patch:
Remove file.
* gnu/local.mk (dist_patch_DATA): Unregister patch.

Change-Id: If2a85f8f2c19dc038691ffd6435dd60068b2898d

gnu: Remove akonadi-notes.

* gnu/packages/kde-pim.scm (akonadi-notes): Delete variable.

Change-Id: I4cc4f4afbbcddd51a851c71d7d1504ab54e41bfe

gnu: Remove easytag.

* gnu/packages/music.scm (easytag): Delete variable.

Fixes: guix/guix#4661
Change-Id: I13760304df8a7ddd97f8a21a1dba08bcd3c43742

gnu: Remove t4k-common.

* gnu/packages/education.scm (t4k-common): Delete variable.

Fixes: guix/guix#4629
Change-Id: Ibb5b39e62c1fe05c99d8e89809bb689cdc30c179

gnu: Remove tuxmath.

* gnu/packages/education.scm (tuxmath): Delete variable.

Change-Id: I47873f6194842d8e180471265e03e9c3e93e9932

gnu: Remove florence.

* gnu/packages/accessibility.scm (florence): Delete variable.

Fixes: guix/guix#4625
Change-Id: I1e79557a4c8b469e0f4f3f5033d11dd7db0f7f8b

gnu: Remove khmer.

* gnu/packages/bioinformatics.scm (khmer): Delete variable.

Fixes: guix/guix#4489
Change-Id: I88aca5be768690b236343f2e959ecb71b4a5c984

gnu: Remove python-pyqtwebengine.

* gnu/packages/qt.scm (python-pyqtwebengine): Delete variable.

Fixes: guix/guix#4379
Fixes: guix/guix#2915
Change-Id: I186ccb8d009b9796eb11e2d28988d9b852a1be31

gnu: python-pyqtwebengine-6: Disinherit from python-pyqtwebengine.

* gnu/packages/qt.scm (python-pyqtwebengine-6): Do not inherit. Copy
missing fields.

Change-Id: I01876c38c8416f61d428fe325f1839a4ffa44960

gnu: Remove anki.

* gnu/packages/education.scm (anki): Delete variable.
* gnu/packages/patches/anki-mpv-args.patch: Remove file.
* gnu/local.mk (dist_patch_DATA): Unregister patch.

Fixes: guix/guix#2813
Change-Id: I0bb41d47cd73aca424c0f41ca777a166e6f43da7

gnu: Remove openshot.

* gnu/packages/video.scm (openshot): Delete variable.

Change-Id: I07f2495992c083e6760237d8ea26eb1725b5022d

gnu: Remove (gnu packages idris).

* gnu/packages/idris.scm: Remove file.
* gnu/local.mk (GNU_SYSTEM_MODULES), po/packages/POTFILES.in: Unregister file.

Fixes: guix/guix#4391
Change-Id: I03f0eb98456fd478c91cfe45c2334fb947a33229

gnu: Remove idris.

* gnu/packages/idris.scm (idris): Delete variable.
* gnu/packages/patches/idris-test-ffi008.patch: Remove file.
* gnu/local.mk (dist_patch_DATA): Unregister patch.

Change-Id: I7a825e25e4c2e8c67b8395ef1efd80bfa40d5fc4

gnu: Remove idris-lightyear.

* gnu/packages/idris.scm (idris-lightyear): Delete variable.

Change-Id: I8acc2c3c6dd02edff64968f2d676dea5ed481319

gnu: Remove idris-lens.

* gnu/packages/idris.scm (idris-lens): Delete variable.

Change-Id: I53eb1218e44a5cd595d63cf4813d0b43e3ecf7c3

gnu: Remove idris-bifunctors.

* gnu/packages/idris.scm (idris-bifunctors): Delete variable.

Change-Id: I66b439c010bc96dc8634bf5872dc0babffb39631