kissat (4.0.3-2)

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

Size & integrity

Byte sizes and integrity verification

Installed size: 1.1 MB
Size expected: 406.4 kB
Size actual: 406.4 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	5aaf5a98…78d7a6d2	5aaf5a98…78d7a6d2	match
SHA-1	eadad257…db4abd98	eadad257…db4abd98	match
SHA-256	c030f008…5196470d	c030f008…5196470d	match
SHA-512	a7f111b5…3688e561	a7f111b5…3688e561	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