Package - libpsmt2-frontend-ocaml
Primary informations
Download package: http://deb.debian.org/debian/pool/main/p/psmt2-frontend/libpsmt2-frontend-ocaml_0.4.0-4+b3_amd64.deb (Size: 602.2KiB)| Property | Value |
|---|---|
| Package | libpsmt2-frontend-ocaml |
| Source | psmt2-frontend (0.4.0-4) |
| Version | 0.4.0-4+b3 |
| Installed-Size | 1503 |
| Maintainer | Debian OCaml Maintainers |
| Architecture | amd64 |
| Provides | libpsmt2-frontend-ocaml-v5ae1 |
| Depends | libstdlib-ocaml-m4xw9, ocaml-base-5.3.0 |
| Recommends | ocaml-findlib |
| Description | Parse and type-check SMT-LIB 2 (runtime files) |
| Description-md5 | fe163c52ae883e12ada3674e552f9b19 |
| Homepage | https://github.com/ACoquereau/psmt2-frontend |
| Section | ocaml |
| Priority | optional |
| Filename | pool/main/p/psmt2-frontend/libpsmt2-frontend-ocaml_0.4.0-4+b3_amd64.deb |
| Size | 616652 |
| MD5sum | 3c05c8ef8ac0bc55ac8dc092f1623b0a |
| SHA256 | cbf92e6971c20a30a2c3a7cdb844ff2557911302815e96dcde215230dc84c6c2 |
Files in package
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/META
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend.cma
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/psmt2-frontend/psmt2Frontend.cmxs
- /usr/share/doc/libpsmt2-frontend-ocaml/changelog.Debian.amd64.gz
- /usr/share/doc/libpsmt2-frontend-ocaml/changelog.Debian.gz
- /usr/share/doc/libpsmt2-frontend-ocaml/changelog.gz
- /usr/share/doc/libpsmt2-frontend-ocaml/copyright