Fedora Updates System

Updates

28 Updates

packages: utop

alt-ergo-2.3.3-5.fc38, apron-0.9.13-16.fc38, & 181 more

created by rjones a month ago for Fedora 38

stable

0

0

flocq-3.4.3-5.fc37, frama-c-25.0-3.fc37, & 39 more

created by jjames 7 months ago for Fedora 37

stable

0

0

flocq-3.4.3-5.fc38, frama-c-25.0-3.fc38, & 38 more

created by jjames 7 months ago for Fedora 38

stable

0

0

alt-ergo-2.3.0-5.fc37, apron-0.9.13-11.fc37, & 179 more

created by rjones 9 months ago for Fedora 37

stable

0

0

alt-ergo-2.3.0-3.fc36, apron-0.9.13-9.fc36, & 175 more

created by rjones a year ago for Fedora 36

stable

0

0

utop-2.9.0-1.fc36

created by jjames a year ago for Fedora 36

stable

0

0

alt-ergo-2.2.0-14.fc36, apron-0.9.13-6.fc36, & 169 more

created by rjones a year ago for Fedora 36

stable

0

0

utop-2.8.0-1.fc35

created by jjames a year ago for Fedora 35

stable

0

0

utop-2.7.0-6.fc35

created by rjones a year ago for Fedora 35

stable

0

0

utop-2.7.0-5.fc35

created by rjones 2 years ago for Fedora 35

stable

0

0

created by rjones 2 years ago for Fedora 35

stable

0

0

utop-2.7.0-3.fc34

created by jjames 2 years ago for Fedora 34

stable

0

0

utop-2.7.0-3.fc35

created by jjames 2 years ago for Fedora 35

stable

0

0

utop-2.7.0-2.fc34

created by filiperosset 2 years ago for Fedora 34

stable

0

0

utop-2.7.0-1.fc34

created by jjames 2 years ago for Fedora 34

stable

0

0

OCaml 4.11.1 (F33)

created by rjones 2 years ago for Fedora 33

stable

4

3

OCaml 4.11.1 rebuild

created by rjones 2 years ago for Fedora 34

stable

0

0

created by rjones 2 years ago for Fedora 34

stable

0

0

utop-2.6.0-1.fc33

created by jjames 2 years ago for Fedora 33

stable

0

0

alt-ergo-2.0.0-15.fc33, apron-0.9.12-7.fc33, & 132 more

created by rjones 2 years ago for Fedora 33

stable

0

0