[macports-ports] branch master updated: coq: Update to 8.5pl3

Lawrence Velázquez larryv at users.noreply.github.com
Fri Nov 11 23:48:44 CET 2016

Previous message: [macports-ports] branch master updated: pari: update to 2.9.0 maintainer
Next message: [macports-ports] branch master updated: swi-prolog-devel: Update to 7.3.30
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An HTML attachment was scrubbed...
URL: <http://lists.macports.org/pipermail/macports-changes/attachments/20161111/6f36caa7/attachment.html>

Previous message: [macports-ports] branch master updated: pari: update to 2.9.0 maintainer
Next message: [macports-ports] branch master updated: swi-prolog-devel: Update to 7.3.30
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the macports-changes mailing list