У меня why3 не компилируется:
```
Ocamlopt lib/ocaml/why3__BigInt_compat.ml
File "lib/ocaml/why3__BigInt_compat.ml", line 2, characters 8-17:
Error: Unbound module Big_int_Z
make: *** [lib/ocaml/why3__BigInt_compat.cmx] Error 2
```
как это починить?
УНЯНЯ. У нас есть немножечко инфы
об этом пользователе. Мы знаем, что он понаписал,
порекомендовал и даже и то и другое сразу.
А ещё у нас есть RSS.
Цоперайт © 2010-2016 @stiletto.