Package: psmt2-frontend
Version: 0.4.0-4build3
Architecture: arm64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 2567
Depends: libc6 (>= 2.38), libpsmt2-frontend-ocaml (= 0.4.0-4build3)
Section: ocaml
Priority: optional
Homepage: https://github.com/ACoquereau/psmt2-frontend
Description: Parse and type-check SMT-LIB 2 (tool)
 A library to parse and type-check a conservative extension
 of the SMT-LIB 2 with prenex polymorphism.
 .
 This package provides the command-line tool.
