Man Pages in tla

Section 1: Executable programs or shell commands

tla.1

Arch command line client tool

tla-gpg-check.1

Gnu arch revision signature checker