diff options
Diffstat (limited to 'development/camlp5/camlp5.SlackBuild')
| -rw-r--r-- | development/camlp5/camlp5.SlackBuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/development/camlp5/camlp5.SlackBuild b/development/camlp5/camlp5.SlackBuild index bedd2e7c72269..42aa2655a0077 100644 --- a/development/camlp5/camlp5.SlackBuild +++ b/development/camlp5/camlp5.SlackBuild @@ -19,7 +19,7 @@ # Rewrite for updated camlp5 Panagiotis Nikolaou, Karlovasi Samos, Gr PRGNAM=camlp5 -VERSION=${VERSION:-6.13} +VERSION=${VERSION:-6.16} BUILD=${BUILD:-1} TAG=${TAG:-_SBo} |