/usr/share/postgresql/10/extension/repmgr.control is in postgresql-10-repmgr 4.0.3-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 | # repmgr extension
comment = 'Replication manager for PostgreSQL'
default_version = '4.0'
module_pathname = '$libdir/repmgr'
relocatable = false
schema = repmgr
|