On Wed, 19 Mar 2003, Dmitry V. Levin wrote: > Пакет coq версии 7.3.1-alt1 имеет неудовлетворенные > зависимости: > Требует: ocaml (= 3.06) > Требует: camlp4 (= 3.06) В Incoming-е лежат coq 7.4, why-1.05, ocaml-3.06s-alt4 (необходим для сбора coq).