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 |