kissat (4.0.3-2)

2 versions available in ubuntu/resolute/universe/ppc64el

Version

Details

Core information at a glance

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

Size & integrity

Byte sizes and integrity verification

Installed size: 1.3 MB
Size expected: 452.9 kB
Size actual: 452.9 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	a6203f74…0297a0be	a6203f74…0297a0be	match
SHA-1	f6214680…573aaaed	f6214680…573aaaed	match
SHA-256	930b236a…2ab68160	930b236a…2ab68160	match
SHA-512	d446ec0e…f3d7d218	d446ec0e…f3d7d218	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