obs.ipkg


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

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

depends = contrib

options = "--total"

executable = "cc-check"
main = Main

modules
  = CC.Name
  , CC.Term
  , CC.Term.Elaborate
  , CC.Term.Eval
  , CC.Term.Parse
  , CC.Term.Pretty
  , CC.Term.Raw
  , CC.Thinning
  , Main