Package: psmt2-frontend
Architecture: amd64
Version: 0.4.0-3build1
Priority: optional
Section: universe/ocaml
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1766
Depends: libc6 (>= 2.38), libpsmt2-frontend-ocaml (= 0.4.0-3build1)
Filename: pool/universe/p/psmt2-frontend/psmt2-frontend_0.4.0-3build1_amd64.deb
Size: 491794
MD5sum: cd217f1f9d1f8d08b86ed9f65d535aee
SHA1: 2ee8d501f46c031096fbbe8ea4b5d40ff8ed3776
SHA256: 2b46c848fd72419b3c223018d58fb2822cc968bfb3bd896f3d044d8805fe6c78
SHA512: abe6aa998e7b25b9093f3e500915da5b09ebfc8dbcdd8baf45b7b9052c306b8b286e421b73ade34141db256799134de480bb6cf3f05a08b5a12c2692012eb066
Homepage: https://github.com/ACoquereau/psmt2-frontend
Description: Parse and type-check SMT-LIB 2 (tool)
Description-md5: 2d5610c80b47eeb02aa7185c192c1441