Versions Packages Information History Related Badges Report

Versions for boolector

42 package(s) known

Repository Package name Version Category Maintainer(s)
AUR boolector-git r10285.6fce0ac3 - deian@aur
AUR boolector 3.2.2 - ice_phoenix@aur
Debian 8
jessie/main
boolector 1.5.118.6b56be4.121013 science mt@debian.org
Debian 9
stretch/main
boolector 1.5.118.6b56be4.121013 science mt@debian.org
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 Stable
stable/main
boolector 1.5.118.6b56be4.121013 science mt@debian.org
Debian Testing
testing/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 science mt@debian.org
Devuan 1.0 (Jessie)
jessie/main
boolector 1.5.118.6b56be4.121013 science mt@debian.org
Devuan 2.0 (ASCII)
ascii/main
boolector 1.5.118.6b56be4.121013 science mt@debian.org
Devuan 3.0 (Beowulf)
beowulf/main
boolector 1.5.118.6b56be4.121013 science mt@debian.org
Devuan 4.0 (Chimaera)
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
DPorts math/boolector 3.2.2 math yuri@freebsd.org
FreeBSD Ports math/boolector 3.2.2 math yuri@freebsd.org
Kali Linux Rolling
main
boolector 1.5.118.6b56be4.121013 science mt@debian.org
MacPorts boolector 1.4.1-376e6b0-110304 math nomaintainer@macports.org
nixpkgs stable 21.05 boolector 3.2.1 - aseipp@pobox.com
nixpkgs unstable boolector 3.2.2 - aseipp@pobox.com
Pardus 17
main
boolector 1.5.118.6b56be4.121013 science mt@debian.org
Pardus 19
main
boolector 1.5.118.6b56be4.121013 science mt@debian.org
Pardus 21
main
boolector 1.5.118.6b56be4.121013 science mt@debian.org
Parrot
main
boolector 1.5.118.6b56be4.121013 science mt@debian.org
PureOS Amber boolector 1.5.118.6b56be4.121013 misc mt@debian.org
PureOS landing boolector 1.5.118.6b56be4.121013 misc 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 6.0
toutatis/main
boolector 1.4.ffc2089.100608 universe/science mt@debian.org
Trisquel 7.0
belenos/main
boolector 1.5.118.6b56be4.121013 universe/science mt@debian.org
Trisquel 8.0
flidas/main
boolector 1.5.118.6b56be4.121013 universe/science mt@debian.org
Trisquel 9.0
etiona/main
boolector 1.5.118.6b56be4.121013 universe/science ubuntu-devel-discuss@lists.ubuntu.com
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 20.10
groovy/universe
boolector 1.5.118.6b56be4.121013 universe/science ubuntu-devel-discuss@lists.ubuntu.com
Ubuntu 21.04
hirsute/universe
boolector 1.5.118.6b56be4.121013 universe/science ubuntu-devel-discuss@lists.ubuntu.com
Ubuntu 21.10
impish/universe
boolector 1.5.118.6b56be4.121013 universe/science ubuntu-devel-discuss@lists.ubuntu.com