diff options
| author | Pierre-Marie Pédrot | 2018-11-06 15:46:00 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-11-07 13:55:13 +0100 |
| commit | 1b1fecbb38ac8fc77750daf863b47c8dfc49ed41 (patch) | |
| tree | a0234da4d2ba5e26a76c237b38adb630a79a2e32 /INSTALL | |
| parent | 14c55444b3bd574f77b4443916c55f8f102414b6 (diff) | |
Bump up the minimal camlp5 version to 7.06.
This is the first release that contains the type-safe grammar API.
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -39,7 +39,7 @@ WHAT DO YOU NEED ? - Findlib (version >= 1.4.1) (available at http://projects.camlcity.org/projects/findlib.html) - - Camlp5 (version >= 7.03) + - Camlp5 (version >= 7.06) (available at https://camlp5.github.io/) - GNU Make version 3.81 or later |