Versions Packages Information History Related Badges Report

Versions for boolector

43 package(s) known

Repository Package name Version Category Maintainer(s)
AUR boolector-git 3.2.2.r18.g1a89c229 - xiretza@aur
AUR boolector 3.2.2 - ice_phoenix@aur
Debian 10
buster/main		 boolector 1.5.118.6b56be4.121013 science mt@debian.org
Debian 11
bullseye/main		 boolector 1.5.118.6b56be4.121013 science mt@debian.org
Debian 12
bookworm/main		 boolector 1.5.118.6b56be4.121013 science mt@debian.org
Debian 13
trixie/main		 boolector 1.5.118.6b56be4.121013 science mt@debian.org
Debian Unstable
sid/main		 boolector 1.5.118.6b56be4.121013 science mt@debian.org
Deepin
main		 boolector 1.5.118.6b56be4.121013 - mt@debian.org
Devuan 3.0
beowulf/main		 boolector 1.5.118.6b56be4.121013 science mt@debian.org
Devuan 4.0
chimaera/main		 boolector 1.5.118.6b56be4.121013 science mt@debian.org
Devuan Unstable
unstable/main		 boolector 1.5.118.6b56be4.121013 science mt@debian.org
FreeBSD Ports math/boolector 3.2.3 math yuri@freebsd.org
Gentoo sci-mathematics/boolector 3.2.3 sci-mathematics sci-mathematics@gentoo.org
Gentoo sci-mathematics/boolector 3.2.2_p20220110 sci-mathematics sci-mathematics@gentoo.org
GNU Guix boolector 3.2.2 - -
Homebrew boolector 3.2.3 - -
Kali Linux Rolling
main		 boolector 1.5.118.6b56be4.121013 science mt@debian.org
LiGurOS stable sci-mathematics/boolector 3.2.2_p20220110 sci-mathematics sci-mathematics@gentoo.org
LiGurOS develop sci-mathematics/boolector 3.2.3 sci-mathematics sci-mathematics@gentoo.org
LiGurOS develop sci-mathematics/boolector 3.2.2_p20220110 sci-mathematics sci-mathematics@gentoo.org
MacPorts boolector 3.2.2 math nomaintainer@macports.org
nixpkgs stable 21.11 boolector 3.2.2 - aseipp@pobox.com
nixpkgs stable 22.05 boolector 3.2.2 - aseipp@pobox.com
nixpkgs stable 22.11 boolector 3.2.2 - aseipp@pobox.com
nixpkgs stable 23.05 boolector 3.2.2 - aseipp@pobox.com
nixpkgs unstable boolector 3.2.2 - aseipp@pobox.com
Pardus 21
main		 boolector 1.5.118.6b56be4.121013 science mt@debian.org
Parrot
parrot/main		 boolector 1.5.118.6b56be4.121013 science mt@debian.org
Parrot
parrot-updates/main		 boolector 1.5.118.6b56be4.121013 science mt@debian.org
PureOS Amber boolector 1.5.118.6b56be4.121013 science mt@debian.org
PureOS landing boolector 1.5.118.6b56be4.121013 science mt@debian.org
Raspbian Oldstable
main		 boolector 1.5.118.6b56be4.121013 science mt@debian.org
Raspbian Stable
main		 boolector 1.5.118.6b56be4.121013 science mt@debian.org
Raspbian Testing
main		 boolector 1.5.118.6b56be4.121013 science mt@debian.org
Trisquel 10.0
nabia/main		 boolector 1.5.118.6b56be4.121013 universe/science ubuntu-devel-discuss@lists.ubuntu.com
Trisquel 11.0
aramo/main		 boolector 1.5.118.6b56be4.121013 universe/science mt@debian.org
Ubuntu 14.04
trusty/universe		 boolector 1.5.118.6b56be4.121013 universe/science mt@debian.org
Ubuntu 16.04
xenial/universe		 boolector 1.5.118.6b56be4.121013 universe/science mt@debian.org
Ubuntu 18.04
bionic/universe		 boolector 1.5.118.6b56be4.121013 universe/science ubuntu-devel-discuss@lists.ubuntu.com
Ubuntu 20.04
focal/universe		 boolector 1.5.118.6b56be4.121013 universe/science ubuntu-devel-discuss@lists.ubuntu.com
Ubuntu 22.04
jammy/universe		 boolector 1.5.118.6b56be4.121013 universe/science mt@debian.org
Ubuntu 23.04
lunar/universe		 boolector 1.5.118.6b56be4.121013 universe/science mt@debian.org
Ubuntu 23.10
mantic/universe		 boolector 1.5.118.6b56be4.121013 universe/science mt@debian.org