DanGrayson/coq-builder — pull request #3 by AliSajid (2014-09-18 15:11:00+00:00)
Title: Update the hevea url

hevea 2.13 is no longer th current version so the url has changed. I have updated the url because hevea 2.13 works but the build process would break because it wouldn't get the tarball.