Installed files by: emu8051 (228.0K)

-rw-r--r--    1 root     root           105 Jul 14 22:35 /etc/xdg/emu8051/default/emu8051.conf
-rwxr-xr-x    1 root     root         85104 Jul 14 22:35 /usr/bin/emu8051-cli
-rwxr-xr-x    1 root     root        102360 Jul 14 22:35 /usr/bin/emu8051-gtk
-rw-r--r--    1 root     root           136 Jul 14 22:35 /usr/share/applications/emu8051.desktop