psmt2-frontend (0.4.0-4+b3)

2 versions available in kali/kali-last-snapshot/main/i386

Version

Details

Core information at a glance

Distribution: kali
Origin: kali-last-snapshot
Repository: https://http.kali.org/kali
Codename: kali-last-snapshot
Component: main
Source: psmt2-frontend (0.4.0-4)
Architecture: i386
Section: ocaml
Priority: optional
Maintainer: Debian OCaml Maintainers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 1 kB
Size expected: 232.9 kB
Size actual: 232.9 kB
Size match

Dependencies

Required package dependencies

libc6 (>= 2.38)
libzstd1 (>= 1.5.5)
libpsmt2-frontend-ocaml (= 0.4.0-4+b3)

Suggested packages

Recommended additional packages

None

Description

Parse and type-check SMT-LIB 2 (tool)

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual
MD5	1737fd36…1a651017	1737fd36…1a651017
SHA-1	13b40e1e…03d2b109	13b40e1e…03d2b109
SHA-256	e1271a61…d5608c7a	e1271a61…d5608c7a
SHA-512	Not provided	aa610b49…ed0f32b2

Files and directories included

.
usr
usr/bin
usr/bin/psmt2-frontend_bin
usr/share
usr/share/doc
usr/share/doc/psmt2-frontend
usr/share/doc/psmt2-frontend/README.md
usr/share/doc/psmt2-frontend/changelog.Debian.gz
usr/share/doc/psmt2-frontend/changelog.Debian.i386.gz
usr/share/doc/psmt2-frontend/changelog.gz
usr/share/doc/psmt2-frontend/copyright