diff options
Diffstat (limited to 'devel/ocaml-camlp5/Makefile')
| -rw-r--r-- | devel/ocaml-camlp5/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/devel/ocaml-camlp5/Makefile b/devel/ocaml-camlp5/Makefile index 07345d1b1c25..606da5bcc905 100644 --- a/devel/ocaml-camlp5/Makefile +++ b/devel/ocaml-camlp5/Makefile @@ -7,8 +7,7 @@ # PORTNAME= camlp5 -PORTVERSION= 5.08 -PORTREVISION= 1 +PORTVERSION= 5.11 CATEGORIES= devel MASTER_SITES= http://cristal.inria.fr/~ddr/camlp5/distrib/src/ \ http://pauillac.inria.fr/~ddr/camlp5/distrib/src/ |