Versions Packages Information History Badges Report

Versions for kissat

38 package(s) known

Repository Package name Version Category Maintainer(s)
AUR kissat 4.0.2 - meadow@aur
Debian 13
trixie/main		 kissat 4.0.2 misc debian-science-maintainers@alioth-lists.debian.net, harry@debian.org
Debian Unstable
sid/main		 kissat 4.0.2 misc debian-science-maintainers@alioth-lists.debian.net, harry@debian.org
Devuan Unstable
unstable/main		 kissat 4.0.2 misc debian-science-maintainers@alioth-lists.debian.net, harry@debian.org
Fedora 37
updates		 kissat 3.1.0 Unspecified -
Fedora 37
release		 kissat 3.0.0 Unspecified -
Fedora 38
updates		 kissat 3.1.0 Unspecified -
Fedora 38
release		 kissat 3.0.0 Unspecified -
Fedora 39
release		 kissat 3.1.1 Unspecified -
Fedora 40
release		 kissat 3.1.1 Unspecified -
Fedora 41
updates		 kissat 4.0.2 Unspecified -
Fedora 41
release		 kissat 4.0.1 Unspecified -
Fedora 42
release		 kissat 4.0.2 Unspecified -
Fedora Rawhide
development		 kissat 4.0.2 Unspecified -
FreeBSD Ports math/kissat 4.0.2 math yuri@freebsd.org
Gentoo sci-mathematics/kissat 3.1.1 sci-mathematics sci-mathematics@gentoo.org
Gentoo sci-mathematics/kissat 3.1.0 sci-mathematics sci-mathematics@gentoo.org
GNU Guix kissat 4.0.1 - -
Kali Linux Rolling
main		 kissat 4.0.2 misc debian-science-maintainers@alioth-lists.debian.net, harry@debian.org
LiGurOS stable sci-mathematics/kissat 3.1.1 sci-mathematics sci-mathematics@gentoo.org
LiGurOS stable sci-mathematics/kissat 3.1.0 sci-mathematics sci-mathematics@gentoo.org
LiGurOS develop sci-mathematics/kissat 3.1.1 sci-mathematics sci-mathematics@gentoo.org
LiGurOS develop sci-mathematics/kissat 3.1.0 sci-mathematics sci-mathematics@gentoo.org
nixpkgs stable 22.11 kissat 3.0.0 - shujinarazaki@protonmail.com
nixpkgs stable 23.05 kissat 3.0.0 - shujinarazaki@protonmail.com
nixpkgs stable 23.11 kissat 3.1.1 - shujinarazaki@protonmail.com
nixpkgs stable 24.05 kissat 3.1.1 - shujinarazaki@protonmail.com
nixpkgs stable 24.11 kissat 4.0.1 - shujinarazaki@protonmail.com
nixpkgs stable 25.05 kissat 4.0.2 - shujinarazaki@protonmail.com
nixpkgs unstable kissat 4.0.2 - shujinarazaki@protonmail.com
OpenPKG kissat 2020 Algorithm -
PureOS landing
landing/main		 kissat 4.0.2 science debian-science-maintainers@alioth-lists.debian.net, harry@debian.org
Raspbian Testing
main		 kissat 4.0.2 misc debian-science-maintainers@alioth-lists.debian.net, harry@debian.org
SageMath stable kissat 3.1.0 - -
SageMath development kissat 3.1.0 - -
SlackBuilds academic/kissat 4.0.2 academic -
Ubuntu 25.04
plucky/universe		 kissat 4.0.2 universe/misc debian-science-maintainers@alioth-lists.debian.net, harry@debian.org
Ubuntu 25.10
questing/universe		 kissat 4.0.2 universe/misc debian-science-maintainers@alioth-lists.debian.net, harry@debian.org