Tarballs for copilot-theorem

The following versions of copilot-theorem exist: