Updates

Update Age Submitter Release Karma Request Status
frama-c-19.0-2.fc31 23 days jjames F31 0 stable
frama-c-19.0-1.fc31 23 days jjames F31 0 stable
flocq-2.6.0-1.fc27 frama-c-15.0-3.fc27 gappalib-coq-1.3.2-10.fc27 why-... 2 years jjames F27 0 stable
frama-c-15.0-2.fc27 2 years jjames F27 0 stable
apron-0.9.11-6.1097.svn20160801.fc25 frama-c-1.14-1.fc25 ocaml-mlgmpid... 2 years jjames F25 0 stable
apron-0.9.11-6.1097.svn20160801.fc26 flocq-2.5.2-6.fc26 frama-c-1.14-1... 2 years jjames F26 0 stable
coq-8.6-1.fc25 flocq-2.5.2-4.fc25 frama-c-1.13-7.fc25 gappalib-coq-1.3... 2 years jjames F25 0 stable
alt-ergo-1.30-1.fc25 frama-c-1.13-6.fc25 gappa-1.3.1-1.fc25 gappalib-c... 2 years jjames F25 0 stable
coq-8.5pl3-1.fc25 flocq-2.5.2-2.fc25 frama-c-1.13-4.fc25 gappalib-coq-... 2 years jjames F25 0 stable
frama-c-1.13-3.fc24 why-2.35-18.fc24 why3-0.87.2-1.fc24 2 years jjames F24 0 stable
frama-c-1.13-3.fc25 why-2.35-18.fc25 why3-0.87.2-1.fc25 2 years jjames F25 0 stable
coq-8.5pl2-1.fc24 flocq-2.5.1-3.fc24 frama-c-1.13-2.fc24 gappalib-coq-... 3 years jjames F24 0 stable
frama-c-1.13-1.fc24 why-2.35-15.fc24 why3-0.87.1-1.fc24 3 years jjames F24 0 stable
alt-ergo-1.01-2.fc24 coq-8.5pl1-1.fc24 flocq-2.5.1-2.fc24 frama-c-1.12... 3 years jjames F24 0 stable
frama-c-1.12-2.fc24 why-2.35-12.fc24 why3-0.87.0-1.fc24 3 years jjames F24 0 stable
alt-ergo-0.99.1-9.fc23 frama-c-1.11-9.fc23 ocaml-tplib-1.3-20.fc23 oca... 3 years jjames F23 0 stable
frama-c-1.10-24.fc22 gappa-1.2.0-1.fc22 gappalib-coq-1.1.0-1.fc22 why-... 4 years jjames F22 0 stable
frama-c-1.10-23.fc22 why-2.34-19.fc22 why3-0.86-1.fc22 4 years jjames F22 0 stable
coq-8.4pl6-1.fc22 flocq-2.4.0-7.fc22 frama-c-1.10-22.fc22 gappalib-coq... 4 years jjames F22 0 stable
alt-ergo-0.99.1-4.fc22 frama-c-1.10-21.fc22 ocaml-ocamlgraph-1.8.6-1.f... 4 years jjames F22 0 stable