hello, I'm the current maintainer of coq port. > I've updated the math/coq port to the latest stable release. Building ...... > The coq port has been broken for a while now, so please help me test > it and provide comments.
yeah, I hope coq will be back to alive as one of math ports, though I don't have enough time recently to catch up the upstream. I'll try to make time to examine mina's work, but anyone please try it! -- yozo.
