Change logs for lhs2tex source package in Jaunty

  • 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.
    
    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.
    
     -- Iain Lane <email address hidden>   Mon,  26 Jan 2009 08:40:24 +0000
  • lhs2tex (1.13-3) unstable; urgency=medium
    
      * debian/control:
        - Add dpatch to the build dependencies.
        - Bump Standards-Version to 3.8.0
      * debian/patches/01_always_install_polytable.dpatch:
        - Patch config.mk.in to make sure we install the polytable (La)Tex 
          style.
      * debian/patches/10_fix_bashims.dpatch:
        - Fix a bashism in the examples of lhs2TeX (Closes: #489624)
      * debian/README.source: Added.
      * debian/rules:
        - Include dpatch snippet
        - Remove the sed expressions which is replaced with a regular patch
      * Set urgency to medium to get the bashism fix into Lenny.
    
     -- Ubuntu Archive Auto-Sync <email address hidden>   Tue,  04 Nov 2008 21:29:03 +0000
  • lhs2tex (1.13-2) unstable; urgency=low
    
      * Fix bashism in debian/rules. (Closes: #484397)
      * debian/control:
        - Drop dependencies on obsolete packages tetex-bin, tetex-base and
          tetex-extra. Fixes lintian error depends-on-obsolete-package
      * debian/doc-base:
        - Change Section to Programming/Haskell
      
    
     -- Ubuntu Archive Auto-Sync <email address hidden>   Tue,  10 Jun 2008 07:26:16 +0100