lhs2tex_1.18.1-2_amd64.deb


Advertisement

Description

lhs2tex - Generates LaTeX code from literate Haskell sources

Distribution: Debian 8 (Jessie)
Repository: Debian Main amd64
Package name: lhs2tex
Package version: 1.18.1
Package release: 2
Package architecture: amd64
Package type: deb
Installed size: 2.61 KB
Download size: 843.06 KB
Official Mirror: ftp.br.debian.org
lhs2TeX includes the following features: Different styles to process your source file: for instance, "tt" style uses a monospaced font for the code while still allowing you to highlight keywords etc, whereas "poly" style uses proportional fonts for identifiers, handles indentation nicely, is able to replace binary operators by mathematical symbols and take care of complex horizontal alignments. Formatting directives, which let you customize the way certain tokens in the source code should appear in the processed output. A liberal parser that can handle most of the language extensions; you don't have to restrict yourself to Haskell 98. Preprocessor-style conditionals that allow you to generate different versions of a document from a single source file (for instance, a paper and a presentation). Active documents: you can use Haskell to generate parts of the document (useful for papers on Haskell). A manual explaining all the important aspects of lhs2TeX.

Alternatives

    Download

    Source package: lhs2tex

    Install Howto

    1. Update the package index:
      # sudo apt-get update
    2. Install lhs2tex deb package:
      # sudo apt-get install lhs2tex

    Files

    • /usr/bin/lhs2TeX
    • /usr/share/doc-base/lhs2tex-guide
    • /usr/share/doc/lhs2tex/Guide2.pdf
    • /usr/share/doc/lhs2tex/TODO
    • /usr/share/doc/lhs2tex/changelog.Debian.gz
    • /usr/share/doc/lhs2tex/changelog.gz
    • /usr/share/doc/lhs2tex/copyright
    • /usr/share/doc/lhs2tex/examples/FormatAlign.lhs
    • /usr/share/doc/lhs2tex/examples/HelloWorld.lhs
    • /usr/share/doc/lhs2tex/examples/MaxSegment.lhs
    • /usr/share/doc/lhs2tex/examples/Unlit.lhs
    • /usr/share/doc/lhs2tex/examples/UnlitP.lhs.gz
    • /usr/share/doc/lhs2tex/examples/lhs2TeXpre
    • /usr/share/lhs2tex-1.18.1/agda.fmt
    • /usr/share/lhs2tex-1.18.1/beamer.fmt
    • /usr/share/lhs2tex-1.18.1/beamerboxed.fmt
    • /usr/share/lhs2tex-1.18.1/colorcode.fmt
    • /usr/share/lhs2tex-1.18.1/exists.fmt
    • /usr/share/lhs2tex-1.18.1/forall.fmt
    • /usr/share/lhs2tex-1.18.1/greek.fmt
    • /usr/share/lhs2tex-1.18.1/jfpcompat.fmt
    • /usr/share/lhs2tex-1.18.1/lambda.fmt
    • /usr/share/lhs2tex-1.18.1/lhs2TeX.fmt
    • /usr/share/lhs2tex-1.18.1/lhs2TeX.sty
    • /usr/share/lhs2tex-1.18.1/polycode.fmt
    • /usr/share/lhs2tex-1.18.1/spacing.fmt
    • /usr/share/man/man1/lhs2TeX.1.gz
    • /usr/share/texmf/tex/latex/polytable/lazylist.sty
    • /usr/share/texmf/tex/latex/polytable/polytable.sty

    Changelog

    2013-05-24 - Joachim Breitner <nomeata@debian.org> lhs2tex (1.18.1-2) unstable; urgency=low * Enable compat level 9

    2013-02-09 - Joachim Breitner <nomeata@debian.org> lhs2tex (1.18.1-1) experimental; urgency=low * Bump standards version, no change * New upstream release

    2011-12-31 - Joachim Breitner <nomeata@debian.org> lhs2tex (1.17-1) unstable; urgency=low [ Erik de Castro Lopo ] * New upstream. * debian/control: - Standards version 3.9.2 (no changes required). - Added myself to uploaders. Added DM-Upload-Allowed: yes. * debian/patches/ : - Disable patches no-utf8-string.patch and add-typesig (in upstream). - Refresh patches/no-n-plus-k-pattern. - Add Dep3 info to patches/no-n-plus-k-pattern. * debian/rules : Fix a couple of lintian warnings. [ Joachim Breitner ] * debian/watch: Refer to hackage

    2011-06-02 - Joachim Breitner <nomeata@debian.org> lhs2tex (1.15-4) unstable; urgency=low [ Joachim Breitner ] * Section: haskell [ Marco Silva ] * Use ghc instead of ghc6 [ Joachim Breitner ] * Remove n-plus-k-patterns (Closes: #628319)

    2010-04-11 - Joachim Breitner <nomeata@debian.org> lhs2tex (1.15-3) unstable; urgency=low * Force all IO to utf8 (Closes: #576512)

    2010-04-03 - Joachim Breitner <nomeata@debian.org> lhs2tex (1.15-2) unstable; urgency=low * Upload to unstable.

    2010-03-25 - Joachim Breitner <nomeata@debian.org> lhs2tex (1.15-1) experimental; urgency=low * New upstream release * Adopt by the Debian Haskell Group * Update homepage * Use dh_prep instead of dh_clean -k * No more bashism (Closes: #530115) * Builds fine with ghc-6.12 (Closes: #574794) * Do not use utf8-string (Closes: #570868)

    2009-01-17 - Arjan Oosting <arjan@debian.org> 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.

    2009-01-17 - Arjan Oosting <arjan@debian.org> 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.

    2008-07-20 - Arjan Oosting <arjan@debian.org> 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.

    Advertisement
    Advertisement