15 package(s) known
| Repository | Package name | Version | Category | Maintainer(s) |
|---|---|---|---|---|
| AUR | cadical | 1.3.0 | - | keenerd@aur |
| DPorts | math/cadical | 1.0.3 | math | yuri@freebsd.org |
|
Fedora 29 release |
cadical | 06w | Unspecified | - |
|
Fedora 30 release |
cadical | 06w | Unspecified | - |
|
Fedora 30 updates |
cadical | 1.0.3 | Unspecified | - |
|
Fedora 31 release |
cadical | 1.0.3 | Unspecified | - |
|
Fedora 32 release |
cadical | 1.2.1 | Unspecified | - |
|
Fedora 33 release |
cadical | 1.3.0 | Unspecified | - |
|
Fedora 34 release |
cadical | 1.4.0 | Unspecified | - |
| Fedora Rawhide | cadical | 1.4.1 | Unspecified | - |
| FreeBSD Ports | math/cadical | 1.0.3 | math | yuri@freebsd.org |
| Homebrew | cadical | 1.4.1 | - | - |
| Linuxbrew | cadical | 1.4.1 | - | - |
| nixpkgs stable | cadical | 1.3.0 | - | shujinarazaki@protonmail.com |
| nixpkgs unstable | cadical | 1.3.0 | - | shujinarazaki@protonmail.com |