http://dump.bitcheese.net/files/apuhyxa/14583235344861.webm типичный рюсский патриот

У меня 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 производится только в толстой кишке, где процессы всасывания питательных веществ практически не происходят. Соответственно, весь произведенный здесь витамин покидает организм с каловыми массами. Именно поэтому человеку необходимо постоянно получать цианокобаламин извне. // пруф, или надо есть свое говно