Here are two conversion utilities for MySQL dumps.  Use the one you prefer.

The most recent version of my2pg.pl can be obtained from:

	http://ziet.zhitomir.ua/~fonin/code/

Another tool, mysql2pgsql,  can be found at:

	http://www.rot13.org/~dpavlin/sql.html
