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

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

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

Size & integrity

Byte sizes and integrity verification

Installed size
2.6 kB
Size expected
543.2 kB
Size actual
543.2 kB
Size match

Dependencies

Required package dependencies

  • libstdlib-ocaml-kjuo1
  • ocaml-base-5.4.0

Suggested packages

Recommended additional packages

  • None

Description

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

Homepage Download .deb

Tags

Package classification tags

None

Checksums

Hash values and integrity verification status

TypeActualMatch
MD55eb017cf…eaf39d52
SHA-1f6ed6bf9…6c999ef6
SHA-256b51fe0ee…a4e4e030
SHA-5125a9f4f7e…8d0bc799

Contents

Files and directories included

.
usr
usr/lib
usr/lib/aarch64-linux-gnu
usr/lib/aarch64-linux-gnu/ocaml
usr/lib/aarch64-linux-gnu/ocaml/5.4.0
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/psmt2-frontend
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/psmt2-frontend/META
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend.cma
usr/lib/aarch64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend.cmxs
usr/share
usr/share/doc
usr/share/doc/libpsmt2-frontend-ocaml
usr/share/doc/libpsmt2-frontend-ocaml/changelog.Debian.arm64.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