debathena-alpine-config
debathena-firefox-wrapper
debathena-lert
debathena-lert-server
debathena-login-graphical
debathena-reactivate
debathena-tex-bin
debathena-tex-config
debathena-workstation
debathena-xdsc