[macports-ports] branch master updated (1215e178036 -> 9da118cd6c0)

[Landon Fuller]

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

    from 1215e178036 trafshow: Fix build; modernize checksums
     new 902027e84f3 (kremlin|fstar)-devel: update to (20210511|20210510)-(bcb002a|5a8c415)
     new a8122dca2f5 ocaml-ctypes: update to 0.18.0
     new 880d5a863e9 ocaml-integers: update to 0.4.0
     new e89b0f8272c ocaml-hacl-star: update to 20210510-bd790d3
     new 9da118cd6c0 everparse: update to 20210510-538bda1

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                           | 11 +++----
 devel/everparse/files/patch-add_FStar_Getopt.ml    | 16 +++++-----
 lang/fstar/Portfile                                | 22 +++++++-------
 ocaml/ocaml-ctypes/Portfile                        | 12 ++++----
 ocaml/ocaml-hacl-star/Portfile                     | 35 +++++++++++-----------
 ocaml/ocaml-hacl-star/files/patch-Makefile.diff    |  8 ++---
 .../patch-dist-gcc-compatible-use-install_name     | 12 ++++----
 ocaml/ocaml-integers/Portfile                      |  8 ++---
 8 files changed, 63 insertions(+), 61 deletions(-)