Updates

129 Updates
packages: frama-c
flocq-3.4.2-1.fc35, frama-c-23.0-1.fc35, & 2 more
created by jjames 3 years ago for Fedora 35
stable
0
0
coq-8.13.2-1.fc34, flocq-3.4.0-5.fc34, & 5 more
created by jjames 3 years ago for Fedora 34
stable
0
0
coq-8.13.2-1.fc35, flocq-3.4.0-6.fc35, & 7 more
created by jjames 3 years ago for Fedora 35
stable
0
0
frama-c-22.0-10.fc35
created by rjones 3 years ago for Fedora 35
stable
0
0
alt-ergo-2.2.0-9.fc34, coq-8.13.1-1.fc34, & 10 more
created by jjames 3 years ago for Fedora 34
stable
0
0
frama-c-22.0-9.fc35
created by jjames 3 years ago for Fedora 35
stable
0
0
OCaml 4.12.0
created by rjones 3 years ago for Fedora 35
stable
0
0
frama-c-22.0-7.fc34
created by jjames 3 years ago for Fedora 34
stable
0
0
frama-c-22.0-7.fc35
created by jjames 3 years ago for Fedora 35
stable
0
0
flocq-3.4.0-1.fc33, frama-c-22.0-4.fc33, & 2 more
created by jjames 3 years ago for Fedora 33
stable
0
0
frama-c-22.0-5.fc34
created by jjames 3 years ago for Fedora 34
stable
0
0
coq-8.12.2-1.fc33, flocq-3.3.1-9.fc33, & 5 more
created by jjames 3 years ago for Fedora 33
stable
0
0
frama-c-22.0-4.fc34
created by jjames 3 years ago for Fedora 34
stable
0
0
frama-c-22.0-3.fc34, ocaml-bisect-ppx-2.5.0-2.fc34, & 23 more
created by jjames 3 years ago for Fedora 34
stable
0
0
coq-8.12.1-1.fc33, flocq-3.3.1-8.fc33, & 8 more
created by jjames 3 years ago for Fedora 33
stable
0
0
coq-8.12.1-1.fc34, flocq-3.3.1-8.fc34, & 8 more
created by jjames 3 years ago for Fedora 34
stable
0
0
alt-ergo-2.2.0-6.fc33, frama-c-22.0-1.fc33, & 4 more
created by jjames 3 years ago for Fedora 33
stable
0
0
frama-c-22.0-1.fc34
created by jjames 3 years ago for Fedora 34
stable
0
0
alt-ergo-2.2.0-6.fc34, frama-c-21.1-7.fc34, & 3 more
created by jjames 3 years ago for Fedora 34
stable
0
0
alt-ergo-2.2.0-5.fc33, apron-0.9.13-1.fc33, & 8 more
created by jjames 3 years ago for Fedora 33
stable
0
0

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

Running bodhi-server 8.1.1^202406221404gite0d6336 on bodhi-web-221-xmmb7.

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

• Composes • Legal • Privacy policy •