lhs2tex_1.18.1-2_amd64.deb


Advertisement

Description

lhs2tex - Generates LaTeX code from literate Haskell sources

Property Value
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

Package Version Architecture Repository
lhs2tex_1.18.1-2_i386.deb 1.18.1 i386 Debian Main
lhs2tex - - -

Requires

Name Value
dpkg >= 1.14.18
libc6 >= 2.14
libffi6 >= 3.0.4
libgmp10 -
tex-common >= 3
texlive-latex-base -
texlive-math-extra -

Download

Type URL
Binary Package lhs2tex_1.18.1-2_amd64.deb
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

Path
/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.

See Also

Package Description
lib32asan0_4.8.4-1_amd64.deb AddressSanitizer -- a fast memory error detector (32bit)
lib32asan1_4.9.2-10+deb8u1_amd64.deb AddressSanitizer -- a fast memory error detector (32bit)
lib32atomic1_4.9.2-10+deb8u1_amd64.deb support library providing __atomic built-in functions (32bit)
lib32cilkrts5_4.9.2-10+deb8u1_amd64.deb Intel Cilk Plus language extensions (32bit)
lib32cr0_0.8.5-2.2_amd64.deb (32bit) Libraries to Checkpoint and Restart Linux processes
lib32gcc-4.8-dev_4.8.4-1_amd64.deb GCC support library (32 bit development files)
lib32gcc-4.9-dev_4.9.2-10+deb8u1_amd64.deb GCC support library (32 bit development files)
lib32gcc1_4.9.2-10+deb8u1_amd64.deb GCC support library (32 bit Version)
lib32gfortran-4.8-dev_4.8.4-1_amd64.deb Runtime library for GNU Fortran applications (32bit development files)
lib32gfortran-4.9-dev_4.9.2-10+deb8u1_amd64.deb Runtime library for GNU Fortran applications (32bit development files)
lib32gfortran3_4.9.2-10+deb8u1_amd64.deb Runtime library for GNU Fortran applications (32bit)
lib32go4_4.8.4-1_amd64.deb Runtime library for GNU Go applications (32bit)
lib32go5_4.9.2-10+deb8u1_amd64.deb Runtime library for GNU Go applications (32bit)
lib32gomp1_4.9.2-10+deb8u1_amd64.deb GCC OpenMP (GOMP) support library (32bit)
lib32itm1_4.9.2-10+deb8u1_amd64.deb GNU Transactional Memory Library (32bit)
Advertisement
Advertisement