Сравнение coq-8.17.1 с coq-8.18.0

/usr/portage/sci-mathematics/coq/coq-8.18.0.ebuild 2023-10-09 14:52:35.108368492 +0300
17 17

  
18 18
LICENSE="LGPL-2.1"
19 19
SLOT="0/${PV}"
20
KEYWORDS="amd64 ~x86"
20
KEYWORDS="~amd64 ~x86"
21 21
IUSE="debug doc gui +ocamlopt test"
22 22
RESTRICT="!test? ( test )"
23 23

  
Спасибо!