We are sorry but we do not distribute ctcoq anymore.

Our new development is called pcoq it is now distributed without a licence and you can get it by following the link.