c636397
4972c53
85f3fd5
1 2 3
4
5 6 7 8 9 10 11 12
final: prev: { wmenu = prev.wmenu.overrideAttrs (finalAttrs: prevAttrs: { pname = prevAttrs.pname + "-sinan"; postPatch = '' sed 's/monospace 10/monospace 13/g' -i main.c ''; } ); }