Sergey A. Osokin f37f7775e3 Make portlint(1) happy by changing strip to ${STRIP_CMD} ... Submitted by: Oleg Karachevtsev <ok@etrust.ru> PR: 56998		2003-09-24 09:37:11 +00:00
..
files	New patch to unbreak the build (configure step runs thread program that	2003-03-29 13:06:59 +00:00
distinfo	Update to version 3.06	2002-08-21 02:14:35 +00:00
Makefile	Make portlint(1) happy by changing strip to ${STRIP_CMD}	2003-09-24 09:37:11 +00:00
pkg-descr
pkg-plist	Add WITHOUT_X11 knob. It allows to build OCAML on servers and other	2003-06-28 17:41:27 +00:00