[macports-ports] branch master updated: coq: Reverse accidentally applied update. It's not ready.
Perry E. Metzger
perry at piermont.com
Thu May 10 13:04:02 UTC 2018
An HTML attachment was scrubbed...
URL: <http://lists.macports.org/pipermail/macports-changes/attachments/20180510/83a2d136/attachment.html>
More information about the macports-changes
mailing list