-- |
-- Module      :  Main
  Copyright    :   ( c ) 2013 - 2016 Galois , Inc.
-- License     :  BSD3
-- Maintainer  :  
-- Stability   :  provisional
-- Portability :  portable

import Distribution.Simple
main = defaultMain

 |
 Module      :  Main
 License     :  BSD3
 Maintainer  :  
 Stability   :  provisional
 Portability :  portable
  Copyright    :   ( c ) 2013 - 2016 Galois , Inc.

import Distribution.Simple
main = defaultMain
