У меня 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
```
как это починить?
Лях, а ты не хочешь для своих мюслей как-нибудь сам получать витамин В12 чтоб не покупать его? Смотри че нашел:
http://www.vitaminius.ru/produkty/v-kakih-produktah-soderzhitsja-vitamin-b12.php
>У плотоядных же животных, и человека в том числе, витамин В12 производится только в толстой кишке, где процессы всасывания питательных веществ практически не происходят. Соответственно, весь произведенный здесь витамин покидает организм с каловыми массами. Именно поэтому человеку необходимо постоянно получать цианокобаламин извне.
// пруф, или надо есть свое говно
https://i.imgur.com/VroUtPl.jpghttps://i.imgur.com/CYHupR8.jpg вот какой у меня офигенный стул, за которым я сижу. Не то что всякая хрень которая через полгода разваливается. Дополнительно пропатчена досками и металлической хренью. Можно еще накатить патчей, но он уже достаточно стабильно держит нагрузку.