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	By popular demand, move coq-7.4 from math to lang in order to be consistent	2003-03-22 20:21:16 +00:00
DESCR	By popular demand, move coq-7.4 from math to lang in order to be consistent	2003-03-22 20:21:16 +00:00
distinfo	By popular demand, move coq-7.4 from math to lang in order to be consistent	2003-03-22 20:21:16 +00:00
Makefile	Adjust dependencies after ocaml has been splitted into three different	2004-12-24 17:21:01 +00:00
MESSAGE	By popular demand, move coq-7.4 from math to lang in order to be consistent	2003-03-22 20:21:16 +00:00
PLIST	By popular demand, move coq-7.4 from math to lang in order to be consistent	2003-03-22 20:21:16 +00:00
PLIST.opt	By popular demand, move coq-7.4 from math to lang in order to be consistent	2003-03-22 20:21:16 +00:00