libpsmt2-frontend-ocaml-dev (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
- riscv64
- Section
- universe/ocaml
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 8.8 kB
- Size expected
- 1.7 MB
- Size actual
- 1.7 MB
- Size match
Dependencies
Required package dependencies
Suggested packages
Recommended additional packages
- None
Description
Parse and type-check SMT-LIB 2 (dev files)
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 96c4e6e9…ba61976e | |
| SHA-1 | 41fb6a5d…2da45df6 | |
| SHA-256 | fc79266a…e5af12a3 | |
| SHA-512 | 2a227275…77db8409 |
Contents
Files and directories included
. usr usr/lib usr/lib/riscv64-linux-gnu usr/lib/riscv64-linux-gnu/ocaml usr/lib/riscv64-linux-gnu/ocaml/5.4.0 usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/dune-package usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/main.ml usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/opam usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/options.ml usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/options.mli usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend.a usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend.cmi usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend.cmt usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend.cmx usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend.cmxa usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend.ml usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Main.cmi usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Main.cmt usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Main.cmx usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Options.cmi usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Options.cmt usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Options.cmti usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Options.cmx usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_error.cmi usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_error.cmt usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_error.cmx usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmi usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmt usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmx usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmi usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmt usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmti usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmx usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmi usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmt usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmx usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmi usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmt usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmx usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmi usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmt usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmx usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmi usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmt usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmx usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmi usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmt usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmx usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmi usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmt usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmx usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Version.cmi usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Version.cmt usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Version.cmti usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Version.cmx usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/smtlib_error.ml usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/smtlib_lexer.ml usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/smtlib_parser.ml usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/smtlib_parser.mli usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/smtlib_printer.ml usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/smtlib_syntax.ml usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/smtlib_ty.ml usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/smtlib_typed_env.ml usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/smtlib_typed_logic.ml usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/smtlib_typing.ml usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/version.ml usr/lib/riscv64-linux-gnu/ocaml/5.4.0/psmt2-frontend/version.mli usr/share usr/share/doc usr/share/doc/libpsmt2-frontend-ocaml-dev usr/share/doc/libpsmt2-frontend-ocaml-dev/README.md usr/share/doc/libpsmt2-frontend-ocaml-dev/changelog.Debian.gz usr/share/doc/libpsmt2-frontend-ocaml-dev/copyright var var/lib var/lib/ocaml var/lib/ocaml/lintian var/lib/ocaml/lintian/libpsmt2-frontend-ocaml-dev.META.psmt2-frontend var/lib/ocaml/lintian/libpsmt2-frontend-ocaml-dev.info var/lib/ocaml/md5sums var/lib/ocaml/md5sums/libpsmt2-frontend-ocaml-dev.md5sums