gnu: gnuradio: Use patched texlive-amsfonts.
authorRicardo Wurmus <rekado@elephly.net>
Sat, 5 Jun 2021 07:23:30 +0000 (09:23 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Sat, 5 Jun 2021 07:26:14 +0000 (09:26 +0200)
* gnu/packages/radio.scm (gnuradio)[native-inputs]: Use
texlive-amsfonts/patched.

gnu/packages/radio.scm

index 6a9d2db..cafc642 100644 (file)
@@ -350,7 +350,7 @@ used by RDS Spy, and audio files containing @dfn{multiplex} signals (MPX).")
        ("python-pyzmq" ,python-pyzmq)
        ("python-scipy" ,python-scipy)
        ("python-sphinx" ,python-sphinx)
-       ("texlive" ,(texlive-union (list texlive-amsfonts
+       ("texlive" ,(texlive-union (list texlive-amsfonts/patched
                                         texlive-latex-amsmath
                                         ;; TODO: Add newunicodechar.
                                         texlive-latex-graphics)))