Index of /gnuinos/pool/main/d/dxmenu
Name Last modified Size
![[PARENTDIR]](/__ovh_icons/back.gif)
Parent Directory -
![[ ]](/__ovh_icons/unknown.gif)
dxmenu_0.2.5-1+4gnuinos1.debian.tar.xz 2024-05-11 18:59 1.9K
![[TXT]](/__ovh_icons/text.gif)
dxmenu_0.2.5-1+4gnuinos1.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+4gnuinos1_i386.deb 2024-05-11 18:59 18K
dxmenu_0.2.5-1+5gnuinos1.debian.tar.xz 2024-05-11 18:59 2.1K
dxmenu_0.2.5-1+5gnuinos1.dsc 2024-05-11 18:59 1.8K
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
![[ ]](/__ovh_icons/compressed.gif)
dxmenu_0.2.5.orig.tar.gz 2024-05-11 18:59 25K