Pav Lucistnik 0eca88d377 This port has been broken for 3+ months, thus ... - Mark DEPRECATED and schedule for expiration in one month With hat: portmgr		2009-12-08 14:30:09 +00:00
..
files	- Fix build after math/GiNaC update	2008-04-28 07:53:46 +00:00
distinfo
Makefile	This port has been broken for 3+ months, thus	2009-12-08 14:30:09 +00:00
pkg-descr
pkg-plist