let inserterlinks1="10.32614/CRAN.package.patchSynctex . https://github.com/EmmanuelCharpentier/patchSynctex . patchSynctex results .  patchSynctex.pdf  .  patchSynctex_0.1-4.tar.gz  . patchSynctex_0.1-4.zip . patchSynctex_0.1-4.zip . patchSynctex_0.1-4.zip . patchSynctex_0.1-4.tgz . patchSynctex_0.1-4.tgz . patchSynctex_0.1-4.tgz . patchSynctex_0.1-4.tgz .  patchSynctex archive  . https://CRAN.R-project.org/package=patchSynctex . "; var inner3235232 = document.getElementById("inserterlinks1") inner3235232.innerHTML = inserterlinks1;