···1818 cargoHash = "sha256-mqhbIv5r/5EDRDfP2BymXv9se2NCKxzRGqNqwqbD9A0=";
1919 # binary has a different name, bundled tests won't work
2020 doCheck = false;
2121+ postInstall = ''
2222+ ${args.postInstall or ""}
2323+2424+ # Remove the broken `nextonic` symlink
2525+ # It points to `tectonic`, which doesn't exist because the exe is
2626+ # renamed to texpresso-tonic
2727+ rm $out/bin/nextonic
2828+ '';
2129 meta.mainProgram = "texpresso-tonic";
2230 }
2331 );