opentheory-primitive-1.5: Setup.hs

module Main ( main ) where

import Distribution.Simple

main :: IO ()
main = defaultMain