diff options
Diffstat (limited to 'development/camlp5/camlp5.SlackBuild')
| -rw-r--r-- | development/camlp5/camlp5.SlackBuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/development/camlp5/camlp5.SlackBuild b/development/camlp5/camlp5.SlackBuild index dc1eb55f7c441..1f504f9e2a62e 100644 --- a/development/camlp5/camlp5.SlackBuild +++ b/development/camlp5/camlp5.SlackBuild @@ -19,8 +19,8 @@ # Rewrite for updated camlp5 Panagiotis Nikolaou, Culver City, CA PRGNAM=camlp5 -VERSION=${VERSION:-7.02} -SRCVER=rel702 +VERSION=${VERSION:-7.05} +SRCVER=rel705 BUILD=${BUILD:-1} TAG=${TAG:-_SBo} |