Fedora Updates System

Updates

47 Updates

packages: opam

opam-2.1.4-1.fc39

created by jjames a week ago for Fedora 39

stable

0

0

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

created by rjones 3 months ago for Fedora 38

stable

0

0

ocaml-alcotest-1.6.0-1.fc37, ocaml-bisect-ppx-2.8.1-5.fc37, & 9 more

created by jjames 7 months ago for Fedora 37

stable

0

0

ocaml-alcotest-1.6.0-1.fc38, ocaml-bisect-ppx-2.8.1-5.fc38, & 8 more

created by jjames 7 months ago for Fedora 38

stable

0

0

klee-2.3-6.fc37, opam-2.1.3-2.fc37, & 1 more

created by jjames 8 months ago for Fedora 37

stable

0

0

opam-2.1.3-2.fc38

created by jjames 8 months ago for Fedora 38

stable

0

0

opam-2.1.3-1.fc37

created by cheeselee 8 months ago for Fedora 37

stable

0

0

opam-2.1.3-1.fc38

created by cheeselee 8 months ago for Fedora 38

stable

0

0

klee-2.3-6.fc38, opam-2.1.2-7.fc38, & 1 more

created by jjames 8 months ago for Fedora 38

stable

0

0

opam-2.1.2-6.fc37

created by jjames 8 months ago for Fedora 37

stable

0

0

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

created by rjones 10 months ago for Fedora 37

stable

0

0

alt-ergo-2.3.0-1.fc36, apron-0.9.13-7.fc36, & 46 more

created by jjames a year ago for Fedora 36

stable

0

0

opam-2.1.2-1.fc36

created by cheeselee a year ago for Fedora 36

stable

0

0

opam-2.1.1-1.fc35

created by cheeselee a year ago for Fedora 35

stable

1

1

opam-2.1.1-1.fc36

created by cheeselee 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

ocaml-base64-3.5.0-2.fc35, ocaml-dose3-7.0.0-3.fc35, & 3 more

created by cheeselee a year ago for Fedora 35

stable

0

0

ocaml-base64-3.5.0-2.fc36, ocaml-dose3-7.0.0-3.fc36, & 3 more

created by cheeselee a year ago for Fedora 36

stable

0

0

opam-2.0.8-1.fc34

created by cheeselee a year ago for Fedora 34

stable

0

0

opam-2.0.8-1.fc33

created by cheeselee a year ago for Fedora 33

stable

0

0