Bug#1009116: ITP: pstm2-frontend -- Parse and type-check SMT-LIB 2

[Julien Puydt <jpuydt@debian.org>]

Package: wnpp
Severity: wishlist
Owner: Julien Puydt <jpuydt@debian.org>
X-Debbugs-Cc: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

* Package name    : pstm2-frontend
  Version         : 0.4.0
  Upstream Author : Albin Coquereau
* URL             : https://github.com/ACoquereau/psmt2-frontend
* License         : Apache-2
  Programming Lang: OCaml
  Description     : Parse and type-check SMT-LIB 2

 A library to parse and type-check a conservative extension of the SMT-LIB 2
standard with prenex polymorphism.

This is a new dep of the alt-ergo package in the OCaml team ; so I want to
package it and maintain it in the team to update alt-ergo.

Cheers,

J.Puydt