diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/dune | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -3,4 +3,5 @@ (library (name rnt) (public_name rnt) - (libraries batteries ctypes ctypes-foreign)) + (libraries batteries ctypes ctypes-foreign sexplib digestif) + (flags :standard -cclib -llmdb)) |
