acl2-0.0.0: Setup.hs

module Main (main) where

import Distribution.Simple (defaultMain)

main :: IO ()
main = defaultMain