diff options
Diffstat (limited to 'dev-ml/lwt/metadata.xml')
| -rw-r--r-- | dev-ml/lwt/metadata.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ml/lwt/metadata.xml b/dev-ml/lwt/metadata.xml index d740843ec27b..03beb8a8933a 100644 --- a/dev-ml/lwt/metadata.xml +++ b/dev-ml/lwt/metadata.xml @@ -18,6 +18,7 @@ <name>Proxy Maintainers</name> </maintainer> <use> + <flag name="ppx">Enables the ppx syntax extension</flag> <flag name="react">Enables support for <pkg>dev-ml/react</pkg>: Functional reactive programming (signals, events, etc.).</flag> <flag name="toplevel">Enables enhanced toplevel.</flag> <flag name="text">Enables text mode utilities.</flag> |