haskell-what4-utils (1.6.3-1)

Details

Core information at a glance

Distribution: ubuntu
Origin: ubuntu-stonking
Repository: https://ports.ubuntu.com
Codename: stonking
Component: universe
Source: haskell-what4
Architecture: arm64
Section: universe/misc
Priority: optional
Maintainer: Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 18.3 kB
Size expected: 3 MB
Size actual: 3 MB
Size match

Dependencies

Required package dependencies

libc6 (>= 2.38)
libffi8 (>= 3.4)
libgmp10 (>= 2:6.3.0+dfsg)
libnuma1 (>= 2.0.11)
zlib1g (>= 1:1.1.4)

Suggested packages

Recommended additional packages

None

Description

Solver-agnostic symbolic values support for issuing queries

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual
MD5	7620105b…ddfa8c67	7620105b…ddfa8c67
SHA-1	e7a86c37…a8507b11	e7a86c37…a8507b11
SHA-256	242559f4…f4e128d7	242559f4…f4e128d7
SHA-512	77a2fd76…97ca3c76	77a2fd76…97ca3c76

Files and directories included

.
usr
usr/bin
usr/bin/quickstart
usr/share
usr/share/doc
usr/share/doc/haskell-what4-utils
usr/share/doc/haskell-what4-utils/changelog.Debian.gz
usr/share/doc/haskell-what4-utils/copyright
usr/share/what4
usr/share/what4/solverBounds.config