Agda-2.3.2.2: src/transl/Setup.hs

import Distribution.Simple
main = defaultMain