#12913: tetex is dead -----------------------------------+---------------------------------------- Reporter: zach@tu-clausthal.de | Owner: gwright@macports.org Type: enhancement | Status: closed Priority: Normal | Milestone: Port Enhancements Component: ports | Version: 1.5.0 Resolution: fixed | Keywords: -----------------------------------+---------------------------------------- Changes (by jmr@macports.org): * cc: jmr@macports.org (added) * status: new => closed * resolution: => fixed Comment: Switched over the remaining dependencies in r37228. -- Ticket URL: <http://trac.macports.org/ticket/12913#comment:16> MacPorts <http://www.macports.org/> Ports system for Mac OS