Tarballs for genvalidity-property

The following versions of genvalidity-property exist: