Source: psmt2-frontend
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Section: ocaml
Priority: optional
Standards-Version: 4.6.0
Rules-Requires-Root: no
Build-Depends: debhelper-compat (= 13),
               dh-ocaml,
               libmenhir-ocaml-dev,
               menhir,
               ocaml-dune
Vcs-Browser: https://salsa.debian.org/ocaml-team/psmt2-frontend
Vcs-Git: https://salsa.debian.org/ocaml-team/psmt2-frontend.git
Homepage: https://github.com/ACoquereau/psmt2-frontend

Package: libpsmt2-frontend-ocaml
Architecture: any
Depends: ${misc:Depends}, ${ocaml:Depends}, ${shlibs:Depends}
Provides: ${ocaml:Provides}
Recommends: ocaml-findlib
Description: Parse and type-check SMT-LIB 2 (runtime files)
 A library to parse and type-check a conservative extension
 of the SMT-LIB 2 standard with prenex polymorphism.
 .
 This package provides the runtime files.

Package: libpsmt2-frontend-ocaml-dev
Architecture: any
Depends: ${misc:Depends}, ${ocaml:Depends}, ${shlibs:Depends}
Provides: ${ocaml:Provides}
Recommends: ocaml-findlib
Description: Parse and type-check SMT-LIB 2 (dev files)
 A library to parse and type-check a conservative extension
 of the SMT-LIB 2 standard with prenex polymorphism.
 .
 This package provides the dev files.

Package: psmt2-frontend
Architecture: any
Depends: ${misc:Depends}, ${shlibs:Depends}, libpsmt2-frontend-ocaml (= ${binary:Version})
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.