pkgsrc/lang/coq
jmmv c33d2074af Adjust dependencies after ocaml has been splitted into three different
packages: ocaml, ocaml-graphics and labltk.  Bump PKGREVISION.
2004-12-24 17:21:01 +00:00
..
patches
DESCR
distinfo
Makefile Adjust dependencies after ocaml has been splitted into three different 2004-12-24 17:21:01 +00:00
MESSAGE
PLIST
PLIST.opt