HTTPS SSH

Coverage.py

Development of coverage.py has mooved to GitHub.