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