MD5 (postgresql/postgresql-7.1.3.tar.gz) = a92c77092034fb35c7b3bb82beebd54b
MD5 (postgresql/psqlj-7.1.2.diff.gz) = f596edc4f16b9bc7ce5fb65e8ed2bbf3