Versions Packages Information History Badges Report

Packages for cadical

22 package(s) known

cadical

1.5.0 (1.5.0-1)

math/cadical

1.0.3 (1.0.3_1)
Fedora 29
release

cadical

06w (06w-2.fc29)
Fedora 30
release

cadical

06w (06w-3.fc30)
Fedora 30
updates

cadical

1.0.3 (1:1.0.3-3.fc30)
Fedora 31
release

cadical

1.0.3 (1:1.0.3-3.fc31)
Fedora 32
release

cadical

1.2.1 (1:1.2.1-2.fc32)
Fedora 33
release

cadical

1.3.0 (1:1.3.0-1.fc33)
Fedora 34
release

cadical

1.4.0 (1:1.4.0-1.fc34)
Fedora 35
updates

cadical

1.5.2 (1:1.5.2-1.fc35)
Fedora 35
release

cadical

1.4.1 (1:1.4.1-2.fc35)
Fedora 36
release

cadical

1.5.2 (1:1.5.2-2.fc36)
Fedora Rawhide
development

cadical

1.5.2 (1:1.5.2-3.fc37)

math/cadical

1.0.3 (1.0.3_1)

sci-mathematics/cadical

1.5.2 (1.5.2-r1)

cadical

1.5.2

sci-mathematics/cadical

1.5.2 (1.5.2-r1)

sci-mathematics/cadical

1.5.2 (1.5.2-r1)

cadical

1.3.0

cadical

1.4.1

cadical

1.4.1

cadical

1.4.1