Package: frama-c

Upstream info
Summary: Framework for source code analysis of C software
Description:
URL: https://frama-c.com/
Owner: jjames (jjames)
Bugzilla: Active bugs
Pagure: https://src.fedoraproject.org/rpms/frama-c
Koschei: https://koschei.fedoraproject.org/package/frama-c
Packages available in Fedora Repositories
Branch Repository Version-Release Owner Co-maintainers
devel 30.0-9.fc43
f42 base 30.0-5.fc42
f41 updates 30.0-2.fc41
  base 29.0-8.fc41
f40 updates 29.0-1.fc40
  base 28.1-1.fc40
f39 updates 28.1-2.fc39
  base 27.1-4.fc39
f38 updates 26.1-2.fc38
  base 26.1-1.fc38
f37 updates 26.1-1.fc37
  base 25.0-4.fc37
f36 updates 24.0-7.fc36
  base 24.0-6.fc36
f35 updates 24.0-1.fc35
  base 23.1-1.fc35
f34 updates 23.1-1.fc34
  base 22.0-8.fc34
f33 updates 22.0-4.fc33
  base 21.1-6.fc33
f32 updates 21.1-1.fc32
  base 20.0-1.fc32
f31 updates 19.1-4.fc31
  base 19.1-1.fc31
f30 base 17.0-2.fc30
f29 base 16.0-2.fc29
f28 base 16.0-1.fc28
f27 base 15.0-3.fc27
f26 base 1.14-1.fc26
f25 updates 1.14-1.fc25
  base 1.13-3.fc25
f24 updates 1.13-3.fc24
  base 1.12-4.fc24
f23 updates 1.11-9.fc23
  base 1.11-7.fc23
f22 updates 1.10-24.fc22
  base 1.10-22.fc22
f21 base 1.10-20.fc21
f20 updates 1.10-5.fc20
  base 1.9-6.fc20
f19 updates 1.9-4.fc19
  base 1.9-3.fc19
f18 updates 1.8-5.fc18
  base 1.7-9.fc18
f17 base 1.7-3.fc17
f16 updates 1.7-1.fc16
  base 1.6-1.fc16
f15 updates 1.6-1.fc15
  base 1.5-3.fc15
f14 base 1.5-1.fc14
F-13 updates 1.5-1.fc13
F-12 updates 1.4-6.fc12