Please sync lhs2tex 1.13-4 (universe) from Debian unstable (main).
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
lhs2tex (Ubuntu) |
Fix Released
|
Undecided
|
Unassigned |
Bug Description
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-
-- 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
ACKed.