libpsmt2-frontend-ocaml-dev (0.4.0-4+b3)
2 versions available in kali/kali-last-snapshot/main/i386
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
- i386
- Section
- ocaml
- Priority
- optional
- Maintainer
- Debian OCaml Maintainers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 2.5 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 | 2cf7b15e…cb32e50e | |
| SHA-1 | 8df8e071…0551d276 | |
| SHA-256 | 286b2874…fd53a4c9 | |
| SHA-512 | ac1cb9c2…29c4824f |
Contents
Files and directories included
. usr usr/lib usr/lib/i386-linux-gnu usr/lib/i386-linux-gnu/ocaml usr/lib/i386-linux-gnu/ocaml/5.3.0 usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/dune-package usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/main.ml usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/opam usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/options.ml usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/options.mli usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend.cmi usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend.cmt usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend.ml usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Main.cmi usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Main.cmt usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Options.cmi usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Options.cmt usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Options.cmti usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_error.cmi usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_error.cmt usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmi usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmt usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmi usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmt usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmti usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmi usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmt usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmi usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmt usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmi usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmt usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmi usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmt usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmi usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmt usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmi usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmt usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Version.cmi usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Version.cmt usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Version.cmti usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/smtlib_error.ml usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/smtlib_lexer.ml usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/smtlib_parser.ml usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/smtlib_parser.mli usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/smtlib_printer.ml usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/smtlib_syntax.ml usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/smtlib_ty.ml usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/smtlib_typed_env.ml usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/smtlib_typed_logic.ml usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/smtlib_typing.ml usr/lib/i386-linux-gnu/ocaml/5.3.0/psmt2-frontend/version.ml usr/lib/i386-linux-gnu/ocaml/5.3.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/changelog.Debian.i386.gz usr/share/doc/libpsmt2-frontend-ocaml-dev/changelog.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