* installing *source* package 'ROI.plugin.highs' ...
** package 'ROI.plugin.highs' successfully unpacked and MD5 sums checked
** using staged installation
** R
** byte-compile and prepare package for lazy loading
** help
*** installing help indices
** building package indices
** testing if installed package can be loaded from temporary location
** testing if installed package can be loaded from final location
** testing if installed package keeps a record of temporary installation path
* MD5 sums
packaged installation of 'ROI.plugin.highs' as ROI.plugin.highs_1.0-3.zip
* DONE (ROI.plugin.highs)