Index of /pub/gwdg/ubuntu/22.04/pool/universe/libd/libdbusmenu/

../
gir1.2-dbusmenu-gtk-0.4_16.04.1+18.10.20180917-..> 24-Mar-2022 16:57                3096
libdbusmenu-gtk-dev_16.04.1+18.10.20180917-0ubu..> 24-Mar-2022 16:57               40670
libdbusmenu-gtk4_16.04.1+18.10.20180917-0ubuntu..> 24-Mar-2022 16:57               30880
libdbusmenu-tools_16.04.1+18.10.20180917-0ubunt..> 24-Mar-2022 16:57               14018