package obs
authors = "Greg Brown"
sourcedir = "src"

depends = contrib

executable = obs
main = Obs.Main

modules
  = Obs.Main
  , Obs.Parser
  , Obs.Sort
  , Obs.Syntax
  , Obs.Term