Release 0.13.1: set __version_details__ to "repository"