libpsmt2-frontend-ocaml (0.4.0-4+b3)

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

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: amd64
Section: ocaml
Priority: optional
Maintainer: Debian OCaml Maintainers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 1.5 kB
Size expected: 616.7 kB
Size actual: 616.7 kB
Size match

Dependencies

Required package dependencies

libstdlib-ocaml-m4xw9
ocaml-base-5.3.0

Suggested packages

Recommended additional packages

None

Description

Parse and type-check SMT-LIB 2 (runtime files)

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual
MD5	3c05c8ef…f1623b0a	3c05c8ef…f1623b0a
SHA-1	29b4bf7f…7416be17	29b4bf7f…7416be17
SHA-256	cbf92e69…dc84c6c2	cbf92e69…dc84c6c2
SHA-512	Not provided	ce5ed555…6a6fd93c

Files and directories included

.
usr
usr/lib
usr/lib/x86_64-linux-gnu
usr/lib/x86_64-linux-gnu/ocaml
usr/lib/x86_64-linux-gnu/ocaml/5.3.0
usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend
usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/META
usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend.cma
usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend.cmxs
usr/share
usr/share/doc
usr/share/doc/libpsmt2-frontend-ocaml
usr/share/doc/libpsmt2-frontend-ocaml/changelog.Debian.amd64.gz
usr/share/doc/libpsmt2-frontend-ocaml/changelog.Debian.gz
usr/share/doc/libpsmt2-frontend-ocaml/changelog.gz
usr/share/doc/libpsmt2-frontend-ocaml/copyright