Package: psmt2-frontend
Architecture: amd64
Version: 0.4.0-4build1
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: 2097
Depends: libc6 (>= 2.38), libpsmt2-frontend-ocaml (= 0.4.0-4build1)
Filename: pool/universe/p/psmt2-frontend/psmt2-frontend_0.4.0-4build1_amd64.deb
Size: 570450
MD5sum: 3f0723f84318cc7ef8b2328d9ab8aab9
SHA1: 0753731b36b5240bbc660ec59f5bccb49866e565
SHA256: 793e95acb3d83e0f15a9d02bf6fa42135561cf64d11c73363ced33eb8084c680
SHA512: e13a58fd916be49199f2cf7fa1f56761df9d9dc144c01aa801ec10d31fb60cd25fcc0fda2a675755ee393482b66cbf64e9ae5cf590833949660a33fbd4b2aeb6
Homepage: https://github.com/ACoquereau/psmt2-frontend
Description: Parse and type-check SMT-LIB 2 (tool)
Description-md5: 2d5610c80b47eeb02aa7185c192c1441