gnu: highs: Update to 1.14.0.

* gnu/packages/maths.scm (highs): Update to 1.14.0.
[description]: End with a period.

Change-Id: Ibb20b6bfa553be855c96a4960c36fd2c42f462e0

gnu/packages/maths.scm

@@ -11458,7 +11458,7 @@ expression parsing and evaluation.")
 (define-public highs
   (package
     (name "highs")
-    (version "1.10.0")
+    (version "1.14.0")
     (source
      (origin
        (method git-fetch)
@@ -11467,14 +11467,14 @@ expression parsing and evaluation.")
              (commit (string-append "v" version))))
        (file-name (git-file-name name version))
        (sha256
-        (base32 "19q99nkk6r6k91gxp8a5rjil1399qyfgfc6jqlg2gd82vpcw8c8b"))))
+        (base32 "16y664rzvxd8785195k0srz0842zvl0zdkf6qi103p503pj81afh"))))
     (build-system cmake-build-system)
     (home-page "https://highs.dev")
     (synopsis "High performance software for linear optimization")
     (description
      "HiGHS provides serial and parallel solvers for large-scale sparse
 linear programming (LP), mixed-integer programming (MIP), and quadratic
-programming (QP) models")
+programming (QP) models.")
     (license license:expat)))
 
 (define-public trilinos-zoltan

gnu/packages/wm.scm

@@ -3757,14 +3757,15 @@ control module for StumpWM.")
      (origin
        (method git-fetch)
        (uri (git-reference
-             (url "https://github.com/Junker/stumpwm-acpi-backlight")
+              (url "https://github.com/Junker/stumpwm-acpi-backlight")
-             (commit version)))
+              (commit version)))
        (file-name (git-file-name name version))
        (sha256
         (base32 "1dih6fzy77f3r60fwhsk0dw3qksadzj991k1i28z0da64fpshm0a"))))
     (arguments
-     '(#:asd-systems '("acpi-backlight")
+     (list
-       #:tests? #f)) ; There are no tests.
+      #:asd-systems ''("acpi-backlight")
+      #:tests? #f)) ; There are no tests.
     (build-system asdf-build-system/sbcl)
     (inputs (list stumpwm))
     (home-page "https://github.com/Junker/stumpwm-acpi-backlight")
@@ -3790,6 +3791,40 @@ control module for StumpWM.")
 mouse control mode for StumpWM.")
     (license (list license:gpl2+ license:gpl3+ license:bsd-2))))
 
+(define-public sbcl-stumpwm-bluetooth
+  (package
+    (name "sbcl-stumpwm-bluetooth")
+    (version "0.1.2")
+    (source
+     (origin
+       (method git-fetch)
+       (uri (git-reference
+              (url "https://github.com/Junker/stumpwm-bluetooth")
+              (commit version)))
+       (file-name (git-file-name name version))
+       (sha256
+        (base32 "08a028r83kd66a3smiyzi9hadk3w89qdhha7hsd9ffh3gdk5s99a"))))
+    (arguments
+     (list
+      #:asd-systems ''("bluetooth")
+      #:tests? #f ; There are no tests.
+      #:phases
+      #~(modify-phases %standard-phases
+          (add-after 'unpack 'fix-bin-path
+            (lambda* (#:key inputs #:allow-other-keys)
+              (substitute* "bluetooth.lisp"
+                (("/usr/bin/bluetoothctl")
+                 (search-input-file inputs "bin/bluetoothctl"))))))))
+    (build-system asdf-build-system/sbcl)
+    (inputs (list stumpwm
+                  bluez
+                  sbcl-bordeaux-threads))
+    (home-page "https://github.com/Junker/stumpwm-bluetooth")
+    (synopsis "StumpWM module for controlling Bluetooth devices")
+    (description
+     "StumpWM module for controlling Bluetooth devices via bluetoothctl.")
+    (license license:gpl3)))
+
 (define-public sbcl-stumpwm-stump-nm
   (package
     (inherit stumpwm-contrib)
@@ -4103,6 +4138,41 @@ layouts in StumpWM.")
 one in Emacs.")
     (license license:gpl3+)))
 
+(define-public sbcl-stumpwm-wpctl
+  (package
+    (name "sbcl-stumpwm-wpctl")
+    (version "0.2.2")
+    (source
+     (origin
+       (method git-fetch)
+       (uri (git-reference
+              (url "https://github.com/Junker/stumpwm-wpctl")
+              (commit version)))
+       (file-name (git-file-name name version))
+       (sha256
+        (base32 "1c3i5z1cmhd96xnlsb40ykgk60cyignl1m4f61i9k9vq05n83pdj"))))
+    (arguments
+     (list #:asd-systems ''("wpctl")
+           #:tests? #f ; There are no tests.
+           #:phases
+           #~(modify-phases %standard-phases
+               (add-after 'unpack 'fix-wpctl-path
+                 (lambda* (#:key inputs #:allow-other-keys)
+                   (substitute* "wpctl.lisp"
+                     (("/usr/bin/wpctl")
+                      (search-input-file inputs "bin/wpctl"))))))))
+    (build-system asdf-build-system/sbcl)
+    (inputs
+     (list stumpwm
+           wireplumber-minimal
+           sbcl-parse-float
+           sbcl-bordeaux-threads))
+    (home-page "https://github.com/Junker/stumpwm-wpctl")
+    (synopsis "StumpWM PipeWire module")
+    (description
+     "PipeWire (WirePlumber) volume and microphone control module for StumpWM.")
+    (license license:gpl3)))
+
 (define-public sbcl-stumpwm-screenshot
   (package
     (inherit stumpwm-contrib)