pretzel - Prettyprinter generator for noweb

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main i386
Package name pretzel
Package version 2.0n
Package release 2-0.3
Package architecture i386
Package type deb
Installed size 604 B
Download size 229.62 KB
Official Mirror
Pretzel is a system that builds prettyprinters; that is programs that
will take some plain ASCII source code and generate a LaTeXified version
for presentation.
Pretzel has hooks to integrate with noweb, so that code chunks may be
prettyprinted with pretzel's generated prettyprinters.
Example prettyprinter source for C, C++, Pascal, and Dijkstra's Guarded
Command Language are included.


Package Version Architecture Repository
pretzel_2.0n-2-0.3_amd64.deb 2.0n amd64 Debian Main
pretzel - - -


Name Value
bison >= 1.19
flex >= 2.4.6
libc6 >= 2.7-1
libgcc1 >= 1:4.1.1-21
libstdc++6 >= 4.2.1-4


Type URL
Binary Package pretzel_2.0n-2-0.3_i386.deb
Source Package pretzel

Install Howto

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




2008-03-09 - Luk Claes <>
pretzel (2.0n-2-0.3) unstable; urgency=medium
* Non-maintainer upload.
* Fix FTBFS with GCC 4.3 (Closes: #461686).
2008-01-22 - Marc 'HE' Brockschmidt <>
pretzel (2.0n-2-0.2) unstable; urgency=low
* debian/rules: Fix bashism. (Closes: #459169)
2004-08-21 - Andreas Barth <>
pretzel (2.0n-2-0.1) unstable; urgency=low
* NMU during Darmstadt BSP.
* Fix FTBFS. Closes: #266037.
2003-08-22 - Anthony Towns <>
pretzel (2.0n-2) unstable; urgency=low
* Updated to modern C++ string standards. Thanks to LaMont Jones for the
patch. (Closes: Bug#196579)
* Removed reference to dh_suidregister.
* Include everything in contrib in doc/examples/contrib. (Closes:
2001-08-22 - James Troup <>
pretzel (2.0n-1.1) unstable; urgency=low
* Non-maintainer upload.
* debian/control (Build-Depends): add debhelper, closes: #109646.
* debian/changelog: remove local variables stuff.
2000-05-07 - Anthony Towns <>
pretzel (2.0n-1) unstable; urgency=low
* Initial Release.

See Also

Package Description
preview-latex-style_11.87-3+deb8u1_all.deb extraction of elements from LaTeX documents as graphics
preview.app_0.8.5-10+b1_i386.deb General purpose image viewer for GNUstep
prewikka_1.0.0-1.3_all.deb Security Information Management System [ Web Interface ]
prey_0.6.2-1_all.deb utility for tracking stolen computers
price.app_1.1.0-1+b1_i386.deb Image filtering and manipulation using GNUstep
prime-phylo_1.0.11-2_i386.deb bayesian estimation of gene trees taking the species tree into account
primer3_2.3.6-1_i386.deb Tool to design flanking oligo nucleotides for DNA amplification
primrose_6+dfsg1-3_i386.deb compelling tile-placement puzzle game
primus-libs-ia32_0~20140711-1_i386.deb Shared libraries for primus (32-bit)
primus-libs_0~20140711-1_i386.deb Shared libraries for primus
primus_0~20140711-1_i386.deb client-side GPU offloading for NVIDIA Optimus
print-manager_4.14.0-1_i386.deb printer configuration and monitoring tools
printer-driver-all-enforce_0.20140714_all.deb printer drivers metapackage - enforcing version
printer-driver-all_0.20140714_all.deb printer drivers metapackage
printer-driver-brlaser_3-3_i386.deb printer driver for (some) Brother laser printers