Postgres ProGate is shipped as the package
progate, which includes all the needed dependencies.
The following utilities are included in progate,
but they can also be installed individually
(for example, to only use the command line):
procopy
prosync
procheck
procheck is not available through the web interface yet. So it can only be used as a command-line utility.