chiark / gitweb /
debian/control: Fix up some Python version numbers.