[macports-ports] 01/05: (kremlin|fstar)-devel: update to (20210511|20210510)-(bcb002a|5a8c415)

Landon Fuller landonf at macports.org
Wed May 12 01:10:19 UTC 2021

Previous message (by thread): [macports-ports] branch master updated (1215e178036 -> 9da118cd6c0)
Next message (by thread): [macports-ports] 02/05: ocaml-ctypes: update to 0.18.0
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message (by thread): [macports-ports] branch master updated (1215e178036 -> 9da118cd6c0)
Next message (by thread): [macports-ports] 02/05: ocaml-ctypes: update to 0.18.0
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the macports-changes mailing list