diff options
| author | amdmi3 <amdmi3@FreeBSD.org> | 2009-01-23 22:16:53 +0800 |
|---|---|---|
| committer | amdmi3 <amdmi3@FreeBSD.org> | 2009-01-23 22:16:53 +0800 |
| commit | 9095d44cee4c2fec60674a355e4c0b393882efaa (patch) | |
| tree | f6f5f1d487ad66a7a6b3073f7e12b373c9de1224 /devel/ocaml-camlp5/Makefile | |
| parent | 5e2ad8a8e13e8be6d2623dba9900ffd9bfb42c0e (diff) | |
| download | freebsd-ports-gnome-9095d44cee4c2fec60674a355e4c0b393882efaa.tar.gz freebsd-ports-gnome-9095d44cee4c2fec60674a355e4c0b393882efaa.tar.zst freebsd-ports-gnome-9095d44cee4c2fec60674a355e4c0b393882efaa.zip | |
- Update to 5.11
PR: 130844
Submitted by: Hirohisa Yamaguchi <umq at ueo dot co dot jp> (maintainer)
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/ |