Bug#633953: ITP: tyxml -- typed XML in OCaml

[Stéphane Glondu <glondu@debian.org>]

Package: wnpp
Severity: wishlist
Owner: "Stéphane Glondu" <glondu@debian.org>

* Package name    : tyxml
  Version         : 1.91
  Upstream Author : Thorsten Ohl, Vincent Balat, and others
* URL             : http://ocsigen.org/tyxml/install
* License         : LGPL
  Programming Lang: OCaml
  Description     : typed XML in OCaml

 TyXML allows one to build XML trees whose validity is ensured by the
 typechecker. It's based on a traduction of XML types into polymorphic
 variants, originally written by Thorsten Ohl. Currently, the
 transcription has been done for XHTML 1.0 and 1.1, HTML5 and SVG
 (partial).
 .
 TyXML also provides a generic printer and some low-level (and
 untyped) iterators over XML trees. The printer has options for
 printing XHTML in more browser-friendly way when served as
 "text/html" (instead of "text/xml"). HTML5 is always printed with
 those options.
 .
 All modules provided by TyXML are also provided in functorial
 interface, where every module is parameterised by the underlying XML
 representation.
 .
 A camlp4 extension, named Pa_tyxml, allows one to write HTML pages or
 HTML fragments with the usual syntax.

Part of this library is already part of Ocsigen 1.3. It has been split
out and extended, and is a new dependency of Ocsigen 2.