diff options
Diffstat (limited to 'lang/ocamlduce/PLIST.opt')
| -rw-r--r-- | lang/ocamlduce/PLIST.opt | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/lang/ocamlduce/PLIST.opt b/lang/ocamlduce/PLIST.opt index 110d6706994..40888b5cc9a 100644 --- a/lang/ocamlduce/PLIST.opt +++ b/lang/ocamlduce/PLIST.opt @@ -1,6 +1,8 @@ -@comment $NetBSD: PLIST.opt,v 1.1.1.1 2007/04/08 23:04:53 tonio Exp $ +@comment $NetBSD: PLIST.opt,v 1.2 2009/09/07 21:53:30 tonio Exp $ +bin/ocamlducec.opt +bin/ocamlducedep.opt +bin/ocamlducedoc.opt bin/ocamlduceopt -lib/ocaml/site-lib/ocamlduce/cduce_types.o +bin/ocamlduceopt.opt lib/ocaml/site-lib/ocamlduce/ocamlduce.a lib/ocaml/site-lib/ocamlduce/ocamlduce.cmxa -lib/ocaml/site-lib/ocamlduce/ocamlduce.o |