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

Versions Packages Information History Badges Report

Information for apron

Versions

  • 0.9.15

Package names

  • apron

Repositories

Categories

  • Unspecified

Licenses

  • LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception AND GPL-2.0-or-later AND GPL-3.0-only

Summaries

  • Numerical abstract domain library

All package recipes

Build logs