[macports-ports] branch master updated (376adc9dce4 -> 38038b053af)

[Landon Fuller]

Landon Fuller (landonf) pushed a change to branch master
in repository macports-ports.

    from 376adc9dce4 lens: update to 5.5.4
     new 81debfe0cc7 ocaml-wasm: update to 2.0.0
     new 878f960808e ocaml-migrate-parsetree: update to 2.3.0
     new b60c56d2c04 ocaml-(findlib|ppx_deriving|ppx_deriving_yojson|ppxlib|sedlex|visitors): revbump to fix OCaml ABI breakage
     new c9df50e5a84 fstar|kremlin: update to 2022.06.08|2022.06.08
     new 38038b053af everparse: update to 20220602-e722715

The 5 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "add" were already present in the repository and have only
been added to this reference.


Summary of changes:
 devel/everparse/Portfile                           |  46 ++++++++++---------
 devel/everparse/files/everparse-hints.tar.xz       | Bin 520704 -> 581052 bytes
 .../files/patch-batch-driver-toolchain-paths       |  18 ++++----
 devel/everparse/files/patch-fix-tests-mkdir        |   6 +--
 lang/fstar/Portfile                                |  49 ++++++++++++---------
 lang/fstar/files/fstar/patch-z3-path               |   4 +-
 .../fstar/files/kremlin/patch-clang-driver-options |   6 +--
 lang/fstar/files/kremlin/patch-fstar-discover-path |  28 ++++++------
 lang/fstar/files/kremlin/patch-fstar-driver-no-lax |   6 +--
 .../fstar/files/kremlin/patch-kremlib-march-native |  11 -----
 ocaml/ocaml-findlib/Portfile                       |   2 +-
 ocaml/ocaml-migrate-parsetree/Portfile             |  10 ++---
 ocaml/ocaml-ppx_deriving/Portfile                  |   1 +
 ocaml/ocaml-ppx_deriving_yojson/Portfile           |   1 +
 ocaml/ocaml-ppxlib/Portfile                        |   1 +
 ocaml/ocaml-sedlex/Portfile                        |   1 +
 ocaml/ocaml-visitors/Portfile                      |   1 +
 ocaml/ocaml-wasm/Portfile                          |   8 ++--
 18 files changed, 102 insertions(+), 97 deletions(-)
 delete mode 100644 lang/fstar/files/kremlin/patch-kremlib-march-native