[macports-ports] branch master updated: coq: add dependency on ocaml-num

Perry E. Metzger perry at piermont.com
Wed Oct 10 18:49:20 UTC 2018

Previous message: [macports-ports] branch master updated: ocaml-num: new port
Next message: [macports-ports] branch master updated: gpilab: Muptiple updates
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An HTML attachment was scrubbed...
URL: <http://lists.macports.org/pipermail/macports-changes/attachments/20181010/99db4e15/attachment.html>

Previous message: [macports-ports] branch master updated: ocaml-num: new port
Next message: [macports-ports] branch master updated: gpilab: Muptiple updates
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the macports-changes mailing list