Thomas Gellekum 998b2d08ec Don't build mpz extension, it's moved to a separate port.		2001-10-19 11:16:55 +00:00
..
files
distinfo
Makefile
pkg-comment
pkg-descr
pkg-plist