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
- armhf
- Section
- universe/ocaml
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 5.8 kB
- Size expected
- 1.4 MB
- Size actual
- 1.4 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 | 58d24aa3…3ba74f98 | |
| SHA-1 | 41030b6c…f2489cb2 | |
| SHA-256 | 4a9cd8fd…51a7aa16 | |
| SHA-512 | 8ee74123…75c7b952 |
Contents
Files and directories included
. usr usr/lib usr/lib/arm-linux-gnueabihf usr/lib/arm-linux-gnueabihf/ocaml usr/lib/arm-linux-gnueabihf/ocaml/5.4.0 usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/dune-package usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/main.ml usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/opam usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/options.ml usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/options.mli usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/psmt2Frontend.cmi usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/psmt2Frontend.cmt usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/psmt2Frontend.ml usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Main.cmi usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Main.cmt usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Options.cmi usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Options.cmt usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Options.cmti usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_error.cmi usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_error.cmt usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmi usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmt usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmi usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmt usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmti usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmi usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmt usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmi usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmt usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmi usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmt usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmi usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmt usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmi usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmt usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmi usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmt usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Version.cmi usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Version.cmt usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/psmt2Frontend__Version.cmti usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/smtlib_error.ml usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/smtlib_lexer.ml usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/smtlib_parser.ml usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/smtlib_parser.mli usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/smtlib_printer.ml usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/smtlib_syntax.ml usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/smtlib_ty.ml usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/smtlib_typed_env.ml usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/smtlib_typed_logic.ml usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/smtlib_typing.ml usr/lib/arm-linux-gnueabihf/ocaml/5.4.0/psmt2-frontend/version.ml usr/lib/arm-linux-gnueabihf/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