Downloading the
PostgreSQL 7.4.2 rpms for Red Hat 7.3
now seems to work fine. Whatever the problem was with the Postgres
FTP server before, it's gone now. Btw, the following wget command is
handy for just yanking down all 10 or 12 rpms at once, and is
idempotent (you can re-run it many times if necessary):
wget -r -c -l2 --no-parent -A.rpm ftp://ftp.postgresql.org/pub/binary/v7.4.2/redhat/redhat-7.3
