opentheory-primitive-1.0: Setup.hs

module Main(main)

import Distribution.Simple

main :: IO ()
main = defaultMain