Через
30
секунд можно скачать файл
coqc
Возможно будет интересно:
cboc
vcoc
coqq
cocj
