they have after all released variants: for mac and linux and soon will release version for windows, date release http://eidoo-wallet.io/ perhaps not assigned.