52.9.0esr-1~deb9u1
) is not available, but a newer one is (60.5.0esr-1~deb9u1
). We redirected you there.
This package is 135.1 KB.
It is available at http://ftp.debian.org/debian/pool/main/b/boolector/boolector_1.4.ffc2089.100608-1_amd64.deb
.
View its full control file here:
debian/control
.
SMT solver for bit-vectors and arrays
boolector 1.4.ffc2089.100608-1 is in debian - wheezy / main. This package's architecture is: amd64.
This package will not be indexed since your user agent reports your browser is a bot.