Versions Packages Information History Related Badges Report

Versions for minisat

36 package(s) known

Repository Package name Version Category Maintainer(s)
Arch
community		 minisat 2.2.1.20201216 - -
Arch Linux 32 i486
community		 minisat 2.2.1.20201216 - -
Arch Linux 32 i686
community		 minisat 2.2.1.20201216 - -
Arch Linux 32 pentium4
community		 minisat 2.2.1.20201216 - -
Arch Linux ARM aarch64
community		 minisat 2.2.1.20201216 - -
Arch Linux ARM armv7h
community		 minisat 2.2.1.20201216 - -
AUR minisat-git 2.2.1.r3.gf7d16b9 - dkasak@aur
FreeBSD Ports math/minisat 2.2.1 math vsevolod@freebsd.org
Gentoo sci-mathematics/minisat 2.2.1 sci-mathematics sci@gentoo.org
GNU Guix minisat 2.2.0-1.37dc6c6 - -
Homebrew minisat 2.2.1 - -
LiGurOS stable sci-mathematics/minisat 2.2.1 sci-mathematics sci@gentoo.org
LiGurOS develop sci-mathematics/minisat 2.2.1 sci-mathematics sci@gentoo.org
MacPorts minisat 2.2.0 math nomaintainer@macports.org
Manjaro Stable
community		 minisat 2.2.1.20201216 - -
Manjaro Testing
community		 minisat 2.2.1.20201216 - -
Manjaro Unstable
community		 minisat 2.2.1.20201216 - -
nixpkgs stable 21.11 minisat 2.2.1 - gebner@gebner.org, 7c6f434c@mail.ru
nixpkgs stable 22.05 minisat 2.2.1 - gebner@gebner.org, 7c6f434c@mail.ru
nixpkgs stable 22.11 minisat 2.2.1 - gebner@gebner.org, 7c6f434c@mail.ru
nixpkgs unstable minisat 2.2.1 - gebner@gebner.org, 7c6f434c@mail.ru
OpenBSD Ports math/minisat 2.2.0.20170810 math ports@openbsd.org
OpenPKG minisat 2.3.6.20201207 Algorithm -
openSUSE Leap 42.3
main/oss		 minisat 2.2.0 Development/Tools/Other -
openSUSE Leap 15.0
main/oss		 minisat 2.2.0 Development/Tools/Other -
openSUSE Leap 15.1
main/oss		 minisat 2.2.0 Development/Tools/Other -
openSUSE Leap 15.2
main/oss		 minisat 2.2.0 Development/Tools/Other -
openSUSE Leap 15.3
main/oss		 minisat 2.2.0 Development/Tools/Other -
openSUSE Leap 15.4
main/oss		 minisat 2.2.1 Development/Tools/Other -
openSUSE Leap 15.5
main/oss		 minisat 2.2.1 Development/Tools/Other -
openSUSE Tumbleweed
src-oss		 minisat 2.2.1 Development/Tools/Other -
Parabola
community		 minisat 2.2.1.20201216 - -
pkgsrc current math/minisat 2.2.0 math pkgsrc-users@netbsd.org
Rosa 2021.1
contrib/release		 minisat 2.2.1 Sciences/Mathematics a.proklov@rosalinux.ru
Void Linux x86_64
x86_64		 minisat 2.2.0 - tcmreastwood@gmail.com
YACP minisat 2.2.1 Libs -