Fedora Updates System

Updates

26 Updates

packages: cvc4

cvc4-1.8-16.fc39

created by jjames 3 weeks ago for Fedora 39

stable

0

0

cvc4-1.8-14.fc38

created by jjames 6 months ago for Fedora 38

stable

0

0

cvc4-1.8-13.fc37

created by jjames 8 months ago for Fedora 37

stable

0

0

cvc4-1.8-13.fc38

created by jjames 8 months ago for Fedora 38

stable

0

0

cvc4-1.8-10.fc37

created by jjames a year ago for Fedora 37

stable

0

0

cvc4-1.8-8.fc36

created by jjames a year ago for Fedora 36

stable

0

0

cvc4-1.8-5.fc34

created by jjames a year ago for Fedora 34

stable

0

0

cvc4-1.8-5.fc35

created by jjames a year ago for Fedora 35

stable

0

0

cvc4-1.8-3.fc34

created by jjames 2 years ago for Fedora 34

stable

0

0

abc-1.01-28.git20201126.fc33, cryptominisat-5.8.0-1.fc33, & 3 more

created by jjames 2 years ago for Fedora 33

stable

0

0

cvc4-1.8-2.fc34

created by jjames 2 years ago for Fedora 34

stable

0

0

cvc4-1.8-1.fc33

created by jjames 2 years ago for Fedora 33

stable

0

0

cvc4-1.7-10.fc33

created by jjames 3 years ago for Fedora 33

stable

0

0

cryptominisat-5.7.1-1.fc32, cvc4-1.7-9.fc32, & 3 more

created by jjames 3 years ago for Fedora 32

stable

0

0

cvc4-1.7-9.fc33

created by jjames 3 years ago for Fedora 33

stable

0

0

cvc4-1.7-7.fc32

created by jjames 3 years ago for Fedora 32

stable

0

0

cvc4-1.7-6.fc32

created by jjames 3 years ago for Fedora 32

stable

0

0

cvc4-1.7-6.fc31 and lfsc-0.20190808-1.fc31

created by jjames 3 years ago for Fedora 31

stable

0

0

cadical-1.0.3-3.fc30 and cvc4-1.7-3.fc30

created by jjames 3 years ago for Fedora 30

stable

4

1

abc-1.01-22.git20190608.fc30, cadical-0-1.sr19.fc30, & 3 more

created by jjames 3 years ago for Fedora 30

stable

0

0