Repository |
Package name |
Version |
Category |
Maintainer(s) |
AUR |
cadical |
1.5.0 |
- |
keenerd@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.5.3 |
misc |
debian-science-maintainers@alioth-lists.debian.net, swt@techie.net |
Debian Unstable sid/main |
cadical |
1.5.3 |
misc |
debian-science-maintainers@alioth-lists.debian.net, swt@techie.net |
Devuan Unstable unstable/main |
cadical |
1.5.3 |
misc |
debian-science-maintainers@alioth-lists.debian.net, swt@techie.net |
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 35 updates |
cadical |
1.5.2 |
Unspecified |
- |
Fedora 35 release |
cadical |
1.4.1 |
Unspecified |
- |
Fedora 36 release |
cadical |
1.5.2 |
Unspecified |
- |
Fedora 37 release |
cadical |
1.5.2 |
Unspecified |
- |
Fedora 38 release |
cadical |
1.5.3 |
Unspecified |
- |
Fedora 39 development |
cadical |
1.7.3 |
Unspecified |
- |
Fedora Rawhide development |
cadical |
1.7.4 |
Unspecified |
- |
FreeBSD Ports |
math/cadical |
1.6.0 |
math |
yuri@freebsd.org |
Gentoo |
sci-mathematics/cadical |
1.5.3 |
sci-mathematics |
sci-mathematics@gentoo.org |
Gentoo |
sci-mathematics/cadical |
1.5.2 |
sci-mathematics |
sci-mathematics@gentoo.org |
Homebrew |
cadical |
1.7.4 |
- |
- |
Kali Linux Rolling main |
cadical |
1.5.3 |
misc |
debian-science-maintainers@alioth-lists.debian.net, swt@techie.net |
LiGurOS stable |
sci-mathematics/cadical |
1.5.3 |
sci-mathematics |
sci-mathematics@gentoo.org |
LiGurOS stable |
sci-mathematics/cadical |
1.5.2 |
sci-mathematics |
sci-mathematics@gentoo.org |
LiGurOS develop |
sci-mathematics/cadical |
1.5.3 |
sci-mathematics |
sci-mathematics@gentoo.org |
LiGurOS develop |
sci-mathematics/cadical |
1.5.2 |
sci-mathematics |
sci-mathematics@gentoo.org |
nixpkgs stable 21.11 |
cadical |
1.4.1 |
- |
shujinarazaki@protonmail.com |
nixpkgs stable 22.05 |
cadical |
1.4.1 |
- |
shujinarazaki@protonmail.com |
nixpkgs stable 22.11 |
cadical |
1.5.3 |
- |
shujinarazaki@protonmail.com |
nixpkgs stable 23.05 |
cadical |
1.5.3 |
- |
shujinarazaki@protonmail.com |
nixpkgs unstable |
cadical |
1.5.3 |
- |
shujinarazaki@protonmail.com |
PureOS landing |
cadical |
1.5.3 |
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.5.3 |
misc |
debian-science-maintainers@alioth-lists.debian.net, swt@techie.net |
Ubuntu 23.04 lunar/universe |
cadical |
1.5.3 |
universe/misc |
debian-science-maintainers@alioth-lists.debian.net, swt@techie.net |
Ubuntu 23.10 mantic/universe |
cadical |
1.5.3 |
universe/misc |
debian-science-maintainers@alioth-lists.debian.net, swt@techie.net |