Created attachment 157072 [details] patch
Committed, thanks.
A commit references this bug: Author: johans Date: Sat May 23 10:06:55 UTC 2015 New revision: 387123 URL: https://svnweb.freebsd.org/changeset/ports/387123 Log: Update Coq to 8.4pl6 PR: 200409 Submitted by: yuri@rawbw.com Changes: head/math/coq/Makefile head/math/coq/distinfo head/math/coq/pkg-plist