/debian-ports/pool-x32/main/u/ukui-menu/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
ukui-menu_3.0.3-1+b2_x32.buildinfo13.1 KiB06.05.2024 18:03
ukui-menu_3.0.3-1+b2_x32.deb508.8 KiB06.05.2024 18:03
ukui-menu-dbgsym_3.0.3-1+b2_x32.deb8.6 MiB06.05.2024 18:03