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: riscv64
Section: universe/misc
Priority: optional
Maintainer: Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 36.8 kB
Size expected: 6.5 MB
Size actual: 6.5 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	151c5400…1cb2bc6c	151c5400…1cb2bc6c
SHA-1	379c940f…31b33a73	379c940f…31b33a73
SHA-256	2fc60245…c44a7994	2fc60245…c44a7994
SHA-512	ce22c595…d9d67787	ce22c595…d9d67787

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