boolector (1.5.118.6b56be4.121013-1.3build1)

2 versions available in ubuntu/resolute/universe/armhf

Version

Details

Core information at a glance

Distribution: ubuntu
Origin: ubuntu-resolute
Repository: https://nl.archive.ubuntu.com/ubuntu
Codename: resolute
Component: universe
Source: boolector
Architecture: armhf
Section: universe/science
Priority: extra
Maintainer: Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 541.7 kB
Size expected: 294.8 kB
Size actual: 294.8 kB
Size match: match

Dependencies

Required package dependencies

libc6 (>= 2.38)

Recommends

Recommended package dependencies

None

Suggested packages

Recommended additional packages

None

Provides

Virtual packages provided

None

Description

SMT solver for bit-vectors and arrays

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual	Match
MD5	8fb2cc28…f2ee5a1d	8fb2cc28…f2ee5a1d	match
SHA-1	2cc641e7…c6cd9434	2cc641e7…c6cd9434	match
SHA-256	3439d18c…af50c3c0	3439d18c…af50c3c0	match
SHA-512	0ab7ee4d…a10230f3	0ab7ee4d…a10230f3	match

Files and directories included

.
usr
usr/bin
usr/bin/boolector
usr/share
usr/share/doc
usr/share/doc/boolector
usr/share/doc/boolector/changelog.Debian.gz
usr/share/doc/boolector/copyright
usr/share/man
usr/share/man/man1
usr/share/man/man1/boolector.1.gz

Versions

2 versions in this repository slot, newest first