haskell-what4-utils (1.6.3-1)

Details

Core information at a glance

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

Size & integrity

Byte sizes and integrity verification

Installed size: 16.8 kB
Size expected: 2.8 MB
Size actual: 2.8 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	8fc7d64c…362f83f7	8fc7d64c…362f83f7
SHA-1	fc0e93a8…364a036e	fc0e93a8…364a036e
SHA-256	8e22d518…f7150532	8e22d518…f7150532
SHA-512	252f129d…7df39a1e	252f129d…7df39a1e

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