libpsmt2-frontend-ocaml (0.4.0-4build5)

Details

Core information at a glance

Distribution: ubuntu
Origin: ubuntu-stonking
Repository: https://ports.ubuntu.com
Codename: stonking
Component: universe
Source: psmt2-frontend
Architecture: arm64
Section: universe/ocaml
Priority: optional
Maintainer: Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 2.6 kB
Size expected: 666.1 kB
Size actual: 666.1 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

Checksums

Hash values and integrity verification status

Type	Expected	Actual
MD5	0b2fa58f…b13cabc5	0b2fa58f…b13cabc5
SHA-1	409a74ee…fb65153a	409a74ee…fb65153a
SHA-256	8349f5bd…7fbd1b8b	8349f5bd…7fbd1b8b
SHA-512	f483f2ca…6d2e4e6b	f483f2ca…6d2e4e6b

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.gz
usr/share/doc/libpsmt2-frontend-ocaml/copyright