../ virtuoso-opensource-7.2.10.tar.gz 25-Jun-2023 20:53 121992638 virtuoso-opensource-7.2.4.2.tar.gz 04-May-2016 14:30 120144913 virtuoso-opensource-7.2.5.tar.gz 20-Aug-2018 23:02 120299376 virtuoso-opensource-7.2.6.tar.gz 28-Jun-2021 13:07 120996795 virtuoso-opensource-7.2.7.tar.gz 13-Jul-2022 19:38 121027377 virtuoso-opensource-7.2.8.tar.gz 24-Oct-2022 14:37 121482823 virtuoso-opensource-7.2.9.tar.gz 06-Mar-2023 15:01 121894413