diff options
| -rw-r--r-- | devel/ocaml-findlib/Makefile | 2 | ||||
| -rw-r--r-- | devel/ocaml-findlib/distinfo | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/devel/ocaml-findlib/Makefile b/devel/ocaml-findlib/Makefile index 721faa84d88f..4a7d3fafdf6f 100644 --- a/devel/ocaml-findlib/Makefile +++ b/devel/ocaml-findlib/Makefile @@ -7,7 +7,7 @@ # PORTNAME= findlib -PORTVERSION= 0.7.1 +PORTVERSION= 0.7.2 CATEGORIES= devel MASTER_SITES= http://www.ocaml-programming.de/packages/ PKGNAMEPREFIX= ocaml- diff --git a/devel/ocaml-findlib/distinfo b/devel/ocaml-findlib/distinfo index a1dedec6210c..773206c303c4 100644 --- a/devel/ocaml-findlib/distinfo +++ b/devel/ocaml-findlib/distinfo @@ -1 +1 @@ -MD5 (findlib-0.7.1.tar.gz) = 963d5fcc9c62db5007a38bf3838c67ff +MD5 (findlib-0.7.2.tar.gz) = 29c27923ec7a00bc54c351fd49282488 |