kissat (4.0.3-2)

2 versions available in ubuntu/resolute/universe/riscv64

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

Size & integrity

Byte sizes and integrity verification

Installed size: 904.2 kB
Size expected: 416.7 kB
Size actual: 416.7 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	031bb6d2…4e8503ce	031bb6d2…4e8503ce	match
SHA-1	57dad2bc…24f7ffbf	57dad2bc…24f7ffbf	match
SHA-256	ae4de04b…a41d4b4a	ae4de04b…a41d4b4a	match
SHA-512	14257747…30b79eb8	14257747…30b79eb8	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