Package: gappa

Upstream info
Summary: Prove programs with floating-point or fixed-point arithmetic
Description:
URL: https://gappa.gitlabpages.inria.fr/
Owner: jjames (jjames)
Bugzilla: Active bugs
Pagure: https://src.fedoraproject.org/rpms/gappa
Koschei: https://koschei.fedoraproject.org/package/gappa
Packages available in Fedora Repositories
Branch Repository Version-Release Owner Co-maintainers
devel 1.4.2-3.fc40
f40 base 1.4.2-3.fc40
f39 updates 1.4.2-1.fc39
  base 1.4.1-3.fc39
f38 base 1.4.1-2.fc38
f37 base 1.4.1-1.fc37
f36 base 1.4.0-2.fc36
f35 base 1.3.5-9.fc35
f34 base 1.3.5-8.fc34
f33 base 1.3.5-6.fc33
f32 base 1.3.5-5.fc32
f31 base 1.3.5-2.fc31
f30 base 1.3.3-2.fc30
f29 base 1.3.2-3.fc29
f28 base 1.3.2-1.fc28
f27 base 1.3.1-5.fc27
f26 base 1.3.1-2.fc26
f25 updates 1.3.1-1.fc25
  base 1.3.0-1.fc25
f24 updates 1.3.0-1.fc24
  base 1.2.1-1.fc24
f23 base 1.2.0-4.fc23
f22 updates 1.2.0-1.fc22
  base 1.1.2-2.fc22
f21 base 1.1.2-1.fc21
f20 updates 1.1.2-1.fc20
  base 1.0.0-3.fc20
f19 updates 0.18.0-1.fc19
  base 0.17.1-1.fc19
f18 updates 0.16.6-1.fc18
  base 0.16.1-2.fc18
f17 base 0.16.0-1.fc17
f16 base 0.15.1-1.fc16
f15 updates 0.15.1-1.fc15
  base 0.14.1-1.fc15
f14 updates 0.15.1-1.fc14
  base 0.13.0-4.fc14
F-13 updates 0.14.0-1.fc13