gnu: gnuradio: Use patched texlive-amsfonts.

* gnu/packages/radio.scm (gnuradio)[native-inputs]: Use
texlive-amsfonts/patched.
This commit is contained in:
Ricardo Wurmus 2021-06-05 09:23:30 +02:00
parent 41bbbd53d2
commit 232bdb900d
No known key found for this signature in database
GPG key ID: 197A5888235FACAC

View file

@ -350,7 +350,7 @@ (define-public gnuradio
("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)))