Я хочу поэкспериментировать с проектом с открытым исходным кодом Frama-C и хотел бы установить инструменты на машине с Windows 7. Похоже, что в предыдущих версиях были бинарные установщики для Windows, но в последней версии Nitrogen доступен только исходный код. На веб-сайте проекта frama-c.com говорится, что они должны быть доступны, но я не вижу их на странице загрузки. Доступны ли бинарные установщики где-нибудь еще?