other missing RPMs? (Re: pg_repack12)

On Sun, Nov 17, 2019 at 12:11:20AM +0000, Devrim Gündüz wrote:
> On Fri, 2019-11-15 at 10:01 -0600, Justin Pryzby wrote:
> > Shouldn't this be built for RH6?
> > https://download.postgresql.org/pub/repos/yum/12/redhat/rhel-6-x86_64/

I checked what other packages were available for PG12 RH6 vs RH7.
Are these all deliberate?

for a in 11 12; do for b in 6 7; do wget https://yum.postgresql.org/$a/redhat/rhel-$b-x86_64/ -O- |sed 's,</.*,,; s,<[^>]*>, ,g; s/-.*//; s/^ *//; s/11$/12/' |sort -u >$a-$b.dat; done; done
diff 12-6.dat 12-7.dat |grep -Ev '^[,[:xdigit:]]*$|^[<>] (python|proj|postgis|lib|pam|geos|gdal)' # or,
git diff --no-index 12-6.dat 12-7.dat

Available for PG11 RH7 and PG12 RH but not PG12 RH7 (this is the "intersection" of a couple following lists).
pgreplay1*
pg_sample
pg_squeeze1*
pg_track_settings1*
pldebugger1*

These are available for RH6 but not RH7:
pgreplay12
pg_sample
pg_sampletolog12
pg_squeeze12
pg_store_plans12
pg_track_settings12
pitrery
pldebugger12
plpgsql_check_12

These available for RH7 but not RH6:
hdfs_fdw_12
mongo_fdw12
ogr_fdw12
periods_12
pgbackrest
pg_cron_12
pgcryptokey12
pg_dumpbinary
pgloader
pg_monz
pgrouting_12
powa_12

Seem to be missing:
pgtop for PG11, RH6?

Available for PG11 RH7 but not PG12 RH7?
cstore_fdw_12
mailchimp_fdw
pgadmin4
pg_bulkload12
pg_filedump12
pg_sample
pg_squeeze12
pg_top12
pg_track_settings12
pldebugger12
plproxy12
rum_12
timescaledb_12

Justin