Index of /pub/gwdg/ubuntu/22.04/pool/main/m/mir/

../
libmiral-dev_3.4.0.2.7.0-0ubuntu3_amd64.deb        03-Mar-2022 23:03               23418
libmiral4_3.4.0.2.7.0-0ubuntu3_amd64.deb           03-Mar-2022 23:03              212820
libmircommon-dev_2.7.0-0ubuntu3_amd64.deb          03-Mar-2022 23:03               17890
libmircommon8_2.7.0-0ubuntu3_amd64.deb             03-Mar-2022 23:03              112148
libmircookie-dev_2.7.0-0ubuntu3_amd64.deb          03-Mar-2022 23:03                5692
libmircookie2_2.7.0-0ubuntu3_amd64.deb             03-Mar-2022 23:03               19454
libmircore-dev_2.7.0-0ubuntu3_amd64.deb            03-Mar-2022 23:03               25564
libmircore1_2.7.0-0ubuntu3_amd64.deb               03-Mar-2022 23:03               20298
libmiroil-dev_2.7.0-0ubuntu3_amd64.deb             03-Mar-2022 23:03               10884
libmiroil1_2.7.0-0ubuntu3_amd64.deb                03-Mar-2022 23:03               35316
libmirplatform-dev_2.7.0-0ubuntu3_amd64.deb        03-Mar-2022 23:03               27968
libmirplatform23_2.7.0-0ubuntu3_amd64.deb          03-Mar-2022 23:03              105496
libmirrenderer-dev_2.7.0-0ubuntu3_amd64.deb        03-Mar-2022 23:03                9570
libmirserver-dev_2.7.0-0ubuntu3_amd64.deb          03-Mar-2022 23:03                4810
libmirserver57_2.7.0-0ubuntu3_amd64.deb            03-Mar-2022 23:03              666958
libmirwayland-bin_2.7.0-0ubuntu3_amd64.deb         03-Mar-2022 23:03               80000
libmirwayland-dev_2.7.0-0ubuntu3_amd64.deb         03-Mar-2022 23:03                6226
libmirwayland3_2.7.0-0ubuntu3_amd64.deb            03-Mar-2022 23:03              108144
mir-doc_2.7.0-0ubuntu3_all.deb                     03-Mar-2022 23:03              764202
mir-renderer-gl-dev_2.7.0-0ubuntu3_amd64.deb       03-Mar-2022 23:03                9788
mirtest-dev_2.7.0-0ubuntu3_amd64.deb               03-Mar-2022 23:03              234594