Package - libpsmt2-frontend-ocaml-dev

Package:  libpsmt2-frontend-ocaml-dev
apt-get install libpsmt2-frontend-ocaml-dev
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/p/psmt2-frontend/libpsmt2-frontend-ocaml-dev_0.4.0-4+b3_amd64.deb (Size: 1.7MiB)

PropertyValue
Packagelibpsmt2-frontend-ocaml-dev
Sourcepsmt2-frontend (0.4.0-4)
Version0.4.0-4+b3
Installed-Size3871
MaintainerDebian OCaml Maintainers
Architectureamd64
Provideslibpsmt2-frontend-ocaml-dev-v5ae1
Dependslibpsmt2-frontend-ocaml-v5ae1, libstdlib-ocaml-dev-m4xw9, ocaml-5.3.0
Recommendsocaml-findlib
DescriptionParse and type-check SMT-LIB 2 (dev files)
Description-md535f563832b292fc18578aed4988c7bcf
Homepagehttps://github.com/ACoquereau/psmt2-frontend
Sectionocaml
Priorityoptional
Filenamepool/main/p/psmt2-frontend/libpsmt2-frontend-ocaml-dev_0.4.0-4+b3_amd64.deb
Size1829708
MD5sum8ffcdb9cbeeb4c1827cfd781716d6d06
SHA256849a33c822c1fe6cb19a84c46a27f357ffde3396385e563c19b548f508accdbe

Files in package

  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/dune-package
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/main.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/opam
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/options.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/options.mli
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend.a
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend.cmxa
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Main.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Main.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Main.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Options.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Options.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Options.cmti
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Options.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_error.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_error.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_error.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmti
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Version.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Version.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Version.cmti
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend__Version.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/smtlib_error.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/smtlib_lexer.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/smtlib_parser.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/smtlib_parser.mli
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/smtlib_printer.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/smtlib_syntax.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/smtlib_ty.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/smtlib_typed_env.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/smtlib_typed_logic.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/smtlib_typing.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/version.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/version.mli
  • /usr/share/doc/libpsmt2-frontend-ocaml-dev/README.md
  • /usr/share/doc/libpsmt2-frontend-ocaml-dev/changelog.Debian.amd64.gz
  • /usr/share/doc/libpsmt2-frontend-ocaml-dev/changelog.Debian.gz
  • /usr/share/doc/libpsmt2-frontend-ocaml-dev/changelog.gz
  • /usr/share/doc/libpsmt2-frontend-ocaml-dev/copyright
  • /var/lib/ocaml/lintian/libpsmt2-frontend-ocaml-dev.META.psmt2-frontend
  • /var/lib/ocaml/lintian/libpsmt2-frontend-ocaml-dev.info
  • /var/lib/ocaml/md5sums/libpsmt2-frontend-ocaml-dev.md5sums