diff options
| author | Jon French | 2018-12-27 12:24:24 +0000 |
|---|---|---|
| committer | Jon French | 2018-12-27 12:24:24 +0000 |
| commit | 4f804dc5d80b422d1822c9aec5221ada7b395fc7 (patch) | |
| tree | d0116759dd21aa88ec14f105df4d8bb68b91b558 /opam | |
| parent | e6054bed8375003594edb076ad8be7950b09c5c3 (diff) | |
new command line option -marshal <file> to marshal out rewritten AST to a file
Adds new dependency: base64
Diffstat (limited to 'opam')
| -rw-r--r-- | opam | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -30,5 +30,6 @@ depends: [ "ott" {>= "0.28"} "lem" "linksem" {>= "0.3"} + "base64" ] available: [ocaml-version >= "4.02.3"] |