Agda-2.3.2.2: src/hTags/Setup.hs

import Distribution.Simple

main = defaultMainWithHooks defaultUserHooks