Ua hoʻokuʻu ʻia ka mana 8.12 (ʻo ka mana liʻiliʻi hou loa i ka manawa e kākau ai i ka nūhou ʻo 8.12.1) o ka mea hana manaʻo hoʻopaʻapaʻa pili ʻo Coq (cockerel).
Loaʻa i ka Coq ka ʻōlelo hoʻolālā ʻano ʻano hilinaʻi Gallina (moa), kahi i hoʻokumu ʻia ma ke kumumanaʻo o ka construct calculus.
Hāʻawi ka ʻōnaehana Coq iā ʻoe e hoʻomohala i nā hōʻoia theorem hiki ke hōʻoia ʻia i ka lolouila a me nā papahana me ka hōʻoia o ka conformance i ka kikoʻī.
Ua hoʻomaikaʻi nui ka mana hou i ka waihona maʻamau a me nā palapala, a ua hoʻoponopono pū kekahi i nā hewa.
Source: linux.org.ru