diff --git a/lang/camlp4/files/md5 b/lang/camlp4/files/md5
index 5bad541f5aa..bdddd1bc6cd 100644
--- a/lang/camlp4/files/md5
+++ b/lang/camlp4/files/md5
@@ -1,3 +1,3 @@
-MD5 (camlp4.tar.gz) = 35d918bd70a7d325787346db33733973
-RMD160 (camlp4.tar.gz) = 602c1da48f28940a0646f1bb4107e7f7b3c31425
-SHA1 (camlp4.tar.gz) = 82315fd4e616735ec8b5aef10593b7e8e31327e8
+MD5 (camlp4-3.00.tar.gz) = 35d918bd70a7d325787346db33733973
+RMD160 (camlp4-3.00.tar.gz) = 602c1da48f28940a0646f1bb4107e7f7b3c31425
+SHA1 (camlp4-3.00.tar.gz) = 82315fd4e616735ec8b5aef10593b7e8e31327e8