Пакет: why3-examples (0.88.3-1ubuntu4)

Ссылки для why3-examples

Ресурсы Trisquel:

• Install using apturl
• Entry at directory.fsf.org
• Сообщения об ошибках
• Changelog
• Файл авторских прав

Исходный код why3:

• [why3_0.88.3-1ubuntu4.dsc]
• [why3_0.88.3.orig.tar.gz]
• [why3_0.88.3-1ubuntu4.debian.tar.xz]

Сопровождающий:

• Ubuntu Developers (Почтовый архив)

Original Maintainers:

• Debian OCaml Maintainers (Почтовый архив)
• Ralf Treinen

Внешние ресурсы:

• Сайт [why3.lri.fr]

Подобные пакеты:

• why3-doc-html
• why3-doc-pdf
• why3-coq
• libwhy3-ocaml-dev
• why
• libz3-4
• libz3-dev
• ats-lang-anairiats-examples
• z3
• berkeley-abc
• postgresql-10-amcheck

Другие пакеты, относящиеся к why3-examples

• dep: tex-common (>= 6)

  common infrastructure for building and installing TeX

• rec: why3

  Software verification platform

Загрузка why3-examples