The text 564d7cf2b203, as Debian 7 (Wheezy) shipped it.
Convert between represetations of convex polyhedra.
redund(1) on Linux now
