most recent changes, diff for coq

Index: lang/coq/Portfile --- lang/coq/Portfile (revision 36888) +++ lang/coq/Portfile (revision 36889) @@ -3,7 +3,7 @@ PortSystem 1.0 name coq -version 8.1pl2 +version 8.1pl3 categories lang math maintainers reilles@loria.fr homepage http://coq.inria.fr/ @@ -16,7 +16,10 @@ their formal specification. It is developed using Objective Caml and \ Camlp4. For more information, see <${homepage}>. -checksums sha1 33ab31abffe42559a5c8341b66a0520805337526 +checksums \ + md5 84311faf7865b2eab964990cdb365dca \ + sha1 c06141891c2a793ff6b4bc1f106d9477b3a9a52e \ + rmd160 f8f4749e1014cb47a83915550713cf9ce1992e34 use_parallel_build yes configure.pre_args -prefix ${prefix}