Updates

16 Updates
packages: gappa
0ad-0.27.1-4.fc43, 0ad-data-0.27.1-2.fc43, & 23273 more
created by yselkowitz 5 months ago for Fedora 43
pending
0
0
gappa-1.6.0-1.fc42 and gappalib-coq-1.7.0-1.fc42
created by jjames 12 months ago for Fedora 42
stable
0
0
gappa-1.6.0-1.fc43
created by jjames 12 months ago for Fedora 43
stable
0
0
gappa-1.5.0-1.fc42
created by jjames a year ago for Fedora 42
stable
0
0
coq-8.18.0-1.fc39, flocq-4.1.3-1.fc39, & 6 more
created by jjames 2 years ago for Fedora 39
stable
0
0
alt-ergo-2.3.3-14.fc40, coccinelle-1.1.1-27.20230624git0afff7f.fc40, & 12 more
created by jjames 2 years ago for Fedora 40
stable
0
0
gappa-1.4.1-1.fc37
created by jjames 3 years ago for Fedora 37
stable
0
0
gappa-1.4.1-1.fc38
created by jjames 3 years ago for Fedora 38
stable
0
0
coq-8.14.0-1.fc36, flocq-3.4.2-6.fc36, & 7 more
created by jjames 4 years ago for Fedora 36
stable
0
0
gappa-1.3.5-5.fc32
created by jjames 6 years ago for Fedora 32
stable
0
0
alt-ergo-1.30-1.fc25, frama-c-1.13-6.fc25, & 3 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
gappa-1.2.2-1.fc24
created by jjames 9 years ago for Fedora 24
stable
0
0
curlpp-0.7.3-24.fc23, cvc4-1.4-7.fc23, & 50 more
created by rdieter 10 years ago for Fedora 23
stable
16
4
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
gappa-1.1.2-1.fc21
created by jjames 11 years ago for Fedora 21
stable
3
0

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

Running bodhi-server 25.11.3 on bodhi-web-22-5kk59.

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

• Composes • Legal • Privacy policy •