diff options
Diffstat (limited to 'devel/camlp4/pkg-plist')
| -rw-r--r-- | devel/camlp4/pkg-plist | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/devel/camlp4/pkg-plist b/devel/camlp4/pkg-plist index 4226d3d..fb8d453 100644 --- a/devel/camlp4/pkg-plist +++ b/devel/camlp4/pkg-plist @@ -55,4 +55,11 @@ lib/camlp4/stdpp.cmi lib/camlp4/plexer.cmi lib/camlp4/grammar.cmi lib/camlp4/gramext.cmi +lib/camlp4/gramext.cmx +lib/camlp4/gramlib.a +lib/camlp4/gramlib.cmxa +lib/camlp4/grammar.cmx +lib/camlp4/plexer.cmx +lib/camlp4/stdpp.cmx +lib/camlp4/token.cmx @dirrm lib/camlp4 |
