Versions Packages Information History Related Badges Report

Versions for cadical

38 package(s) known

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