Package - psmt2-frontend

Package:  psmt2-frontend
apt-get install psmt2-frontend
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/p/psmt2-frontend/psmt2-frontend_0.4.0-4+b3_amd64.deb (Size: 512.2KiB)

PropertyValue
Packagepsmt2-frontend
Sourcepsmt2-frontend (0.4.0-4)
Version0.4.0-4+b3
Installed-Size2137
MaintainerDebian OCaml Maintainers
Architectureamd64
Dependslibc6 (>= 2.38), libpsmt2-frontend-ocaml (= 0.4.0-4+b3)
DescriptionParse and type-check SMT-LIB 2 (tool)
Description-md52d5610c80b47eeb02aa7185c192c1441
Homepagehttps://github.com/ACoquereau/psmt2-frontend
Sectionocaml
Priorityoptional
Filenamepool/main/p/psmt2-frontend/psmt2-frontend_0.4.0-4+b3_amd64.deb
Size524456
MD5sum08f8a79ac82947ecec1db8a2751d7520
SHA2565fd859f91da8ab42396d09a93ddb7a051c4aab0f0522c4af06213587142192ed

Files in package

  • /usr/bin/psmt2-frontend_bin
  • /usr/share/doc/psmt2-frontend/README.md
  • /usr/share/doc/psmt2-frontend/changelog.Debian.amd64.gz
  • /usr/share/doc/psmt2-frontend/changelog.Debian.gz
  • /usr/share/doc/psmt2-frontend/changelog.gz
  • /usr/share/doc/psmt2-frontend/copyright