proverif

Описание:	Cryptographic protocol verifier in the formal model
Лицензия:	GPL-2+
Домашняя страница:	https://bblanche.gitlabpages.inria.fr/proverif/ https://gitlab.inria.fr/bblanche/proverif/
Расположение:	Portage

Легенда:

+ - стабильный
~ - нестабильный
M - замаскированный

		alpha	amd64	arm	hppa	ia64	m68k	mips	ppc	ppc64	s390	sh	sparc	x86
9999	diff	-	-	-	-	-	-	-	-	-	-	-	-	-
2.04		-	~	-	-	-	-	-	-	-	-	-	-	~

USE флаги

emacs - Add support for GNU Emacs
ocamlopt - Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)

Экспортировать в Atom

О проекте
История
Снимки экрана
Логотипы и темы
Видео
Обзоры
Примеры внедрений
Обратная связь
Помощь проекту

Разработка
Новости
Calculate Linux

Продукты
Calculate Directory Server
Calculate Linux Desktop
Calculate Linux Scratch
Поддержка
Загрузить
Лицензия

Документация
Установка Calculate
Работа с Calculate
Работа с Portage
Утилиты Calculate
Настройка сервера
Настройка рабочей станции
Настройка сети в Calculate
Настройка оборудования
Справка
Руководства

Сервисы
Обзор
Новые пакеты
Обзор безопасности GLSA
Обзор пакетов
USE флаги
Все лицензии

OpenID Сервер
Pastebin

Сообщество
Поддержка
Блоги
Форум
Wiki
Багтрекер

География пользователей
ВКонтакте
Telegram
Facebook
Google+
Одноклассники
Twitter

Обнаружив неточность в тексте, выделите её и нажмите Ctrl+Enter.