let inserterlinks1="10.32614/CRAN.package.ROI.plugin.deoptim . https://gitlab.com/roigrp/solver/ROI.plugin.deoptim . ROI.plugin.deoptim results .  ROI.plugin.deoptim.pdf  .  ROI.plugin.deoptim_1.0-2.tar.gz  . ROI.plugin.deoptim_1.0-2.zip . ROI.plugin.deoptim_1.0-2.zip . ROI.plugin.deoptim_1.0-2.zip . ROI.plugin.deoptim_1.0-2.tgz . ROI.plugin.deoptim_1.0-2.tgz . ROI.plugin.deoptim_1.0-2.tgz . ROI.plugin.deoptim_1.0-2.tgz . ROI.plugin.deoptim_1.0-2.tgz . ROI.plugin.deoptim_1.0-2.tgz .  ROI.plugin.deoptim archive  . https://CRAN.R-project.org/package=ROI.plugin.deoptim . "; var inner3235232 = document.getElementById("inserterlinks1") inner3235232.innerHTML = inserterlinks1;