Jenkins builds for greenplum v4 gone?

[Dale Baley]

Are the rpm packages for greenplum v4 that were available through Jenkins no 
longer being offered? I only see greenplum 5alpha now.

thanks,
dale