| Repository |
Package name |
Version |
Category |
Maintainer(s) |
|
ALT Linux p11 |
cadical |
1.9.5 |
Sciences/Mathematics |
kotopesutility@altlinux.org |
|
ALT Sisyphus |
cadical |
2.1.3 |
Sciences/Mathematics |
kotopesutility@altlinux.org |
|
AUR |
cadical |
2.1.3 |
- |
meadow@aur |
Debian 12
bookworm/main |
cadical |
1.5.3 |
misc |
debian-science-maintainers@alioth-lists.debian.net, swt@techie.net |
Debian 13
trixie/main |
cadical |
1.7.4 |
misc |
debian-science-maintainers@alioth-lists.debian.net, swt@techie.net |
Debian Unstable
sid/main |
cadical |
1.7.4 |
misc |
debian-science-maintainers@alioth-lists.debian.net, swt@techie.net |
Devuan Unstable
unstable/main |
cadical |
1.7.4 |
misc |
debian-science-maintainers@alioth-lists.debian.net, swt@techie.net |
Fedora 37
release |
cadical |
1.5.2 |
Unspecified |
- |
Fedora 38
release |
cadical |
1.5.3 |
Unspecified |
- |
Fedora 39
updates |
cadical |
1.9.4 |
Unspecified |
- |
Fedora 39
release |
cadical |
1.7.3 |
Unspecified |
- |
Fedora 40
release |
cadical |
1.9.5 |
Unspecified |
- |
Fedora 41
release |
cadical |
2.0.0 |
Unspecified |
- |
Fedora 42
updates |
cadical |
2.1.3 |
Unspecified |
- |
Fedora 42
release |
cadical |
2.0.0 |
Unspecified |
- |
Fedora Rawhide
development |
cadical |
2.1.3 |
Unspecified |
- |
|
FreeBSD Ports |
math/cadical |
2.0.0 |
math |
yuri@freebsd.org |
|
Gentoo |
sci-mathematics/cadical |
2.0.0 |
sci-mathematics |
sci-mathematics@gentoo.org |
|
Gentoo |
sci-mathematics/cadical |
1.9.5 |
sci-mathematics |
sci-mathematics@gentoo.org |
|
GNU Guix |
cadical |
2.0.0 |
- |
- |
|
Homebrew |
cadical |
2.1.3 |
- |
- |
Kali Linux Rolling
main |
cadical |
1.7.4 |
misc |
debian-science-maintainers@alioth-lists.debian.net, swt@techie.net |
|
LiGurOS stable |
sci-mathematics/cadical |
2.0.0 |
sci-mathematics |
sci-mathematics@gentoo.org |
|
LiGurOS stable |
sci-mathematics/cadical |
1.9.5 |
sci-mathematics |
sci-mathematics@gentoo.org |
|
LiGurOS develop |
sci-mathematics/cadical |
2.0.0 |
sci-mathematics |
sci-mathematics@gentoo.org |
|
LiGurOS develop |
sci-mathematics/cadical |
1.9.5 |
sci-mathematics |
sci-mathematics@gentoo.org |
|
nixpkgs stable 22.11 |
cadical |
1.5.3 |
- |
shujinarazaki@protonmail.com |
|
nixpkgs stable 23.05 |
cadical |
1.5.3 |
- |
shujinarazaki@protonmail.com |
|
nixpkgs stable 23.11 |
cadical |
1.8.0 |
- |
shujinarazaki@protonmail.com |
|
nixpkgs stable 24.05 |
cadical |
1.9.5 |
- |
shujinarazaki@protonmail.com |
|
nixpkgs stable 24.11 |
cadical |
2.1.0 |
- |
shujinarazaki@protonmail.com |
|
nixpkgs stable 25.05 |
cadical |
2.1.3 |
- |
shujinarazaki@protonmail.com |
|
nixpkgs unstable |
cadical |
2.1.3 |
- |
shujinarazaki@protonmail.com |
|
openSUSE science Tumbleweed |
cadical |
2.1.1 |
Unspecified |
- |
Parrot
parrot/main |
cadical |
1.5.3 |
misc |
debian-science-maintainers@alioth-lists.debian.net, swt@techie.net |
Parrot
parrot-updates/main |
cadical |
1.5.3 |
misc |
debian-science-maintainers@alioth-lists.debian.net, swt@techie.net |
PureOS landing
landing/main |
cadical |
1.7.4 |
math |
debian-science-maintainers@alioth-lists.debian.net, swt@techie.net |
Raspbian Stable
main |
cadical |
1.5.3 |
misc |
debian-science-maintainers@alioth-lists.debian.net, swt@techie.net |
Raspbian Testing
main |
cadical |
1.7.4 |
misc |
debian-science-maintainers@alioth-lists.debian.net, swt@techie.net |
Ubuntu 24.04
noble/universe |
cadical |
1.7.4 |
universe/misc |
debian-science-maintainers@alioth-lists.debian.net, swt@techie.net |
Ubuntu 24.10
oracular/universe |
cadical |
1.7.4 |
universe/misc |
debian-science-maintainers@alioth-lists.debian.net, swt@techie.net |
Ubuntu 25.04
plucky/universe |
cadical |
1.7.4 |
universe/misc |
debian-science-maintainers@alioth-lists.debian.net, swt@techie.net |
Ubuntu 25.10
questing/universe |
cadical |
1.7.4 |
universe/misc |
debian-science-maintainers@alioth-lists.debian.net, swt@techie.net |