Updated by Denis Efremov over 6 years ago
ocamlscript не указан как зависимость при сборке jessie2, сборки why3, но используется в нём. Из-за этого сборка падает, если пакет не установлен в opam.
Back