kevin set package gappa summary to Prove programs with floating-point or fixed-point arithmetic To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/gappa