[pgadmin-support] Install v1.12 on Fedora 13

[Jason Long]

What is the best way to do this?  Please say yum and point me to a
repository.