summaryrefslogtreecommitdiff
path: root/lang/ocaml
ModeNameSize
-rw-r--r--DESCR456logplain
-rw-r--r--Makefile533logplain
-rw-r--r--Makefile.common1152logplain
-rw-r--r--PLIST11239logplain
-rw-r--r--PLIST.opt3955logplain
-rw-r--r--PLIST.prof1096logplain
-rw-r--r--PLIST.stub383logplain
-rw-r--r--buildlink3.mk1216logplain
-rw-r--r--distinfo2533logplain
d---------files38logplain
d---------patches1440logplain