[Bug 320995] [NEW] Please sync lhs2tex 1.13-4 (universe) from Debian unstable (main).

[Launchpad Bug Tracker]

You have been subscribed to a public bug by Daniel Holbach (dholbach):

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 <arjan at debian.org>  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 <arjan at debian.org>  Sat, 17 Jan 2009 18:02:16 +0100

** Affects: lhs2tex (Ubuntu)
     Importance: Undecided
         Status: New

-- 
Please sync lhs2tex 1.13-4 (universe) from Debian unstable (main).
https://bugs.launchpad.net/bugs/320995
You received this bug notification because you are a member of Ubuntu Package Archive Administrators, which is a direct subscriber.