diff options
Diffstat (limited to 'devel/camlp4/pkg-plist')
| -rw-r--r-- | devel/camlp4/pkg-plist | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devel/camlp4/pkg-plist b/devel/camlp4/pkg-plist index fb8d453e0eeb..ed08654a0465 100644 --- a/devel/camlp4/pkg-plist +++ b/devel/camlp4/pkg-plist @@ -62,4 +62,5 @@ lib/camlp4/grammar.cmx lib/camlp4/plexer.cmx lib/camlp4/stdpp.cmx lib/camlp4/token.cmx +lib/camlp4/pa_olabl.cmo @dirrm lib/camlp4 |