diff options
Diffstat (limited to 'lib/dune')
| -rw-r--r-- | lib/dune | 9 |
1 files changed, 8 insertions, 1 deletions
| @@ -2,4 +2,11 @@ | |||
| 2 | (name rdcapsis) | 2 | (name rdcapsis) |
| 3 | (preprocess | 3 | (preprocess |
| 4 | (pps ppx_jane)) | 4 | (pps ppx_jane)) |
| 5 | (libraries core zarith dmap delimited_parsing re core_unix.date_unix)) | 5 | (libraries |
| 6 | core | ||
| 7 | bignum.bigint | ||
| 8 | bigdecimal | ||
| 9 | dmap | ||
| 10 | delimited_parsing | ||
| 11 | re | ||
| 12 | core_unix.date_unix)) | ||