Add tlaps 1.3.2

Formula tested on two different systems.