[macports-ports] 06/06: coq: update to 8.7.0

Perry E. Metzger perry at piermont.com
Wed Nov 22 07:21:24 UTC 2017

Previous message: [macports-ports] 05/06: ocaml-findlib: update to 1.7.3
Next message: [macports-ports] branch master updated: procmail: Fix CVE-2017-16844
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An HTML attachment was scrubbed...
URL: <http://lists.macports.org/pipermail/macports-changes/attachments/20171122/2d0ad721/attachment.html>

Previous message: [macports-ports] 05/06: ocaml-findlib: update to 1.7.3
Next message: [macports-ports] branch master updated: procmail: Fix CVE-2017-16844
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the macports-changes mailing list