pretzel binary package in Ubuntu Precise armhf

 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.

Source package