Generated automatically by 'make darcs-dist'