verify-0.0.0: executable/Main.hs

main :: IO ()
main = return ()