diff options
| author | Estevan Castilho <tevo@riajuu.net> | 2026-07-15 01:52:38 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-07-14 22:52:38 -0300 |
| commit | c374635a36d71e8cfff6e1c19b62e5d0e14ea371 (patch) | |
| tree | 597fba69d4b39452eabab6299887282c1d7c6bc6 /lib/dune | |
| parent | bb3156b8ab78b035ce886bbe3021ec7cbe269d03 (diff) | |
| download | RNT-c374635a36d71e8cfff6e1c19b62e5d0e14ea371.tar.gz RNT-c374635a36d71e8cfff6e1c19b62e5d0e14ea371.zip | |
Storage layer scaffolding, LMDB backend
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)) |