Package: wnpp Severity: wishlist Owner: Julien Puydt <jpu...@debian.org> X-Debbugs-Cc: Debian OCaml Maintainers <debian-ocaml-ma...@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