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

Versions Packages Information History Related Badges Report

Information for gappa-prover

Versions

  • 1.8.3

Package names

  • gappa

Repositories

Categories

  • Unspecified

Licenses

  • GPL-3.0-only OR CECILL-2.1

Summaries

  • Prove programs with floating-point or fixed-point arithmetic

All package recipes

Build logs