[macports-ports] branch master updated: (fstar|kremlin)-devel: Update to 20200407-(3331572|4e863a7) and revision bump dependents

Landon Fuller landonf at macports.org
Tue Apr 7 23:30:52 UTC 2020

Previous message: [macports-ports] 02/02: terragrunt: new port, version 0.23.4
Next message: [macports-ports] branch master updated: google-cloud-sdk: update to 288.0.0
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An HTML attachment was scrubbed...
URL: <http://lists.macports.org/pipermail/macports-changes/attachments/20200407/336ce0ba/attachment.html>

Previous message: [macports-ports] 02/02: terragrunt: new port, version 0.23.4
Next message: [macports-ports] branch master updated: google-cloud-sdk: update to 288.0.0
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the macports-changes mailing list