Artifact psmt2-frontend_0.4.0-1_arm64

deb_control_files:
- control
- md5sums
deb_fields:
  Architecture: arm64
  Depends: libc6 (>= 2.33), libpsmt2-frontend-ocaml (= 0.4.0-1)
  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.
  Homepage: https://github.com/ACoquereau/psmt2-frontend
  Installed-Size: '1949'
  Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
  Package: psmt2-frontend
  Priority: optional
  Section: ocaml
  Version: 0.4.0-1
srcpkg_name: psmt2-frontend
srcpkg_version: 0.4.0-1