[macports-ports] 18/18: R-ROI.plugin.ipop: new port

barracuda156 vital.had at gmail.com
Sat Jul 8 09:27:22 UTC 2023

Previous message (by thread): [macports-ports] 17/18: R-ROI.plugin.qpoases: new port
Next message (by thread): [macports-ports] branch master updated: josm: update to 18772
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An HTML attachment was scrubbed...
URL: <http://lists.macports.org/pipermail/macports-changes/attachments/20230708/c10c6f94/attachment.htm>

Previous message (by thread): [macports-ports] 17/18: R-ROI.plugin.qpoases: new port
Next message (by thread): [macports-ports] branch master updated: josm: update to 18772
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the macports-changes mailing list