Package: apron

Upstream info
Summary: Numerical abstract domain library
Description:
URL: https://antoinemine.github.io/Apron/doc/
Owner: jjames (jjames)
Bugzilla: Active bugs
Pagure: https://src.fedoraproject.org/rpms/apron
Koschei: https://koschei.fedoraproject.org/package/apron
Packages available in Fedora Repositories
Branch Repository Version-Release Owner Co-maintainers
devel 0.9.15-11.fc44
f43 base 0.9.15-10.fc43
f42 base 0.9.15-6.fc42
f41 updates 0.9.15-5.fc41
  base 0.9.15-4.fc41
f40 testing 0.9.14-7.fc40
  base 0.9.14-7.fc40
f39 base 0.9.14-1.fc39
f38 base 0.9.13-17.fc38
f37 base 0.9.13-13.fc37
f36 base 0.9.13-10.fc36
f35 base 0.9.13-5.fc35
f34 base 0.9.13-3.fc34
f33 testing 0.9.13-1.fc33
  updates 0.9.13-2.fc33
  base 0.9.13-1.fc33
f32 testing 0.9.12-3.fc32.1
  base 0.9.12-3.fc32.1
f31 base 0.9.11-27.1104.svn20180624.fc31
f30 base 0.9.11-23.1104.svn20180624.fc30
f29 base 0.9.11-22.1104.svn20180624.fc29
f28 base 0.9.11-14.1097.svn20160801.fc28
f27 base 0.9.11-11.1097.svn20160801.fc27
f26 base 0.9.11-6.1097.svn20160801.fc26
f25 updates 0.9.11-6.1097.svn20160801.fc25
  base 0.9.11-1.1096.svn20160531.fc25
f24 updates 0.9.11-1.1096.svn20160531.fc24
  base 0.9.10-35.1091.svn20160125.fc24
f23 base 0.9.10-29.fc23
f22 base 0.9.10-24.fc22
f21 base 0.9.10-19.fc21
f20 base 0.9.10-12.fc20
f19 base 0.9.10-11.fc19
f18 updates 0.9.10-9.fc18
  base 0.9.10-8.fc18
f17 base 0.9.10-5.fc17
f16 updates 0.9.10-4.fc16