Updates

36 Updates
packages: why
flocq-2.5.2-1.fc25, gappalib-coq-1.3.1-1.fc25, & 2 more
created by jjames 9 years ago for Fedora 25
stable
0
0
frama-c-1.13-3.fc24, why-2.35-18.fc24, & 1 more
created by jjames 9 years ago for Fedora 24
stable
0
0
frama-c-1.13-3.fc25, why-2.35-18.fc25, & 1 more
created by jjames 9 years ago for Fedora 25
stable
0
0
apron-0.9.11-1.1096.svn20160531.fc24, gappa-1.3.0-1.fc24, & 2 more
created by jjames 9 years ago for Fedora 24
stable
0
0
coq-8.5pl2-1.fc24, flocq-2.5.1-3.fc24, & 5 more
created by jjames 9 years ago for Fedora 24
stable
0
0
frama-c-1.13-1.fc24, why-2.35-15.fc24, & 1 more
created by jjames 9 years ago for Fedora 24
stable
0
0
alt-ergo-1.01-2.fc24, coq-8.5pl1-1.fc24, & 7 more
created by jjames 9 years ago for Fedora 24
stable
0
0
frama-c-1.12-2.fc24, why-2.35-12.fc24, & 1 more
created by jjames 9 years ago for Fedora 24
stable
0
0
flocq-2.5.0-1.fc23, gappalib-coq-1.2.0-1.fc23, & 2 more
created by jjames 10 years ago for Fedora 23
stable
0
0
frama-c-1.10-24.fc22, gappa-1.2.0-1.fc22, & 3 more
created by jjames 10 years ago for Fedora 22
stable
3
0
frama-c-1.10-23.fc22, why-2.34-19.fc22, & 1 more
created by jjames 10 years ago for Fedora 22
stable
3
0
coq-8.4pl6-1.fc22, flocq-2.4.0-7.fc22, & 5 more
created by jjames 10 years ago for Fedora 22
stable
3
0
alt-ergo-0.99.1-4.fc22, frama-c-1.10-21.fc22, & 3 more
created by jjames 10 years ago for Fedora 22
stable
3
0
why-2.34-13.fc21
created by jjames 11 years ago for Fedora 21
stable
3
0
coq-8.4pl5-2.fc21, flocq-2.4.0-3.fc21, & 6 more
created by jjames 11 years ago for Fedora 21
stable
3
0
flocq-2.4.0-1.fc21, frama-c-1.10-18.fc21, & 4 more
created by jjames 11 years ago for Fedora 21
stable
6
0

Copyright © 2007-2026 Red Hat, Inc. and others.

Running bodhi-server 25.11.2^202601171721git200147c on bodhi-web-18-n6cpc.

bodhi is Free Software. Please file issues if you have any problems. Read the documentation.

• Composes • Legal • Privacy policy •