diff options
| author | Thomas Bauereiss | 2020-01-28 16:45:51 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2020-01-28 18:20:01 +0000 |
| commit | 6631de4f641607755ae8c0434921e4f68cf9f2f6 (patch) | |
| tree | 831b25b3e46c29b8ca87be7d25bab8b5fdd2ae16 /opam | |
| parent | b564a217416afc8df471d3e97cff8168efd804b1 (diff) | |
Use external PPrint
Diffstat (limited to 'opam')
| -rw-r--r-- | opam | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -37,5 +37,6 @@ depends: [ "conf-zlib" "base64" {< "3.0.0"} "yojson" + "pprint" ] available: [ocaml-version >= "4.06.1"] |