[macports-ports] 25/25: (fstar|kremlin)-devel: update to (20210423|20210322)-(e3b68bd|6e60e33).

Landon Fuller landonf at macports.org
Wed Apr 28 01:25:52 UTC 2021

Previous message (by thread): [macports-ports] 24/25: ocaml-wasm: update to 1.1.1
Next message (by thread): [macports-ports] 01/25: ocaml-ppx_tools: update to 6.3
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message (by thread): [macports-ports] 24/25: ocaml-wasm: update to 1.1.1
Next message (by thread): [macports-ports] 01/25: ocaml-ppx_tools: update to 6.3
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the macports-changes mailing list