[macports-ports] branch master updated: coq: upgrade to 8.7.2

Perry E. Metzger perry at piermont.com
Sun Feb 18 16:25:14 UTC 2018

Previous message: [macports-ports] 03/03: hdf5-18: increment revision to be replaced_by hdf5
Next message: [macports-ports] branch master updated: alps: fix livecheck
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message: [macports-ports] 03/03: hdf5-18: increment revision to be replaced_by hdf5
Next message: [macports-ports] branch master updated: alps: fix livecheck
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the macports-changes mailing list