summaryrefslogtreecommitdiff
path: root/gnu/packages/patches/agda-stdlib-use-runhaskell.patch
diff options
context:
space:
mode:
authorNicolas Goaziou <mail@nicolasgoaziou.fr>2023-05-19 16:32:19 +0200
committerNicolas Goaziou <mail@nicolasgoaziou.fr>2023-07-18 18:12:39 +0200
commitc3e3f03dafb1460b8693fc6c114365f376289197 (patch)
tree8ce70a05f5e9b92c0cd709c4f5c2711bf7879785 /gnu/packages/patches/agda-stdlib-use-runhaskell.patch
parent31cd9a50402ac64e83fce35a7c789613d6ad156a (diff)
gnu: texlive-cm: Fix build.
* gnu/packages/tex.scm (texlive-cm)[arguments]<#:modules>: Remove keyword. <#:phases>: Remove unnecessary phases. Add a phase to build ".pk" files.
Diffstat (limited to 'gnu/packages/patches/agda-stdlib-use-runhaskell.patch')
0 files changed, 0 insertions, 0 deletions