chiark / gitweb /
use 1.0.0 for release version to make pypi happy