Ẹya 8.12 ti tu silẹ (ẹya kekere tuntun ti o wa ni akoko kikọ awọn iroyin jẹ 8.12.1) ti ilana imudani ibaraenisepo ohun elo Coq (akukọ).
Coq pẹlu Gallina (adie) ede siseto iru ti o gbẹkẹle, eyiti o da lori imọ-jinlẹ ti iṣelọpọ iṣiro.
Eto Coq n gba ọ laaye lati ṣe agbekalẹ awọn ẹri imọ-jinlẹ ti kọnputa mejeeji ati awọn eto pẹlu ẹri ti ibamu si sipesifikesonu.
Ẹya tuntun ti ni ilọsiwaju ilọsiwaju ile-ikawe boṣewa ati iwe, ati tun ṣe nọmba awọn aṣiṣe.
orisun: linux.org.ru