[macports-ports] branch master updated: coq: update to 8.8.2

Perry E. Metzger perry at piermont.com
Mon Oct 1 10:59:58 UTC 2018

Previous message: [macports-ports] branch master updated: Processing: update from 3.3.7 to 3.4 (maintainer)
Next message: [macports-ports] branch master updated (9e441dc -> 658fafe)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An HTML attachment was scrubbed...
URL: <http://lists.macports.org/pipermail/macports-changes/attachments/20181001/4f72794a/attachment.html>

Previous message: [macports-ports] branch master updated: Processing: update from 3.3.7 to 3.4 (maintainer)
Next message: [macports-ports] branch master updated (9e441dc -> 658fafe)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the macports-changes mailing list