Miguel, I'm not sure how Ubuntu/Debian handles this, but 0.5.0
is
unreleased as yet. You may want to tag that as 0.5.0alpha or somesuch to
avoid confusion.
0.5.0 final is currently scheduled for release on Aug 24th.
You are completely right!.
I should have used the name you propose. Sorry.
Deleted the PPA Packages and uploaded as 0.5.0alpha.
M*