Merge branch master into core-updates

2026-05-28 20:12:11 +02:00 · 2022-06-22 18:48:00 +02:00
parent a589049e14 2af3f5eef0
commit 8655a71445
182 changed files with 9506 additions and 3827 deletions
@@ -530,7 +530,7 @@ used by RDS Spy, and audio files containing @dfn{multiplex} signals (MPX).")
       ("python-scipy" ,python-scipy)
       ("python-sphinx" ,python-sphinx)
       ("texlive" ,(texlive-updmap.cfg (list texlive-amsfonts
-                                             texlive-latex-amsmath
+                                             texlive-amsmath
                                             ;; TODO: Add newunicodechar.
                                             texlive-graphics)))
       ("xorg-server" ,xorg-server-for-tests)))
@@ -738,7 +738,7 @@ to access different radio hardware.")
       ("libtool" ,libtool)
       ("pkg-config" ,pkg-config)
       ("texlive" ,(texlive-updmap.cfg (list texlive-amsfonts
-                                        texlive-latex-amsmath
+                                        texlive-amsmath
                                        ;; TODO: Add newunicodechar.
                                        texlive-graphics)))))
    (inputs