[macports-ports] 01/02: fstar|kremlin: update to 2021.09.02|2021.08.24, drop *-devel and *_select ports, and update dependents.

Landon Fuller landonf at macports.org
Thu Sep 2 21:07:13 UTC 2021


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


More information about the macports-changes mailing list