gnu: Remove python-pafy.

* gnu/packages/python-xyz.scm (python-pafy): Delete variable.

Change-Id: Idade1f5610c7b9c29f1da047c2879bbef69d2d3e

gnu: Add mlir-19.

* gnu/packages/llvm.scm (mlir-19): New variable.

Change-Id: I9808f173aa437ea98e61b37a22406a3679db60ff

gnu: kde-games: Update to 25.08.1.

* gnu/packages/kde-games.scm (kde-games): Update to 25.08.1.

Change-Id: I145ef54f79d07f5a2adb3f26dee44a3739dda41d

gnu: knights: Update to 25.08.1.

* gnu/packages/kde-games.scm (knights): Update to 25.08.1.

Change-Id: I3a03930555f63a94ea534df8f1c83b4464a041bc

gnu: kjumpingcube: Update to 25.08.1.

* gnu/packages/kde-games.scm (kjumpingcube): Update to 25.08.1.

Change-Id: I9eb007bc88780f28b81e7c35020f8f8a6e99b059

gnu: ksquares: Update to 25.08.1.

* gnu/packages/kde-games.scm (ksquares): Update to 25.08.1.

Change-Id: Ibe30619c25bac45127a854c90e61ecb9cd004700

gnu: kreversi: Update to 25.08.1.

* gnu/packages/kde-games.scm (kreversi): Update to 25.08.1.

Change-Id: I6368b1b88eb0cb1e059608c3c396b153a0245a72

gnu: knavalbattle: Update to 25.08.1.

* gnu/packages/kde-games.scm (knavalbattle): Update to 25.08.1.

Change-Id: I7a509124ce7b8fa55004c7f459c9990a8b8c67d4

gnu: kollision: Update to 25.08.1.

* gnu/packages/kde-games.scm (kollision): Update to 25.08.1.

Change-Id: I4bb9be7a1c790253da4b14595cd3e58375c211b1

gnu: ksnakeduel: Update to 25.08.1.

* gnu/packages/kde-games.scm (ksnakeduel): Update to 25.08.1.

Change-Id: I246badafb9778f96a9f6c22ed76b29d59c1090c0

gnu: killbots: Update to 25.08.1.

* gnu/packages/kde-games.scm (killbots): Update to 25.08.1.

Change-Id: Ia7a64b078d28741576fd6eeda1a2bd533962883a

gnu: bovo: Update to 25.08.1.

* gnu/packages/kde-games.scm (bovo): Update to 25.08.1.

Change-Id: Ia063f3f0e880fab72c0f9e62a849f95690f4de69

gnu: kspaceduel: Update to 25.08.1.

* gnu/packages/kde-games.scm (kspaceduel): Update to 25.08.1.

Change-Id: Ieddafd38d1d31d4f6ac913037a45762b1dad31b5

gnu: kapman: Update to 25.08.1.

* gnu/packages/kde-games.scm (kapman): Update to 25.08.1.

Change-Id: I4c7fca9a01a7c167655ef0c16970c43a22ccf2d1

gnu: lskat: Update to 25.08.1.

* gnu/packages/kde-games.scm (lskat): Update to 25.08.1.

Change-Id: Iedd5dad9b3b4c28939eed2c34e4e7eb48ab51b8a

gnu: kubrick: Update to 25.08.1.

* gnu/packages/kde-games.scm (kubrick): Update to 25.08.1.

Change-Id: I2cf983bb66f15d1f65e88f06aa3de36aa083ddd9

gnu: kigo: Update to 25.08.1.

* gnu/packages/kde-games.scm (kigo): Update to 25.08.1.

Change-Id: I1607dce52e068b2e065f5099a7e857b611e2ac82

gnu: kiriki: Update to 25.08.1.

* gnu/packages/kde-games.scm (kiriki): Update to 25.08.1.

Change-Id: I005355512048213ccb33bda8072620c8f88060ea

gnu: palapeli: Update to 25.08.1.

* gnu/packages/kde-games.scm (palapeli): Update to 25.08.1.

Change-Id: I687650495f20205a2471be4b8ed521cf88b8e196

gnu: ksirk: Update to 25.08.1.

* gnu/packages/kde-games.scm (ksirk): Update to 25.08.1.

Change-Id: I5e5f4e244985254c7d642de07e685e6628b87716