let inserterlinks1="10.32614/CRAN.package.patchDVI . https://github.com/dmurdoch/patchDVI/issues . https://github.com/dmurdoch/patchDVI . patchDVI results .  patchDVI.pdf  . The patchDVI package . Using Sweave and patchDVI with Japanese text .  patchDVI_1.11.3.tar.gz  . patchDVI_1.11.3.zip . patchDVI_1.11.3.zip . patchDVI_1.11.3.zip . patchDVI_1.11.3.tgz . patchDVI_1.11.3.tgz . patchDVI_1.11.3.tgz . patchDVI_1.11.3.tgz .  patchDVI archive  . https://CRAN.R-project.org/package=patchDVI . "; var inner3235232 = document.getElementById("inserterlinks1") inner3235232.innerHTML = inserterlinks1;