Added the version in the setting page
Fix errors
Version is now handled by dpkg
Fix Provider is not subscriptable
Add comment
Merge remote-tracking branch 'origin/dev' into debian