| 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 |