Versions Packages Information History Badges Report

Versions for cadical

43 package(s) known

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