Ubuntu

gappa binary package in Ubuntu Lunar armhf

  1. Lunar (23.04)
  2. armhf
  3. gappa

 Tool to help verify and prove properties on numerical
 programs dealing with either fixed-point or floating-point
 arithmetic.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2022-10-27 17:20:10 UTC Published Ubuntu Lunar armhf release universe math Optional 1.4.1-1
  • Published
  • Copied from ubuntu kinetic-proposed armhf in Primary Archive for Ubuntu

Source package