Index of /gnuinos/pool/main/d/dxmenu
Name Last modified Size
Parent Directory -
dxmenu_0.2.5-1+4gnuinos1_i386.deb 2024-05-11 18:59 18K
dxmenu_0.2.5.orig.tar.gz 2024-05-11 18:59 25K
dxmenu_0.2.5-1+4gnuinos1.dsc 2024-05-11 18:59 1.8K
dxmenu_0.2.5-1+5gnuinos1.dsc 2024-05-11 18:59 1.8K
dxmenu_0.2.5-1+4gnuinos1_amd64.deb 2024-05-11 18:59 19K
dxmenu_0.2.5-1+5gnuinos1_amd64.deb 2024-05-11 18:59 19K
dxmenu_0.2.5-1+5gnuinos1_i386.deb 2024-05-11 18:59 18K
dxmenu_0.2.5-1+4gnuinos1.debian.tar.xz 2024-05-11 18:59 1.9K
dxmenu_0.2.5-1+5gnuinos1.debian.tar.xz 2024-05-11 18:59 2.1K