Index of /src/contrib/00Archive/ROI.plugin.deoptim/


../
ROI.plugin.deoptim_0.3-0.tar.gz                    23-Oct-2017 11:05                5112
ROI.plugin.deoptim_0.3-2.tar.gz                    24-Jan-2019 08:40                6506
ROI.plugin.deoptim_1.0-0.tar.gz                    29-Aug-2020 20:10                6373
ROI.plugin.deoptim_1.0-1.tar.gz                    05-Jul-2023 08:23                6364