repology.org domain is back up, repology.amdmi3.ru will be discontinued on October 9th

Versions Packages Information History Badges Report

Information for why3

Versions

  • 1.8.2

Package names

  • why3

Repositories

Categories

  • Unspecified

Licenses

  • LGPL-2.1-only WITH OCaml-LGPL-linking-exception

Summaries

  • Software verification platform

All package recipes

Build logs