chiark / gitweb /
Use `auto-version' for discovering the package version.