copilot-cbmc-2.1.1: Setup.hs

module Main ( main ) where

import Distribution.Simple (defaultMainWithHooks, simpleUserHooks, postInst)

main :: IO ()
main = defaultMain