Bug#1014610: ITP: ott -- Ott tool

[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>, jpuydt@debian.org

* Package name    : ott
  Version         : 0.32
  Upstream Author : Peter Sewell, Francesco Zappa Nardelli, Scott Owens et al
* URL             : https://github.com/ott-lang/ott
* License         : BSD-3-clause
  Programming Lang: OCaml
  Description     : Ott tool
 Ott is a tool to write definitions of programming
 languages and calculi. From the definition of a
 language syntex and semanticsin a concise and readable
 notation close to informal mathematics, it can
 provide LaTeX, Coq, HOL, Isabelle/HOL, Lem or OCaml
 versions of the definition.
 .
 Coq is a proof assistant for higher-order logic.

I plan to maintain it within the Debian OCaml Maintainers team, along with the
other Coq-related packages.

Cheers,

J.Puydt