Please sync lhs2tex 1.13-4 (universe) from Debian unstable (main).

[Iain Lane]

Please sync lhs2tex 1.13-4 (universe) from Debian unstable (main).

Rationale:
New upstream with important feature for a lot of users (Agda support). b/i/r.

Changelog since current jaunty version 1.13-3:

lhs2tex (1.14-1) experimental; urgency=low

  * New upstream release:
    - Unicode support.
    - Support for Agda's lexing rules (via --agda flag).
  * debian/control:
    - Add libghc6-utf8-string-dev to the build dependencies.

 -- Arjan Oosting <email address hidden> Sat, 17 Jan 2009 18:06:34 +0100

lhs2tex (1.13-4) unstable; urgency=low

  * Add dependency on texlive-math-extra as polycode.fmt depends on
    the theoretical computer science fonts located in stmaryrd.sty
    Thanks Tomasz Maciejewski (Closes: #511818)
  * debian/rules: Use dh_installtex to generate maintainer scripts
    which call mktexlsr.
  * debian/control: Add tex-common to build dependencies as it provides
    dh_installtex.

 -- Arjan Oosting <email address hidden> Sat, 17 Jan 2009 18:02:16 +0100

[Daniel Holbach (dholbach)]

ACKed.

[Steve Langasek (vorlon)]

[Updating] lhs2tex (1.13-3 [Ubuntu] < 1.14-1 [Debian])
 * Trying to add lhs2tex...
  - <lhs2tex_1.14.orig.tar.gz: downloading from http://ftp.debian.org/debian/>
  - <lhs2tex_1.14-1.diff.gz: downloading from http://ftp.debian.org/debian/>
  - <lhs2tex_1.14-1.dsc: downloading from http://ftp.debian.org/debian/>
I: lhs2tex [universe] -> lhs2tex_1.13-3 [universe].