kissat (4.0.3-2)

2 versions available in ubuntu/resolute/universe/s390x

Version

Details

Core information at a glance

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

Size & integrity

Byte sizes and integrity verification

Installed size: 1 MB
Size expected: 406.3 kB
Size actual: 406.3 kB
Size match: match

Dependencies

Required package dependencies

libc6 (>= 2.38)

Recommends

Recommended package dependencies

None

Suggested packages

Recommended additional packages

Provides

Virtual packages provided

None

Description

Keep it simple and clean bare metal SAT solver

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual	Match
MD5	96844254…79a931f8	96844254…79a931f8	match
SHA-1	e613790d…57d011d8	e613790d…57d011d8	match
SHA-256	3e674f22…925a4375	3e674f22…925a4375	match
SHA-512	c2a36566…54fa328e	c2a36566…54fa328e	match

Files and directories included

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

Versions

2 versions in this repository slot, newest first